Manuscript VII-J-ST@1 · VII-J-ST.tex · section · f1f1d82c
The Enter discipline
Scope, Enter philosophy, and the two targets › The Enter discipline · lines 239–254
Endpoint channel correctness does not by itself construct Target B. A physical embedding of dependency endpoints is a sufficient support certificate; an actual elementary realization also needs the declared implementation primitives.
. VII-J is the source causality manuscript; VII-F supplies the prescribed slicing family; I-B supplies the spacetime-interface pattern CheungVIIJ,CheungVIIF,CheungIB. Other sheets are documentary comparisons. Their citation does not import unprinted proof hypotheses. Every positive mathematical claim used in this release has a proof below.