编码代理在工具、审查和分发上面临现实限制
这一时期最清晰的信号是在约束下产品化：当编码代理的工作有状态、测试和廉价工具访问时，它们就有用；当平台无法吸收法律、审查或维护成本时，它们就有风险。Flathub、MCP 和 MLSys 提供了最强的证据。
主题概况
Developer Workflows
编码代理验证门槛
编码代理的采用正受到上下文成本、审查负担和验证薄弱的限制。近期最明确的变化是可测量的工具路由、对生成提交的发布渠道检查，以及对系统代码更严格的证明或基准测试门槛。
编码研究正在收紧对代理实际完成内容的检查
4 月 19 日的编码研究，最强的地方在于系统不再相信表面成功。PDB、Prometheus 和 Terminal Wrench 各自加了一层更严格的检查：编辑是否精确，补丁是否符合已验证的需求，代理是否在不欺骗验证器的情况下完成任务。实际信息很清楚。更好的编码代理现在同样依赖评估层和控制层，而不只是依赖原始生成质量。
Solution Fidelity Controls
这一天的编码代理研究指向三个容易在真实工作流里测试的近期待办事项：给调试代理加 diff 大小控制、在自动修复前先验证可执行需求、以及对基准验证器做对抗性审查。它们有一个共同点：测试通过或任务验证器通过，已经不足以说明系统是否以精确、可审查的方式解决了预期问题。