m_t_pole_PDG_unc_GeV
plain-language theorem explainer
Recognition Science uses this definition to anchor the top quark pole mass uncertainty at 0.30 GeV from PDG 2024 data. Researchers comparing the predicted pole mass from the phi-ladder at rung 21 to experimental bounds would reference it. The definition is a simple numerical constant with no computational steps.
Claim. The uncertainty in the top quark pole mass according to PDG 2024 is $0.30$ GeV.
background
The module tabulates the top quark mass in both pole and MS-bar schemes for comparison with Recognition Science predictions. The PDG reports the pole mass as 172.69 ± 0.30 GeV, with the uncertainty exposed here as a standalone definition. RS assigns the top quark to rung t = 21 on the phi-ladder for up-type quarks in the third generation.
proof idea
The definition is a direct assignment of the numerical value 0.30 without any lemmas or tactics.
why it matters
This definition supplies the experimental uncertainty band used by downstream results such as m_t_pole_predicted_via_RS_in_PDG_band to certify agreement between the RS prediction and PDG data. It completes the scorecard for the top quark sector in the Recognition framework, where the mass formula yardstick * phi^(rung - 8 + gap(Z)) is evaluated at rung 21.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.