proton_electron_ratio_uncertainty
plain-language theorem explainer
This definition supplies the CODATA uncertainty on the proton-electron mass ratio as 1.1 × 10^{-7}. Any RS calculation that benchmarks the phi-ladder mass formula against measured particle ratios cites this anchor. The implementation is a direct numerical assignment inside the quarantined external-data module.
Claim. The uncertainty on the proton-to-electron mass ratio is given by the constant value $1.1 × 10^{-7}$.
background
The ExternalAnchors module is the single location that imports CODATA calibration data for comparison only; the cost-first core of Recognition Science never imports it. Mass is the real-number type used for all mass quantities in RS-native units. The module policy enforces mechanical separation so that derivations from the Recognition Composition Law remain independent of external numbers.
proof idea
One-line definition that directly assigns the floating-point literal 0.00000011.
why it matters
It supplies one field inside the EmpiricalAnchors structure that downstream code uses to compare RS predictions with experiment. The declaration fills the external-anchor slot required by the module policy for CODATA 2022 values. It touches the open question of how tightly the phi-ladder mass formula must match measured ratios before the framework is considered falsified.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.