m_e_rs
plain-language theorem explainer
The definition sets the electron mass in RS units to the coherence energy multiplied by phi raised to the electron lepton rung. Researchers deriving lepton masses from the phi-ladder cite it as the fixed baseline for all subsequent ratios. It is a direct abbreviation that substitutes the rung value 2 supplied by the anchor.
Claim. $m_e^{RS} = E_{coh} · φ^{r_e}$ where $r_e = 2$ is the electron rung on the lepton ladder.
background
Recognition Science assigns masses on the phi-ladder by rung exponents measured from a coherence energy yardstick. The coherence energy equals φ^{-5} in native units. The rung map r_lepton sends the string for the electron to the integer 2, as stated in the Anchor module: e at 2 (baseline), mu at 13, tau at 19.
proof idea
One-line definition that applies the r_lepton function to the string e and multiplies by Anchor.E_coh.
why it matters
This definition supplies the baseline value used by the electron_mass_derived theorem that resolves C-007. It feeds the lepton_masses_from_ladder theorem establishing the muon-electron ratio as φ^{11} and the tau-electron ratio as φ^{17}. The construction matches the RS mass formula yardstick · φ^(rung - 8 + gap) and the eight-tick octave structure from the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.