ECM Contracts: Contract-Aware, Versioned, and Governable Capability Interfaces for Embodied Agents

• URL: http://arxiv.org/abs/2604.13097v1
• Date: Fri, 10 Apr 2026 01:52:02 GMT
• Title: ECM Contracts: Contract-Aware, Versioned, and Governable Capability Interfaces for Embodied Agents
• Abstract summary: Embodied agents increasingly rely on modular capabilities that can be installed, upgraded, composed, and governed at runtime.<n>We present ECM Contracts, a contract-based interface model for embodied capability modules.<n>We propose a release discipline for embodied capabilities, including version-aware compatibility classes, deprecation rules, migration constraints, and policy-sensitive upgrade checks.
• Score: 14.412476605788482
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Embodied agents increasingly rely on modular capabilities that can be installed, upgraded, composed, and governed at runtime. Prior work has introduced embodied capability modules (ECMs) as reusable units of embodied functionality, and recent research has explored their runtime governance and controlled evolution. However, a key systems question remains unresolved: how can ECMs be composed and released as a stable software ecosystem rather than as ad hoc skill bundles? We present ECM Contracts, a contract-based interface model for embodied capability modules. Unlike conventional software interfaces that specify only input and output types, ECM Contracts encode six dimensions essential for embodied execution: functional signature, behavioral assumptions, resource requirements, permission boundaries, recovery semantics, and version compatibility. Based on this model, we introduce a compatibility framework for ECM installation, composition, and upgrade, enabling static and pre-deployment checks for type mismatches, dependency conflicts, policy violations, resource contention, and recovery incompatibilities. We further propose a release discipline for embodied capabilities, including version-aware compatibility classes, deprecation rules, migration constraints, and policy-sensitive upgrade checks. We implement a prototype ECM registry, resolver, and contract checker, and evaluate the approach on modular embodied tasks in a robotics runtime setting. Results show that contract-aware composition substantially reduces unsafe or invalid module combinations, and that contract-guided release checks improve upgrade safety and rollback readiness compared with schema-only or ad hoc baselines. Our findings suggest that stable embodied software ecosystems require more than modular packaging: they require explicit contracts that connect capability composition, governance, and evolution.

Related papers

• Agent-Integrated Software: Interaction Contracts and Continuous Assurance [14.374598285839275]
  We argue that dependable integration requires an explicit correspondence between task-level interaction and application behavior.<n>We introduce Agent-Integrated Software (AIS) as a software pattern combining a conventional core, direct interaction, and a built-in agent.<n>This perspective develops a research agenda spanning application abstraction, development support, controlled execution, quality assessment, and human supervision.
  arXiv  Detail & Related papers  (2026-09-10T11:17:19Z)
• Update from Hell: Can Coding Agents Survive Hidden Breakage in Dependency Upgrades? [46.693059419882694]
  DEPBENCH is a benchmark consisting of 203 real-world dependency-upgrade tasks across five package ecosystems.<n>We evaluate mainstream coding agents on DEPBENCH, highlighting an important gap between current agent capabilities and real-world software maintenance needs.
  arXiv  Detail & Related papers  (2026-08-31T06:13:51Z)
• Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code [0.5296470528744145]
  Non-functional requirements, such as restrictions on control flow and data flow, are important for embedded systems safety.<n>We propose an interface specification contract language for C modules.<n>We report on two case studies on safety-critical C code using software in Scania trucks.
  arXiv  Detail & Related papers  (2026-05-19T21:12:45Z)
• Test Before You Deploy: Governing Updates in the LLM Supply Chain [3.6704226968275253]
  Large Language Models (LLMs) are increasingly used as core dependencies in software systems.<n>LLMs evolve continuously through provider-side updates without explicit version changes.<n>This paper proposes a deployment-side governance framework based on three components.
  arXiv  Detail & Related papers  (2026-04-30T12:32:13Z)
• Autogenesis: A Self-Evolving Agent Protocol [60.15939127351914]
  We introduce Autogenesis Protocol (AGP), a self evolution protocol that decouples what evolves from how evolution occurs.<n>We present Autogenesis System (AGS), a self-evolving multi-agent system that dynamically instantiates, retrieves, and refines protocol-registered resources during execution.
  arXiv  Detail & Related papers  (2026-04-16T14:04:06Z)
