Manuscript Hawk05-A@1 · Hawk05-A.tex · section · 449f85bb
The Enter philosophy
Background, provenance, and necessary corrections › The Enter philosophy · lines 114–137
The Philosophy of Enter distinguishes four questions: what was prepared, what evolution acts on the complete system, what outputs are accessible, and what type of output a continuation returns. In particular, destructive computational-basis readout consumes its measured quantum name and returns classical data. Consumption is an interface statement, not physical annihilation. A quantum-return decoder is a different operation with a different correctness target EnterPhilosophy,CheungEnter.
We adopt ordinary finite-dimensional Born instrument semantics explicitly. We do not attempt a new derivation of the Born rule. Cheung's Manuscript I characterizes destructive readout inside a specified operational class; that characterization is background, not an unstated hypothesis transferring to every model CheungI.
The distinctions between complete preservation, restricted recovery, classical readout, and discard are developed in Cheung's Hawk04 manuscripts. The present paper proves the finite statements it needs rather than treating documentary comparisons as automatic theorem imports CheungHawk04A,CheungHawk04B,CheungHawk04C,CheungHawk04D.