IV.T25 — Heisenberg Uncertainty (Position-Momentum)

For all normalized ψ ∈ H_τ: Δx·Δp ≥ ℏ_τ/2. The bound is sharp (attained by ψ_sat), unique (ℏ_τ is the only mediator), and structural (CR-coupling on T² ⊂ τ³, not measurement limitation).