Registry · Remark IV.R382 tau-effective formalized

IV.R382 — Mass hierarchy: M_Z > M_W

The W+/- mediates a directed crossing between lobes (L_+ -> L_- or reverse) while the Z^0 mediates a symmetric probe of the crossing region, accessing more boundary holonomy and requiring greater energy; M_W/M_Z = cos(theta_W) ~ 0.88 is derived from this geometric distinction.

Book IV Part 4 Ch. 30

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality2

Symbol: Tau.BookIV.Electroweak.MassHierarchyMzMw