proton_mass_MeV
plain-language theorem explainer
The definition supplies the CODATA 2022 proton rest mass 938.27208943 MeV for calibration against Recognition Science derivations. Researchers comparing the phi-ladder mass formula to baryon data cite this anchor when mapping experimental values onto RS-native units. It is realized as a direct numerical assignment with no further computation.
Claim. The proton rest mass is defined by $m_p = 938.27208943$ MeV$/c^2$.
background
This module is the single quarantined location for all empirical calibration data entering Recognition Science from external sources. The cost-first core derives everything from the Recognition Composition Law and must not import this module, creating a mechanical separation between pure cost derivations and CODATA values. The upstream definition m_e supplies the electron mass as E_coh · φ² on rung 2 of the phi-ladder.
proof idea
The definition is a direct numerical assignment of the CODATA 2022 value.
why it matters
It supplies the external anchor used by the positivity lemma proton_mass_MeV_pos. This enables quantitative comparison between the Recognition Science mass formula (yardstick · φ^(rung-8+gap(Z))) and experiment while keeping the core derivation pure. It touches the mass ladder construction where the proton rung follows from confinement adjustments on the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.