60-second overview

What did this agent decide,
and when did it decide it?

A design pattern for accountable autonomous agents


Agents act. When something goes wrong, one question follows — and today it is almost always unanswerable. Logs tell you what the agent says it did. Prove Before Act makes it commit before acting.

OBSERVE
input
DECIDE
intent
PROVE
anchored
ACT
execute
PROVE
outcome
T(intent_proof) < T(action)
if T(intent_proof) ≥ T(action): not evidence — just a record
Read the specification → Explore xProof, the reference implementation →