The required algebraic interface

If effects $M_n\to M$ in norm and states ${\omega }_n\to \omega$ weak-$\ast$ on the common algebra, then

This is a sufficient compatibility test for a law. Weak-$\ast$ convergence alone does not control pairings with varying effects lacking norm convergence.

A static shadow assignment

commutes for separated shadows, but its commutation does not use a dynamical speed at all. It is not automatically the observable net of the transported experiments.

The scaling-algebra methodology supplies a comparison framework, not an already constructed net for these channels BuchholzVerch. The general algebraic closure claim of TRANSPORT is therefore not retained without C6${}^{\mathrm{obs}}$.