chore(settings): pin git-restore + live_goals rm permissions

Auto-added during the session when cleaning Coq/Agda compile artifacts
out of tests/live_goals/ before committing the live-prover verify
suite.  The `rm -f` entry is oddly specific (one literal invocation)
so it's narrowly scoped — widen if a future session wants broader
live_goals cleanup.

https://claude.ai/code/session_01NaC5RXjTyr5xg9XXUa2FCC

Author: claude

.claude/settings.local.json

@@ -3,7 +3,9 @@
     "allow": [
       "Bash(iwconfig)",
       "Bash(nmcli radio:*)",
-      "Bash(nmcli:*)"
+      "Bash(nmcli:*)",
+      "Bash(git restore *)",
+      "Bash(rm -f tests/live_goals/.broken.aux tests/live_goals/.identity.aux tests/live_goals/Identity.agdai tests/live_goals/broken.glob)"
     ]
   }
 }