Successor problems

Construct a certified transition whose support contains a particle or nontrivial spacetime monodromy. Supply complete affected labels, boundary matching, ordered affine products, location transport, control assumptions, and a decoder equation. Approximate event detection must distinguish geometric error from event-time and event-resolution error.

For a specified observation algebra and resource model, construct nested implementation families with an explicit approximation rate. Separate target incompatibility from implementation error.

For a moving geometric model and a computational substrate, prove directional inclusion of physical dependency regions in scheduled regions. A scalar speed bound alone is insufficient.

After a renormalized composite has been independently constructed on all compact tests, specify its accessible observable structure and test descent of its mandatory presentations through the declared counterterm equivalence. Establish any required products separately; do not assume multiplication on a quotient of distributions.

These problems are successors, not missing premises of the finite interface theorems. In particular, the present results do not settle the interacting-product problem of the separate Wick track.