diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock
index a857fcc..7db2240 100644
--- a/.github/workflows/actions.lock
+++ b/.github/workflows/actions.lock
@@ -1,7 +1,7 @@
 # This file is machine-generated by `gh actions-lock`.
 # Do not edit by hand; run `gh actions-lock` to update.
 # Docs: https://gh.io/actions-lockfile
-version: 'v0.0.2'
+version: 'v0.0.3'
 workflows:
     '.github/workflows/bridge-gate.yml':
         - 'actions/checkout@v7.0.1'
@@ -15,7 +15,7 @@ workflows:
         - 'google/clusterfuzzlite@v1'
     '.github/workflows/codeql.yml':
         - 'actions/checkout@v7.0.1'
-        - 'github/codeql-action@2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2'
+        - 'github/codeql-action@24c54180a607b1449ed407dd24f251e4e9147c8d'
     '.github/workflows/coq-build.yml':
         - 'actions/checkout@v7.0.1'
     '.github/workflows/doc-consonance.yml':
@@ -51,10 +51,10 @@ workflows:
         - 'actions/checkout@v7.0.1'
     '.github/workflows/rust-ci.yml':
         - 'actions/checkout@v7.0.1'
-        - 'actions/upload-artifact@v7.0.1'
+        - 'actions/upload-artifact@v7.0.2'
         - 'dtolnay/rust-toolchain@stable'
         - 'rustsec/audit-check@v2.0.0'
-        - 'taiki-e/install-action@v2.87.21'
+        - 'taiki-e/install-action@v2.87.27'
     '.github/workflows/scorecard.yml':
         - 'hyperpolymath/standards@8750b94ac1bbe8c51ad13fe106669b13478f0b62'
     '.github/workflows/secret-scanner.yml':
@@ -106,9 +106,9 @@ dependencies:
         commit: 'sha1-bbbca2ddaa5d8feaa63e36b76fdaad77386f024f'
         owner_id: 44036562
         repo_id: 192625955
-    'actions/upload-artifact@v7.0.1':
-        ref: 'v7.0.1'
-        commit: 'sha1-043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
+    'actions/upload-artifact@v7.0.2':
+        ref: 'v7.0.2'
+        commit: 'sha1-cf430e030ddbb5b0abf93d22962f4752f3646cd9'
         owner_id: 44036562
         repo_id: 192625955
     'actions/upload-pages-artifact@v5.0.0':
@@ -138,9 +138,9 @@ dependencies:
         commit: 'sha1-54075bcc5e249e4758d363f27d099f55d843f124'
         owner_id: 47606891
         repo_id: 331103973
-    'github/codeql-action@2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2':
-        ref: 'v4.38.2'
-        commit: 'sha1-2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2'
+    'github/codeql-action@24c54180a607b1449ed407dd24f251e4e9147c8d':
+        ref: 'v4.38.3'
+        commit: 'sha1-24c54180a607b1449ed407dd24f251e4e9147c8d'
         owner_id: 9919
         repo_id: 259445878
     'google/clusterfuzzlite@v1':
@@ -203,9 +203,9 @@ dependencies:
         commit: 'sha1-779680da715d629ac1d338a641029a2f4372abb5'
         owner_id: 580492
         repo_id: 298565987
-    'taiki-e/install-action@v2.87.21':
-        ref: 'v2.87.21'
-        commit: 'sha1-4cef1412cce204788f482e778a0b9187f9626a29'
+    'taiki-e/install-action@v2.87.27':
+        ref: 'v2.87.27'
+        commit: 'sha1-ab6895351a88b908e96a4697860d4ffea5e57dbe'
         owner_id: 43724913
         repo_id: 442947557
     'webfactory/ssh-agent@e83874834305fe9a4a2997156cb26c5de65a8555':
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 0a595fb..1d67052 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -44,12 +44,12 @@ jobs:
           persist-credentials: false
 
       - name: Initialize CodeQL
-        uses: github/codeql-action/init@2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2 # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100)
+        uses: github/codeql-action/init@24c54180a607b1449ed407dd24f251e4e9147c8d # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100)
         with:
           languages: ${{ matrix.language }}
           build-mode: ${{ matrix.build-mode }}
 
       - name: Perform CodeQL Analysis
-        uses: github/codeql-action/analyze@2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2 # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100)
+        uses: github/codeql-action/analyze@24c54180a607b1449ed407dd24f251e4e9147c8d # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100)
         with:
           category: "/language:${{ matrix.language }}"
diff --git a/.github/workflows/rust-ci.yml b/.github/workflows/rust-ci.yml
index 69eea54..3249ea2 100644
--- a/.github/workflows/rust-ci.yml
+++ b/.github/workflows/rust-ci.yml
@@ -86,7 +86,7 @@ jobs:
     timeout-minutes: 60
     steps:
       - uses: actions/checkout@v7.0.1
-      - uses: taiki-e/install-action@v2.87.25
+      - uses: taiki-e/install-action@v2.87.27
         with:
           tool: cargo-deny
       - run: cargo deny check advisories bans licenses sources
@@ -109,7 +109,7 @@ jobs:
       - uses: dtolnay/rust-toolchain@stable
         with:
           components: llvm-tools-preview
-      - uses: taiki-e/install-action@v2.87.25
+      - uses: taiki-e/install-action@v2.87.27
       - name: Generate lcov report
         run: cargo llvm-cov --workspace --lcov --output-path lcov.info
       - name: Enforce minimum coverage
@@ -127,7 +127,7 @@ jobs:
     steps:
       - uses: actions/checkout@v7.0.1
       - uses: dtolnay/rust-toolchain@stable
-      - uses: taiki-e/install-action@v2.87.25
+      - uses: taiki-e/install-action@v2.87.27
         with:
           tool: cargo-mutants
       - name: Run mutation tests on core invariant crates
@@ -142,7 +142,7 @@ jobs:
             --no-shuffle \
             --output mutants-out/
         continue-on-error: true
-      - uses: actions/upload-artifact@v7.0.1
+      - uses: actions/upload-artifact@v7.0.2
         if: always()
         with:
           name: mutants-report