Registry · Theorem
III.T05
tau-effective
formalized
III.T05 — Sector Preservation Theorem
The boundary-to-interior functor Φ preserves the bipolar decomposition: χ₊-characters map to B-sector holomorphic functions, χ₋-characters map to C-sector, mixed characters map to the ω-coupling sector. The 4+1 decomposition is a THEOREM, not a definition.
Book III
Part 2
Ch. 9