CodeSpec：面向智能体长周期特性开发的双可执行规范方法

CodeSpec提出双可执行规范方法，从子需求语义与仓库架构配对构建可靠功能链，并编译为互补的架构和行为规范。在FeatureBench上，使用DeepSeek-V4-Pro达到70.7%、55.0%和49.9%的通过率，优于Claude Code等基线。在NL2Repo-Bench上验证了泛化性。该方法通过可执行规范保证长周期开发中设计与实现的一致性。