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.