Agent Contracts: A Formal Framework for Resource-Bounded Autonomous AI Systems
Not on the map. Why?
Abstract (arXiv)
The Contract Net Protocol (1980) introduced coordination through contracts in multi-agent systems. Modern agent protocols standardize connectivity and interoperability; yet, none provide formal, resource governance-normative mechanisms to bound how much agents may consume or how long they may operate. We introduce Agent Contracts, a formal framework that extends the contract metaphor from task allocation to resource-bounded execution. An Agent Contract unifies input/output specifications, multi-dimensional resource constraints, temporal boundaries, and success criteria into a coherent governance mechanism with explicit lifecycle semantics. For multi-agent coordination, we establish conservation laws ensuring delegated budgets respect parent constraints, enabling hierarchical coordination through contract delegation. Empirical validation across four experiments demonstrates 90% token reduction with 525x lower variance in iterative workflows, zero conservation violations in multi-agent delegation, and measurable quality-resource tradeoffs through contract modes. Agent Contracts provide formal foundations for predictable, auditable, and resource-bounded autonomous AI deployment.
Key facts. Cited by 16 papers in the map (data through 14 Oct 2026). First posted on arXiv 13 Jan 2026.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2026: 16.
16 papers.
Sort:
By area:
- 2026Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agentscited by 19
- 2026Right to History: A Sovereignty Kernel for Verifiable AI Agent Executioncited by 7
- 2026Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Studycited by 6
- 2026One Gate Is Not Enough: Composing Stateful Pre-Action Controls for Agentic AIcited by 2
- 2026Retrieval-Conditioned Topology Selection with Provable Budget Conservation for Multi-Agent Code Generationcited by 1
- 2026Making AI Scientists Auditable from Evidence to Claimcited by 1
- 2026Behavioral Governance for Autonomous AI Agents: The AgentBound Frameworkcited by 1
- 2026Spawn Freely, Act Sparingly: Progressive Risk Vesting for Recursive LLM-Agent Treescited by 1
- 2026Minimal Oversight: Uncertainty-Aware Governance for Delegated AI Systemscited by 0
- 2026SkillEffect: Checked Lowering for Memory-Bounded Agent Toolscited by 0
- 2026AgentBetta: Verification-Driven Adaptive Configuration of an AI Nano-Agent through Selective Expansion and Verified Contractioncited by 0
- 2026Persistent Billable State: Denial-of-Wallet Attacks and Defenses in Tool-Calling LLM Agentscited by 0
4 more
- 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollbackcited by 0
- 2026Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegationcited by 0
- 2026Pollard: Governed Semantic Execution Trees for Framework-Independent AI Agent Control and Replaycited by 0
- 2026Agency as a New Organizing Abstraction for Computer Sciencecited by 0
- 2026Agency as a New Organizing Abstraction for Computer Science12 Oct 2026
- 2026Pollard: Governed Semantic Execution Trees for Framework-Independent AI Agent Control and Replay12 Oct 2026
- 2026Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegation29 Sep 2026
- 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollback29 Sep 2026
- 2026Persistent Billable State: Denial-of-Wallet Attacks and Defenses in Tool-Calling LLM Agents23 Sep 2026
- 2026AgentBetta: Verification-Driven Adaptive Configuration of an AI Nano-Agent through Selective Expansion and Verified Contraction20 Sep 2026
- 2026Spawn Freely, Act Sparingly: Progressive Risk Vesting for Recursive LLM-Agent Trees1 Sep 2026
- 2026One Gate Is Not Enough: Composing Stateful Pre-Action Controls for Agentic AI18 Aug 2026
- 2026SkillEffect: Checked Lowering for Memory-Bounded Agent Tools17 Aug 2026
- 2026Behavioral Governance for Autonomous AI Agents: The AgentBound Framework29 Jun 2026
- 2026Making AI Scientists Auditable from Evidence to Claim17 Jun 2026
- 2026Minimal Oversight: Uncertainty-Aware Governance for Delegated AI Systems4 Jun 2026
4 more
- 2026Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study2 Jun 2026
- 2026Retrieval-Conditioned Topology Selection with Provable Budget Conservation for Multi-Agent Code Generation7 May 2026
- 2026Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents25 Feb 2026
- 2026Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution23 Feb 2026
- 2026Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agentscited by 19
- 2026Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Studycited by 6
- 2026One Gate Is Not Enough: Composing Stateful Pre-Action Controls for Agentic AIcited by 2
- 2026Retrieval-Conditioned Topology Selection with Provable Budget Conservation for Multi-Agent Code Generationcited by 1
- 2026Spawn Freely, Act Sparingly: Progressive Risk Vesting for Recursive LLM-Agent Treescited by 1
- 2026SkillEffect: Checked Lowering for Memory-Bounded Agent Toolscited by 0
- 2026AgentBetta: Verification-Driven Adaptive Configuration of an AI Nano-Agent through Selective Expansion and Verified Contractioncited by 0
- 2026Persistent Billable State: Denial-of-Wallet Attacks and Defenses in Tool-Calling LLM Agentscited by 0
- 2026Agency as a New Organizing Abstraction for Computer Sciencecited by 0
- 2026Agency as a New Organizing Abstraction for Computer Science12 Oct 2026
- 2026Persistent Billable State: Denial-of-Wallet Attacks and Defenses in Tool-Calling LLM Agents23 Sep 2026
- 2026AgentBetta: Verification-Driven Adaptive Configuration of an AI Nano-Agent through Selective Expansion and Verified Contraction20 Sep 2026
- 2026Spawn Freely, Act Sparingly: Progressive Risk Vesting for Recursive LLM-Agent Trees1 Sep 2026
- 2026One Gate Is Not Enough: Composing Stateful Pre-Action Controls for Agentic AI18 Aug 2026
- 2026SkillEffect: Checked Lowering for Memory-Bounded Agent Tools17 Aug 2026
- 2026Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study2 Jun 2026
- 2026Retrieval-Conditioned Topology Selection with Provable Budget Conservation for Multi-Agent Code Generation7 May 2026
- 2026Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents25 Feb 2026
- 2026Right to History: A Sovereignty Kernel for Verifiable AI Agent Executioncited by 7
- 2026Making AI Scientists Auditable from Evidence to Claimcited by 1
- 2026Behavioral Governance for Autonomous AI Agents: The AgentBound Frameworkcited by 1
- 2026Minimal Oversight: Uncertainty-Aware Governance for Delegated AI Systemscited by 0
- 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollbackcited by 0
- 2026Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegationcited by 0
- 2026Pollard: Governed Semantic Execution Trees for Framework-Independent AI Agent Control and Replaycited by 0
- 2026Pollard: Governed Semantic Execution Trees for Framework-Independent AI Agent Control and Replay12 Oct 2026
- 2026Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegation29 Sep 2026
- 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollback29 Sep 2026
- 2026Behavioral Governance for Autonomous AI Agents: The AgentBound Framework29 Jun 2026
- 2026Making AI Scientists Auditable from Evidence to Claim17 Jun 2026
- 2026Minimal Oversight: Uncertainty-Aware Governance for Delegated AI Systems4 Jun 2026
- 2026Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution23 Feb 2026