Define the outcome
Declare prerequisites, expected business state, and retry limits.
BUSINESS ACTION VERIFICATION · PUBLIC BETA
Your agent said done.
Prove the work happened.
Verify real business outcomes across multi-step workflows. Catch false success, prevent unsafe retries, and check recovery before the next action.
Start with support refunds. Bring your own agent and business-state reader.
Read back the record
Check your application after the action—even when its response times out.
Verify before proceeding
Rust evaluates the evidence. The integration blocks the next step when verification fails.
INTERACTIVE WORKFLOW
A refund is more than a tool call.
Approve → refund $25 → close the ticket. Choose a failure condition and inspect the result from a controlled, in-memory business record. No real money moves.
The refund happened, but the response timed out.
Imported evidence is sent to this stateless API for evaluation. Use projected state without secrets or personal data.↳
Evidence before confidence.
Run a scenario to see step verification, recovery, and precise failure findings.
START SMALL. VERIFY ONE WORKFLOW.
Keep your agent.
Add an outcome check.
The JavaScript integration captures attempts, keeps idempotency keys stable, reads your application state, and asks the Rust engine to verify each step.
The starter runs a local simulated refund record against the hosted verifier. Replace its action and read-back callbacks with your own test environment.
Read the integration guide ↗Download the refund contract ↗
Node.js 22+ · no account needed for the beta
curl -fsSLO https://horizon-orchestra.com/horizon-verify.mjs curl -fsSLO https://horizon-orchestra.com/refund-quickstart.mjs node refund-quickstart.mjs
Use the HTTP API directly
curl https://horizon-orchestra.com/api/verify \
-H "Content-Type: application/json" \
-d '{"mode":"sandbox","scenario":"timeout_recovered"}'