E_total
plain-language theorem explainer
E_total fixes the total number of edges in a three-dimensional hypercube at twelve. Mass modelers in Recognition Science cite this constant when constructing the sector yardsticks B_pow and r0 from cube geometry. The abbreviation is a direct substitution of the general cube_edges function evaluated at the spatial dimension D.
Claim. The total number of edges in the three-dimensional hypercube is given by the formula yielding the integer value 12.
background
The Masses.Anchor module centralizes parameter-free constants for particle masses derived from first principles using cube geometry for D=3. The upstream cube_edges definition states the number of edges in the D-hypercube as D · 2^(D-1). The module documentation specifies this as the starting point for sector formulas in the lepton, quark, and electroweak cases.
proof idea
One-line abbreviation applying the cube_edges function to the dimension D.
why it matters
This supplies the edge count of twelve that determines B_pow for the DownQuark sector as 2*E_total -1 and analogous expressions for other sectors. It realizes the D=3 spatial dimensions from the forcing chain and feeds the mass ladder derivations. Downstream results include B_pow_DownQuark_eq and r0_DownQuark_eq that verify the numerical values.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.