The Philosophy of Enter

Cheung's Philosophy of Enter treats measurement as a declared interface: destructive computational-basis readout consumes the measured quantum name and returns classical data. It does not return the unknown quantum input with its reference correlations. A decoder has a different target and must specify its permitted access. The essay also separates complete energy, physical erasure cost, and residual leakage, and distinguishes an operational analogy from a physical identification CheungPhilosophy.

We implement that discipline by declaring the input code, its retained references, the accessible output, every excluded output, and the target channel before stating a recovery or observation result. Register consumption is a statement about the returned interface, not a proof that a physical environment has disappeared.

Cheung's journal article develops a linear quantum lambda calculus and an operational characterization of destructive measurement within an explicit strategy class CheungEnter. Here the finite Born instrument is defined directly. We neither reproduce that uniqueness argument nor enlarge its hypotheses by citation.