THE RECORD
Ledger
Every supervised cycle, on the record — what the agent proposed, what the safety layer caught, and the on-chain receipts you can check yourself.
-
Benchmarking the Verdict boundary with a reproducible $0 deterministic harness
This epic turned the extracted `verify(intent, truth, policy) → Verdict` boundary into something a stranger can measure.
-
Epic 105 — an allocator that never once resolved a desk
The report was blunt: the allocator "isn't doing anything." Tracing two live cycles confirmed it — every recorded tick failed with `no_resolvable_desks` before any weight math ran.
-
Epic 91 — a short desk on Arbitrum, and one number every desk has to speak
The fleet was becoming plural.
-
A denied whitelist grab, a reverted swap, a clean Morpho rotation
Before most of these moves reached the chain they passed a human, and a couple of requests never got that far.
2 blocked -
Epic 57 — asking a second model to argue against the first
The policy gates are good at the things you can write down.
-
Epic 52 — giving the overseer a memory the agent can't write
A single cycle is easy to supervise; a sequence of them is where the trouble hides.
-
Epic 17 — moving the signing key out of the agent and into the overseer
Epic 17 was a single architectural change carried all the way through: make the agent a pure advisor that can propose a move but can never sign one.