Use this page when you know the job you want tokmd to do, but do not want to
learn the whole control plane first.
If a workflow gives you an artifact name and you need to know what it means, open the Artifact glossary.
If you have not installed tokmd yet or want the first useful local command,
open Install and try tokmd.
If you need the shortest map from user job to command, artifact, meaning, and next action, open User paths.
If you need to see the physical output layout before running a workflow, open Sample artifact trees.
Start with the smallest useful receipt:
tokmd --format md --top 8Then widen the view only if you need it:
tokmd module --module-depth 2
tokmd export --format jsonl --max-rows 500 > repo-files.jsonl
tokmd analyze --preset risk --format mdOpen the Markdown summary first. Use JSON or JSONL only when another tool needs stable input.
More detail:
- Tutorial for a first walkthrough.
- Recipes for analysis and export examples.
- Artifact glossary for receipt and packet names.
- Schema for receipt contracts.
For a quick branch comparison:
tokmd diff origin/main HEADFor a saved before/after trail, write run artifacts first:
tokmd run --analysis receipt --output-dir .runs/baseline
tokmd run --analysis receipt --output-dir .runs/current
tokmd diff .runs/baseline .runs/currentUse this path when you need a deterministic change receipt. Use cockpit when the next step is PR review.
More detail:
- CLI reference for diff inputs and output formats.
- Recipes for saved receipts and comparisons.
Generate a cockpit review packet:
tokmd cockpit \
--base origin/main \
--head HEAD \
--review-packet-dir .tokmd/reviewVerify the packet before treating it as review evidence:
cargo xtask review-packet-check \
--dir .tokmd/review \
--json target/tokmd/review-packet-check.jsonOpen these files in order:
.tokmd/review/comment.md.tokmd/review/review-map.md.tokmd/review/evidence.json.tokmd/review/manifest.jsontarget/tokmd/review-packet-check.json
If the PR changes .tokmd-spec/**, source-of-truth docs, plans, ADRs,
templates, .jules/goals/**, or doc-artifact policy, generate the
documentation-control receipt first and import it:
cargo xtask doc-artifacts --check --json target/docs/doc-artifacts-check.json
tokmd cockpit \
--base origin/main \
--head HEAD \
--doc-artifacts-check target/docs/doc-artifacts-check.json \
--review-packet-dir .tokmd/reviewThe packet is review evidence, not a merge verdict. It can show missing, degraded, stale, skipped, unavailable, required, and advisory evidence without promoting advisory checks.
More detail:
- Review packet contract.
- Artifact glossary for packet and verifier names.
- tokmd in Cockpit.
- Proof evidence import contract.
Start with artifact-producing CI before adding gates:
- uses: EffortlessMetrics/tokmd@v1
with:
mode: cockpit
review-packet: 'true'
artifact: 'true'
comment: 'false'Use policy gates only when you have a clear policy file and a rollback path:
tokmd run --analysis receipt --output-dir .runs/current
tokmd gate .runs/current/receipt.json --policy tokmd-gate.tomlFor this repository's contributor workflow, affected proof planning is owned by
xtask:
cargo xtask affected --base origin/main --head HEAD --json-output target/proof/affected.json
cargo xtask proof --profile affected --base origin/main --head HEAD --plan --plan-json target/proof/proof-plan.jsonFast proof, scoped coverage, mutation, and Codecov upload stay advisory unless a maintainer explicitly promotes them.
More detail:
- GitHub Action quickstart.
- GitHub Action reference.
- Artifact glossary for proof and coverage receipts.
- Publishing evidence for release-facing package surface and metadata checks.
- Coverage guidance.
- Proof policy.
For a plain bounded source bundle:
tokmd context --budget 128k --mode bundle --output context.txtFor a coding-agent handoff with an artifact manifest and work order:
tokmd handoff \
--preset risk \
--budget 128k \
--strategy spread \
--out-dir .handoffWhen review or proof artifacts exist, link them instead of pasting logs:
tokmd handoff \
--preset risk \
--budget 128k \
--strategy spread \
--review-packet-dir .tokmd/review \
--review-packet-check target/tokmd/review-packet-check.json \
--affected target/proof/affected.json \
--proof-plan target/proof/proof-plan.json \
--out-dir .handoffGive the agent .handoff/work-order.md first, then .handoff/manifest.json.
The handoff bundle points at review and proof evidence; it does not verify those
external receipts itself.
When the linked proof evidence includes a proof route, treat it as route and
skip-policy evidence, not proof execution.
More detail:
- Handoff bundles.
- Handoff schema.
- Artifact glossary for handoff, review, and proof links.
- Agent source-of-truth workflow.
Use the browser runner when the job is safe, rootless inspection:
- language summary;
- module summary;
- file export;
- browser-safe analysis presets over uploaded or GitHub-loaded inputs.
Native filesystem flows, git-history enrichers, cockpit, gate, sensor,
baseline, context, and handoff remain native-first.
More detail: