Finite carriers, complete outputs, and access

The finite-reference reduction follows from Schmidt decomposition for pure inputs and convexity for mixed inputs. Equality of channels on all matrix units consequently preserves every external reference.