Deep Dive Make Capstone Docs

Guide Maps

graph LR
  family["Reproducible Research"]
  program["Deep Dive Make"]
  guide["Capstone docs"]
  section["Docs"]
  page["Deep Dive Make Capstone Docs"]
  proof["Proof route"]

  family --> program --> guide --> section --> page
  page -.checks against.-> proof

flowchart LR
  orient["Read the guide boundary"] --> inspect["Inspect the named files, targets, or artifacts"]
  inspect --> run["Run the confirm, demo, selftest, or proof command"]
  run --> compare["Compare output with the stated contract"]
  compare --> review["Return to the course claim with evidence"]

Use this page as the stable entry route for the Make capstone docs.

Start here by question

If the question is...	Start here	Escalate only if needed
what this repository promises	WALKTHROUGH_GUIDE.md	TARGET_GUIDE.md and make walkthrough
which public targets are stable	TARGET_GUIDE.md	CONTRACT_AUDIT_GUIDE.md and make inspect
how the build proves convergence and parallel safety	SELFTEST_GUIDE.md	PROOF_GUIDE.md and make selftest
which failure class the capstone teaches	REPRO_GUIDE.md	INCIDENT_REVIEW_GUIDE.md and make incident-audit
how the system is layered	ARCHITECTURE.md	PROFILE_AUDIT_GUIDE.md and make proof

Stable local doc surface

• Architecture Guide
• Contract Audit Guide
• Incident Review Guide
• Profile Audit Guide
• Proof Guide
• Repro Guide
• Selftest Guide
• Target Guide
• Walkthrough Guide