Corollary: Classical endpoint incompatibility

For $d\ge 2$, a purely classical accessible output cannot have a constant complete complement. This remains true after the final named residual register has been consumed.

Proof. A constant complete complement would imply exact recovery by Theorem thm:exact, contradicting Theorem thm:classical.