Registry · Theorem V.T58 tau-effective formalized

V.T58 — Defect entropy is monotonically decreasing

Defect entropy is monotonically decreasing: S_def(n+1) <= (1 - iota_tau) S_def(n) for all orbit depths n >= 0; the contraction factor (1 - iota_tau) is the gravitational self-coupling, ensuring exponential decay of defect entropy.

Book V Part 3 Ch. 22

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.EntropySplitting

Symbol: Tau.BookV.Thermodynamics.DefectEntropyIsMonotonicallyDecreasing