Remark: What has not been classified

The products just constructed need no extension across an excluded set: their wavefront products exist on all of $X$. This selects a canonical graph prescription. It does not classify all nonconstant terms permitted by the copied interfaces, nor impose a new prohibition on alternative contact terms.