用证据约束执行层，防止编码智能体过早修改代码

编码智能体常在检查足够仓库证据之前编辑代码或提交补丁，本文称之为过早行动。ECLoop是位于智能体与仓库之间的执行层，通过证据条件约束操作。系统依据问题描述与仓库结构，为每类修改和提交编制应先观察的条件，运行时跟踪轨迹已满足的条件，推迟证据尚不足的操作。在SWE-bench Verified全部500例上，使用两种语言模型及两种智能体框架时，Pass@1提高4.8–11.8个百分点，无需模型训练或框架改动。消融显示三项操作各有贡献，结构化证据条件也优于等价的自然语言摘要。方法不增加推理成本，提前纠正无依据的操作方向，使平均词元消耗最多减少12.1%。