theHarnessProvesAtLeastOneObligation

A harness that declares nothing on either obligation is not a conformance test.

Proven on both with two empty lists is caught by the declaration checks above; this catches the subtler shape where every obligation is honestly declared away and subclassing the suite has bought a green with no property behind it at all.