Manuscript VIII-B@3 · VIII-B-v3.tex · section · 3aa6baa1
Separate successors
Non-identifications and separate successor obligations › Separate successors · lines 2459–2503
schedules. A fixed-packet flow, a command grammar, legal permission histories, and support bounds for prescribed matter channels require their own theorems. VIII-C CheungVIIIC is documented as the successor that composes regular source replacement with frozen-deficit incidence. No VIII-C theorem is absorbed as a premise or result here. A schedule-support region is not thereby a spacetime causal past.
incidence–deficit germ. Neither Theorem thm:persistence nor the finite table constructs a simultaneous incidence and deficit change. A successor would have to provide, at minimum:
one justified common limiting realization and a declared variable-deficit seam convention;
both one-sided cell germs, with embedding, spacelikeness, and active-cell nondegeneracy on their domains;
complete overlap maps and winding-marked affine words through the mixed stratum;
coherent worldline, rest-frame, and abstract-label transports;
exact incidence/source guards and permission accounting;
a canonical forward-domain representation and decoder theorem, including its source promise or acquisition errors.
This is a missing-object checklist, not an existence theorem or a universal obstruction.
acquisition. Approximate acquisition requires a separate instrument with a specified preparation class, sample resources, selective residual states, estimation error, and robust-control analysis. Proposition prop:obstruction does not provide that instrument. No such instrument for the current of this paper is supplied by the finite token table.
excluded constructions. No tessellation Hamiltonian, global hybrid evolution, characteristic distributional product, interacting quantum Ward identity, physical communication schedule, no-signalling theorem for the nonlinear source rule, or -dimensional semiclassical Einstein equation is constructed.