Registry · Proposition
V.P25
tau-effective
formalized
V.P25 — Weak redistribution preserves defect count
Weak redistribution preserves defect count: the A-sector (generator pi, coupling kappa(A;1) = iota_tau) permutes defect content among sub-cells at each refinement step without reducing total defect support -- it is measure-preserving on defect support.
Book V
Part 3
Ch. 21