A classical-input diamond norm

For a hybrid linear map $D$, define its diamond norm through the canonical full-matrix extension that first pinches the input label and then applies the direct-sum map. Equivalently, one may amplify the direct-sum map by arbitrary matrix references and use the trace norm (eq:hybrid-norms).

For two transitions, set