REAI for work that actually matters
FILED2026-05-12 · ctrlai.com
BY⌃ Ctrl AI · est. 2026
REFDOC-001

AI for work that
actually matters.

Every reply your company’s AI gives is backed by a Contract a human signed. Expense approvals. Vendor risk. Customer requests. Policy Q&A. The LLM cannot answer without invoking a Contract — and every invocation leaves a cryptographic Receipt of Record.

Ed25519-signed·Offline-verifiable·EU AI Act · SOC 2 · DORA
Receipt of Record
# 1,847

CONTRACT
compute-travel-expense-pre-approval
VERSION
v3
ISSUED
2026-05-12 14:32:07 UTC
SEALED BY
Sarah Chen · Finance
RECEIPT
rcpt_3f7a92b8e4c1
ROOT
0x4e2a...b71c

in.amount $2,400.00
in.tier "engineering"
out.approved true
out.gate "none"
post.0 outputs.approved is boolean ✓
post.1 outputs.gate matches enum ✓

SEALED · VERIFIED
ed25519:7a4f9c8e2d1b5036

Verify offline → curl ctrlai.com/api/receipts/rcpt_3f7a92b8e4c1

§ The thesis

Three primitives. One signed unit.

LLMs guess. RAG paraphrases. Ctrl AI answers from typed Contracts your humans signed — every reply, every action, every time. Hallucination is not mitigated; it is structurally impossible.

§1 · How

Contracts

Typed callable functions signed by humans. Input schema. Output schema. Post-conditions. The LLM picks a Contract and calls it — it does not invent behaviour from prose.

§2 · Why

Missions

Standing directives with success criteria. Auto-evaluated as Contracts run. The agent has commitments, not just answers.

§3 · What

Cases

Durable working memory with an append-only event log. A multi-week decision is a single Case with every signed action attached.

§ The work

Every reply, a signed Contract. Every action, a Receipt.

The work your team does every day — approvals, reviews, decisions — becomes typed Contracts a human signs. The LLM has one job: pick the right Contract and call it. It cannot reply any other way.

DepartmentExample Contracts
FinanceExpense approvals · Vendor onboarding · Quarterly close · Budget transfers
LegalDPA review · DSAR responses · Contract redlining · NDA triage
CompliancePolicy Q&A · Audit evidence · Control attestations · Risk register updates
RevOpsPricing approvals · Renewal cadence · Quota changes · Commission audits
Customer SuccessGDPR requests · Refund decisions · Incident comms · Account reviews
People OpsHiring screens · Policy lookups · Onboarding flows · PTO exceptions

Your workflow isn’t here? Contracts are typed callable functions — anything a human team handles on a checklist becomes one. Tell us about yours.

§ Universal Provenance

Every action leaves a Receipt of Record.

On every invocation we sign the inputs, outputs, signers, and trust level with an Ed25519 key, then append the digest to a chained-hash transparency log. Any counterparty — your auditor, your customer, your regulator — can verify the receipt offline with one curl and one signature check.

Ed25519 signatures over canonical JSON
Append-only transparency log, root hash published
Public verifier endpoints at /.well-known
Maps to EU AI Act Art. 12 · SOC 2 · ISO 42001
# Verify any Ctrl AI receipt offline
curl -s https://ctrlai.com/api/receipts/rcpt_3f7a92b8e4c1 \
  | jq '.receipt' > receipt.json

# Fetch the public signing key
curl -s https://ctrlai.com/.well-known/ctrlai/receipt-keys \
  > keys.json

# Verify the Ed25519 signature
node verify.js receipt.json keys.json
# → SEALED · entry #1,847 · root 0x4e2a...b71c ✓

No SDK required · No vendor lock · Cryptographic, not theatrical

§5 · Compliance Packs

You don’t author governance. You install it.

Expert-co-signed bundles of typed Contracts targeted at a regulation and a vertical. Install in five minutes. Inherit the jurisdiction tags, the clause mappings, the expert signatures.

Pack IDTitle · CoverageJurisdictionAnnual
PACK-EU-AIACT-01
EU AI Act Starter
Articles 12 · 13 · 14
EU$45,000 / year
PACK-DORA-01
DORA AI Risk
ICT risk · Operational resilience
EU · Financial Services$60,000 / year
PACK-B2BSAAS-01
B2B SaaS Rev-Ops
Pricing · Approval thresholds · Renewal cadence
US · EU$30,000 / year
Browse the pack catalog Custom packs co-signed with your auditor: hello@ctrlai.com
§6 · Pricing

Three tiers. Plain numbers.

Tier · 01

Free

$0

Two users. One workspace. The full primitive set, no caps.

  • Up to 2 seats
  • Unlimited Contracts
  • Receipts of Record
  • Public Trust Portal
Tier · 02

Team

$30k / yr

One installed Pack. Up to 25 seats. SSO and audit export.

  • 1 Compliance Pack
  • Up to 25 seats
  • SSO + SAML
  • Quarterly audit binder
Tier · 03

Enterprise

From $120k / yr

Multi-Pack. Unlimited seats. Custom signers. Dedicated transparency log retention.

  • Unlimited Packs
  • Unlimited seats
  • Custom Pack co-signing
  • Air-gapped or self-hosted option

The Contract is signed.
The Receipt is the proof.

Expense approvals. Vendor risk. Customer requests. The work your team actually does — every reply backed by a Contract a human signed, every action sealed in a Receipt your auditor can verify.