Proof Matrix¶
Guide Fit¶
flowchart TD
family["Reproducible Research"] --> program["Deep Dive DVC"]
program --> pressure["A concrete learner or reviewer question"]
pressure --> guide["Proof Matrix"]
guide --> next["Modules, capstone, and reference surfaces"]
flowchart TD
question["Name the exact question you need answered"] --> skim["Skim only the sections that match that pressure"]
skim --> crosscheck["Open the linked module, proof surface, or capstone route"]
crosscheck --> next_move["Leave with one next decision, page, or command"]
Read the first diagram as a timing map: this guide is for a named pressure, not for wandering the whole course-book. Read the second diagram as the guide loop: arrive with a concrete question, use only the matching sections, then leave with one smaller and more honest next move.
This page maps the course's main claims to the commands and files that prove them.
Use it when you care about a concept but want the fastest evidence route.
Core State Claims¶
| Claim | Command | File surfaces |
|---|---|---|
| data identity is not only a path name | make PROGRAM=reproducible-research/deep-dive-dvc capstone-walkthrough |
capstone/data/raw/service_incidents.csv, capstone/dvc.lock, capstone/.dvc-remote/ |
| the pipeline declaration and the recorded run are different evidence types | make PROGRAM=reproducible-research/deep-dive-dvc capstone-walkthrough |
capstone/dvc.yaml, capstone/dvc.lock |
| the pipeline declares the real change surface | make PROGRAM=reproducible-research/deep-dive-dvc capstone-repro |
capstone/dvc.yaml, capstone/dvc.lock, capstone/state/ |
| params are part of recorded execution meaning | make PROGRAM=reproducible-research/deep-dive-dvc capstone-verify |
capstone/params.yaml, capstone/dvc.lock |
| metrics are reviewable state, not only console output | make PROGRAM=reproducible-research/deep-dive-dvc capstone-verify |
capstone/metrics/metrics.json, capstone/publish/v1/metrics.json |
| promoted outputs are smaller than internal repository state | make PROGRAM=reproducible-research/deep-dive-dvc capstone-tour |
capstone/publish/v1/, capstone/state/, course-book/capstone/index.md, capstone/publish/v1/manifest.json |
| repository layers have distinct reading responsibilities | make PROGRAM=reproducible-research/deep-dive-dvc capstone-walkthrough |
course-book/capstone/repository-layer-guide.md, course-book/capstone/capstone-file-guide.md |
Operational Claims¶
| Claim | Command | File surfaces |
|---|---|---|
| the repository can rebuild its promoted contract | make PROGRAM=reproducible-research/deep-dive-dvc capstone-verify |
capstone/publish/v1/manifest.json, capstone/src/incident_escalation_capstone/verify.py |
| experiments can vary parameters without mutating the baseline contract | make PROGRAM=reproducible-research/deep-dive-dvc capstone-experiment-review |
capstone/params.yaml, capstone/dvc.lock |
| another person can run the same proof targets through the public interface | make PROGRAM=reproducible-research/deep-dive-dvc program-help |
Makefile, programs/reproducible-research/deep-dive-dvc/Makefile, capstone/Makefile |
| remote-backed recovery still works after local loss | make PROGRAM=reproducible-research/deep-dive-dvc capstone-recovery-drill |
capstone/.dvc-remote/, capstone/publish/v1/ |
| the full repository can defend itself under review | make PROGRAM=reproducible-research/deep-dive-dvc capstone-confirm |
course-book/capstone/index.md, capstone/dvc.yaml, capstone/dvc.lock, course-book/capstone/capstone-review-worksheet.md |
| the promoted bundle can be audited without the whole internal repository story | make PROGRAM=reproducible-research/deep-dive-dvc capstone-verify |
capstone/publish/v1/manifest.json, course-book/capstone/release-audit-checklist.md |
Review Questions¶
| Question | Best first command | Best first file |
|---|---|---|
| what exactly changed between declaration and recorded execution | make PROGRAM=reproducible-research/deep-dive-dvc capstone-walkthrough |
capstone/dvc.lock |
| which parameters are safe to compare across runs | make PROGRAM=reproducible-research/deep-dive-dvc capstone-verify |
capstone/params.yaml |
| which artifacts are safe for downstream trust | make PROGRAM=reproducible-research/deep-dive-dvc capstone-tour |
capstone/publish/v1/manifest.json |
| which state survives local cache loss | make PROGRAM=reproducible-research/deep-dive-dvc capstone-recovery-drill |
course-book/capstone/index.md |
| which verification route fits my question | make PROGRAM=reproducible-research/deep-dive-dvc program-help |
course-book/reference/verification-route-guide.md |
| what should I inspect before migration | make PROGRAM=reproducible-research/deep-dive-dvc capstone-confirm |
capstone/dvc.yaml |
| how should I read the repository layers | make PROGRAM=reproducible-research/deep-dive-dvc capstone-walkthrough |
course-book/capstone/repository-layer-guide.md |
| how should I audit the promoted release boundary | make PROGRAM=reproducible-research/deep-dive-dvc capstone-verify |
course-book/capstone/release-audit-checklist.md |
Companion Pages¶
The most useful companion pages for this matrix are: