Registry · Theorem IV.T54 conjectural formalized

IV.T54 — W Mass from Coherence Fixing

M_W = gv/2 where g = sqrt(iota_tau) and v ~ 246 GeV is the coherence-fixing scale. Tree-level: M_W ~ 71.9 GeV (~10% below PDG 80.377 GeV, inherited from tree-level g deficit).

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

IV.T53 IV.T52

Depended on by (9)

IV.D120 IV.D123 IV.P44 IV.P62 IV.P65 IV.R29 IV.T55 IV.T56 IV.T57

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.WMassFromCoherenceFixing