Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Bootstrapping Coding Agents: The Specification Is the Program

Martin Monperrus

Abstract

A coding agent can bootstrap itself. Starting from a 926-word specification and a first implementation produced by an existing agent (Claude Code), a newly generated agent re-implements the same specification correctly from scratch. This reproduces, in the domain of AI coding agents, the classical bootstrap sequence known from compiler construction, and instantiates the meta-circular property known from Lisp. The result carries a practical implication: the specification, not the implementation, is the stable artifact of record. Improving an agent means improving its specification; the implementation is, in principle, regenerable at any time.

Bootstrapping Coding Agents: The Specification Is the Program

Abstract

A coding agent can bootstrap itself. Starting from a 926-word specification and a first implementation produced by an existing agent (Claude Code), a newly generated agent re-implements the same specification correctly from scratch. This reproduces, in the domain of AI coding agents, the classical bootstrap sequence known from compiler construction, and instantiates the meta-circular property known from Lisp. The result carries a practical implication: the specification, not the implementation, is the stable artifact of record. Improving an agent means improving its specification; the implementation is, in principle, regenerable at any time.
Paper Structure (13 sections, 1 equation, 2 figures)

This paper contains 13 sections, 1 equation, 2 figures.

Table of Contents

  1. Introduction
  2. The Bootstrapping Experiment
  3. Step 1: Specification
  4. Step 2: First Implementation
  5. Step 3: Self-Implementation
  6. Meta-Circularity
  7. Implications
  8. Specification as the Focus of Correctness
  9. Good Specifications for AI Coding
  10. Trusting trust & AI Coding
  11. Limitations
  12. Related Work
  13. Conclusion

Figures (2)

  • Figure 1: The coding-agent bootstrap sequence. Claude Code implements $\mathrm{agent}_0$ from the specification; $\mathrm{agent}_0$ then bootstraps $\mathrm{agent}_1$ from the same specification. Dashed arrows show where the specification is consumed. Both implementations satisfy $s$, denoted $\models s$.
  • Figure 2: Structural analogy between the classical compiler bootstrap (top) and the coding-agent bootstrap (bottom). The first self-generated artifact is equivalent to the first-generation one.