Decision language

For each tested programme:

1. $U_{\nu }\le {\epsilon }_{\nu }$: certified at the declared tolerance;

2. $L_{\nu }>{\epsilon }_{\nu }$: that implemented programme is excluded;

3. otherwise: inconclusive.

An all-decoder exclusion is available only from an additional uniform argument, such as Theorem thm:loss. A failed upper certificate alone supplies no such exclusion.