IndisputableMonolith.Masses.MuRatioScoreCard
MuRatioScoreCard assembles CODATA 2022 proton-electron mass ratio data with RS-derived predictions for muon, electron, and proton masses on the phi-ladder. Researchers auditing mass predictions against experiment would cite this scorecard to inspect relative errors and bounds. The module consists of data constants, auxiliary predicates, and one certification theorem established by direct verification.
claimLet $\mu_{\rm codata}$ be the CODATA 2022 proton-electron mass ratio. Let $\mu_{\rm pred}$ be the RS prediction from the phi-ladder. Define lower and upper bounds $\mu_{\rm pred\_lower}$, $\mu_{\rm pred\_upper}$ and relative error. The module certifies that the error lies inside the bracket and that $\mu_{\rm pred\_pos}$ holds.
background
Constants supplies the base time quantum $\tau_0 = 1$ tick. Anchor centralizes parameter-free mass constants derived from first principles, with masses given by yardstick $\times \phi^{{\rm rung}-8+{\rm gap}(Z)}$ on the phi-ladder. Verification imports experimental PDG values as constants for machine comparison and quarantines them from the certified surface.
This module specializes the comparison to the proton-electron mass ratio using CODATA 2022, defining mu_codata as the experimental anchor, mu_pred as the model output, and supporting predicates for positivity, bounds, and error.
proof idea
This is a definition module that introduces data values, predicates (mu_pred_pos, mu_pred_lower, mu_pred_upper, mu_pred_bracket), and the relative error function. The certification theorem muRatioScoreCardCert_holds is a direct verification that applies the imported comparison machinery from Masses.Verification.
why it matters in Recognition Science
The module supplies a concrete scorecard that supports the canonical constants in Anchor by checking consistency with CODATA for the proton-electron mass ratio. It contributes to the mass verification framework in Verification without deriving experimental values from RS. No downstream theorems are recorded.
scope and limits
- Does not derive CODATA or PDG values from Recognition Science.
- Does not claim the predictions are exact, only bracketed.
- Does not extend the scorecard to other particle ratios.
- Does not provide a general theorem for arbitrary mass rungs.