Conditional fixed-order assembly

These assumptions are substantive. They have not been discharged for the inherited characteristic graph. Compact support, a retarded-pole representation, or an unnormalized extension family does not supply the missing joint map or output theorem.

A regulator route additionally needs convergence in an appropriate fixed wavefront-restricted space, not merely weak convergence. Product and pushforward limit passage must use their actual topological hypotheses BDHops.