Conditional fixed-order assembly

Extension theorems apply to distributions already defined on their stated reference domains and satisfying their extension hypotheses BF,Dang. A theorem about collision extension cannot substitute for an undefined noncoincident characteristic product. Extending one primitive also does not prove compatibility with every singular spectator.