[2603.24747] Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method

View a PDF of the paper titled Formal Semantics for Agentic Instrument Protocols: A Course of Calculus Method, by Andreas Schlapbach

No PDF out there, click on to view different codecs

Summary:The emergence of enormous language mannequin brokers able to invoking exterior instruments has created pressing want for formal verification of agent protocols. Two paradigms dominate this area: Schema-Guided Dialogue (SGD), a analysis framework for zero-shot API generalization, and the Mannequin Context Protocol (MCP), an business normal for agent-tool integration. Whereas each allow dynamic service discovery via schema descriptions, their formal relationship stays unexplored. Constructing on prior work establishing the conceptual convergence of those paradigms, we current the primary course of calculus formalization of SGD and MCP, proving they’re structurally bisimilar underneath a well-defined mapping Phi. Nonetheless, we display that the reverse mapping Phi^{-1} is partial and lossy, revealing essential gaps in MCP’s expressivity. By means of bidirectional evaluation, we determine 5 ideas — semantic completeness, specific motion boundaries, failure mode documentation, progressive disclosure compatibility, and inter-tool relationship declaration — as needed and adequate situations for full behavioral equivalence. We formalize these ideas as type-system extensions MCP+, proving MCP+ is isomorphic to SGD. Our work supplies the primary formal basis for verified agent techniques and establishes schema high quality as a provable security property.