chore(ci): land the salvageable local work, drop the poisoned commit, fix the header

.github/workflows/TagBot.yml

@@ -26,6 +26,7 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:

.github/workflows/agda.yml

@@ -22,6 +22,7 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 concurrency:

.github/workflows/boj-build.yml

@@ -6,6 +6,7 @@ on:
     branches: [main, master]
   workflow_dispatch:
 permissions:
+  actions: read
   contents: read
 jobs:
   trigger-boj:

.github/workflows/codeql.yml

@@ -16,6 +16,7 @@ concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 permissions:
+  actions: read
   contents: read
 jobs:
   analyze:

.github/workflows/dependabot-automerge.yml

@@ -40,6 +40,7 @@ on:
   pull_request:
     types: [opened, reopened, synchronize]
 permissions:
+  actions: read
   contents: write # needed to enable auto-merge
   pull-requests: write # needed to approve
   # NB: keep narrow — do NOT add secrets: read or id-token: write here.

.github/workflows/dogfood-gate.yml

@@ -13,6 +13,7 @@ on:
     branches: [main, master]
 
 permissions:
+  actions: read
   contents: read
 
 jobs:

.github/workflows/e2e.yml

@@ -3,7 +3,13 @@
 #
 # Statistikles — E2E + Aspect Tests
 #
-# Runs the Julia test suite (693 @test assertions, 10 Agda proofs, 8 integrations).
+# Runs the Julia test suite, then the Agda proof gate.
+#
+# Counts are deliberately NOT stated here. The previous header claimed
+# "693 @test assertions, 10 Agda proofs, 8 integrations"; measured on this tree
+# it is 1129 `@test` occurrences under test/ and 3 Agda modules under proofs/ —
+# wrong in both directions, and wrong again on the next commit that adds a test.
+# The authoritative counts are whatever this job prints when it runs.
 
 name: E2E + Aspect
 

.github/workflows/governance.yml

@@ -9,6 +9,7 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:

.github/workflows/hypatia-scan.yml

@@ -14,6 +14,7 @@ on:
 # `security-events: write` to upload its SARIF, so the job below raises it
 # explicitly (same pattern as scorecard.yml).
 permissions:
+  actions: read
   contents: read
   security-events: write
 

.github/workflows/instant-sync.yml

@@ -10,6 +10,7 @@ on:
     types: [published]
 
 permissions:
+  actions: read
   contents: read
 
 jobs:

.github/workflows/mirror.yml

@@ -8,6 +8,7 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:

.github/workflows/push-email-notify.yml

@@ -7,6 +7,7 @@ name: Push email notification
 on:
   push: {}
 permissions:
+  actions: read
   contents: read
 jobs:
   notify:

.github/workflows/release.yml

@@ -33,6 +33,7 @@ on:
         type: string
 
 permissions:
+  actions: read
   contents: read
 
 jobs:

.github/workflows/scorecard.yml

@@ -9,6 +9,7 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:

.github/workflows/secret-scanner.yml

@@ -14,6 +14,7 @@ concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 permissions:
+  actions: read
   contents: read
 jobs:
   trufflehog: