规格驱动开发

深度精读小米 CodeSpecWeave 与 AWS Skeleton Coding 两篇论文：前者从数据合成端把相互依赖的规格编织进 RL 训练任务，后者从开发者规格表示端证明代码级骨架可指数级降低控制编码 Agent 所需的测试数。两篇工作共同指向长程编码能力的真正瓶颈——规格怎么表达与交互。