twenty_four_decomposition
plain-language theorem explainer
The identity 24 = 2 × (3 × 2²) counts the directed edges on the three-dimensional hypercube under double-entry accounting. Recognition Science models of discrete flux cite this factorization when equating the Ramanujan discriminant exponent to the number of independent variables on the Q₃ ledger. The proof is a direct numerical normalization of the arithmetic expression.
Claim. $24 = 2 × (3 × 2^{2})$, where the parenthetical term is twice the edge count $D · 2^{D-1}$ evaluated at $D=3$.
background
The module treats 24 as the directed flux count on the Q₃ ledger once D=3 is fixed. The Q₃ hypercube has 8 vertices and 12 undirected edges given by $D · 2^{D-1}$. J-symmetry on the ledger requires each edge to carry flow in both directions, producing exactly 24 directed edges.
proof idea
The proof is a one-line wrapper that applies norm_num to verify the arithmetic identity.
why it matters
This supplies the numerical link between the classical Ramanujan modular discriminant and the RS count of flux degrees of freedom. It supports the reinterpretation that 24 arises from D=3 rather than from 26 spacetime dimensions, closing the counting step for the partition function on the discrete ledger.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.