[Paper] 自举编码代理：规范即程序

Source: arXiv - 2603.17399v1

（请提供您希望翻译的具体文本内容，我将按照要求保留源链接并进行简体中文翻译。）

概述

Martin Monperrus 演示了编码 AI 可以 自举：仅凭简洁的文本规范，一个全新的 AI 代理就能从头重新生成正确的实现，即使原始代码是由另一个 AI（Claude Code）生成的。这呼应了编译器构建中使用的经典自举过程，并凸显规范是软件开发的真正真理来源。

关键贡献

• 自举演示：展示一个新生成的编码代理能够在没有任何手写代码的情况下正确重新实现一个 926 字的规范。
• AI 代理的元循环洞察：将 Lisp 的元循环概念扩展到现代 AI 驱动的代码生成。
• 以规范为中心的范式：主张应将规范，而非生成的实现，视为不可变的记录工件。
• 实证验证：使用 Claude Code 生成初始实现，然后使用第二代代理重新实现相同功能，以确认可复现性。

方法论

1. 规范编写 – 作者撰写一份详细、面向人类可读的规范（≈ 926 词），描述期望的程序行为。
2. 首次生成 – 现有的编码代理（Claude Code）读取该规范并生成可工作的实现。
3. 引导代理创建 – 使用相同的规范 以及 第一个实现的源代码提示一个新的编码代理，但指示其 从头重新实现 而不是复制。
4. 评估 – 将重新生成的程序编译/运行在与第一次实现相同的测试套件上。测量功能等价性和正确性。

所有步骤均依赖标准提示技术和现成的 LLM API；无需自定义模型训练。

Results & Findings

• 引导式代理生成了一个 功能上完全相同 的程序，且通过了所有原始测试用例。
• 观察到了一些细微的风格差异（命名、代码布局），但 语义行为保持不变。
• 实验证实 仅凭规范本身 就足以让 AI 重建出正确的实现，即使原始代码已被“遗忘”。
• 这与经典的编译器自举过程相呼应：当提供最小、可信的描述时，编译器能够编译自己的源代码。

Practical Implications

• Version‑controlled specifications：团队可以将规范存放在代码仓库中，作为唯一可信来源；在需要时（例如底层 LLM 发生重大变更后）即可重新生成代码。
• Rapid re‑implementation：当编码代理升级或更换时，现有项目可以根据其规范自动重新生成，降低迁移摩擦。
• Security & compliance：审计人员可以验证规范是否符合政策要求；重新生成的代码可以检查是否出现意外偏差。
• Continuous integration pipelines：可以在每次 CI 运行时添加一步，从规范重新生成代码，确保实现始终与描述保持同步。
• Reduced technical debt：由于实现不再是不可变的产物，开发者可以专注于改进规范，而不是维护遗留代码。

限制与未来工作

• 规范质量依赖 – 该方法依赖于清晰、完整且无歧义的规范；模糊或不完整的规范会导致错误的再生成。
• 模型变异性 – 不同的大语言模型，甚至同一模型在温度参数变化时，都可能产生不同的代码；要实现可重复性可能需要确定性的提示或模型微调。
• 可扩展性 – 本研究使用了相对较小（约 1 千词）的规范；该方法在大型、多模块系统中的扩展效果仍有待验证。
• 未来方向 – 探索从现有代码库自动提取规范、研究跨异构语言的自举方法，并开发工具将以规范为中心的工作流集成到标准开发环境中。

作者

• Martin Monperrus

论文信息

• arXiv ID: 2603.17399v1
• 分类: cs.SE, cs.LG
• 发布时间: 2026年3月18日
• PDF: 下载 PDF