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

arXiv cs.AI / 4/16/2026

💬 OpinionIdeas & Deep AnalysisModels & Research

Key Points

  • The paper introduces “ECM Contracts,” a contract-based interface model for embodied capability modules that goes beyond input/output typing by specifying six execution-critical dimensions (functional signature, behavioral assumptions, resource needs, permissions, recovery semantics, and version compatibility).
  • It presents a compatibility framework and pre-deployment/static checks to detect invalid module combinations, including type mismatches, dependency conflicts, policy violations, resource contention, and incompatible recovery behavior.
  • The work proposes a version-aware release discipline for embodied capabilities, with compatibility classes, deprecation and migration constraints, and policy-sensitive upgrade checks to improve upgrade safety.
  • A prototype ECM registry, resolver, and contract checker is implemented and evaluated in a robotics runtime setting, showing reduced unsafe/invalid compositions and improved upgrade robustness versus schema-only or ad hoc baselines.

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.