Registry · Theorem V.T329 tau-effective not_formalized V.T329 — Sgr A* prediction suite Ledger restatement: Sgr A* prediction suite (V.T221) Book V Part 7 Ch. 64