A real transaction
An agent bought water on mainnet, sixteen times, and the receipt called every one
Before it was signed, Gecko planned the call, simulated it against live mainnet, and bound the receipt to the exact message. Then a wallet signed it, and it landed
transactions
exact predictions
misses
“A receipt is true for the state it was taken against. Take it at the moment you sign, not the day before”
One instruction, predicted exactly, sixteen times across three days, two storefronts, several account states. What this doesn't show: breadth, that's one program
WHEN THIS APPLIES TO YOU
This is the case for anyone whose agent will eventually sign something, not just read. If a wrong call only produces a bad answer, the stakes here are lower. If a wrong call moves money, this is the proof that a receipt taken before signing can be trusted, and exactly how far that trust extends today, no further than the state it was measured against. One honest caveat: three of the four spending caps in this run are real controls, but the rolling velocity counter is a file the same process can write. Moving those caps into the enclave is the next piece of work, not a finished one
