Registry · Corollary V.C07 tau-effective formalized

V.C07 — Finite irreversibility

Finite irreversibility: every irreversible process (friction, dissipation, radioactive decay, entropy production) draws from the finite defect budget B_def <= |D_0|/iota_tau; after the coherence horizon, no further irreversible processes occur.

Book V Part 3 Ch. 23

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DefectExhaustion

Symbol: Tau.BookV.Thermodynamics.FiniteIrreversibility