What You'll Learn
The Foundation of Correct Code
Book Zero builds the reasoning vocabulary the whole framework rests on. Each concept is introduced through the logic of a detective investigation, so the abstract stays attached to a concrete hunt.
Intent
Name what must stay true before you move. Every correct algorithm preserves an intent from the first frame to the final proof.
Problem Space
The world the problem creates: inputs, candidates, constraints, and the environment where the answer must be found.
Answer Space
The set of possible answers — large enough to defeat guessing, small enough to collapse under evidence.
Decision Space
The lawful moves available at each frame. A good move shrinks the space without removing the answer.
Frame
One complete cycle: observe, decide, eliminate, record, maintain. The unit of lawful reasoning.
Invariant
The guarantee that remains true at every step. When it breaks, the proof is corrupted until repaired.
Scanner
Movement through a world one frame at a time, collecting evidence without skipping candidates.
Recorder
Evidence remembered across candidates when later decisions depend on earlier observations.
Decisions
Lawful elimination, not guessing. Each decision must forbid something, or it constrains nothing.
Repair
Restoring the invariant when a decision breaks it — never proceeding on a corrupted proof.
Final Proof
The state where only one lawful answer remains and every other candidate has been eliminated.
The Core Distinction
Memorizing Patterns vs Reasoning About Problems
Traditional algorithm prep hands you patterns to memorize. Book Zero hands you a method that produces the pattern when the problem demands it.
Memorizing Patterns
- Matches problems to remembered templates
- Fails when the template is slightly different
- Explains what runs, not why it's correct
- Leaves you helpless on unfamiliar ground
Reasoning Through CCF
- Names the problem space before choosing a tool
- Eliminates candidates lawfully until one remains
- Carries a proof from first frame to final answer
- Transfers to any problem, any language, any domain
The Book Zero Contract
"Facts are constraints. Movement is lawful elimination. Correctness is proof."
Your Reading Path
Book Zero → The Secret Language of Algorithms
Book Zero is the required foundation. The Secret Language of Algorithms teaches the structural vocabulary beneath every algorithm — the natural next step once the detective contract is in place.
Table of Contents
Thirteen Chapters, One Investigation
Chapters 0–3 are the free preview. Chapters 4–12 open with Starter Access and build the complete Carmen Sandiego Algorithm.
From the Book
How the Method Reads
The Three Moves
For each chapter, do the same three moves: name the problem space (what universe are we searching?), extract constraints (what becomes illegal?), and watch the space shrink (how elimination becomes certainty).
Read the free previewCounting vs Measuring
Dock A verifies a pallet by scanning every box one at a time. Dock B lifts the pallet once and reads a calibrated scale. Same truth, different method. The method a system uses to arrive at truth determines how fast it moves, how much it leaks, and how easily it can be exploited.
See the Framework
Start With the Videos
The Carmen Sandiego Algorithm
See how evidence and constraints narrow the lawful decision path using the familiar logic of the chase.
Watch on the video libraryWhat Is the Correct Code Framework?
Why CCF starts with intent, structure, and proof before code.
Watch on the video libraryCorrect Code Philosophy
Orient yourself to the reasoning-first philosophy behind the framework.
Watch on the video librarySome videos require membership access. Visit the video library to see what's unlocked for your plan.
Who It's For
Book Zero is built for developers who want the method
Start with the Free Preview
Read Chapters 0–3 free. When the investigation pulls you in, Starter Access unlocks the complete Book Zero investigation plus the CCF Case Files.