pionElectronRatio
plain-language theorem explainer
The pion to electron mass ratio is the quotient of charged pion mass in eV by electron mass in eV. Recognition Science workers cite it when confirming the pion sits at rung 12 on the phi-ladder relative to the electron at rung 2. The definition is a direct division of two module constants already fixed by mass_on_rung and unit conversion.
Claim. The ratio $m_π^± / m_e$, where $m_π^±$ is the charged pion mass in eV and $m_e$ is the electron mass in eV.
background
The module derives pion masses from Recognition Science by placing the pion on the phi-ladder after quark binding and chiral symmetry breaking. Electron mass is defined as mass_on_rung 2, which equals E_coh · φ². Charged pion mass is obtained by scaling the MeV value by 10^6 to reach eV units.
proof idea
One-line wrapper that applies division of the charged pion mass in eV by the electron mass in eV.
why it matters
This definition supplies the ratio consumed by the downstream theorem pion_electron_ratio_approx, which shows the numerical value lies within 1 of 273. The module doc states the ratio matches φ^12 / 2, linking the phi-ladder mass formula to the observed pion-electron ratio and supporting the rung-12 placement.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.