Dimension-explicit Choi certificates

A single residual state $\sigma$ with a certified small Choi discrepancy gives a valid upper certificate. Testing only a small input ensemble does not give such an upper certificate unless its extension to all code matrix units or to the complete channel is proved.