Definition: Specified-decoder decision

For a threshold ${\epsilon }_j$:

• certified: the access and validation contracts are supported and $U_j\le {\epsilon }_j$;

• excluded for this decoder: the contracts are supported and $L_j>{\epsilon }_j$;

• inconclusive: otherwise.

An unsupported access contract is never certified.