· 2 min read
Your agent says it's done. That isn't evidence.
An AI agent's success report is the one source that can't settle whether the work landed. Why QED Proof reads the destination instead, and why it fails toward "Couldn't check".
Written by the QED Proof team. Anything described as planned says so at the top. There's an RSS feed.
· 2 min read
An AI agent's success report is the one source that can't settle whether the work landed. Why QED Proof reads the destination instead, and why it fails toward "Couldn't check".
· 2 min read
A QED Proof receipt carries three independent proofs — a signature, a log inclusion proof and an on-chain anchor. Here is what each one proves, and how to check all three yourself.
· 3 min read
Proving that an agent pushed a commit keeps nobody up at night. Proving that it changed an ad budget does. Pipelines — designed, not yet live — let you define which actions deserve a receipt.