Reference
CLI & CI
The justfile is the single entry point for local development and CI gates.
Common commands
just docs-check # documentation control plane
just build # Lake: ProofForgeV2 + proof-forge-next
just test # proof-forge-next-tests
just ci # portable subset (GitHub / Woodpecker)
just check # full local gate (incl. macOS hermetic / pinned toolchain)
just v2-clean-room-alpha # clean-room development gate (not release EV)Surfaces
| Surface | Command / Config | Claim |
|---|---|---|
| Hosted CI | .github/workflows/ci.yml | Linux portable: docs + build/test + negative cases. |
| Secret scan | secret-scan | only-verified TruffleHog. |
| Local hermetic | just check | Requires macOS host profile + darwin-arm64 pinned toolchain. Not release EV. |
First-time hermetic provisioning
just toolchains-provision-lean
just toolchains-provision-external