Project-Navi

Fetch the latest commit on Project-Navi/cd-formalization main, show the commit log between the current submodule pin and upstream HEAD, update the submodule pointer, and draft a conventional-commit message summarising the bump. Use when the Lean 4 submodule needs updating.

Regenerate all publication figures and the executed notebook after changes to src/cd/ numerics. Runs generate_figures.py and jupyter nbconvert headless, verifies the 7 figure pairs and ≥7 notebook output cells, and reports drift from CI expectations. Use after any change to solvers, eigenvalues, or fields in src/cd/.

Diff src/navi_sad/core/adapter.py's patched MistralAttention.forward against the installed transformers upstream source, masking the three SAD INSERTION blocks. Use when auditing adapter drift, bumping transformers, or after any edit to core/adapter.py.

Run Gate 0/1/2 verification against frozen tolerances for the SAD instrument. User-only — never auto-invoke. Use before releasing changes to core/adapter.py, core/instrument.py, after bumping transformers, or before a trusted-output analysis run.

Render a pack to a scratch directory and show the diff. Use when iterating on pack or engine changes to verify output before committing.

Scaffold a new template pack with manifest.yaml skeleton, empty templates/ dir, and a matching test file. Use when adding a new pack to the registry.