Registry · Proposition
III.P34
tau-effective
formalized
III.P34 — E₂ ⊋ E₁ Strict Witness
E₂ contains orbit structures of length > 2 that cannot be expressed as pure sector decompositions (E₁ content). E₁ orbits have length ≤ 2 from bipolar involution; E₂ orbits achieve lengths 3, 5, etc.
Book III
Part 7
Ch. 60