When Tool Calls Succeed but Workflows Fail: Anomalies at the Agent-Tool Boundary

📅 2026-09-14
📈 Citations: 0
✨ Influential: 0
📄 PDF
🤖 AI Summary
研究解决了AI代理与工具间的工作流失败问题,通过提出一种效应历史模型和异常目录,并探讨了现有工具接口的局限性。
📝 Abstract
AI agents increasingly execute long-running workflows that externalize effects through independently supplied tools. Under retries, speculative execution, concurrency, and partial failures, the resulting external state may be inconsistent with the workflow's intended resolution: required effects may be missing or duplicated, aborted effects may survive, and committed effects may depend on provisional state that is later withdrawn. Advanced transaction models address related failures, but assume that lower-level operations expose the semantics they depend on: whether an effect occurred, whether it can be compensated, staged, or safely reordered. Shared agent-tool interfaces usually do not. We contribute an effect-history model that separates events in the external world from the runtime's observations of them, and a catalog of eight recurring external-effect anomalies. From the catalog we derive the boundary capabilities required to exclude each anomaly in general, and four points where black-box tool invocation alone cannot provide a general guarantee. We then ask how much of this is expressible in a widely used shared tool interface, measuring the use of the standard annotation vocabulary across 98,291 tools exposed by registered Model Context Protocol (MCP) servers. The fields are widely emitted but provide only coarse call-level hints, and none of the required capabilities is fully expressible. These results motivate reusable transactional contracts at the tool boundary.
Problem

Research questions and friction points this paper is trying to address.

AI agents
long-running workflows
external tools
inconsistent external state
transaction models
Innovation

Methods, ideas, or system contributions that make the work stand out.

effect-history model
external-effect anomalies
boundary capabilities
transactional contracts
black-box tool invocation
🔎 Similar Papers