Registry · Definition IV.D14 tau-effective formalized

IV.D14 — Uncertainty Product

Uncertainty product Δx·Δp template. Arises from incompatible address constraints in τ-NF, not measurement disturbance. τ-Heisenberg: Δx·Δp ≥ ℏ_τ.

Book IV Part 2 Ch. 4

Dependency Graph

Depends on (1)

IV.D13

Depended on by (5)

IV.D384 IV.D385 IV.D68 IV.T204 IV.T205

Lean Formalization

Module: TauLib.BookIV.Physics.PlanckCharacter

Symbol: Tau.BookIV.Physics.UncertaintyProduct