Registry · Definition V.D84 tau-effective formalized

V.D84 — Coherence horizon

Coherence horizon: the orbit depth n_coh = min{n in N : S_def(n) = 0} at which defect entropy first reaches zero; for n >= n_coh the configuration is in categorical equilibrium. Existence and finiteness guaranteed by the Global Defect Exhaustion Theorem.

Book V Part 3 Ch. 21

Lean Formalization

Module: TauLib.BookV.Thermodynamics.Inversion

Symbol: Tau.BookV.Thermodynamics.CoherenceHorizon