Contributing
Build entrypoints
This repository supports both Makefile and Justfile as first-class interfaces.
Use either:
make help
just help
These commands list the supported build jobs and what each one does.
Recommended local workflow
For normal local development, run mutators first and verification second:
make check-human
just check-human
That flow:
- runs
fixfirst so formatters and autofixers clean up the tree before slower checks - runs
verifysecond using read-only checks
If you only want the mutating phase:
make fix
just fix
If you only want read-only verification:
make verify
just verify
CI-safe and LLM-friendly workflows
For CI-safe, non-mutating verification:
make check-ci
just check-ci
For compact, token-efficient output:
make check-llm
just check-llm
Fast parallel verification
To run read-only checks in parallel with collated logs:
make fast-verify
just fast-verify
Use triage as an alias for the same workflow.
Bug-hunting workflows
For a correctness- and security-focused pass:
make bugs
just bugs
For easier debugging with serial execution:
make repro
just repro
Notes
fix-ciis read-only and checks that formatter-driven changes are not needed.refresh-schemais intentionally opt-in because it is networked and mutating.check-mdnow usesmdformat --checkso markdown verification stays read-only.