Corollary: No downstream scalar-only repair

Appending fixed postprocessing, adaptive finite control, or a transport channel cannot turn an invariant scalar-only complete output into an informative one.

If an appended output remains informative about $a$, the resulting complete output is not invariant on the full witness orbit.

Proof. A fixed appended operation is another map of the same encoded input. Apply Theorem thm:orbit.