当天最强的信号是对 AI 工作的实际约束：代理需要持久记忆、证明反馈、凭证边界，以及能暴露状态的界面。Raidho、Jane Street 的形式化方法文章和 Cordium 提供了最清楚的证据。
Jane Street 认为，模型生成的代码会增加审查负担，因为模型可以完成局部任务，却违反代码库的不变量。它的应对办法是在日常开发中加入更多证明反馈：更强的类型约束、模块化规格，以及代理可以帮助编写和维护的形式化方法。文中没有新的基准，但引用了旧的 seL4 成本基线：验证 8,700 行 C 代码要 25 人年，用来说明成本为何重要。
Cordium 处理的是另一个控制点：执行环境。它把开发者、CI 和 AI 代理的工作空间作为无 root 的 Kubernetes 沙箱运行。对数据库、SSH、内部 HTTP API、Kubernetes 集群和 mTLS 服务的访问由 Octelium посред介，因此上游凭证不会进入工作空间。这种设计适合希望代理在内部系统中执行操作、又不把密钥复制进短生命周期容器的团队。
Raidho 把 coding-agent 的记忆当作项目资产。它把主语-关系-宾语事实按项目写入磁盘，在多次运行之间重新加载，并把相关事实召回到提示词中。它的记忆使用 Vector Symbolic Architecture，这是一种用代数方式组合事实、并用紧凑的比特打包相似度分数进行比较的方法。
成本证据范围很窄，但很具体。在一个使用同一模型的真实 API 任务中，确定性流程的成本是 $0.05，先上下文的混合方案是 $0.116，纯工具循环是 $0.301。混合方案在 2.6 倍更低成本下，达到了工具循环相同的报告质量。自动蒸馏在一个重复的小数据任务上把成本降到原来的 1/9.6；在一个数据密集的审计中几乎没有省钱，因为账单主要来自文件内容。
这篇 AI UX 批评把目标对准聊天窗口和终端流，因为代理工作现在包含计划、编辑、测试、重试、分支和审批。作者给出的具体建议是暴露因果结构：用于编码的时间变化图、用于研究的主张图、以及用于运维的审批队列。这个判断是定性的，没有用户研究或指标，但它和各类代理工具里看到的操作问题一致：用户需要查看状态、来源、依赖关系和回滚点。
Cosmos Claw 在一个垂直媒体工作流中展示了这个问题。它的场地视频代理会建立品牌档案、研究周边、规划活动、生成 Cosmos 3 Nano 片段、加入配音和音乐，并输出可直接发布的素材包。系统声称为旧金山的两个场地提供两个并行工人，并支持断线后恢复，这让状态可见性和任务恢复成为产品的一部分。
jqwik 事件是代理密集工作流中依赖信任的一个具体警告。维护者加了一行日志，提示代理删除 jqwik 的测试和代码，把它发布在 jqwik 1.10.0 中，之后在投诉后于 1.10.1 把这条消息弱化了。一个用户的编码机器人在发布两天后把这行标成可疑。
文章说，没有证据表明这段字符串在现实中真的伤害了代理。这个事件仍然重要，因为它暴露了一个脆弱边界：代理和自动化依赖更新可能把仓库文本当作操作输入。Sonatype 起初拒绝了对 jqwik-engine:1.10.0 的下架请求，后来又在一天后移除了这个模块，让供应链流程摩擦进入了安全争论。