V.T60 — Finite defect budget

Finite defect budget theorem: B_def <= |D_0|/iota_tau < infinity; the global defect budget is finite, bounded by the initial defect count divided by iota_tau. Follows from the geometric series bound in the defect support exhaustion corollary.