Registry · Theorem V.T303 tau-effective not_formalized V.T303 — Scalar amplitude A_s from tau Ledger restatement: scalar amplitude A_s from tau (V.D253) Book V Part 7 Ch. 62