Registry · Theorem IV.T26 tau-effective formalized

IV.T26 — Heisenberg Uncertainty (Time-Energy)

For all states on τ³: Δt·ΔE ≥ ℏ_τ/2. Same CR-coupling mechanism as x-p case: base τ¹ (time) couples to fiber T² (energy) through the same structure.

Book IV Part 3 Ch. 20

Dependency Graph

Depends on (2)

IV.T23 IV.T25

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.AddressObstruction

Symbol: Tau.BookIV.QuantumMechanics.HeisenbergUncertaintyTimeenergy