Registry · Theorem V.T343 tau-effective not_formalized V.T343 — Measurement problem dissolution Measurement problem dissolved: unitary + projection as two tau-native operations Book V Part 7 Ch. 66