Cryptographic receipts for AI agent actions.

Every agent action is checked against your policy before it runs. Allowed actions execute; disallowed ones are blocked before any side effect fires. Each decision comes with a cryptographic proof (SAT or UNSAT) an auditor can verify in milliseconds. Choose a policy, then click a scenario to start.