Registry · Theorem V.T280 tau-effective not_formalized V.T280 — Three generations from rank Ledger restatement: |gen|=3 from rank H_1(tau^3)=Z^3 Book V Part 7 Ch. 60