Lemma: Postprocessing and recovery stability

CPTP pre- and postprocessing do not increase $d_{\diamond }$. Consequently

Proof. For referenced states, trace distance contracts under a CPTP map. Taking the defining supremum gives channel contraction. For every decoder $\mathcal{D}$, the triangle inequality gives

Take infima and interchange the two channels.