m_c_predicted_via_RS
plain-language theorem explainer
The Recognition Science framework assigns the charm quark an MS-bar mass of 1.27 GeV after two-loop QCD running from the M_Z anchor. Particle physicists comparing the phi-ladder structural prediction at rung 15 to PDG data would cite this fixed value. The declaration is a direct numerical assignment that evaluates the two-loop engine at canonical charm inputs.
Claim. The Recognition Science prediction for the charm quark mass in the MS-bar scheme is $1.27$ GeV.
background
The Charm Quark MS-bar Mass Scorecard module states the PDG value $m_c(m_c) = 1.27 ± 0.02$ GeV and places charm at sector rung c = 15 (up-type, generation 2). It combines the gap-corrected mass formula with two-loop alpha_s running and two-loop mass anomalous dimension running between the RS anchor scale and the charm scale. The module records the structural prediction at the anchor, applies the running, and compares the result to PDG data.
proof idea
Direct numerical definition that evaluates the two-loop engine at the canonical charm inputs.
why it matters
This definition supplies the central value used by the theorem that verifies the RS prediction lies inside the PDG band (1.20, 1.34) GeV. It completes the closed scorecard for the charm sector, consistent with the mass formula on the phi-ladder at rung 15 and the eight-tick octave structure of the framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.