Protection regularity and complete residuals

If $k_{\ell }$ frozen weights of magnitude at most $w_{\ell }$ are removed,

This supplies a perturbation input, not the sign of an accuracy change.

For $D=\text{norm}{z-z^{\prime }}_{\infty }$, the accuracy interface in Psy01-A and Psy03-A gives

Indeed, changed correctness requires $\text{abs}m\le 2D$; split that event at $t$ and use Markov's inequality CheungPsy01A,CheungPsy03A. Accuracy control therefore needs margin information. Two lower accuracy bounds alone do not prove an ordering.