IV.P25 — Saturation Equality

The canonical saturation state achieves exact equality: (Δx)_{ψ_sat}·(Δp)_{ψ_sat} = ℏ_τ/2. The Heisenberg bound is sharp, attained by the σ-fixed character at the crossing point.