m_e
plain-language theorem explainer
The definition places the electron mass at rung 2 on the phi-ladder, yielding m_e equal to the coherence energy times phi squared. Researchers deriving lepton masses or electroweak scales in the Recognition Science framework cite it when connecting C-007 to the proton-electron ratio in C-009. It is realized as a direct one-line application of the general mass-on-rung expression at the electron rung.
Claim. $m_e = E_0 phi^2$, where $E_0$ is the coherence energy scale and $phi$ is the golden-ratio fixed point of the self-similar forcing chain.
background
Recognition Science places all masses on a discrete phi-ladder whose general form is the coherence energy scaled by phi to an integer rung power. The electron is assigned rung 2, so its mass is the coherence energy times phi squared. Module C-009 uses this assignment together with the proton mass from C-008 to obtain the structural ratio m_p/m_e = phi to the power of the rung difference, with r_e fixed at 2 from the lepton ladder construction.
proof idea
One-line definition that applies the mass-on-rung function at integer argument 2.
why it matters
This supplies the reference lepton mass used by m_e_pos, m_e_rs_eq, and the full suite of electroweak VEV structure theorems that dissolve the hierarchy problem by expressing all scales as phi-ladder rungs. It realizes the mass formula of the phi-ladder construction (T6-T7) and supplies the base needed for the proton-electron ratio derivation in C-009.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.