Command Guide¶
Page Maps¶
graph LR
family["Python Programming"]
program["Python Meta-Programming"]
section["Capstone"]
page["Command 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 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.
Use the smallest command that proves the specific claim you care about.
Keep Proof Ladder open while reading this page if you are not yet sure how much proof the current question actually needs.
From the repository root¶
make PROGRAM=python-programming/python-meta-programming docs-serve
make PROGRAM=python-programming/python-meta-programming docs-build
make PROGRAM=python-programming/python-meta-programming test
make PROGRAM=python-programming/python-meta-programming demo
make PROGRAM=python-programming/python-meta-programming inspect
make PROGRAM=python-programming/python-meta-programming capstone-walkthrough
make PROGRAM=python-programming/python-meta-programming proof
make PROGRAM=python-programming/python-meta-programming capstone-tour
make PROGRAM=python-programming/python-meta-programming capstone-verify-report
make PROGRAM=python-programming/python-meta-programming capstone-confirm
make PROGRAM=python-programming/python-meta-programming capstone-manifest
make PROGRAM=python-programming/python-meta-programming capstone-plugin
make PROGRAM=python-programming/python-meta-programming capstone-field
make PROGRAM=python-programming/python-meta-programming capstone-action
make PROGRAM=python-programming/python-meta-programming capstone-registry
make PROGRAM=python-programming/python-meta-programming capstone-signatures
make PROGRAM=python-programming/python-meta-programming capstone-trace
From capstone/¶
make demo
make inspect
make confirm
make proof
make manifest
make plugin
make field
make action
make registry
make signatures
make trace
make tour
make verify-report
When to use which command¶
manifest: inspect group-level schema and action metadata without executionplugin: inspect one concrete plugin contract from the public CLIfield: inspect one concrete field contract and its exported schemaaction: inspect one concrete action contract and its generated signatureregistry: inspect registration determinism from the public surfacesignatures: inspect constructor and action signatures togetherdemo: invoke one realistic plugin action directly in the terminaltrace: inspect result, configuration, and action history togetherinspect: build the saved guided inspection bundlecapstone-walkthroughfrom the repository root, ortourinsidecapstone/, writes the guided walkthrough bundle intoartifacts/capstone-tour: use the same saved walkthrough bundle when you are moving through the proof ladder rather than the first-pass reading routeverify-report: write the executable verification report bundle intoartifacts/confirm: strongest local executable proof through pytestproof: full published review route with saved bundles
A small proof-first route¶
- Start with
manifest,registry,plugin,field,action, orsignatureswhen the question is about public shape. - Move to
demoortracewhen the question is about one concrete runtime behavior. - Move to
inspectorcapstone-walkthroughwhen the question is about guided study or source ownership. - Move to
verify-report,proof, orconfirmwhen the question is about executable confidence.