Manuscript En06-A@1 · En06-A.tex · section · e04c9892
Source alignment and optional Enter interface
Source alignment and optional Enter interface · lines 2468–2551
The following table records comparisons, not transfers of model-specific hypotheses.
| Present interface | Source record | Exact boundary |
|---|---|---|
| Snapshot/channel/adjoint equivalence | En05-A lem:comparison; VII-J thm:nosignal | Complete hybrid states; joint reference agreement when required. |
| One-layer and scheduled support | En03-A lem:one-layer, thm:locality; VII-E | An upper support region, not equality with actual influence. |
| Influence containment | Psy04-B thm:schedule; VII-J | Unconditioned interventions; all records and resources included. |
| Local controllers | VII-G | No unknown-state description or hidden remote control. |
| Finite program denotation | I thm:adequacy; En04-A thm:soundness; Hawk04-B | Available syntax/library only; not arbitrary instrument compilation. |
| Relabelled channel simulation | En02-C thm:C1 | Requires a valid matched wire realization; does not prove its geometry. |
| Readout and discard | En04-A; Hawk04-B thm:drop | Destructive Enter and complete partial trace, not a decoder or physical annihilation. |
| Residual response | En04-A def:response, cor:bridge | Complete complement; a geometric dictionary remains separate. |
| Velocity certificate | VII-J thm:polytope | Timed periodic graph, strong connectivity, finite-time offset. |
For a selected calculus, the optional E1–E6 interface is read as:
- E1.
Termination of the selected well-typed program evaluation.
- E2a/E2b.
Disjoint commutation and a separately established global terminal-law confluence theorem.
- E3.
No-signalling for disjoint complete owned interfaces.
- E4.
Destructive record accounting and only the justified record-compatible deferred-readout fragment.
- E5.
Local affine complete-instrument semantics; semantic no-cloning and ensemble indistinguishability at that interface.
- E6.
Mixed-state and reference extension, with admitted local adaptive controllers and complete history accounting.
Landmark I supplies concrete source statements for its specified calculus; the publisher abstract records its termination, observational confluence, adequacy, no-cloning, and internal no-signalling layers CheungI,CheungEC. These semantic inputs are optional after a qubit carrier and syntax have been selected. They neither construct the increasing-stencil metric nor prove T.