mlsanityData to 14 Oct 2026

Agent Contracts: A Formal Framework for Resource-Bounded Autonomous AI Systems

arXiv 2601.08815 ↗First posted 13 Jan 2026cs.MAcited by 16

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

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 16.

16 papers.

Sort:

By area:

  1. 2026Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agentscited by 19
  2. 2026Right to History: A Sovereignty Kernel for Verifiable AI Agent Executioncited by 7
  3. 2026Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Studycited by 6
  4. 2026One Gate Is Not Enough: Composing Stateful Pre-Action Controls for Agentic AIcited by 2
  5. 2026Retrieval-Conditioned Topology Selection with Provable Budget Conservation for Multi-Agent Code Generationcited by 1
  6. 2026Making AI Scientists Auditable from Evidence to Claimcited by 1
  7. 2026Behavioral Governance for Autonomous AI Agents: The AgentBound Frameworkcited by 1
  8. 2026Spawn Freely, Act Sparingly: Progressive Risk Vesting for Recursive LLM-Agent Treescited by 1
  9. 2026Minimal Oversight: Uncertainty-Aware Governance for Delegated AI Systemscited by 0
  10. 2026SkillEffect: Checked Lowering for Memory-Bounded Agent Toolscited by 0
  11. 2026AgentBetta: Verification-Driven Adaptive Configuration of an AI Nano-Agent through Selective Expansion and Verified Contractioncited by 0
  12. 2026Persistent Billable State: Denial-of-Wallet Attacks and Defenses in Tool-Calling LLM Agentscited by 0
4 more
  1. 2026Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollbackcited by 0
  2. 2026Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegationcited by 0
  3. 2026Pollard: Governed Semantic Execution Trees for Framework-Independent AI Agent Control and Replaycited by 0
  4. 2026Agency as a New Organizing Abstraction for Computer Sciencecited by 0