Statement
For the finite tracial inclusion and infinite expectation-orthonormal unitary family in Assumption 4.1, the full basic-construction face satisfies
Meaning and scope
The full core permits left amplification. On the unamplified span of the witness projections, the outputs lie in the scalar multiples of the identity; do not assign the full-target defect to that smaller operator.
The paper page includes the reader corrections accompanying this edition.
Source
Paper 2, Theorem 5.3. Research note — not peer reviewed.