📖 AI 总结

AI 编程工具的竞争焦点已从代码生成能力转向工程可集成性。文章以亚马逊云科技推出的 Kiro 为例，介绍其规范驱动开发（SDD）方法论如何应对 AI 编程落地瓶颈。Kiro 通过 requirements、design、tasks 三段式 Spec 约束多轮 Agent 协作，将规范作为 Agent 间协同的唯一事实源，并与代码库双向同步，缓解长会话上下文衰减和决策不可追溯问题。其基于属性的测试（PBT）通过随机用例和最小反例搜索，把正确性变成可度量的对象；Checkpointing 则支持变更回溯。文章指出，vibe coding 并未消灭工程成本，只是以技术债形式推迟，而 SDD 试图在软件开发生命周期前端介入，让 AI 生成代码真正进入工程体系。