IndisputableMonolith.Physics.CharmMSBarScoreCard
The CharmMSBarScoreCard module supplies PDG 2024 central values for the charm MS-bar mass together with an RS-derived prediction obtained via two-loop QCD running and threshold matching. Researchers validating Recognition Science mass ladders against heavy-quark data would cite it. The module consists of constant definitions, a predicted value, and a certification theorem assembled from the four imported RGE modules.
claimThe module records the PDG 2024 central value $m_c^{ m PDG}(m_c)$ in GeV and certifies that the RS-predicted mass $m_c^{ m predicted}$ lies inside the PDG uncertainty interval via the theorem charmMSBarCert_holds.
background
The module sits inside the heavy-quark closure track of Recognition Science. It imports the RS time quantum $ au_0$ from Constants, the two-loop MS-bar beta function from TwoLoopAlphaS, the quark-mass anomalous dimension $ rac{d \log m}{d \log \mu^2} = - ilde{ m gamma}_m(ar a)$ from MassAnomalousDimension, and the NLO threshold matching coefficients from ThresholdMatching. These supply the running and matching machinery needed to evolve the charm mass from its own scale to $M_Z$ and back.
No new mathematical objects are defined beyond the scorecard constants; the module simply assembles the imported functions into concrete numerical comparisons for the charm sector.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the charm-sector scorecard that feeds any higher-level statement that RS mass predictions are consistent with PDG data. It closes the charm entry in the heavy-quark track that begins with the two-loop alpha_s and mass-anomalous-dimension modules. The certification theorem charmMSBarCert_holds is the concrete claim that the RS yardstick-plus-phi-ladder value falls inside the experimental band.
scope and limits
- Does not derive the underlying RS mass formula.
- Does not extend beyond two-loop QCD running.
- Does not treat bottom or top quarks.
- Does not incorporate lattice or sum-rule inputs.