Registry · Definition IV.D109 tau-effective formalized

IV.D109 — Channel-Switching Defect Bundle

Localised transient configuration in H_partial[omega] mediating polarity-switching: concentrated near crossing point, sector-restricted to A, carries net chi_+/chi_- difference.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

IV.D97 IV.D10

Depended on by (5)

IV.D103 IV.D110 IV.D111 IV.D99 IV.T42

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.ChannelswitchingDefectBundle