Registry · Remark IV.R321 tau-effective not_applicable

IV.R321 — Common origin

In textbook QM, position-momentum and time-energy uncertainty relations have different logical statuses (operator theorem vs heuristic); in tau^3 both have the same structural origin: CR-coupling in the fibered product, with x-p from fiber T^2 coupling and t-E from base-fiber coupling.

Book IV Part 3 Ch. 20

Lean Formalization

Module: