Registry · Theorem V.T55 tau-effective formalized

V.T55 — The Categorical Second Law

The Categorical Second Law: along the alpha-orbit on the base tau^1, defect entropy is monotonically non-increasing, dS_def/d(alpha-orbit) <= 0; equivalently, the count of structurally non-trivial holomorphic continuations never increases at each refinement step. Tau-effective scope.

Book V Part 3 Ch. 21

Dependency Graph

Depends on (2)

I.D01 II.T40

Depended on by (15)

V.C05 V.L02 V.P101 V.P102 V.P117 V.P32 V.P37 V.P54 V.T158 V.T322 V.T56 V.T57 V.T68 V.T69 V.T76

Lean Formalization

Module: TauLib.BookV.Thermodynamics.Inversion

Symbol: Tau.BookV.Thermodynamics.TheCategoricalSecondLaw