Skip to content

Conformance checklist

This page lists every requirement that carries a requirement ID in Draft 2.3, collected from the section text. Requirement IDs are still being assigned, so this page lists only those assigned so far. The section text is normative; this list is an index of it. Requirements that name a gate ID are enforced by the gate engine and are not repeated here. A fixture family reads “Not yet assigned” until the conformance suite (section 21) names one.

IDClassKeywordProving fixture family
REQ-02-01ConsumerMUSTNot yet assigned
REQ-02-02ConsumerMUST NOTNot yet assigned
REQ-02-03Consumer with a user interfaceMUSTNot yet assigned
REQ-02-04Gate engineMUSTNot yet assigned
REQ-02-05Log verifierMUSTNot yet assigned