Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
The channel-completion interface
The channel-completion interface · lines 1287–1293
This switch-and-flag mechanism has precedents in PPT-composition and trace-decreasing-map completion CMHW2019,Filippov2021. It is proved here for the stated interface rather than inferred from a channel-synthesis template.