leech_lattice_dimension
plain-language theorem explainer
Recognition Science sets the Leech lattice dimension to 24 to match the directed flux count on the Q3 double-entry ledger. Number theorists and lattice theorists cite the assignment when linking the modular discriminant to discrete modes rather than extra spacetime dimensions. The declaration is a direct constant assignment with no lemmas or reductions.
Claim. The dimension of the Leech lattice is the natural number 24.
background
The module reinterprets the exponent 24 in the Ramanujan modular discriminant Δ(τ) = η(τ)²⁴ and the Leech lattice Λ₂₄ as the number of directed flux variables on the Q₃ ledger. Under Recognition Science the Q₃ hypercube for D = 3 has 8 vertices (the eight-tick positions) and 12 undirected edges; J-symmetry forces each edge to carry flow in both directions, yielding exactly 24 directed fluxes. This replaces the bosonic-string reading of 24 transverse dimensions with a count of independent modes on the discrete double-entry structure.
proof idea
The definition is a direct constant assignment of the natural number 24.
why it matters
The definition supplies the constant 24 that the downstream theorem leech_dimension_eq_directed_flux equates to directed_edge_count D. It supports the RS claim that the Leech lattice dimension matches the flux degrees of freedom on the Q₃ ledger, correcting the string-theory interpretation of 26 spacetime dimensions. The placement follows from T7 (eight-tick octave) and T8 (D = 3) in the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.