Registry · Theorem
IV.T22
tau-effective
formalized
IV.T22 — Phase Transport Monotonicity
For a normalized state clopenly localized at scale ε: (Δp)_f ≥ ℏ_τ/(2ε). Monotone: finer localization forces strictly larger momentum uncertainty. First link of the three-theorem chain.