AEVS: Proof-of-execution for AI agents with signed receipts