Registry · Proposition IV.P170 tau-effective formalized

IV.P170 — Total Entropy Invariance

For each sector X, the total entropy S_X is mu-independent: dS_X/dmu = 0, with dS_X^vis/dmu = -dS_X^hid/dmu. Every gain in visible entropy is a loss in hidden entropy. The total sector entropy is a boundary invariant, not a readout-dependent quantity.

Book IV Part 2 Ch. 14

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.TotalEntropyInvariance