CQM2 v5.0.0 Quantitative Specifications, 11/11/2026 Errata & Grade-A+ Verification Gates
Evaluated under Full Honest 8-Tag Profile: WEB,API,DB,AI,SIM,NATIVE,AGENT,PUB · ALife Framework v2.0 Errata Enforced
| Invariant / Gate | Mathematical Specification | Target Threshold | Verification Mechanism |
|---|---|---|---|
| A-03 · First-Law Conservation (FP64, compensated KBN) | |Σ P_k(t) + E_world(t) - E_total(0)| / max(1, E_total) | ≤ 1.0 × 10⁻¹² (FP64, compensated KBN) | Zig cqm2_first_law_kbn_step + Rust 1.94 Kahan/KBN Ledger (non-bitwise) |
| B-04 · Sub-Byte Quantized Neural Compute | Packed 2-bit ternary BitNet b1.58 & 4-bit symmetric INT4 GEMV | Exact match vs FP32 dequantized ref | Zig cqm2_bitnet_ternary_gemv + NPU LevelZero Dispatch |
| C-01 / D-02 · Holm-Bonferroni FWER & Forked-Snapshot PCI | Step-down Holm-Bonferroni FWER across multi-family tests; state-forked LZ76 PCI | FWER α ≤ 0.05; 0 live-state mutation | 12-Benchmark Lesion Runner + 5-Mutant Falsifier Harness (Leaky, Cosmetic, Oracle, Frozen, Shuffled) |
| 3D Kerr Mino Geodesic Integrability | |Q(λ) - Q(0)| Carter constant & Bardeen D-shadow | < 1.0 × 10⁻¹² | Zig cqm2_kerr_mino_geodesic + Leaver QNM |
| Unitary Quantum Norm Preservation | |⟨ψ(t)|ψ(t)⟩¹/² - 1| | < 1.0 × 10⁻¹² | SU(2) Givens Braid in ZeroGcQuantumRegister |
| Hoggar H(2) & Cabello 18-Vector Kochen-Specker | 3-qubit contextual lines + 9-context parity contradiction | 63 lines, Tr = 14.0, KS = 1≠0 | Zig cqm2_hoggar_qgt_violated_hexagon_count + KS-18 |
| Glossodrom RS[15, 11] + Cormidium-16 Codec | Systematic RS[15, 11] over GF(2⁴) + 16-role framing | 100% recovery ≤ 2 errors | Peterson + Chien + Forney Algebraic Decoder |
| 12-Benchmark Causal Lesion Suite | VOI, CQM10, C16R, HOT-3, GNW, AST, STC, DELTA, MARR, XYLOS, THALER, VETO |
Cohen's d ≥ 0.8, t ≥ 2.75 | Non-oracle deterministic lesion runner (n=24/arm) |
| Watertight 3D Creature Mesh Topology | Bishop parallel-transport frames + welded polar end-caps | Boundary = 0, χ = V - E + F = 2 | Khronos .glb (0x46546C67) Manifold Verifier |
| Bit-Exact Reversible N01 Time-Travel | Full world + PRNG + brain + ecology snapshot & replay | Exact SHA-256 Merkle root match | captureWorldSnapshot / rollbackToSnapshot |
| WCAG 2.3.1 Photosensitive Safety | Temporal luminance / shader pulse frequency | ≤ 2.2 Hz hard clamp | sanitizeGodDials + GLSL uniform clamp |