Enter: background and four non-identifications

Cheung's Enter calculus distinguishes a destructive measurement interface from a quantum-return interface CheungEnter,EnterI. A measured quantum name is consumed from the accessible quantum output. The output contains a classical record and the unmeasured residual systems. This is an access statement, not a claim that every physical implementing degree of freedom is annihilated.

The philosophical account EnterPhilosophy keeps four distinctions:

1. consuming a measured register does not recover an unknown quantum code;

2. a stored classical outcome is not a coherent decoder;

3. specifying an input–output channel does not specify a heat, work, or reset model;

4. resemblance between constructions does not establish a physical dictionary.

For the present manuscript these imply, in particular,

and

The instruments below use specified Born semantics. No characterization theorem is rederived from shortened names for its hypotheses.