Registry · Proposition V.P202 tau-effective not_formalized V.P202 — Universal T^2 correction --- V.P148 Ledger restatement: universal T^2 shadow correction (V.P148) Book V Part 7 Ch. 64