Independently verify a self-contained proof bundle against nothing but
itself — no engine, no database, no tenant state. POST an approved decision’s verifiable_bundle VERBATIM to confirm that verdict without trusting the decision…
POST
itself — no engine, no database, no tenant state. POST an approved
decision’s
verifiable_bundle VERBATIM to confirm that verdict without
trusting the decision endpoint (the same check ships as the open,
dependency-light nsr-proof-core crate for fully offline verification).
Always returns 200 with a verdict: an unsound proof is a valid answer
(verified:false + the located reason), not a client error. The body is
the raw knowledge::ProofBundle — {facts, rules, proof, org_id?, as_of?}
— exactly as verifiable_bundle emits it; hand-authored bundles are
documented in docs/GETTING_STARTED_SCENARIOS.md.
Required scope: write
Request body
JSON body of typeobject.
Response
ProofVerifyResponse
integer
The step index the failure anchors to, when the failure is step-local.
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.