pionNeutralMass_eV
plain-language theorem explainer
The declaration supplies the neutral pion mass in electronvolts by scaling its PDG MeV value by one million. Particle physicists comparing Recognition Science predictions to experiment would reference this conversion when working in eV units. The definition performs a direct unit conversion without additional computation or phi-ladder evaluation.
Claim. The neutral pion mass in eV is defined by scaling the neutral pion mass in MeV by a factor of 10^6, where the MeV value is the PDG 2024 figure 134.9768.
background
The Pion Masses module derives the masses of the lightest mesons from Recognition Science via quark-antiquark binding on the phi-ladder and the Gell-Mann-Oakes-Renner relation. The neutral pion occupies rung 12 relative to the coherence energy, yielding the approximate ratio m_π / m_e ≈ φ^12 / 2. The upstream MeV definition adopts the experimental central value 134.9768 directly from PDG 2024.
proof idea
This is a one-line definition that multiplies the neutral pion mass in MeV by 10^6.
why it matters
The definition supplies the eV-scale value required for direct comparison against the phi-ladder prediction m_π ≈ E_coh × φ^12 / 2 and the electron mass in eV. It completes the unit-consistent pion mass set inside the P-013 derivation without introducing new hypotheses. No downstream theorems depend on it in the current graph.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.