Skip to content

Course Guide

Page Maps

graph LR
  family["Reproducible Research"]
  program["Deep Dive Make"]
  section["Guides"]
  page["Course Guide"]
  capstone["Capstone evidence"]

  family --> program --> section --> page
  page -.applies in.-> capstone
flowchart LR
  orient["Orient on the page map"] --> read["Read the main claim and examples"]
  read --> inspect["Inspect the related code, proof, or capstone surface"]
  inspect --> verify["Run or review the verification path"]
  verify --> apply["Apply the idea back to the module and capstone"]

Read the first diagram as a timing map: this guide is a support hub, not another chapter. Read the second diagram as the loop: identify the kind of help you need, choose the matching surface, then leave with one smaller next move.

Deep Dive Make has four durable surfaces:

  1. course home and orientation for entry and reading order
  2. modules for the course arc itself
  3. capstone pages for executable corroboration
  4. reference pages for durable review and repair maps

Choose the right surface

If you need... Start here Do not start with
first entry into the course Start Here the capstone repository
the module sequence explained Module 00 incident or governance pages
one support page for urgency Pressure Routes random browsing through guides/
proof sizing Proof Ladder the strongest available command
module-to-repository routing Capstone Map raw repository files
durable review maps Reference course-home prose

The Course Arc

Arc Modules What becomes legible
graph truth Modules 01-03 truthful edges, publication boundaries, parallel safety, and self-testing
pressure and hardening Modules 04-06 precedence, portability, modeled hidden inputs, and generator boundaries
reusable build surfaces Modules 07-08 layered mk/ design, public targets, and release contracts
incident and stewardship judgment Modules 09-10 observability, migration boundaries, and long-lived governance

The support shelf by job

Best defaults

Use these as your stable defaults unless the current pressure gives you a stronger reason:

  1. enter with Start Here
  2. anchor in Module 00
  3. read modules in order
  4. keep Proof Ladder nearby
  5. enter the capstone through Capstone Map

Good stopping point

Stop when you can answer two questions clearly:

  • which surface should answer the next question
  • why the heavier surfaces would be premature right now