Registry · Theorem V.T334 tau-effective not_formalized V.T334 — Gravity as readout --- no renormalization needed Gravity needs no renormalization: readout of D-sector Book V Part 7 Ch. 64