我不再写代码，但我仍在读代码

作者回顾两个月来与 OpenAI 最新模型 Sol 5.6 和 Astra 在 OpenCode 中的对话，发现生成实现已不再是瓶颈，验证改动是否真正解决问题才是难点。智能体常为并非需求的设计选择不断叠加防御性检查、锁和测试，例如对数据库整数反复做类型校验，这些额外代码在评审、CI 和后续智能体上下文中持续产生成本。类型检查、lint 和测试通过并不能证明新增代码属于本次改动。