m_t_pole_predicted_via_RS
plain-language theorem explainer
The Recognition Science framework supplies a predicted top quark pole mass of 172.69 GeV. Phenomenologists matching RS-derived quark masses to experimental data would cite this constant. It arises as a direct numerical definition following two-loop QCD running and pole conversion in the heavy-quark scorecard.
Claim. The RS-predicted top quark pole mass is $172.69$ GeV.
background
The Top Quark Pole / MS-bar Mass Scorecard module assigns the top quark to rung t = 21 for up-type generation 3 in the RS phi-ladder. PDG 2024 lists the pole mass as 172.69 ± 0.30 GeV. This definition provides the closed RS value after two-loop running and pole-to-MSbar conversion, exposing both pole and MS-bar forms with zero sorry or axiom.
proof idea
The declaration is a direct definition that assigns the numerical value 172.69. No lemmas are invoked and no tactics are used.
why it matters
This constant is used by the theorem verifying that the RS prediction lies inside the PDG band of 170 to 175 GeV. It completes the RS heavy-quark scorecard entry for the top quark, consistent with the mass formula at rung 21. The module documentation notes the alignment with PDG 2024 data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.