Canonical two-edge distributions and full admission

This is full admission, not merely existence of a compact kernel IXFree ({:treeadmission}). No extension of a failed product is hidden in the proof: the two-edge wavefront products exist on all $X$.