updates

Author: Pat-Lafon

claude_settings.json

@@ -17,6 +17,7 @@
       "Bash(cargo search:*)",
       "Bash(cargo test:*)",
       "Bash(cat:*)",
+      "Bash(chmod +x /tmp/:*)",
       "Bash(cksum:*)",
       "Bash(cmp:*)",
       "Bash(comm:*)",
@@ -111,6 +112,7 @@
       "Bash(pwd)",
       "Bash(python3 --version)",
       "Bash(python3 -c:*)",
+      "Bash(python3 -m json.tool)",
       "Bash(realpath:*)",
       "Bash(rustc --version)",
       "Bash(rustup show:*)",
@@ -137,6 +139,7 @@
       "Read(/private/var/folders/**)",
       "Read(/tmp/**)",
       "WebFetch(domain:5e.tools)",
+      "WebFetch(domain:arxiv.org)",
       "WebFetch(domain:docs.rs)",
       "WebFetch(domain:github.com)",
       "WebFetch(domain:lean-lang.org)",

scripts/check-brew-drift.sh

@@ -19,10 +19,10 @@ casks_known=$(brew casks       | awk -F/ '{print; if (NF>1) print $NF}' | sort -
 drift=()
 
 check() {
-    local kind=$1 file=$2 other other_inv primary_upper other_upper known other_known
+    local kind=$1 file=$2 other_inv primary_upper other_upper known other_known
     case $kind in
-        formula) other=cask;    other_inv=brew_casks.txt;  primary_upper=FORMULA; other_upper=CASK;    known=$formulae_known; other_known=$casks_known    ;;
-        cask)    other=formula; other_inv=brew_leaves.txt; primary_upper=CASK;    other_upper=FORMULA; known=$casks_known;    other_known=$formulae_known ;;
+        formula) other_inv=brew_casks.txt;  primary_upper=FORMULA; other_upper=CASK;    known=$formulae_known; other_known=$casks_known    ;;
+        cask)    other_inv=brew_leaves.txt; primary_upper=CASK;    other_upper=FORMULA; known=$casks_known;    other_known=$formulae_known ;;
     esac
 
     echo "=== Checking $kind drift ($file) ==="