conformance vectors Shipped
What this lens looks for
Derive conformance test vectors from the named requirements. Each vector has an ID, the requirement name(s) it exercises, a concrete input, and an expected result. Cover every MUST requirement at least once, plus the edge cases the requirements imply. A reader must be able to build the test suite from this table alone, without reading the source.
What its verifier checks
Every MUST requirement is exercised by at least one vector; each vector names the requirement(s) it covers; inputs and expected results are concrete, not vague; edge cases implied by requirements have vectors; the table is self-sufficient for writing tests.