muon_mass_MeV
plain-language theorem explainer
This definition supplies the PDG 2024 experimental muon mass value of 105.6583755 MeV/c² as an external calibration anchor. Researchers validating Recognition Science mass predictions on the phi-ladder against particle data would cite it for quantitative comparison. The entry is a direct numerical assignment with no derivation or lemmas inside the system.
Claim. The muon mass is defined as the constant value 105.6583755 in units of MeV per c².
background
The ExternalAnchors module is the single quarantined location for all empirical calibration data that enters Recognition Science from external sources such as PDG and CODATA. This separation keeps the cost-first core, which derives everything from the Recognition Composition Law, independent of measured values. The upstream proton mass definition constructs the quantity as the sum of valence mass and binding energy before any external anchoring occurs.
proof idea
The definition is a direct numerical assignment of the PDG value with no tactics or lemmas applied.
why it matters
This anchor enables comparison of Recognition Science predictions to experiment and feeds the downstream positivity lemma that confirms the value is positive. It supports calibration of the mass formula on the phi-ladder while the module policy isolates external data from RCL-based derivations. The entry touches the framework's requirement for empirical checks without contaminating the pure cost core.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.