Proof of Execution: Runtime Verification for Governed AI Agent Actions
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
Record details
Published: 26 April 2026
Source: arXiv
Category: Research
Topics: Regulation · Agents & autonomy
Retrieved: 14 July 2026
Related evidence
These records share source-supplied organisations, an exact publisher byline, automatic topics or regions. The reason is shown on every link; related does not mean supporting, agreeing with or verifying this record.
Structural Enforcement of Goal Integrity in AI Agents via Separation-of-Powers Architecture
arXiv · 26 April 2026
Governing What You Cannot Observe: Adaptive Runtime Governance for Autonomous AI Agents
arXiv · 27 April 2026
On the Centralization of Governance Power in Decentralized Autonomous Organizations
arXiv · 27 April 2026
ValueBlindBench: Agreement-Gated Stress Testing of LLM-Judged Investment Rationales Before Returns Are Observable
arXiv · 28 April 2026
Think Before You Act -- A Neurocognitive Governance Model for Autonomous AI Agents
arXiv · 28 April 2026
ADEMA: A Knowledge-State Orchestration Architecture for Long-Horizon Knowledge Synthesis with LLMAgents
arXiv · 28 April 2026
How to cite this record
ethics.ai (26 April 2026), “Proof of Execution: Runtime Verification for Governed AI Agent Actions,” evidence record 5345, https://ethics.ai/record/5345 (originally published by arXiv).
Use and limitations
This page is a stable index and citation surface for a source record. ethics.ai did not author the underlying report and has not independently verified every claim. Automatic topics may be imperfect. For consequential use, quote and cite the original publisher.