A grouped cross-line is not its product with the target

Thus the recovered cross-line grouping is not itself an undefined tensor product. The unresolved step is its full characteristic contraction with the retained kernel and the specified mixed vertex Hessian, with the required reconstruction and graph bounds. No mixed expansion or replacement prescription is introduced.