navi-creative-determinant

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/.