A claim is CONFIRMED only if the test asserting the documented contract
FAILS.If the test passes, the spec is being honoured and the claim was wrong.
How a claim is judged
1
Synthesise a request
Built from the spec’s schema. Field names matter: a BVN that is not 11 digits
gets rejected by validation before the response shape is reached.
2
Generate a Go test asserting the documented behaviour
The test encodes what the spec promises, not what the code currently does,
then runs against the real handler through
httptest.3
Run it
Failure means code and contract disagree.
Verdicts
A claim the gate cannot execute is marked unverifiable. It is never let
through as though it had passed.
Executable claim kinds
response_field_mismatch · response_type_mismatch · status_code_mismatch ·
response_header_mismatch · auth_mismatch