FuncPipe Command Guide¶
flowchart TD
question["Capstone question"] --> command["Command Guide"]
command --> inspect["make inspect"]
command --> verify["make verify-report"]
command --> proof["make proof"]
command --> confirm["make confirm"]
flowchart TD
goal["Name the smallest proof you need"] --> route["Choose the matching command"]
route --> artifact["Read the saved artifact or test output"]
artifact --> next["Open the companion guide only if the question remains"]
Use this page when you already know your question is in the capstone, but you are not sure which command gives the smallest honest proof surface. The goal is to keep command choice tied to learner intent instead of rewarding the heaviest route by default.
Smallest route by goal¶
| If you want to... | Run | What you get |
|---|---|---|
| verify the executable behavior only | make test |
the pytest result without the saved learner bundles |
| inspect the repository as a learning surface | make inspect |
a saved inspection bundle with architecture, package, test, and proof guidance |
| capture executable proof with saved artifacts | make verify-report |
pytest output plus the saved review summary bundle |
| read the capstone as a guided walkthrough | make tour |
the learner-facing tour bundle with package trees and walkthrough files |
| follow the published learner route | make proof |
the sanctioned sequence that runs test, inspect, and tour |
| run the strongest built-in confirmation route | make confirm |
lint, type, build, verify-report, and proof together |
Artifact locations¶
make inspectwrites toartifacts/inspect/python-programming/python-functional-programming/make verify-reportwrites toartifacts/review/python-programming/python-functional-programming/make tourwrites toartifacts/tour/python-programming/python-functional-programming/
Good command habits¶
- Start with
make inspectwhen your question is about repository shape, package ownership, or guide routing. - Start with
make testwhen your question is only about behavior and you do not need saved bundles. - Start with
make verify-reportwhen you need both executed proof and durable artifacts. - Use
make proofwhen you want the published learner route, not merely a local spot check. - Use
make confirmwhen you are checking whether the capstone still satisfies its strongest public contract.
Common command mistakes¶
- using
make confirmwhenmake inspectwould answer the question faster - reading raw pytest output when the saved inspection or walkthrough bundle is the better teaching surface
- treating
make testas equivalent to the published proof route - forgetting that
make verify-reportandmake tourproduce artifacts meant for later human review
Best companion files¶
GUIDE_INDEX.mdPUBLIC_SURFACE_MAP.mdPROOF_GUIDE.mdARCHITECTURE.mdWALKTHROUGH_GUIDE.md