Registry · Theorem
III.T03
tau-effective
formalized
III.T03 — Saturation at E₃
E₄ = E₃: the enrichment ladder saturates at exactly four levels. The 4-orbit closure of ρ under ABCD decomposition means no fifth orbit exists. Therefore [E₃^op, E₃] ⊆ E₃ — the functor category collapses back, and the ω-absorber mechanism prevents escape.
Book III
Part 1
Ch. 7