IV.R307 — Preview of the address-obstruction theorem

The non-commutativity [X-hat, P-hat] != 0 is the algebraic seed of the Address-Obstruction Theorem: the CR-coupling forces compensating base shifts that conflict between gamma-address and eta-address readouts, and the next chapter turns this into the quantitative bound Delta_x * Delta_p >= hbar_tau/2.