Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher#164

hyperpolymath merged 2 commits into

mainhyperpolymath/valence-shell:mainfrom

claude/valence-shell-151-root-a2a1kvhyperpolymath/valence-shell:claude/valence-shell-151-root-a2a1kvCopy head branch name to clipboard