RAC: A Relational Agent Contract for Constraint-Governed Engineering Tasks

arXiv:2610.20935v1 公告类型：新

摘要：工程智能体必须产出满足精确、耦合约束的制品。现有方案往往要求智能体既做出语义决策，又由这些决策推导出精确几何或时序等后果，导致在约束主导的工程任务中出现失败。本文提出 RAC，一种与 harness 无关的工程智能体动作与反馈层契约。它规定了权威观测、语义动作、基于工具的实现、独立验证与修复证据。智能体决定制品应满足哪些关系；专用工具推导其具体后果。在 PCB 布局、布线与修复任务上，RAC 在全部九个被评估模型中均取得最高的干净通过率，平均为 90.9%，而最强基线（仅需求委托）为 74.0%。在作业车间调度中，直接关系动作达到 96.3% 的质量通过率，而在可访问相同调度后端的情况下，代码中介交付为 59.6%。我们在四个微控制器上的 141 个嵌入式代码任务上的评估表明，动作契约是智能体能力的来源：在保留语义控制的同时委托机械可推导的输出，可提升受约束制品的可靠性。