Exhaustive exact verification that all 1523 split C₂-compatible 3-forms on R⁷ yield g₂(split). Single file, three components: (A) exact-arithmetic core — pattern enumeration, rank, Hitchin inertia, Killing form, ad-commutant over Q, (B) certificate generator — JSON witnesses with kernel, pivots, LDL diagonals, modular rank over GF(1000003), (C) independent verifier — reimplements all computations from scratch, 10 checks (S1-S3 structural, M1-M7 mathematical). 7032 candidates, 1524 rank-valid, 1523 split, 1 compact. All 1523 certified g₂(split). No numpy. No float. No external dependencies. Referenced by CCFU Proof 27.
All rights reserved