编程代理研究现在取决于可执行证明和控制层
本周的编程代理研究里，最扎实的部分是那些最终落到可检查产物上的论断。重点集中在可执行证明、以仓库为依据的推理，以及围绕搜索、工具和评估的显式控制层。和本地历史中的前两周相比，这份简报更具体地说明了这些控制是怎样在工作流内部实现的，而不只是解释它们为什么重要。
主题概况
Agent Operations
软件代理的执行控制层
近期最明确的构建方向，是围绕代码代理的运行控制层：在补丁接收前加入硬性的沙箱重放门、让代理执行软件分析搭建并在拿到经过验证的项目证据后停止、以及为企业动作加入类型化动作契约层。每一种都由论文支持，这些论文已经不再停留在流畅的执行轨迹，而是报告了带有可测效果的具体执行、验证或权限机制。