Pay Only for Disagreement: Certified No-Regression Verdicts for Model Updates with Matching Label-Complexity Bounds
This work formalizes update promotion as certified paired risk-difference auditing as well as building DISCERN, a sequential two-tier protocol that proves finite-sample validity and matching label-complexity bounds of order rho^2/eps^2 at the rate level.