Registry · Remark IV.R16 tau-effective not_applicable

IV.R16 — Existence Not Measurement

The address obstruction is ontological, not epistemological. A state with Δx = 0 and Δp = 0 does not merely resist observation; it fails to be a legitimate element of H_τ.

Book IV Part 3 Ch. 20

Lean Formalization

Module: