What is now required

The next construction step is no longer scalar relation evaluation or two-edge admission. It is:

1. prove that the sums ${{\lambda }^L}_1,{{\lambda }^R}_1$ and the second coefficients ${{\lambda }^L}_2,{{\lambda }^R}_2$ annihilate the concrete degree-four relation kernels;

2. determine the actual-pair and old-domain intersections;

3. prove coefficient agreement on those intersections, including intersections with already glued sums;

4. invoke the four-order coherence and reversal results only after those maps exist;

5. prove F9b separately only if actual-stage continuity is claimed.

An explicit relation with zero actual presentation and nonzero prescribed value would obstruct that prescription. To obtain the Proved obstructed release for the copied contract, every permitted alternative would have to be excluded. A failure of this canonical graph candidate alone would not suffice.