RAC：面向约束工程任务的关系型智能体契约

用途与思路

该预印本关注约束工程任务：智能体产出的工件必须满足精确且相互耦合的约束。作者认为，让智能体既做语义决策、又自行推导几何或时序等精确后果，容易导致失败。RAC 是一个与具体执行框架无关的契约，约束智能体的动作与反馈层，涵盖权威观测、语义动作、基于工具的实现、独立验证以及修复证据等要素。其核心分工是：智能体决定工件应满足哪些关系，专门工具负责推导具体后果。

报告的结果

在 PCB 布局、布线与修复任务上，RAC 在九个被评估模型中均取得最高的 clean-pass 率，平均 90.9%，对比最强基线（仅委派需求）的 74.0%。在作业车间调度中，直接关系动作的质量通过率为 96.3%，而通过代码中介、使用同一调度后端的方式为 59.6%。此外在四款微控制器的 141 个嵌入式代码任务上进行了评估，作者将动作契约视为智能体能力来源之一。

限制与待核实

本文为 arXiv 预印本，未经同行评审，结论尚未独立验证。摘要未给出模型清单、数据集规模、评测协议及复现细节，也未说明契约实现成本与跨任务泛化情况。文中数据为作者自报结果，需在完整论文与复现实验中核实。