Registry · Lemma VI.L01 tau-effective planned

VI.L01 — Weak-Sector Uniqueness

Among 4 primitive holonomy sectors at E₁, the weak sector is the unique one with nontrivial polarity functional; EM, strong, GR are all parity-invariant.

Book VI Part 1 Ch. 3

Dependency Graph

Depends on (1)

VI.D01

Depended on by (3)

VI.T01 VI.T41 VI.L14

Lean Formalization

Module: TauLib.BookVI.LifeCore.ParityBridge

Symbol: Tau.BookVI.ParityBridge.WeaksectorUniqueness