Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24

Event and cone extensions

Continuum, refinement, and evidence discipline › Event and cone extensions · lines 1253–1262

Back to manuscript

Boundary generation must also be distinguished from an attained operational event pair. A boundary ray produced by closure need not be occupied by any actual protocol CheungEn08A CheungXXIIB (Failure test F3). Attained null transport is a separate claim, not an implicit requirement of the cone-classification target.

Nearby in this section