Proposition: Complete-channel telescoping

For compatible ideal and implemented channel factors,

All encoders, clock operations, classical controls, communication, failure outputs, and decoders belong to the comparison.

Proof. Subtract the compositions and replace one factor at a time. Each term has one channel difference, surrounded by channels. Their diamond norms are contractive under those compositions. Apply the triangle inequality and divide by two.