Concept Index¶
Reference Position¶
flowchart TD
family["Reproducible Research"] --> program["Deep Dive Make"]
program --> reference["Concept Index"]
reference --> review["Design or review decision"]
review --> capstone["Capstone proof surface"]
flowchart TD
trigger["Hit a naming, boundary, or trade-off question"] --> lookup["Use this page as a glossary, map, rubric, or atlas"]
lookup --> compare["Compare the current code or workflow against the boundary"]
compare --> decision["Turn the comparison into a keep, change, or reject call"]
Read the first diagram as a lookup map: this page is part of the review shelf, not a first-read narrative. Read the second diagram as the reference rhythm: arrive with a concrete ambiguity, compare the current work against the boundary on the page, then turn that comparison into a decision.
This page answers one recurring learner question: "Where in the course do I actually learn this idea?"
Use it when you remember the concept but not the module, or when you want to revisit one theme across the whole course.
Core Build Truth¶
| Concept | Primary modules | Typical proof |
|---|---|---|
| DAG evaluation | 01, 02 | make --trace all |
| hidden inputs | 01, 05, 06 | non-convergence after changing an unmodeled input |
| convergence | 01, 03, 05 | make all && make -q all |
| depfiles | 01, 03, 06 | touch a header and inspect the rebuild |
| single writer per output | 01, 02, 06 | compare serial and parallel behavior |
Parallel Safety And Structure¶
| Concept | Primary modules | Typical proof |
|---|---|---|
| parallel safety | 02, 03 | make -j2 all plus artifact equivalence |
| order-only prerequisites | 02, 04 | controlled repro with directory creation or boundary drift |
| recursive make boundaries | 02, 05, 07 | inspect the top-level DAG and jobserver behavior |
| rooted discovery | 02, 03, 07 | sorted discovery audit and stable object mapping |
Diagnostics And Semantics¶
| Concept | Primary modules | Typical proof |
|---|---|---|
--trace |
01, 03, 04, 09 | line-by-line causality output |
make -p |
01, 03, 04, 09 | resolved rule and variable dump |
| variable precedence | 04 | origin, flavor, and controlled overrides |
| includes and restart semantics | 04, 07 | minimal include repro plus inspected database |
| incident ladder | 04, 05, 09 | stepwise diagnosis from preview to repro |
Boundaries, Packaging, And Stewardship¶
| Concept | Primary modules | Typical proof |
|---|---|---|
| modeled stamps and manifests | 05, 06, 08 | boundary file change triggers intended rebuild |
| generated files | 06 | trace the generator and its consumers |
| build APIs and public targets | 03, 07, 08 | inspect help and stable documented targets |
| release contracts | 08 | dist, install, and artifact inspection |
| migration and governance | 05, 09, 10 | written review or migration rubric |
Best Companion Pages¶
When using this index, the most useful companion pages are: