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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.SecondlawInversion