Registry · Theorem IV.T190 tau-effective skeleton

IV.T190 — Corrected Top Mass at −1449 ppm

m_t=(17/20)·ι_τ⁻⁵·m_n=172,440 MeV at -1449 ppm from PDG 172,690±300 MeV (0.8σ). Prefactor 17/20=W₃(3)/(lobes²·W₃(4)): lobe² suppression relative to M_W prefactor 17/5. Exponent -5=-(dim+lobes). Supersedes IV.T183 (numerical error in original prefactor). Confinement-free: top decays before hadronizing.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

IV.T183 IV.D373

Depended on by (8)

IV.D377 IV.D380 IV.P214 IV.P218 IV.T191 IV.T192 IV.T193 IV.T197

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.top_mass_corrected