diff --git a/.github/workflows/rhodibot.yml b/.github/workflows/rhodibot.yml
index 45c74cc..8cd6c47 100644
--- a/.github/workflows/rhodibot.yml
+++ b/.github/workflows/rhodibot.yml
@@ -21,7 +21,7 @@ on:
     types: [completed]
 
 permissions:
-  contents: write
+  contents: read
   pull-requests: write
 
 jobs:
diff --git a/.github/workflows/rust-ci.yml b/.github/workflows/rust-ci.yml
index b1b86c6..c60e60a 100644
--- a/.github/workflows/rust-ci.yml
+++ b/.github/workflows/rust-ci.yml
@@ -14,4 +14,4 @@ permissions:
 
 jobs:
   rust-ci:
-    uses: hyperpolymath/standards/.github/workflows/rust-ci-reusable.yml@8dc2bf039d1ff0372d650895c46bea7fbaec68ff
+    uses: hyperpolymath/standards/.github/workflows/rust-ci-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236
diff --git a/.github/workflows/scorecard.yml b/.github/workflows/scorecard.yml
index 11d9b2a..85b16ab 100644
--- a/.github/workflows/scorecard.yml
+++ b/.github/workflows/scorecard.yml
@@ -11,8 +11,4 @@ permissions:
 
 jobs:
   scorecard:
-    uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
-    permissions:
-      contents: read
-      security-events: write
-      id-token: write
+    uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@d7c22711e830e1f383846472f6e9b99debdb201e
\ No newline at end of file
diff --git a/src/interface/abi/mylangiser-abi.ipkg b/src/interface/abi/mylangiser-abi.ipkg
index 95011a1..7bbc742 100644
--- a/src/interface/abi/mylangiser-abi.ipkg
+++ b/src/interface/abi/mylangiser-abi.ipkg
@@ -7,7 +7,3 @@ modules = Mylangiser.ABI.Types
         , Mylangiser.ABI.Layout
         , Mylangiser.ABI.Foreign
         , Mylangiser.ABI.Proofs
-        , Mylangiser.ABI.Semantics
-        , Mylangiser.ABI.Invariants
-        , Mylangiser.ABI.FfiSeam
-        , Mylangiser.ABI.Capstone