Registry · Remark IV.R316 tau-effective formalized

IV.R316 — The mechanism in plain language

Phase Transport Monotonicity says that knowing more precisely where a state sits on the gamma-circle forces a proportionally larger spread on the eta-circle, not because measurement disturbs the other but because the CR-structure ties the two circles together with coupling constant hbar_tau.

Book IV Part 3 Ch. 20

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.AddressObstruction

Symbol: Tau.BookIV.QuantumMechanics.TheMechanismInPlainLanguage