pdg_electron_MeV
plain-language theorem explainer
The declaration supplies the PDG 2024 experimental value for the electron rest mass in MeV units. Researchers comparing Recognition Science mass predictions to experiment cite this constant when verifying the muon-to-electron ratio or other fermion mass ladders. It is introduced as a plain numeric definition with no proof obligations.
Claim. The experimental electron rest mass is $m_e = 0.511$ MeV.
background
The Standard Model Mass Verification module states RS mass predictions for all Standard Model particles and documents their comparison with PDG 2024 experimental values. The mass law is m(particle) = yardstick(Sector) × φ^(r - 8 + gap(Z)), derived from cube geometry with D=3 and wallpaper groups. This definition provides the experimental electron mass value used in ratio calculations.
proof idea
This is a direct numeric definition with no lemmas or tactics applied.
why it matters
This definition supplies the experimental anchor for the muon-electron ratio theorem in the same module. It supports the PDG comparison step in the Recognition Science mass verification, which remains stated as hypotheses pending full interval arithmetic on the phi-ladder. The mass law itself traces to the phi-scaling forced in the UnifiedForcingChain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.