pdg_mu_e_ratio
plain-language theorem explainer
The definition computes the ratio of the PDG muon mass to the electron mass in MeV units. Particle physicists auditing Recognition Science mass predictions against experimental data would cite this ratio when checking the muon-electron hierarchy near 206.8. It is produced by a direct division of two constant declarations for the PDG values.
Claim. Let $m_μ^{PDG} = 105.66$ MeV and $m_e^{PDG} = 0.511$ MeV. The ratio is defined as $m_μ^{PDG} / m_e^{PDG}$.
background
The Standard Model Mass Verification module states PDG experimental values as fixed constants for comparison with RS predictions. The underlying mass law is $m(particle) = yardstick(Sector) × φ^(r - 8 + gap(Z))$, with yardstick, rung, and gap derived from cube geometry (D=3) and charge structure, carrying zero free parameters. Upstream constants supply the PDG electron mass as 0.511 MeV and the PDG muon mass as 105.66 MeV.
proof idea
One-line definition that divides the PDG muon mass constant by the PDG electron mass constant.
why it matters
This supplies the experimental ratio consumed by the downstream approximation theorem pdg_mu_e_ratio_approx, which establishes that the PDG value lies within 1 of 206.8. It supports verification that RS phi-ladder predictions for charged fermions match PDG data. In the Recognition Science framework it connects to the eight-tick octave and T5 J-uniqueness used to fix the mass ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.