curl --silent --show-error --fail-with-body --request POST \
--url 'https://api.nsr.stateset.com/v1/proofs/verify' \
--header "X-API-Key: $STATESET_NSR_API_KEY" \
--header "Idempotency-Key: ${IDEMPOTENCY_KEY:?Set a unique key for this operation; preserve it on retries}" \
--header 'Content-Type: application/json' \
--data @proof-bundle.json
{
"failed_step": 1,
"reason": "Two-person tent, green — replacement for damaged pole set.",
"verified": true
}
Independently verify a self-contained proof bundle against nothing but
Verify a self-contained proof bundle. Save the unmodified verifiable_bundle returned by an approved decision as proof-bundle.json before running this request…
POST
/
v1
/
proofs
/
verify
curl --silent --show-error --fail-with-body --request POST \
--url 'https://api.nsr.stateset.com/v1/proofs/verify' \
--header "X-API-Key: $STATESET_NSR_API_KEY" \
--header "Idempotency-Key: ${IDEMPOTENCY_KEY:?Set a unique key for this operation; preserve it on retries}" \
--header 'Content-Type: application/json' \
--data @proof-bundle.json
{
"failed_step": 1,
"reason": "Two-person tent, green — replacement for damaged pole set.",
"verified": true
}
Verify a self-contained proof bundle. Save the unmodified verifiable_bundle returned by an approved decision as proof-bundle.json before running this request. Preserve the complete serialized facts, rules, and proof; their nested representations are produced by the decision engine and must not be reconstructed from this summary. A 200 response can contain verified: false; inspect the verdict and failure reason.
Headers
string
Retry-safe key. Replaying the same key with the same body returns the original response and sets
idempotent-replayed; a different body with the same key is rejected 422. Use it so a retried write cannot double-execute or double-bill.Request body
object
object[]
required
Complete serialized Triple records from the bundle, including provenance and scope. Preserve them verbatim.
object[]
required
Complete serialized Rule records cited by the proof. Preserve them verbatim.
object
required
Complete serialized Proof including goal, steps, substitution, and confidence. Preserve the emitted representation verbatim.
string,null
Optional tenant scope used by the checker.
string,null (date-time)
Optional valid-time checking instant.
Response
ProofVerifyResponse
integer
The step index the failure anchors to, when the failure is step-local. Minimum:
0.string
Present only on failure: the located reason the proof did not check.
boolean
required
True iff the derivation checks against the bundle’s own facts and rules.
Status codes
| Code | Meaning |
|---|---|
200 | Verification verdict (200 for BOTH verified and unverified proofs) |
401 | Unauthorized — missing or invalid credentials |
403 | Forbidden — the key/token lacks the required scope |
429 | Rate limited — see Retry-After / X-RateLimit-Reset |
Using this contract
Read the source OpenAPI document for declared schemas and alternatives. This page also includes documented corrections from the spec overlays. Example IDs and values are illustrative; replace them with records from your workspace.curl --silent --show-error --fail-with-body --request POST \
--url 'https://api.nsr.stateset.com/v1/proofs/verify' \
--header "X-API-Key: $STATESET_NSR_API_KEY" \
--header "Idempotency-Key: ${IDEMPOTENCY_KEY:?Set a unique key for this operation; preserve it on retries}" \
--header 'Content-Type: application/json' \
--data @proof-bundle.json
{
"failed_step": 1,
"reason": "Two-person tent, green — replacement for damaged pole set.",
"verified": true
}
Last modified on September 21, 2026