SpecFirst：将行为规格 elicitation 设为从零构建程序的智能体合成首要阶段

SpecFirst 将从零构建程序拆为“行为规格提取”和代码合成两个阶段：规格智能体先结合文档探测仅可执行二进制，再生成结构化规格供代码智能体实现。在 200 个 ProgramBench 实例、4 个模型上，测试通过率提升 6.9%–21.3%，二进制探索覆盖率提升 9.4%–18.5%，且结果具有统计显著性。