Registry · Remark IV.R332 tau-effective formalized

IV.R332 — Local redistribution

Energy conservation does not prevent energy from moving between regions: holomorphic tension can redistribute as particles interact, transferring tension between modes, but total tension cannot be created or destroyed because boundary values fix the total content via the Central Theorem.

Book IV Part 3 Ch. 22

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.LocalRedistribution