V.T61 — Global Defect Exhaustion

Global Defect Exhaustion Theorem: there exists a finite orbit depth n_coh < infinity such that |D_n| = 0 and S_def(n) = 0 for all n >= n_coh; the coherence horizon is bounded by n_coh <= ceil(ln|D_0| / ln(1/(1 - iota_tau))).