diff --git a/.github/workflows/boj-build.yml b/.github/workflows/boj-build.yml
index 653a527..ec5c3a8 100644
--- a/.github/workflows/boj-build.yml
+++ b/.github/workflows/boj-build.yml
@@ -5,6 +5,7 @@ on:
     branches: [main, master]
   workflow_dispatch:
 permissions:
+  actions: read
   contents: read
 jobs:
   trigger-boj:
diff --git a/.github/workflows/bridge-gate.yml b/.github/workflows/bridge-gate.yml
index 551551a..47213a4 100644
--- a/.github/workflows/bridge-gate.yml
+++ b/.github/workflows/bridge-gate.yml
@@ -22,6 +22,7 @@ on:
   pull_request:
     types: [opened, synchronize, reopened]
 permissions:
+  actions: read
   contents: read
 jobs:
   bridge-gate:
diff --git a/.github/workflows/cargo-audit.yml b/.github/workflows/cargo-audit.yml
index fc5e02b..e0000a5 100644
--- a/.github/workflows/cargo-audit.yml
+++ b/.github/workflows/cargo-audit.yml
@@ -10,6 +10,7 @@ on:
     - cron: '0 0 * * 0' # Weekly on Sunday
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
diff --git a/.github/workflows/casket-pages.yml b/.github/workflows/casket-pages.yml
index fd280fb..7d7fd53 100644
--- a/.github/workflows/casket-pages.yml
+++ b/.github/workflows/casket-pages.yml
@@ -7,6 +7,7 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
   pages: write
   id-token: write
diff --git a/.github/workflows/chapel-ci.yml b/.github/workflows/chapel-ci.yml
index 7b68ddc..2de9bc3 100644
--- a/.github/workflows/chapel-ci.yml
+++ b/.github/workflows/chapel-ci.yml
@@ -44,6 +44,7 @@ on:
   pull_request:
 
 permissions:
+  actions: read
   contents: read
 
 concurrency:
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 2b9bd06..7cbce23 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -18,6 +18,7 @@ concurrency:
   cancel-in-progress: true
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 6bc0eec..26408c1 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -8,6 +8,7 @@ on:
     branches: [ main ]
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
diff --git a/.github/workflows/dependency-review.yml b/.github/workflows/dependency-review.yml
index dcc75d6..aa9c1f1 100644
--- a/.github/workflows/dependency-review.yml
+++ b/.github/workflows/dependency-review.yml
@@ -6,6 +6,7 @@ on:
     branches: [ main ]
 
 permissions:
+  actions: read
   contents: read
   pull-requests: write
 
diff --git a/.github/workflows/dogfood-gate.yml b/.github/workflows/dogfood-gate.yml
index 663d031..b86c78c 100644
--- a/.github/workflows/dogfood-gate.yml
+++ b/.github/workflows/dogfood-gate.yml
@@ -13,6 +13,7 @@ on:
     branches: [main, master]
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
diff --git a/.github/workflows/e2e.yml b/.github/workflows/e2e.yml
index 7809b68..921f30c 100644
--- a/.github/workflows/e2e.yml
+++ b/.github/workflows/e2e.yml
@@ -24,6 +24,7 @@ on:
   workflow_dispatch:
 
 permissions: read-all
+  actions: read
 
 concurrency:
   group: e2e-${{ github.ref }}
diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml
index 8776de0..aad0d03 100644
--- a/.github/workflows/governance.yml
+++ b/.github/workflows/governance.yml
@@ -9,8 +9,9 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
   governance:
-    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
\ No newline at end of file
+    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
\ No newline at end of file
diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml
index 9dde27a..1f8c940 100644
--- a/.github/workflows/hypatia-scan.yml
+++ b/.github/workflows/hypatia-scan.yml
@@ -11,9 +11,10 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
   security-events: write
 
 jobs:
   scan:
-    uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
\ No newline at end of file
+    uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
\ No newline at end of file
diff --git a/.github/workflows/instant-sync.yml b/.github/workflows/instant-sync.yml
index 00531c1..ee4843b 100644
--- a/.github/workflows/instant-sync.yml
+++ b/.github/workflows/instant-sync.yml
@@ -9,6 +9,7 @@ on:
     types: [published]
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
index 81e9903..72824fb 100644
--- a/.github/workflows/mirror.yml
+++ b/.github/workflows/mirror.yml
@@ -7,9 +7,10 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
   mirror:
-    uses: hyperpolymath/standards/.github/workflows/mirror-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236
+    uses: hyperpolymath/standards/.github/workflows/mirror-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
     secrets: inherit
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index c78489a..0273437 100755
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -5,6 +5,7 @@ on:
     branches: [main, master]
   workflow_dispatch:
 permissions:
+  actions: read
   contents: read
   pages: write
   id-token: write
diff --git a/.github/workflows/push-email-notify.yml b/.github/workflows/push-email-notify.yml
index 4b4e754..112afd1 100644
--- a/.github/workflows/push-email-notify.yml
+++ b/.github/workflows/push-email-notify.yml
@@ -7,6 +7,7 @@ name: Push email notification
 on:
   push: {}
 permissions:
