The Enter discipline used here

Enter distinguishes destructive classical readout from quantum return. The measured quantum names are consumed from the returned quantum interface; the declared output contains a classical record and the retained residual EnterI,EnterPhilosophy.

The philosophy relevant here is the separation of:

1. a mathematically defined evaluation from a measurement that acquires unknown field data;

2. a complete channel from its record marginal;

3. a channel identity from a thermodynamic implementation;

4. a finite operational model on a supplied spacetime from a derivation of that spacetime.

The spacetime Enter model I-B supplies the fixed-host clock and transport interpretation IB. It does not supply the sharp-width limit.

Only ordinary finite Born instruments are used below. Their complete channel identities are proved directly. No abbreviated reconstruction of the Enter characterization theorem is attempted.