the receipts

The actual output. Nothing staged.

Below is real terminal output from the engine, the runs behind every claim on the solution page. Each one is captioned: what you're looking at, and what it means. Where a run is synthetic, it's modeled on real OpenTelemetry agent logs with the test condition planted, and it's labeled as such. Where it's real public agent behavior we didn't author, it's marked.

hardware: MacBook Pro 14″  ·  Apple M4 Pro  ·  24 GB

Every number on this page was produced on one off-the-shelf laptop. No GPU. No cluster. No cloud. The latency figures are a single CPU core; the throughput figures scale across the cores of that same single chip. This is the slowest, smallest hardware this system will ever run on.

receipt 01

Real agent behavior it had never seenreal data

This is the one that can't be staged. We took 20 real, public agent trajectories (actual tool-use traces from agents we didn't build) and ran them through the engine. Reach means: did the agent go beyond what its task authorized?

Pass 1 is clean behavior, so the engine should raise no alarms, and it raised none. Pass 2 plants one real over-reach in each trace, so the engine should catch every one, and it did. The integrity line confirms the engine read the real traces faithfully.

receipt 02

Real agent commands, at scalereal data

10,403 real shell commands from 335 public agent trajectories, produced by three agent frameworks we didn't build (SWE-Agent, mini-SWE-Agent, OpenHands) solving real repository tasks. The engine had never seen any of them. There's no answer key for behavior in the wild, so the point isn't a score. The point is the behavior: it judged every chain link by link, and where a command's effect could not be read from the command itself, it said so rather than guessing. Note what these agents are: coding agents, which pipe arbitrary code into interpreters as a matter of routine. The policy here is deliberately paranoid (network and destructive verbs blocked outright), which is why 680 ordinary developer actions are stopped. Policy is declared by the operator, not by us. What the engine guarantees is that nothing gets past it unexamined.

receipt 03

The disguised commandsynthetic · modeled on real logs

The hardest case for any watcher: an agent that hides what it's doing, assembling a dangerous command from harmless-looking fragments so a keyword scanner sees nothing. A plain curl trips the obvious watch. But a constructed curl, built at runtime from pieces, trips a different one: not because we decoded the disguise, but because the act of hiding is itself the fact we record.

receipt 04

Half a million agents, zero mismatchessynthetic · modeled on real logs

Scale. 500,000 agents run through the full pipeline, every verdict checked against an independent oracle: a separate, simpler source of truth built to disagree if the engine is wrong. It didn't disagree once. The engine routed every agent correctly across all five outcomes, including the one that matters: breach by undeclared action.

receipt 05

Block decision in 41 microsecondsreal engine · real measurement · synthetic input traces

Speed is what lets it prevent rather than just record. 200,000 block-or-allow decisions through the real engine on this laptop, every verdict matched against an independent oracle. The traces are synthetic; the engine, the clock, and the correctness check are not. Worst-case block time: 41 microseconds (p99). End to end, including parse and transport, p99 stays under 200µs (receipt 06). The agent being guarded cannot act faster than roughly 100,000µs, because it has to run an inference first. The gate costs less than a fifth of one percent of the agent's own cycle, which is why it can sit in the path and stop an action rather than flag it afterward.

receipt 06

Scaling across the cores of one chipsynthetic · modeled on real logs

This one we show honestly, ceiling and all. Threaded is one process: it flatlines at one core's worth of work, the latency climbing as load piles on. That's the honest single-process limit, and we print it rather than hide it. Pool is the real answer: one worker per core behind a socket, throughput rising to ~33,000 decisions/sec measured on this one laptop. We want to be precise about that number: it's the highest we measured here, not a known ceiling. We haven't found the top yet, and on server hardware with more cores it should go higher. Every figure includes the real parse, transport, and decide. Wrong = 0 at every level.

Every receipt above is reproducible. The runs are scoped honestly: synthetic where it's synthetic, real where it's real, and the cases the engine can't resolve are surfaced, not guessed.

We'd rather show you than tell you.