The completed relational test

The proposition concerns the retained degree-one outputs. The vertices are quadratic, their auxiliary products need not have degree one, and the finite instruments below are channels rather than field elements. No universal background-degree bound for arbitrary further compositions is asserted.