Book Zero Locked
Book Zero
The Carmen Sandiego Algorithm
Sign in or upgrade your account to access Book Zero.
About this book Starter PlanStarter Plan
Begin the investigation
Book Zero is locked by default and included in full with Starter Plan and higher.
Student
Unlock the complete book library
Includes the complete Book Zero: The Carmen Sandiego Algorithm plus every current DSA and algorithm book.
Pro Plan
Extend into technical domains
Includes the Student library plus SQL, project planning, and domain-driven architecture by proof.
Enterprise
Operate at production scale
Includes the advanced system design and DevOps books for architecture, delivery, reliability, and team execution.
Interactive Books
Your reasoning library
Requires Student
Reasoning Before Memorization
Replace pattern memorization with an evidence-first reasoning system.
About this book Master DSA
Requires Student
Data Structures by Proof
Treat data structures as behavioral contracts that determine lawful movement.
About this book Master DSA
Requires Student
The Secret Language of Algorithms
Learn the structural vocabulary beneath scanners, invariants, decisions, and proof.
About this book Master DSA
Requires Student
Solving LeetCode Problems
Apply the framework repeatedly until implementation becomes lawful transcription.
About this book Master DSA
Requires Pro
Mastering SQL with Correct Code
A Correct Code Framework Approach to Query Reasoning, Data Integrity, and Performance
Stop guessing queries. Derive them from the answer shape, relational evidence, and the invariants the data must preserve.
About this book Master Systems Reasoning
Curriculum Preview
Correct Testing
A Correct Code Framework Approach to Verification, Debugging, and Regression Control
Learn to derive tests from proof obligations: intent, constraints, invariants, edge cases, failure modes, debugging evidence, and regression history.
About this book Explore Master Systems Reasoning
Requires Pro
Domain-Driven Design by Proof
Applying the Correct Code Framework to Enterprise Architecture
Move beyond algorithmic reasoning into enterprise architecture. Apply CCF principles to domains, bounded contexts, entities, value objects, aggregates, repositories, services, invariants, and architectural boundaries.
About this book Master Systems Reasoning
Curriculum Preview
Proof Driven Project Planning
A Correct Code Framework Approach to Technical Planning, Agile Delivery, and Execution
Learn to prove the path from current state to desired state through requirements, constraints, decomposition, dependencies, milestones, risk, and delivery gates.
About this book Explore Master Systems Reasoning
Curriculum Preview
Proof Driven System Design
A Correct Code Framework Approach to Distributed Systems and Architecture
Learn to derive scalable and distributed architectures from constraints, evidence, invariants, and system guarantees instead of memorizing design patterns.
About this book Explore Enterprise
Curriculum Preview
Software Security with CCF
A Correct Code Framework Approach to Threat Modeling, Trust Boundaries, and Defensive Design
Learn software security through CCF: assets, attackers, trust boundaries, permissions, data flows, controls, security testing, incident response, and proof.
About this book Explore Enterprise
Curriculum Preview
The CCF DevOps Playbook
From Source Code to Reliable Production Systems
Learn to build, release, observe, and operate reliable systems through evidence, invariants, and proof-driven delivery, from source control and CI/CD to containers, Kubernetes, resilience, and production recovery.
About this book Explore Enterprise