
The Spec Is the Program
Intent as the new source code
A book by Alpesh Nakrani
Subscribe to get the complete book. Your PDF downloads immediately.
- Pages
- 80
- Chapters
- 8
- Format
- PDF · 18.8 MB
What's in the book
Code used to be the durable asset and the spec a throwaway. AI-Native inverts it: the implementation is regenerated on demand and the specification is what you version, review, and defend. This is a working grammar for writing intent precisely enough that the machine builds the right thing and you can prove it did.
When a model writes the implementation, the specification becomes the artifact you actually maintain. How to write intent that survives a model upgrade.
Table of contents
PDF page- 01The Feature That Passed but Failed9
- 02A Prompt Is Not a Spec16
- 03SPEC-Lock23
- 04Examples Are the Executable Core31
- 05Constraints as Source Code39
- 06Properties, Contracts, and Invariants47
- 07Accepting Machine-Authored Diffs54
- 08Living Specs and Spec Drift62
- ENDConclusion70
- AAppendix A: Glossary73
- BAppendix B: Source Index76
The full chapters, illustrations, and reference material are included in the downloadable PDF.

The Spec Is the Program
The complete edition,
ready to read offline.
Get your free copy.
Subscribe to Alpesh’s book and writing updates. Unsubscribe anytime.
Your download is ready.
You’re subscribed. Your PDF download should start automatically.
Download PDF againIf it doesn’t start, use the button above.



