Declarations

scope. The tested class is a precise parameter-local/one-retarded realization of the production envelope. Parameter locality of unpropagated components is an additional explicit ansatz, frozen before the witness test. No universal exclusion of nonlocal Cauchy-data actions is claimed.

scope. The theorem concerns integrated cancellations admitting a shell-descending representation in this class. It does not deny existence of parameter-dependent bilinear cancellation cochains; one such cochain is constructed explicitly.

scope. The predecessor commutator, ordering counterexample, tree datum, quantum stop, assembly sign, and witness value are copied. The causal tangency theorem, representation identification, commutator realization of the detecting parameter, and cochain kernel calculation are proved here.

scope. All new actions and cocycles are even and classical. No application of $s_0$ to a quantum binary coefficient, interacting differential, master equation, state, antifield, Einstein–Hilbert interaction insertion, or sharp-width limit is supplied.

. No successful pdflatex execution, proof-assistant check, independently executed symbolic computation, independent referee review, or journal acceptance is asserted.