 Verification in the SCI hierarchy

Verification means that a finite-stage output comes with a mathematically valid one-sided or two-sided error guarantee. Convergence in one limit alone does not provide such a certificate at any specified finite stage.