λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript X-K-ST@1 · X-K-ST.tex · section · 93c39c0f

The philosophy of Enter

Purpose, provenance, and the Enter discipline › The philosophy of Enter · lines 185–212

Back to manuscript

The supplied introductory essay distinguishes four interfaces and interpretations EnterPhilosophy:

  1. destructive readout is not quantum recovery;

  2. a classical record is not a quantum-return decoder;

  3. a channel is not a thermal machine;

  4. an analogy is not an identification.

Here destructive readout consumes a measured quantum name from the accessible quantum output and returns a classical code together with unmeasured surviving systems. This is a statement about access and output type. It is not physical annihilation of every implementing degree of freedom.

We adopt specified Born semantics. We do not rederive the class-relative characterization of Manuscript I from an abbreviated hypothesis list EnterI. In particular, record probabilities and complete residual instruments remain different comparison targets.

The mathematical setting of instruments, finite channels, and sequential networks is established DaviesLewis,Watrous,CDP. No priority claim is made for Kraus composition, partial trace, or the channel-error telescope.