Insurance · PAS bind-gate · carrier wedge

Governed attempts under frozen law — stranger-verifiable.

We don't prove complete logs. We prove governed attempts with typed silence — and payment bound to proof. Built for AI liability carriers and PAS integrations.

Stavan flow (60 seconds)

1Underwriting agent proposes policy_bind — capital commitment moment.

2Bind-gate evaluates frozen Handler Receipt + delegation → BLOCK.

3Restraint receipt (deontic F) proves what did not happen.

4Anyone verifies at /verify — no Velaru account, no trust assumption.

▶ Run carrier demo Open verifier Integration guide

API try-it (sandbox)

Public demo key velaru_public_demo — isolated log, 10 req/min.

curl -X POST https://velaru.onrender.com/api/v1/restraint \\
  -H "Content-Type: application/json" \\
  -d '{"action_not_taken":"policy_bind","decision_reason":"Delegation limit exceeded","domain":"insurance"}'

curl -X POST https://velaru.onrender.com/api/v1/classify \\
  -H "X-API-Key: velaru_public_demo" \\
  -H "Content-Type: application/json" \\
  -d '{"message":"Bind general liability policy","domain":"insurance"}'

Proof-bound settlement (optional twin)

Bind x402 payment_hash to governed decision — PDTR twin receipt for premium settlement rails.

bind_payment() · vs NotaryOS scorecard