+  actions: read
   contents: read
 jobs:
   notify:
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 28b6526..50ca6eb 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -12,6 +12,7 @@ on:
       - 'v*'
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
diff --git a/.github/workflows/rust-ci.yml b/.github/workflows/rust-ci.yml
index 4d8e394..3a84116 100644
--- a/.github/workflows/rust-ci.yml
+++ b/.github/workflows/rust-ci.yml
@@ -10,6 +10,7 @@ on:
   pull_request:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
diff --git a/.github/workflows/scan-and-report.yml b/.github/workflows/scan-and-report.yml
index 0801456..24eb98b 100644
--- a/.github/workflows/scan-and-report.yml
+++ b/.github/workflows/scan-and-report.yml
@@ -16,6 +16,7 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
diff --git a/.github/workflows/scorecard.yml b/.github/workflows/scorecard.yml
index b97e2cb..03413b9 100644
--- a/.github/workflows/scorecard.yml
+++ b/.github/workflows/scorecard.yml
@@ -9,11 +9,12 @@ on:
   workflow_dispatch:
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
   scorecard:
-    uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
+    uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
     permissions:
       contents: read
       security-events: write
diff --git a/.github/workflows/secret-scanner.yml b/.github/workflows/secret-scanner.yml
index b3486fc..0c35e6b 100644
--- a/.github/workflows/secret-scanner.yml
+++ b/.github/workflows/secret-scanner.yml
@@ -11,11 +11,12 @@ concurrency:
   cancel-in-progress: true
 
 permissions:
+  actions: read
   contents: read
 
 jobs:
   scan:
     permissions:
       contents: read
-    uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@c65436ee3351cd6b0fa14b142938b195efc77586
+    uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
     secrets: inherit
\ No newline at end of file
diff --git a/.machine_readable/svc/k9/panic-attacker-metadata.k9.ncl b/.machine_readable/svc/k9/panic-attacker-metadata.k9.ncl
index c7140d7..8ddddab 100644
--- a/.machine_readable/svc/k9/panic-attacker-metadata.k9.ncl
+++ b/.machine_readable/svc/k9/panic-attacker-metadata.k9.ncl
@@ -7,6 +7,8 @@ K9!
 
 {
   pedigree = {
+    name = "panic-attacker-metadata.k9.ncl",
+    security = { leash = 'Yard },
     schema_version = "1.0.0",
     component_type = "security-tool-metadata",
     security = {
@@ -17,7 +19,7 @@ K9!
       allow_subprocess = false,
     },
     metadata = {
-      name = "panic-attacker-metadata",
+      
       version = "2.1.0",
       description = "panic-attack: universal static analysis and bug signature detection — project invariants",
       author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>",
diff --git a/generated/k9iser/cargo-manifest.k9 b/generated/k9iser/cargo-manifest.k9
index ad723ab..0e9f30e 100644
--- a/generated/k9iser/cargo-manifest.k9
+++ b/generated/k9iser/cargo-manifest.k9
@@ -1,8 +1,14 @@
+K9!
+# SPDX-License-Identifier: MPL-2.0
 # Auto-generated K9 contract for cargo-manifest
 # Safety tier: hunt
 
 [must]
-package.name : string { == 'panic-attack' }
+package.name : string {
+  pedigree = {
+    name = "cargo-manifest.k9",
+    security = { leash = "Yard" },
+     schema_version = "1.0.0",  }, == 'panic-attack' }
 package.edition : string { == '2021' }
 profile.release.codegen-units : string { == 1 }
 profile.release.strip : string { == 'symbols' }
diff --git a/generated/k9iser/container-build.k9 b/generated/k9iser/container-build.k9
index 0f79c65..e185a55 100644
--- a/generated/k9iser/container-build.k9
+++ b/generated/k9iser/container-build.k9
@@ -1,8 +1,14 @@
+K9!
+# SPDX-License-Identifier: MPL-2.0
 # Auto-generated K9 contract for container-build
 # Safety tier: hunt
 
 [must]
-metadata.license : string { == 'MPL-2.0' }
+metadata.license : string {
+  pedigree = {
+    name = "container-build.k9",
+    security = { leash = "Yard" },
+     schema_version = "1.0.0",  }, == 'MPL-2.0' }
 metadata.registry : string { == 'ghcr.io/hyperpolymath' }
 build.runtime : string { == 'podman' }
 layers.base.verify : bool { == true }
diff --git a/guix.scm b/guix.scm
deleted file mode 100644
index d7c2bbd..0000000
--- a/guix.scm
+++ /dev/null
@@ -1,18 +0,0 @@
-; SPDX-License-Identifier: MPL-2.0
-;; guix.scm — GNU Guix package definition for panic-attacker
-;; Usage: guix shell -f guix.scm
-
-(use-modules (guix packages)
-             (guix build-system gnu)
-             (guix licenses))
-
-(package
-  (name "panic-attacker")
-  (version "0.1.0")
-  (source #f)
-  (build-system gnu-build-system)
-  (synopsis "panic-attacker")
-  (description "panic-attacker — part of the hyperpolymath ecosystem.")
-  (home-page "https://github.com/hyperpolymath/panic-attacker")
-  (license ((@@ (guix licenses) license) "MPL-2.0"
-             "https://github.com/hyperpolymath/palimpsest-license")))