Registry · Definition V.D89 tau-effective formalized

V.D89 — Coherence horizon---refined

Coherence horizon (refined): n_coh = min{n in N : |D_n| = 0}, the smallest orbit depth at which the defect set is empty. By the Global Defect Exhaustion Theorem, this minimum exists and is finite; for p = 2 the bound gives n_coh <= 398.

Book V Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DefectExhaustion

Symbol: Tau.BookV.Thermodynamics.CoherenceHorizonrefined