The Enter interface discipline

In Cheung's Enter calculus, a runtime quantum name is an access right to a tensor factor. Destructive computational-basis readout consumes the measured names and returns classical outcomes, while unmeasured factors may survive CheungEnter,CheungI. The accompanying philosophy separates:

A classical code is not the return of an unknown quantum clock; a channel is not a thermal machine; a suggestive geometric label is not a derivation of a metric CheungPhilosophy.

We adopt a specified finite Born instrument and prove its complete channel formula. We do not rederive the measurement characterization of Manuscript I from abbreviated axioms, certify an arbitrary apparatus to satisfy that manuscript's strategy class, or extend its conclusion to quantum fields.