Generated from the running server’s document, which matches the engine repository at 0.9.6 exactly.
The Verified Decisions page is the narrative for the thirteen decision
endpoints; the MCP server exposes 36 of these operations as agent tools; the
SDKs wrap them in four languages.
Where to start
Make a decision
approved, denied or refused, with the cited proof chain that produced it. A refusal is
the safe answer when a premise is missing, not an error.Teach it a rule
Rules are Horn clauses over your facts. Lint one before you commit it; dry-run a policy change
against logged decisions before you ship it.
Record what happened
Honored, reversed, overridden, escalated. This is what makes reported confidence mean anything —
the calibration curve is built from it.
Verify a proof yourself
A self-contained bundle — derivation, facts, rules — checked without trusting the engine that
produced it.
The groups
Related
- Neuro-Symbolic Architecture — what NSR is and why proofs matter
- Verified Decisions API — the decision contract in depth, with the 0.9.4 verification changes
- Agent Gate — a decision in front of every tool call
- NSR Console & Billing — the operator side of the same engine