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

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.register_completeness