Registry · Definition IV.D111 tau-effective formalized

IV.D111 — Z0 Defect Bundle

Neutral channel-switching configuration on L: probes polarity structure without changing lobe assignment. Couples to all fermions. Mass M_Z ~ 91.2 GeV exceeds M_W.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (1)

IV.D109

Depended on by (6)

IV.D101 IV.D102 IV.D122 IV.P53 IV.T42 IV.T43

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.Z0DefectBundle