编码代理正在被要求证明、审计并为自己的工作买单
当天的研究把编码代理当作需要审计轨迹、可执行检查和预算控制的系统。TrajAudit、EviACT 和 Verus-SpecGym 说明了重点：必须定位失败，证据必须过关，规范必须按用户意图接受测试。
主题概况
Security Benchmarks
代理工作流检查点
编码代理的落地现在需要在开发工作流里增加更小的控制点：在昂贵验证之前加修复门，为生成的规格做可执行检查，以及为工具访问和交接做结构测试。共同的压力很实际：团队需要知道哪个代理步骤失败了，某个声称的修复或规格是否通过了独立检查，以及 token 开销是否对应已接受的工作。