proton_electron_ratio_CODATA
plain-language theorem explainer
This definition supplies the CODATA 2022 central value for the proton-to-electron mass ratio as a real number. Calibration comparisons between Recognition Science predictions and laboratory data would reference it directly. It is a direct numerical assignment with no derivation or uncertainty propagation inside the declaration.
Claim. The proton-to-electron mass ratio is assigned the CODATA 2022 value $1836.15267343$.
background
The module ExternalAnchors serves as the single quarantined location for all empirical calibration data entering Recognition Science. Its policy isolates external values so that the cost-first core deriving everything from the Recognition Composition Law never imports them. All entries carry the external_anchor attribute for mechanical audit. This particular definition records the proton-to-electron mass ratio reported by CODATA 2022.
proof idea
Direct constant definition that assigns the numerical value 1836.15267343 to the real number type.
why it matters
It populates the EmpiricalAnchors structure that collects external calibration points for comparison against Recognition Science derivations. The module doc states that this separation keeps the pure cost derivation (from RCL and the forcing chain) mechanically distinct from experimental anchors. The value therefore supplies the concrete number against which RS-native mass formulas on the phi-ladder can be tested.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.