{
  "id": 5345,
  "url": "https://arxiv.org/abs/2607.05397v1",
  "title": "Proof of Execution: Runtime Verification for Governed AI Agent Actions",
  "summary": "Agent systems increasingly execute rather than advise. When an AI agent queries regulated data, invokes effectful tools, and mutates persistent state, correctness is not captured by whether a terminal output looks plausible. The operative questions are whether each step was authorized under a contract, whether the recorded history is tamper-evident, and whether the trajectory can be reconstructed deterministically. We formalize this as runtime proof of execution. An execution is a triple $x = (C",
  "authors": "James Rhodes, George Kang",
  "category": "research",
  "topics": "regulation,agents-autonomy",
  "orgs": null,
  "regions": null,
  "published_at": "2026-04-26T12:30:54.000Z",
  "fetched_at": "2026-07-14T16:31:40.222Z",
  "source_slug": "arxiv-ethics",
  "source_name": "arXiv",
  "source_homepage": "https://arxiv.org",
  "ethics_ai_record_url": "https://ethics.ai/record/5345",
  "original_url": "https://arxiv.org/abs/2607.05397v1",
  "evidence_status": "source-only",
  "attribution": "via ethics.ai"
}