m_t_pole_PDG_GeV
plain-language theorem explainer
This definition supplies the PDG 2024 central value 172.69 GeV for the top quark pole mass. Researchers comparing Recognition Science mass predictions at rung 21 for the up-type third generation cite the constant when anchoring the phi-ladder output to experiment. The entry is introduced as a direct numerical assignment with no internal computation or derivation.
Claim. The PDG 2024 central value for the top quark pole mass is $m_t^{pole} = 172.69$ GeV.
background
The module assembles a scorecard comparing the top quark pole and MS-bar masses. It adopts the PDG 2024 pole mass central value and assigns the top quark to rung 21 on the phi-ladder for the up-type sector of generation 3. Recognition Science places masses on this ladder via the yardstick scaled by phi to the power of (rung minus 8 plus gap(Z)), so the constant serves as the experimental reference point at that rung.
proof idea
The declaration is a direct numerical definition that assigns the real number 172.69.
why it matters
The constant supplies the experimental anchor for the TopMSBarCert structure, which records rung equality to 21, positivity, the central value match, and the MS-bar conversion bounds. It thereby enables verification that the RS-predicted pole mass at rung 21 falls inside the PDG band. The rung assignment follows from the eight-tick octave and the forcing chain that fixes D = 3 spatial dimensions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.