Notes from Aqta
Proof for AI
in the real world.
Research on signed AI decision records, runtime enforcement, model routing, and the evidence regulated teams need.
Check any record yourself: the public log
Every receipt Seal signs since 27 August 2026, and every agent action record since 4 September, refusals included, is committed to a public append-only log; here is how to check a record is in it, in the browser or with the published verifier.
When routing is dynamic, "which model ran?" is an audit question
Teams are routing work across AI models per task to control spend, and the model serving a request is now decided at runtime.
A backtest is a claim. A receipt is evidence.
Major banks are building AI agents for the investment process, and the evidence for what they can do is still often the backtest.
The receipt problem with AI
Every other transaction in your life gives you a receipt.
Who's accountable when healthcare AI makes a mistake?
Ireland's Medical Council says doctors remain responsible for AI-assisted decisions.
How Seal signs attestation receipts: Ed25519, canonical JSON, and zero-trust verification
A walk through the cryptography behind every Seal enforcement decision: Ed25519 signing, the canonical-JSON rule that keeps Python and TypeScript verifiers byte-identical, and how an auditor verifies a receipt in five lines without ever calling our servers.
Stay in the loop
Technical writing on AI in production. No filler, no spam.