Cordon: Semantic Transactions for Tool-Using LLM Agents
On the map: LLM agents and tool use → Agent threats, guardrails and governance
Abstract (arXiv)
Tool-using LLM agents are shifting the unit of computation from explicit human-issued commands to model-driven tasks with stateful consequences. Yet today's agent runtimes still expose tools as isolated RPCs. This interface gives runtimes a convenient integration point, but it lacks a task-scoped execution boundary for commit, rollback, recovery, and audit across multi-step agent workflows. We argue that this mismatch calls for a runtime containment boundary rather than another per-call guardrail. This paper introduces Cordon, a transactional runtime system for staging and validating irreversible agent effects before commit. A semantic transaction is a task-level execution boundary that binds tool intents and runtime-tracked result lineage to reversible local state, staged external effects, delegated authority, and audit metadata. Cordon implements this abstraction with a transaction manager that tracks derived result objects, executes reversible mutations in shadow state, stages outward-facing actions in an effect outbox, and records recovery metadata. The runtime then validates the composed execution flow before it commits state or releases external effects. Our evaluation across adversarial and benign workflows shows that Cordon exposes cross-step violations missed by existing defenses. It also reduces irreversible-effect failures while preserving benign task completion with modest approval and latency overhead.
Key facts. Cited by 22 papers in the map (data through 14 Oct 2026). Placed in Agent threats, guardrails and governance, one of 16 directions in LLM agents and tool use. Builds on 16 of its 42 references that are in the map. First posted on arXiv 16 Jun 2026.
Builds on
16 of 42 references.
Closest ancestors · 2
Same direction, newest first
- 2025Prompt Injection Attack to Tool Selection in LLM Agents28 Apr
- 2024AgentHarm: A Benchmark for Measuring Harmfulness of LLM Agents11 Oct
Other references · 14
- 2022Training language models to follow instructions with human feedbackcited by 15,971
- 2022ReAct: Synergizing Reasoning and Acting in Language Modelscited by 8,695
- 2023Toolformer: Language Models Can Teach Themselves to Use Toolscited by 4,182
- 2024τ-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domainscited by 1,402
- 2023Llama Guard: LLM-based Input-Output Safeguard for Human-AI Conversationscited by 1,207
- 2026DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligencecited by 1,040
- 2023ChemCrow: Augmenting large-language models with chemistry toolscited by 631
- 2026Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in Command Line Interfacescited by 585
- 2024The Instruction Hierarchy: Training LLMs to Prioritize Privileged Instructionscited by 493
- 2024AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agentscited by 401
- 2024StruQ: Defending Against Prompt Injection with Structured Queriescited by 375
- 2023NeMo Guardrails: A Toolkit for Controllable and Safe LLM Applications with Programmable Railscited by 365
2 more
Built on by
Citing papers per year: 2026: 22.
22 papers.
Sort:
By area:
- 2026MemTX: Transactional Belief Commit for Stateful Agent Memorycited by 15
- 2026AID-Guard: Stateful Authorization for Delegated Agent Effectscited by 5
- 2026Beyond Memory: A Transactional Continuity Kernel for Long-Lived AI Agentscited by 4
- 2026ATM: CID-Brokered Pre-Write Admission for Multi-Agent Code Co-Synthesiscited by 3
- 2026Graph Engineering in the Era of LLM Agents: From Individual Intelligence to System Intelligencecited by 3
- 2026Where Does Exactly-Once Live? Model, Harness, and Tool-Contract Effects on Duplicate Side Effects in LLM Agentscited by 3
- 2026Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollbackcited by 2
- 2026Callability Is Not Operability: Controlled Interface Interventions for LLM Agentscited by 1
- 2026Agents in the Large: Perception-Centered Architecture for Persistent Agentscited by 1
- 2026From Version Conflicts to Decision Conflicts: Selective Revalidation for Long-Running AI Agentscited by 1
- 2026When Is an Agent Evaluation Over? Outcome Finality and Cross-Unit Separationcited by 0
- 2026The Irreversibility Budget: Fleet-Level Risk Accounting and Admission Control for Agent Operating Systemscited by 0
10 more
- 2026REVISE: Validity-Guided Recovery for Online Revisions in Agent Workflowscited by 0
- 2026Do Not Restart: Residual Completion for Stateful Agent Handoffscited by 0
- 2026When Tool Calls Succeed but Workflows Fail: Anomalies at the Agent-Tool Boundarycited by 0
- 2026Beyond Approved Actions: Runtime Validation of Persistent Outcomes in Agent Workflowscited by 0
- 2026When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM Agentscited by 0
- 2026Janus: Evidence-Before-Effect Sagas and Offline-Verifiable Provenance for Agentic LLMscited by 0
- 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollbackcited by 0
- 2026When Evidence Changes: Evaluating Memory Repair and Re-reading in Language-Model Agentscited by 0
- 2026AgentMemGate: Addressing Speculation Contamination in Conversational Assistant Memorycited by 0
- 2026Kairos: Transactional Security Enforcement at the System Boundary for LLM Agentscited by 0
- 2026Kairos: Transactional Security Enforcement at the System Boundary for LLM Agents13 Oct 2026
- 2026AgentMemGate: Addressing Speculation Contamination in Conversational Assistant Memory6 Oct 2026
- 2026When Evidence Changes: Evaluating Memory Repair and Re-reading in Language-Model Agents2 Oct 2026
- 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollback29 Sep 2026
- 2026Janus: Evidence-Before-Effect Sagas and Offline-Verifiable Provenance for Agentic LLMs29 Sep 2026
- 2026When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM Agents28 Sep 2026
- 2026Beyond Approved Actions: Runtime Validation of Persistent Outcomes in Agent Workflows25 Sep 2026
- 2026Where Does Exactly-Once Live? Model, Harness, and Tool-Contract Effects on Duplicate Side Effects in LLM Agents24 Sep 2026
- 2026When Tool Calls Succeed but Workflows Fail: Anomalies at the Agent-Tool Boundary14 Sep 2026
- 2026Do Not Restart: Residual Completion for Stateful Agent Handoffs12 Sep 2026
- 2026From Version Conflicts to Decision Conflicts: Selective Revalidation for Long-Running AI Agents7 Sep 2026
- 2026REVISE: Validity-Guided Recovery for Online Revisions in Agent Workflows1 Sep 2026
10 more
- 2026The Irreversibility Budget: Fleet-Level Risk Accounting and Admission Control for Agent Operating Systems31 Aug 2026
- 2026Agents in the Large: Perception-Centered Architecture for Persistent Agents31 Aug 2026
- 2026Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollback29 Aug 2026
- 2026Callability Is Not Operability: Controlled Interface Interventions for LLM Agents23 Aug 2026
- 2026AID-Guard: Stateful Authorization for Delegated Agent Effects21 Aug 2026
- 2026Graph Engineering in the Era of LLM Agents: From Individual Intelligence to System Intelligence21 Aug 2026
- 2026When Is an Agent Evaluation Over? Outcome Finality and Cross-Unit Separation14 Aug 2026
- 2026Beyond Memory: A Transactional Continuity Kernel for Long-Lived AI Agents12 Aug 2026
- 2026MemTX: Transactional Belief Commit for Stateful Agent Memory27 Jul 2026
- 2026ATM: CID-Brokered Pre-Write Admission for Multi-Agent Code Co-Synthesis29 Jun 2026
- 2026MemTX: Transactional Belief Commit for Stateful Agent Memorycited by 15
- 2026ATM: CID-Brokered Pre-Write Admission for Multi-Agent Code Co-Synthesiscited by 3
- 2026Graph Engineering in the Era of LLM Agents: From Individual Intelligence to System Intelligencecited by 3
- 2026Where Does Exactly-Once Live? Model, Harness, and Tool-Contract Effects on Duplicate Side Effects in LLM Agentscited by 3
- 2026Callability Is Not Operability: Controlled Interface Interventions for LLM Agentscited by 1
- 2026Agents in the Large: Perception-Centered Architecture for Persistent Agentscited by 1
- 2026The Irreversibility Budget: Fleet-Level Risk Accounting and Admission Control for Agent Operating Systemscited by 0
- 2026Beyond Approved Actions: Runtime Validation of Persistent Outcomes in Agent Workflowscited by 0
- 2026When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM Agentscited by 0
- 2026Janus: Evidence-Before-Effect Sagas and Offline-Verifiable Provenance for Agentic LLMscited by 0
- 2026When Evidence Changes: Evaluating Memory Repair and Re-reading in Language-Model Agentscited by 0
- 2026Kairos: Transactional Security Enforcement at the System Boundary for LLM Agentscited by 0
- 2026Kairos: Transactional Security Enforcement at the System Boundary for LLM Agents13 Oct 2026
- 2026When Evidence Changes: Evaluating Memory Repair and Re-reading in Language-Model Agents2 Oct 2026
- 2026Janus: Evidence-Before-Effect Sagas and Offline-Verifiable Provenance for Agentic LLMs29 Sep 2026
- 2026When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM Agents28 Sep 2026
- 2026Beyond Approved Actions: Runtime Validation of Persistent Outcomes in Agent Workflows25 Sep 2026
- 2026Where Does Exactly-Once Live? Model, Harness, and Tool-Contract Effects on Duplicate Side Effects in LLM Agents24 Sep 2026
- 2026The Irreversibility Budget: Fleet-Level Risk Accounting and Admission Control for Agent Operating Systems31 Aug 2026
- 2026Agents in the Large: Perception-Centered Architecture for Persistent Agents31 Aug 2026
- 2026Callability Is Not Operability: Controlled Interface Interventions for LLM Agents23 Aug 2026
- 2026Graph Engineering in the Era of LLM Agents: From Individual Intelligence to System Intelligence21 Aug 2026
- 2026MemTX: Transactional Belief Commit for Stateful Agent Memory27 Jul 2026
- 2026ATM: CID-Brokered Pre-Write Admission for Multi-Agent Code Co-Synthesis29 Jun 2026
- 2026AID-Guard: Stateful Authorization for Delegated Agent Effectscited by 5
- 2026Beyond Memory: A Transactional Continuity Kernel for Long-Lived AI Agentscited by 4
- 2026Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollbackcited by 2
- 2026From Version Conflicts to Decision Conflicts: Selective Revalidation for Long-Running AI Agentscited by 1
- 2026When Is an Agent Evaluation Over? Outcome Finality and Cross-Unit Separationcited by 0
- 2026REVISE: Validity-Guided Recovery for Online Revisions in Agent Workflowscited by 0
- 2026Do Not Restart: Residual Completion for Stateful Agent Handoffscited by 0
- 2026When Tool Calls Succeed but Workflows Fail: Anomalies at the Agent-Tool Boundarycited by 0
- 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollbackcited by 0
- 2026AgentMemGate: Addressing Speculation Contamination in Conversational Assistant Memorycited by 0
- 2026AgentMemGate: Addressing Speculation Contamination in Conversational Assistant Memory6 Oct 2026
- 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollback29 Sep 2026
- 2026When Tool Calls Succeed but Workflows Fail: Anomalies at the Agent-Tool Boundary14 Sep 2026
- 2026Do Not Restart: Residual Completion for Stateful Agent Handoffs12 Sep 2026
- 2026From Version Conflicts to Decision Conflicts: Selective Revalidation for Long-Running AI Agents7 Sep 2026
- 2026REVISE: Validity-Guided Recovery for Online Revisions in Agent Workflows1 Sep 2026
- 2026Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollback29 Aug 2026
- 2026AID-Guard: Stateful Authorization for Delegated Agent Effects21 Aug 2026
- 2026When Is an Agent Evaluation Over? Outcome Finality and Cross-Unit Separation14 Aug 2026
- 2026Beyond Memory: A Transactional Continuity Kernel for Long-Lived AI Agents12 Aug 2026
Similar, not cited
Close in wording, no citation either way
- 2026Agentao: A Policy-Governed Runtime Harness for Embeddable Tool-Using LLM Agents
- 2026When Tool Outputs Become Commands: Separating Action Induction from Runtime Authorization in Tool-Augmented LLM Agents
- 2026Agent libOS: A Runtime Substrate for Capability-Controlled Self-Evolving LLM Agents
- 2026DART: Semantic Recoverability for Structured Tool Agents
- 2026ActGov: Governing LLM Agent Actions via Policy-Constrained Validation
- 2026A Policy-Driven Runtime Layer for Agentic LLM Serving
- 2026Agentic AI Workload Characteristics
- 2026Boundary-State Control for Tool-Using Language-Model Agents: Commit-Time Consistency under State Drift