quickref.md

Quick reference

uv sync --locked --extra dev
uv run fep-lean catalogue
uv run fep-lean setup
uv run fep-lean verify
uv run python scripts/audit_formalisms.py \
  --receipt output/formalism-audit.json
uv run python scripts/_maint_build_lean_landscape.py --check
uv run fep-lean atlas --check
uv run fep-lean dashboard --check
uv run fep-lean preflight
uv run fep-lean run --topic fep-001
uv run fep-lean status
uv run fep-lean topic fep-001
uv run fep-lean bridge status --gnn-root /absolute/path/to/GNN

Replace the example GNN path with the explicitly named checkout. Other bridge operations are listed by uv run fep-lean bridge --help; pinning and emission write artifacts. Re-pinning follows the canonical order in the re-pin runbook.

The full test and documentation gates are listed in testing.md. Generated output lives under output/; manuscript variables and the unified appendix live under manuscript/.