Registry · Proposition III.P04 tau-effective formalized

III.P04 — Balanced Sector Uniqueness

The A-sector (weak) is the unique primitive sector with balanced spectral polarity: pol(S_g) = 1 iff g = π. Proved by orbit exhaustion over ABCD coordinates.

Book III Part 2 Ch. 12

Dependency Graph

Depends on (1)

III.D17

Depended on by (1)

III.T07

Lean Formalization

Module: TauLib.BookIII.Sectors.LanglandsReflection

Symbol: balanced_uniqueness_5