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