Registry · Theorem V.T324 tau-effective not_formalized V.T324 — Readout quantization obstruction --- recap Ledger restatement: quantization fails because metric is readout Book V Part 7 Ch. 63