Registry · Proposition
VII.P30
tau-effective
formalized
VII.P30 — Register Completeness
Four registers exhaust all possible coherence criteria at E₃; five generators yield four ρ-orbits yield four registers; register-level consequence of Saturation Theorem.
Book VII
Part 1
Ch. 8