Enter as an interface discipline

The motivating discipline is Cheung's separation of destructive readout, quantum recovery, physical implementation, and geometric identification. Enter removes measured quantum names from the returned quantum interface and supplies a classical record. This is an access statement, not annihilation of every implementing degree of freedom. Likewise, equality of channels is not a thermodynamic account, and an analogy is not a mathematical dictionary CheungPhil,CheungI,CheungEn03.

We adopt specified finite Born semantics. We do not claim to rederive Landmark I's characterization from an abbreviated list of requirements. That characterization has its own structural class and hypotheses CheungI. All mathematical assertions needed for the model below are stated with their hypotheses and proved locally.

The construction follows En03-A's four-part geometric interface: external classical geometry, locations, accessible coupling algebras, and complete control and resource data CheungEn03. Geometry is supplied, not extracted from a count of names or records.