Agent tools need memory, proof signals, and secretless sandboxes
当天最强的信号是对 AI 工作的实际约束：代理需要持久记忆、证明反馈、凭证边界，以及能暴露状态的界面。Raidho、Jane Street 的形式化方法文章和 Cordium 提供了最清楚的证据。
主题概况
Sandbox Security
Controlled Coding Agent Workspaces
代理采用正在撞上当前开发工具常被当作事后补救的控制点：凭据放在哪里、项目事实如何持久化、审查者如何拿到生成代码遵守本地不变量的证据。最实际的做法，是围绕无密钥工作区、带成本测量的项目级代理记忆，以及面向证明的审查检查，做几个小试点，先放在那些对正确性要求很高的代码库里。