Registry · Remark IV.R304 tau-effective not_applicable

IV.R304 — Forward reference: the address-obstruction theorem

The structural explanation for why measurement selects a single address with probability |c_{m,n}|^2 requires the Address-Obstruction Theorem: simultaneous minimization of position and momentum address precision demands a tau-normal form that does not exist, yielding the Heisenberg uncertainty principle.

Book IV Part 3 Ch. 18

Lean Formalization

Module: