electron_structural_ratio
plain-language theorem explainer
electron_structural_ratio defines the dimensionless ratio of the electron structural mass to the coherent energy scale. Researchers deriving lepton masses from cube geometry and the phi-ladder cite this quantity when closing the T9 sector constants. The definition is a direct quotient of two upstream quantities with no additional computation.
Claim. The electron structural ratio equals the structural mass of the electron divided by the coherent energy scale, where the coherent energy scale is given by $E_{coh} = phi^{-5}$.
background
The module isolates definitions for the electron mass to break import cycles while deriving lepton constants from first principles. Cube geometry in three dimensions fixes twelve edges total, one active transition per tick, and eleven passive field edges; these combine with the seventeen wallpaper groups and the eight-tick octave to set the lepton binary exponent and phi-offset rung. E_coh is the coherent energy scale obtained by raising phi to the negative of the coherence exponent, which evaluates to phi to the power of negative five.
proof idea
One-line definition that divides the electron structural mass by the coherent energy scale E_coh.
why it matters
This supplies the core dimensionless ratio consumed by the downstream copy in the RRF electron-mass module. It realizes the T9 derivation step that forces the lepton sector from D equals three, the passive-edge count of eleven, and the phi-ladder offset, closing the link between the universal forcing chain and observable mass scales.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.