Manuscript VII-J@1 · VII-J.tex · theorem · d8c01b04

Theorem: VII-J release

Release, boundaries, and successor obligations · lines 2035–2078 · proof included or linked

VII-J@1#thm:release

Back to manuscript

Within the finite models and contracts stated here:

  1. actual reference-assisted influence is bounded by the complete scheduled ancestor set;

  2. an independently certified physical embedding yields exact directional causal containment;

  3. approximate decoded simulation obeys the norm-consistent signalling bound (eq:signal-stability);

  4. finite-time periodic propagation, varying-velocity communication, and Hamiltonian-tail routes have the stated independent certificates;

  5. the fixed-cone slicing event preserves the supplied causal relation, and causally certified transition channels compose through it;

  6. the printed buffered event benchmark is both causally realizable and exactly accurate for its declared nontrivial quantum transport target.

No identification of scheduled reachability with the whole geometric causal past is made.

Proof. Combine Theorems thm:schedule, thm:physical, thm:polytope, thm:signal-stability, thm:tail, thm:conegates, and thm:eventbenchmark, with Propositions prop:varying, prop:trotter, and prop:eventcomposition.

Nearby in this section