m_b_exp_sigma

The MassComparison module holds PDG 2024 central values and uncertainties side-by-side with Recognition Science mass predictions. It is quarantined from the certified surface: experimental numbers are not derived from RS, and the predictions themselves sit on the anchor/φ-ladder system.

RS masses take the form $m = \mathrm{yardstick}(\mathrm{sector})\times\varphi^{r_0+r_{\mathrm{species}}}$, with yardstick built from coherence energy $E_{\mathrm{coh}}=\varphi^{-5}$ and sector integers from cube geometry. Experimental counterparts are plain reals in MeV so residuals and significance ratios can be stated in Lean.

Sibling constants supply the same pair (central value, sigma) for $e,\mu,\tau,u,d,s$ and the other heavy flavors. The name collision with ledger mass in the SevenGaps development is incidental; this declaration does not use those definitions.

Pure definition: the real constant 30, with no tactics, lemmas, or reduction. It records the PDG uncertainty band width used by downstream comparison arithmetic in this module.

Gives the experimental error bar against which the RS bottom-quark ladder prediction is judged inside the quarantined verification layer. Without a fixed sigma, residual and pull statements cannot be written as closed Lean terms. The module’s stated purpose is rigorous PDG-2024 comparison; this constant is the bottom-flavor half of that experimental side. It does not feed certified forcing-chain results (T0–T8, RCL, or the mass yardstick theorems) and currently has no recorded downstream dependents in the graph.