Stability under complete-channel approximation

Consequently, if a complete finite approximation has error at most $a$ in half-diamond distance and an approximate decoder has certified error at most $b$, the same decoder has error at most $\min \{1,a+b\}$ on the compared accessible channel. The approximation must concern the declared complete channel and access identification; a selected occupation or entropy approximation is not enough.