Exact deletion versus the source's tied threshold

Apply the theorem separately when allocation is layerwise. The per-update rounding allowance is then bounded by the number of eligible layers, not necessarily one. This is a finite-count refinement of the hard-control discontinuity recorded in Psy01-A CheungPsy01A.