O'Reilly 观察：智能体开发需要多少规格说明才合适

面向智能体的开发中，零规格的"氛围编程"并不省钱，纠正循环会把成本推给人类审查者；而完整形式化规格前期代价高，却让更多验收标准变成可执行测试。多智能体场景下，一个智能体的误解会被下一层当作事实继续放大，此时规格更接近契约，需要 schema、不变量、验证规则和契约测试。作者建议在实现前用智能体先做规格校验，找出矛盾、不可测主张与缺失的失败模式。