Registry · Theorem V.T320 tau-effective not_formalized V.T320 — Sector Exhaustion --- recap of V.T44 Ledger restatement: Sector Exhaustion Theorem (V.T44) Book V Part 7 Ch. 63