Manuscript XXII-E@1 · XXII-E.tex · section · 51c99d2f

The retained transport tests

The dynamics contract and obligations D1–D6 › The retained transport tests · lines 1486–1509

Back to manuscript

The dynamics layer does not supersede XXII-D's tests CheungXXIID (Failure tests F1–F6):

  1. generated boundaries do not imply attained null protocols;

  2. a fixed finite stencil need not approximate every null direction;

  3. moving arrivals can prevent uniform comparison through an event;

  4. small step errors can accumulate in a specified noise model;

  5. tolerance is not exact causal containment;

  6. endpoint limits do not establish a unique continuum evolution.

The unchanged component carrier also retains the fixed-source finite-future obstruction CheungXXIID (thm:anchored-obstruction). A geometric extension introduced for curvature must explain how its events and comparisons relate to that carrier.

Scheduled ancestry, unconditional operational influence, and an independently supplied geometric causal relation remain distinct CheungVIIJ,CheungXXIIA. A curvature comparison does not certify their equality.