25,920
Four order-three transvections generate the complete 40-point U4(2) action. A compressed pair has orders 2, 5, and 12.
Exact U4(2) carrier, full rank-24 operator envelope, scalar Leech-glue obstruction, modular completion, and two chamber breakthroughs.
Four order-three transvections generate the complete 40-point U4(2) action. A compressed pair has orders 2, 5, and 12.
Every three-transvection face is an order-648 subgroup fixing one W33 point.
The complete A5 census has two conjugacy orbits. D10-sharing produces 36 copies of K6,6.
Every chamber edge generates A6, and every chamber normalizer has order 720.
Symmetric and alternating carrier tensors span all 576 directions of the 24×24 matrix algebra.
The odd 5-adic discriminant exponent rules out every scalar-rescaled unimodular completion.
The rootless rank-24 theta numerator times the 24-boson denominator reproduces the initial moonshine coefficients exactly.
The exact Python certificate proves the abstract finite-group, tensor-span, Smith-form, and modular identities. The GAP restriction census remains a separately generated artifact. No concrete Monster words, unique class fusion, fixed degree-81 multiplicity, Leech embedding, Griess/VOA map, or physical result is claimed.