diff --git a/verification/HARNESS.sha256 b/verification/HARNESS.sha256
index 738a8fe..99d49cf 100644
--- a/verification/HARNESS.sha256
+++ b/verification/HARNESS.sha256
@@ -9,7 +9,7 @@ f1eb5cdd158e30df14c59065fe2050448c77b5262b282208fa831d050f6b6a71  inventory-allo
 d628cc64efe920304f4ad8319d9b880a942abb6d850f4022fa1a26af7e8c34a1  inventory_gate.sh
 736ea4be712e1b5bcda10ecb466f0dec7008a2a36eabdfd77563976299c43cce  lean-guard
 ce4c4e3d87434b9663f46de25ce34b48a0cf0d392e0a320a0787b4674a2d7b61  lean-toolchain
-6f39303b336aedc4da8381712de8180282e39c0725226c292fce15b47f9beb88  PACTA-PIN.sha256
+127fecf2a6938ec24dcc7604756b6b78fcc9ed9343bab7ec9e6bb03b3a9ca0be  PACTA-PIN.sha256
 eda93f520546a692926b2a46bcb79332e1795879e5083327a8bf2404aca5cf87  Proofs/AxiomCheck.lean
 82d41c634a2e9adfc2cc74c202d025e57411687796f820765d45608f3fb4cb20  Proofs/Inventory.lean
 0b8a0fc6947af1d1e600a756eb2b07dc88d189b21df3220c4501a41be8b33f1e  run_bare.sh
diff --git a/verification/PACTA-PIN.sha256 b/verification/PACTA-PIN.sha256
index 9136add..1c558ec 100644
--- a/verification/PACTA-PIN.sha256
+++ b/verification/PACTA-PIN.sha256
@@ -1,8 +1,8 @@
 # pacta subject pinned by fidelity/pacta_pin.py --write
-# commit cd3b1bc92198f74b430b8fbd99c1ede1deb22988
+# commit a03662438a13cd1eba2fff3c35aded5f45093b06
 # 5 module(s), discovered by import, not by glob
 a1bcc5d700071f531e6fe16989884412cb3fb0f2702adfdf5212d4bc84eba2bc  pacta/__init__.py
 31dd6ab7b3121a433c7c8b082ec2d011d1958782470481137db0513a9822532d  pacta/postquantum.py
-4dc1e5ae52519dea989460abe8296a3ea93cd177673a01dc22a8efc71311af56  pacta/signing.py
-067332363d1014577619b958adeffb7ee168759855f21fd35f639b473cc7d511  pacta/transparency.py
+bd3c7b150f13cfb92aef84b85b659d902d0728ce8559bf09f02ad2c79f65ea50  pacta/signing.py
+157bcebbe0134226060a5bf2fd5650e1ad0320d7820777389398d1cdb92bc538  pacta/transparency.py
 7130d5a770db7af4d294389625cf5f0c4228ed562b78bd7ca148ca010087d834  pacta/yamlio.py