Registry · Theorem V.T298 tau-effective not_formalized V.T298 — theta_QCD=0 from SA-i mod-3 --- IV.T160 Ledger restatement: theta_QCD=0 from SA-i mod-3 (IV.T160) Book V Part 7 Ch. 61