TY - RPRT TI - Proof of Execution: Runtime Verification for Governed AI Agent Actions AU - James Rhodes AU - George Kang PY - 2026 UR - https://arxiv.org/abs/2607.05397 ID - 2607.05397 ER -