• AEROS: A Single-Agent Operating Architecture with Embodied Capability Modules [7.392721604463545]
  We argue that a robot should be modeled as a single persistent intelligent subject whose capabilities are extended through installable packages.<n>We formalize this view as AEROS (Agent Execution Execution Operating System), in which each robot corresponds to one persistent agent and capabilities are provided through ECMs.<n>We evaluate a reference implementation in PyBullet simulation with a Franka Panda 7-DOF manipulator across eight experiments covering re-planning, failure recovery, policy enforcement, baseline comparison, cross-task generality, ECM hot-swapping, ablation, and failure boundary analysis.
  arXiv  Detail & Related papers  (2026-04-08T12:54:32Z)
• Agent Lifecycle Toolkit (ALTK): Reusable Middleware Components for Robust AI Agents [7.015912574791702]
  Agent Lifecycle Toolkit (ALTK) is an open-source collection of modular components.<n>ALTK provides interfaces that detects, repairs, and mitigates common failure modes.<n>It is compatible with low-code and no-code tools such as the ContextForge MCP Gateway and Langflow.
  arXiv  Detail & Related papers  (2026-03-16T16:06:54Z)
• Human-Certified Module Repositories for the AI Age [0.0]
  Human-Certified Module Repositories (HCMRs) are introduced in this work as a new architectural model for constructing trustworthy software.<n>HCMRs blend human oversight with automated analysis to certify modules and support safe, predictable assembly by both humans and AI agents.
  arXiv  Detail & Related papers  (2026-03-03T01:46:41Z)
• Efficient Coordination with the System-Level Shared State: An Embodied-AI Native Modular Framework [5.833654928445309]
  We present ANCHOR, a modular framework that makes decoupling and explicit system-level primitives.<n>ANCHOR separates (i) Canonical Records, an evolvable contract for the standardized shared state, from (ii) a communication bus for many-to-many dissemination and feedback-oriented coordination.
  arXiv  Detail & Related papers  (2026-01-20T13:21:52Z)
• Patching LLM Like Software: A Lightweight Method for Improving Safety Policy in Large Language Models [63.54707418559388]
  We propose patching for large language models (LLMs) like software versions.<n>Our method enables rapid remediation by prepending a compact, learnable prefix to an existing model.
  arXiv  Detail & Related papers  (2025-11-11T17:25:44Z)
• Code2MCP: Transforming Code Repositories into MCP Services [53.234097255779744]
  Model Context Protocol (MCP) aims to create a standard for how Large Language Models use tools.<n>We introduce Code2MCP, an agent-based framework that automatically transforms a GitHub repository into a functional MCP service.<n>We demonstrate that Code2MCP successfully transforms open-source computing libraries in scientific fields such as bioinformatics, mathematics, and fluid dynamics.
  arXiv  Detail & Related papers  (2025-09-07T06:13:25Z)
• DRIFT: Dynamic Rule-Based Defense with Injection Isolation for Securing LLM Agents [52.92354372596197]
  Large Language Models (LLMs) are increasingly central to agentic systems due to their strong reasoning and planning capabilities.<n>This interaction also introduces the risk of prompt injection attacks, where malicious inputs from external sources can mislead the agent's behavior.<n>We propose a Dynamic Rule-based Isolation Framework for Trustworthy agentic systems, which enforces both control and data-level constraints.
  arXiv  Detail & Related papers  (2025-06-13T05:01:09Z)
• Adaptive Orchestration of Modular Generative Information Access Systems [59.102816309859584]
  We argue that the architecture of future modular generative information access systems will not just assemble powerful components, but enable a self-organizing system.<n>This perspective urges the IR community to rethink modular system designs for developing adaptive, self-optimizing, and future-ready architectures.
  arXiv  Detail & Related papers  (2025-04-24T11:35:43Z)
• Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers [46.538276603099916]
  We present Wasm-IO, a framework designed to facilitate peripheral I/O operations within WebAssembly (Wasm) containers.<n>We detail synchronous I/O and methods for embedding platform-independent peripheral configurations within Wasm binaries.
  arXiv  Detail & Related papers  (2025-03-10T17:22:00Z)
• Designing and Implementing a Generator Framework for a SIMD Abstraction Library [53.84310825081338]
  We present TSLGen, a novel end-to-end framework for generating an SIMD abstraction library. We show that our framework is comparable to existing libraries, and we achieve the same performance results.
  arXiv  Detail & Related papers  (2024-07-26T13:25:38Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  The Controller Area Network (CAN) bus leaves in-vehicle communications inherently non-secure. This paper reviews and compares the 15 most prominent authentication protocols for the CAN bus. We evaluate protocols based on essential operational criteria that contribute to ease of implementation.
  arXiv  Detail & Related papers  (2024-01-19T14:52:04Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.