Registry · Theorem V.T283 tau-effective not_formalized V.T283 — Koide relation from tau Ledger restatement: Koide Q=2/3 from tau (IV.T143) Book V Part 7 Ch. 60