electron_muon_ratio_uncertainty
plain-language theorem explainer
The definition supplies the CODATA 2022 uncertainty on the electron-muon mass ratio for use in external calibration. Researchers comparing Recognition Science mass predictions to experiment cite this value when checking consistency within reported error bars. It is realized as a direct numerical constant assignment with no further reduction.
Claim. The uncertainty in the electron-muon mass ratio equals $1.1 times 10^{-10}$.
background
The ExternalAnchors module is the single quarantined location for all CODATA 2022 empirical calibration data that enters Recognition Science. Its policy isolates this data so that the cost-first core deriving everything from the Recognition Composition Law never imports external numbers. Upstream, the electron mass is given by m_e := mass_on_rung 2, which equals E_coh · φ², while the proton mass is assembled as m_p := m_valence + E_binding on the same φ-ladder.
proof idea
The definition is a direct constant assignment of the numerical value 0.00000011e-3 with no lemma applications or tactic steps.
why it matters
This anchor populates the EmpiricalAnchors structure that supplies external values for validation of Recognition Science results. It maintains the mechanical separation between pure RCL derivations and measured constants while enabling quantitative comparison of derived mass ratios against experiment. The placement follows the module policy that any import of ExternalAnchors explicitly acknowledges use of calibration data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.