Registry · Definition IV.D134 tau-effective formalized

IV.D134 — Coherence Fixing (Formal)

Mechanism at crossing point p_ω that: (1) selects definite vacuum orientation in degenerate ground-state space, (2) separates EM from Strong at vacuum level, (3) stabilizes vacuum as strict local minimum. Surviving excitation is the τ-Higgs mode.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

Depended on by (7)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs

Symbol: Tau.BookIV.Electroweak.CoherenceFixingFormal