Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution

arXiv:2609.21284 · cs.PL, cs.AI, cs.CR · Submitted 2026-09-18 · Read on arXiv

cs.PL, cs.AI, cs.CR

Submitted: 2026-09-18

Updated: 2026-09-18

Comments: 39 pages, 2 figures, 7 tables; includes a complete proof appendix

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• AI Agents — 2× in this paper · explained in 2 episodes
• Trace — 1× in this paper · explained in 2 episodes

Related papers

• Griotte: Verified Compartmentalisation via Capabilities
• GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
• Quasar: A Programming Language Specialized for LLM Code Actions