Manuscript VIII-ST@1 · VIII-ST.tex · section · fe979f3b
What Enter contributes
Scope, provenance, and the Enter discipline › What Enter contributes · lines 189–209
In the Enter discipline, quantum names specify access to declared tensor factors. Destructive readout consumes the measured names and returns a classical record together with specified surviving factors CheungEnter,CheungI. The operation does not, merely by its output type, identify a classical record with recovery of an unknown quantum state.
The philosophical distinctions are consequential here: destructive readout is not quantum recovery; a channel is not a thermal machine; and a mathematical analogy is not a physical identification CheungPhilosophy. We use these distinctions as scope discipline, not as new axioms from which the geometric construction is inferred.
Born finite instruments are explicitly specified below. We do not reprove the operational measurement-characterization theorem of Manuscript I from an abbreviated list of its hypotheses, nor extend it to fields.