Finite interfaces and normalization

The quantifier is over all code inputs, including those entangled with $Q$. Agreement on a selected preparation or on diagonal matrix units is insufficient.