Proposition: Complete-channel error ledger

For compatible sequences of channels,

Every encoding, clock, controller, transition, communication, decoding, and failure output must be compared on matching interfaces.

Proof. Replace one factor at a time. The resulting telescoping sum has one channel difference in each term. Composition with channels contracts the diamond norm. Use the triangle inequality and divide by two.