Disorder is not averaged away

If a declared probability space instead proves

Markov's inequality gives, with probability at least $1-p$,

The expectation here is an expectation of distances, not the distance of an averaged channel. Realization-dependent decoders and any necessary realization knowledge must be declared. A uniform-in-time probability statement requires additional control.