electron_mass_MeV
plain-language theorem explainer
This definition records the measured electron rest mass 0.51099895069 MeV as an external calibration anchor. Researchers comparing Recognition Science mass ladders to experiment cite it when testing consistency with the phi-ladder formula. It is implemented as a direct numerical assignment carrying the simp attribute.
Claim. The electron rest mass equals 0.51099895069 MeV.
background
The ExternalAnchors module isolates all empirical calibration data from the cost-first core of Recognition Science. The core derives physics solely from the Recognition Composition Law without importing external values. This definition supplies the PDG electron mass to enable quantitative checks against RS-native predictions such as yardstick times phi to a power on the ladder.
proof idea
One-line definition that binds the real number 0.51099895069 directly to the identifier.
why it matters
It supplies the calibration point used by the downstream positivity lemma. The module policy keeps pure RCL derivations independent of measurement while permitting verification against the T5 J-uniqueness, T6 phi fixed point, and eight-tick octave in the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.