V.C05 — Defect support exhaustion

Defect support exhaustion: starting from any initial configuration, defect support at depth n satisfies |supp(d_n)| <= (1 - iota_tau)^n |supp(d_0)|, and the total defect support summed over all depths is finite, bounded by |supp(d_0)|/iota_tau.