Enter as an access and return-type discipline

Cheung's Philosophy of Enter separates destructive readout from quantum recovery, reduced channels from thermal machines, and finite analogies from physical identifications. Enter consumes a measured quantum name at its declared interface and returns a classical record. A decoder instead returns a quantum target using specified accessible systems and preserving the required untouched reference correlations CheungPhilosophy.

We adopt ordinary finite Born instruments explicitly. Cheung's operational measurement characterization applies within its stated strategy class; it is not used here as a derivation of a gravitational instrument or of scrambling CheungEnter,CheungI. The operative questions are

The entanglement-assisted model is a finite version of the Hayden–Preskill recovery setting HaydenPreskill. Its ingredients are additionally declared. They are not consequences of Enter.