electronMass_eV
plain-language theorem explainer
The electron rest mass is fixed at 0.51099895 million electronvolts to set the scale for Recognition Science mass ratios. Pion mass derivations cite this constant when forming m_π / m_e and comparing it to the phi-ladder prediction near 273. The declaration is a direct numerical binding with no lemmas or reductions.
Claim. The electron mass satisfies $m_e = 0.51099895 × 10^6$ eV.
background
The PionMasses module derives meson masses from Recognition Science by placing pions on the phi-ladder after fixing the electron scale. Quark binding follows phi-ladder patterns, chiral symmetry breaking supplies the small pion mass via the GMOR relation m_π² ∝ (m_u + m_d) ⟨q̄q⟩, and the electron mass supplies the reference for ratios such as m_π / m_e ≈ φ^12 / 2. The module imports Constants and PhiForcing to inherit the phi value and forcing chain that fixes D = 3 and the mass formula yardstick × phi^(rung - 8 + gap(Z)).
proof idea
The declaration is a direct numerical definition that binds the literal 0.51099895e6 to the electron mass in eV. No tactics or upstream lemmas are invoked; the binding serves as an immutable base constant for all downstream ratio calculations in the same module.
why it matters
This definition anchors the mass ladder inside the P-013 derivation and feeds the three downstream uses: the pion-electron ratio definition, the approximation theorem showing the ratio lies within 1 of 273, and the phi-based prediction phi^12 / 2 × (E_coh / m_e). It closes the link from T5 J-uniqueness and the eight-tick octave to observable hadron masses, supplying the experimental yardstick against which the Recognition Science mass formula is tested.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.