Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75
The effect trap
Accessible circuits, streaming resources, and effect traps › The effect trap · lines 965–972
This is the finite distinction emphasized in CheungEn02B,Oai280A,CheungOai290A,CheungXVIIA. Destructive readout retains its destructive meaning CheungI; it is not renamed as coherent decoding.