Complete-complement quantitative bounds

A nonconstant finite complement always has some such positive witness: if it agreed on all states, linearity and the spanning property of states would make it a replacement channel. This establishes exact nonrecoverability, but a small positive $q$ need not obstruct a prescribed positive error threshold.