Insertion wavefront bounds do not become output bounds

An extension of $b^{\circ }$ may introduce tangential wavefront directions at $Z$. Therefore coefficient extendability alone is not a complete-graph wavefront theorem, and an insertion bound is not an output bound after the missing characteristic composition and pushforward.