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
Within the finite models and contracts stated here:
actual reference-assisted influence is bounded by the complete scheduled ancestor set;
an independently certified physical embedding yields exact directional causal containment;
approximate decoded simulation obeys the norm-consistent signalling bound (eq:signal-stability);
finite-time periodic propagation, varying-velocity communication, and Hamiltonian-tail routes have the stated independent certificates;
the fixed-cone slicing event preserves the supplied causal relation, and causally certified transition channels compose through it;
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.