Registry · Theorem V.T335 tau-effective not_formalized V.T335 — No information paradox in tau No information paradox: No-Shrink + readout unitarity Book V Part 7 Ch. 64