Registry · Proposition IV.P54 tau-effective formalized

IV.P54 — Parity in Non-Weak Sectors

EM (B), Strong (C), and Gravity (D) are parity-preserving to leading order: polarity dominance confines configurations to a single lobe where sigma acts as identity.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality2

Symbol: Tau.BookIV.Electroweak.ParityInNonweakSectors