Registry · Proposition
IV.P157
tau-effective
formalized
IV.P157 — Second-law inversion
Defect entropy S_def is monotonically non-increasing under propagation: S_def[n+1] <= S_def[n]. Total entropy S = S_def + S_ref is non-decreasing because refinement entropy S_ref grows at least as fast as S_def decreases. This is a genuinely new thermodynamic asymmetry inverting the orthodox defect-level second law.
Book IV
Part 1
Ch. 7