Registry · Corollary V.C06 tau-effective formalized

V.C06 — Defect entropy reaches zero

Defect entropy reaches zero: lim_{n->inf} S_def(n) = 0 with exponentially fast convergence S_def(n) <= (1 - iota_tau)^n S_def(0). The defect entropy is driven to zero by the geometric contraction at rate (1 - iota_tau) per orbit step.

Book V Part 3 Ch. 22

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.EntropySplitting

Symbol: Tau.BookV.Thermodynamics.DefectEntropyReachesZero