fix: sync gitmodules-shas to d8f89daa (version 0.9-4) + fix update script

update_submodule_shas.sh now reads from the git index (git ls-files --stage)
instead of HEAD, so it correctly captures staged submodule pointer changes
during a pre-commit hook run.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: yannrichet

tools/gitmodules-shas

@@ -1,5 +1,5 @@
 # This file records the specific commit SHAs for each submodule
 # It is automatically generated and should be updated when submodules are updated
 # Format: <submodule_path> <commit_sha>
-src/libK 87651a2436dda9439888c9acb1ef363d35ec607d
+src/libK d8f89daab531c20ecf807ef678b811f7e04e4c43
 src/slapack 72a7f3753e02b0471e93296f2b22877c6fee7328

tools/update_submodule_shas.sh

@@ -9,19 +9,15 @@ SHAS_FILE="$SCRIPT_DIR/gitmodules-shas"
 
 echo "Updating tools/gitmodules-shas with current submodule commits..."
 
-# Get the list of submodules and their commits
-git ls-tree HEAD $(git config --file .gitmodules --get-regexp path | awk '{ print $2 }') > "$SHAS_FILE.tmp"
-
-# Add header and format
+# Use staged index if available (during pre-commit), otherwise fall back to HEAD
+# git ls-files --stage shows the staged state; for submodules mode=160000
 {
   echo "# This file records the specific commit SHAs for each submodule"
   echo "# It is automatically generated and should be updated when submodules are updated"
   echo "# Format: <submodule_path> <commit_sha>"
-  awk '{print $4, $3}' "$SHAS_FILE.tmp"
+  git ls-files --stage | awk '$1 == "160000" { print $4, $2 }'
 } > "$SHAS_FILE"
 
-rm -f "$SHAS_FILE.tmp"
-
 echo "✓ Updated tools/gitmodules-shas:"
 cat "$SHAS_FILE"