Registry · Proposition V.P210 tau-effective not_formalized V.P210 — Decoherence as address-resolution shadow Decoherence as VM shadow of address resolution Book V Part 7 Ch. 66