gHashTag · gHashTag · Aug 28, 2026 · Aug 28, 2026 · Aug 28, 2026
@@ -54,6 +54,16 @@ jobs:
         with:
           python-version: "3.12"
 
+      # The gate now recomputes each seal's four gen_hashes, which needs the
+      # compiler. Before this it compared only spec_hash: setting gen_hash_zig
+      # to zeros passed, so a seal could assert false output indefinitely as
+      # long as nobody touched the spec. Without the binary the gate exits 2 and
+      # says so, rather than reporting a pass it did not earn.
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+      - name: Build the compiler the seals are checked against
+        run: cargo build --release -p t27c
+
       # A gate nobody has seen fail is not a gate: this plants a stale seal and a
       # dangling one in a temp tree and proves both are reported while a good one
       # stays silent.

@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:f85758f92ca686fc4d61aa4ab8e4e73ee1fda9e1b50f252e7a248d6ae7f68c93",
-  "gen_hash_rust": "sha256:5a2f77c846940ce616d7fd4df418036e8ac3a156bedb86f2208bc57e8c1c9679",
-  "gen_hash_verilog": "sha256:06f005f598bf38e9e374b39b22392e022940cfaa4eae04df8dfbc9133ecc76db",
-  "gen_hash_zig": "sha256:d7777edaca9404f2443b8327f9e52862bf40628a6c7fd67a49cf334e2ad39fb2",
+  "gen_hash_c": "sha256:e3c9e2e8d42caa4ff202d4e8ca677e3239ef726b7f1fe5ea593b6d652beadd36",
+  "gen_hash_rust": "sha256:294f3833b8837beb4af5abd302b8db94229f221e5f63947a9fcf75de93c082a1",
+  "gen_hash_verilog": "sha256:edf5e314645a8bdd1d45f69c0c54d0d4c5bd7beaaa0aada98cd5826368ed7a52",
+  "gen_hash_zig": "sha256:2b15caee509e442b757c308531c9813c3e6884dc3c1d52f8e412f9a2651856e8",
   "module": "\"[]const u8\"",
   "ring": 12,
-  "sealed_at": "2026-04-14T09:58:02Z",
-  "spec_hash": "sha256:58c449a8aac8f2fbae73fa7c67532d9f4cded68e794aa154862031f3e2893da1",
+  "sealed_at": "2026-08-28T00:22:25Z",
+  "spec_hash": "sha256:bcb3b01dcd4debb986099332e1f8d6def66dc7b3d5b6e11f9dce845bb5007fb7",
   "spec_path": "specs/tri/utils/logger.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:70365bd60e4d33f149b766686abe9650952842ae5531a2cc1b70d4a831548a3f",
-  "gen_hash_rust": "sha256:5c6b57d9a15f507ceeccb43418920035cfbc833df05b77e6c3ebee56ddf365b3",
-  "gen_hash_verilog": "sha256:83020af982bdc50facf51f2d438ca868ce2a095168f9672c640a2aee30384b3e",
-  "gen_hash_zig": "sha256:1573cecd72bd111a95a2e6222223adc136802be1086f377601ee5023956fe597",
+  "gen_hash_c": "sha256:bab0a42a892e83cefa1a004f88008e5d62b99385a2aa674df74f5c5f0aa7baa2",
+  "gen_hash_rust": "sha256:4e7e62f28fe6984dfc97a22402e43ce2cfea61eeb7f1c7af153e9f285d06a05a",
+  "gen_hash_verilog": "sha256:5b4880e5e563cfb6c47f677a93973b3451448f6caf14769bf1447ebbee0a8983",
+  "gen_hash_zig": "sha256:f4029556f7050ca20d36e4876600d956ee7d5579329525d1df3705db6b31c94a",
   "module": "APB_Bridge_Testbench",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:d67d46cada717f8c91861d127ff6037bd17f72b367713a71c41fa0c81eb29b16",
   "spec_path": "specs/fpga/testbench/apb_bridge_tb.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:33cda16863fd0ffb818bc971891e5e34578b82ac8cb606884a172ca3fee377d1",
-  "gen_hash_rust": "sha256:f9536ba1c0051bc748fd0ee9da270561843fc11cffad74097ebd84ac2c81cafc",
-  "gen_hash_verilog": "sha256:625df19ea57a51dca92ac5efa528a13fb55e11d5387ebf7d7f0614f2e1acba0e",
-  "gen_hash_zig": "sha256:3bbc1ec54894483f0685f22a838bcfaa606fc8c87321bcf64045cf95fea793b2",
+  "gen_hash_c": "sha256:d4c99958e5e261b2d9e99e9b9358df508b60adadec4864fa7046df6979b9049d",
+  "gen_hash_rust": "sha256:b2a1ca1427bc689aabef0e5f3317bec47fa44ea3a2d2feb3fcd50a3c3270e978",
+  "gen_hash_verilog": "sha256:55da4af9b70f04ab671ae91968b7d7f9a405d18379f1536603f71766280f0e4c",
+  "gen_hash_zig": "sha256:b37451fed5ffc8b8ed2e64745156f891620740467a3fb7501e5023e85ebe90f9",
   "module": "AXI4_Testbench",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:1311f1b9f5b826d81f9ae077069f11252df3e04ac5c1c4e40b554b4783f75ad9",
   "spec_path": "specs/fpga/testbench/axi4_tb.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:fd5c72f47cd35285a21817d00190f3c03d0cd53e8c318e4d4a95eee4491c5b3b",
-  "gen_hash_rust": "sha256:909f064e954c3aaefd748b1e390ec7713fc19cafdfbda660bf0a1440f90afea2",
-  "gen_hash_verilog": "sha256:eea1f1b7a200782fe8f38307b612ebfef8e540c1aca21da0945adc9f455591e2",
-  "gen_hash_zig": "sha256:3c8cba9576a9db5d0c52b30203e1c74dfd70f84e3df69a79190211dcfcf804b8",
+  "gen_hash_c": "none",
+  "gen_hash_rust": "none",
+  "gen_hash_verilog": "none",
+  "gen_hash_zig": "none",
   "module": "Account",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:51Z",
-  "spec_hash": "sha256:32609ddba28bb4aac267de6c2c63ae585ffece941132585f3238344791bee994",
+  "sealed_at": "2026-08-28T00:21:37Z",
+  "spec_hash": "sha256:d59450c1d1f357b44340e8a90413e3685bd34a7c02bcc60dd5efdaa5d44f2fc3",
   "spec_path": "specs/account/schema.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:945c2e7bf75457086aaef28d8a693f7561181c6c9e483cb6c2e26ed5d6695ce3",
-  "gen_hash_rust": "sha256:682717bb5054ddbb6a6d90a5698bac9aa6854128b093f58739bb758d221af409",
-  "gen_hash_verilog": "sha256:837826e959db2c41cad42eed1a27928a5daa990c5a5c398452f7c3712c918c14",
-  "gen_hash_zig": "sha256:8b3d24e51ba1bc2c778e94a5ca35139e0541911a753994132094d41dbe7a401c",
+  "gen_hash_c": "sha256:63a8853dafff2360bc3cfe81f053e8a6e407332aa0eef3aeac4231b2ad98d011",
+  "gen_hash_rust": "sha256:a63fea44fc1062058fa4b9b5fa59b3a1a6c610ff2bf4eeba9e1ff822757da1ed",
+  "gen_hash_verilog": "sha256:d8613b47f3635c4e135032259cbabe1d3624c54001f4277b5385276cdc2d7e78",
+  "gen_hash_zig": "sha256:104124963c3bd4beee769effb215df497c3d195f5dea2e8957f0a334e84dc3de",
   "module": "AccountAuth",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:51Z",
-  "spec_hash": "sha256:d3a5c7757dd719955e3bb8bda8e32fb17cb294b9c0106835b488ce3d8e2abf3b",
+  "sealed_at": "2026-08-28T00:21:37Z",
+  "spec_hash": "sha256:e1355c4ae9276302788b24e68f1229d728b8b23b52f3422a96f55d68ab6e0b62",
   "spec_path": "specs/account/auth.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:768d237b5208648bc95318ce67fb1aa3d67a0bd82de6a85fb7ff7cbbaab884d2",
-  "gen_hash_rust": "sha256:efbd8f14870e96cd7a46eb4337be579b8da4d42c00bbfd84be1383757da2f300",
-  "gen_hash_verilog": "sha256:628118626920a63cd99b981a1f04cd6e6f497cb63fd668ec5dcfb1100ff02af4",
-  "gen_hash_zig": "sha256:aac522313adda790d8de4419eb14cee9ff9e4d25df25fe0b96b296a131ddd9d9",
+  "gen_hash_c": "none",
+  "gen_hash_rust": "none",
+  "gen_hash_verilog": "none",
+  "gen_hash_zig": "none",
   "module": "AccountRepo",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:51Z",
-  "spec_hash": "sha256:7dfc25b5a06b57876a2c08234da3494488a455afa7da4433ff5d75c59ef460ca",
+  "sealed_at": "2026-08-28T00:21:37Z",
+  "spec_hash": "sha256:320bbf24c3e227fc457fe90d95b24bf7d06dc2e24ed0ae780e3224fb281a5f75",
   "spec_path": "specs/account/repo.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:381d98b9cea8c16861e890c263727573c2084dfcb3764f41fd1fca02d36a5d89",
-  "gen_hash_rust": "sha256:595b3c59b6e4f1b0c42014bf5e6b683cafa09948eb7e301e040f0a2212b65789",
-  "gen_hash_verilog": "sha256:3a177e4ac6102996364ce912643021a7261cfdf11658984231ce7b06899cfab7",
-  "gen_hash_zig": "sha256:a960e2207fb4c1e65fe472c2b6d47d396455b98f77f49ae156228539c99919b3",
+  "gen_hash_c": "sha256:875121a5af1f35fe3b18881592fc70aaee5e7c2c98ed173fe99993e57513b412",
+  "gen_hash_rust": "sha256:564bed81bfee218c784af1f837ad4493d4b28e8b8ae89bce382ff0a04f110c16",
+  "gen_hash_verilog": "sha256:d9caf8fdaf9fdf552a87ca603662559c4487eaa0309cc70736d254b72d7810fb",
+  "gen_hash_zig": "sha256:86e6f164c90f8137d38da545e67c47a31b1951262150c483e447e25af22d1cb3",
   "module": "Adagrad",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:49Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:204c8939483e6bb18f55dce184335a73236072e718045cf2308a35b76525a390",
   "spec_path": "specs/ml/optimizer/adagrad.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:aad21863242149ceda23f3941565ec511e85c14690bca7d704be4fc493ebf1dd",
-  "gen_hash_rust": "sha256:7fdd8a4bce9dd1d2caacf5437aae9979ffb3b031e9dd57953140552f0f170aaf",
-  "gen_hash_verilog": "sha256:aca68fbe1c91ebb001568ce13917e2042b8c5e91873f10a7a8b87e3c95de1c55",
-  "gen_hash_zig": "sha256:7a573d1b377eb6b74b4be7006c8918bb72a72b0f8b3adc15349928da6bcaaee2",
+  "gen_hash_c": "sha256:c15014e54980491f5674ef8b28a3e55c54b57c383a9d4d0993c764a83b988bf7",
+  "gen_hash_rust": "sha256:bb96e496da5ab874721e141f092004cf416f347040d8bea7815a8d6e80fb053f",
+  "gen_hash_verilog": "sha256:194e346c1e13f180bde1d1f89d4ea822364d5879861b36c794da879f986dbea7",
+  "gen_hash_zig": "sha256:1fba29bc901d350d8f27333375d2e940938837c461dcd46a109150f6c6c63b89",
   "module": "Adam",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:49Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:47fa62e4268cf8e79f4e4b7ed9972b705c79a74d31b428f88f237d1bc09a7eed",
   "spec_path": "specs/ml/optimizer/adam.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:80d101bc17ab41b40500b3a67c5864fad223e0e648e4f66c38a778d17b76745b",
-  "gen_hash_rust": "sha256:470787f980c1ba6fc20ed3e6912d8db300b7578c4ab63158ba15fe9b406ee60e",
-  "gen_hash_verilog": "sha256:3b5a9e29ae01b5351cc2f9f2b6e3f7db654c9632a605922505d9e601e48a3856",
-  "gen_hash_zig": "sha256:02f1f2065a01038a6d7eab83d31f130b31f630c60a2d360dcfcd2501f3aac305",
+  "gen_hash_c": "sha256:cad544cef9d2bf132082270cbef851be2a5c50ddcf76325cbb0249ae3cda19c0",
+  "gen_hash_rust": "sha256:cbf42db3b14158fead5e9bd2f5d78196806924527688fb6e5e71b3e712587f1a",
+  "gen_hash_verilog": "sha256:b2af0ba85f9e9b0bec6a389757bad5b57132f4cccd07974f28f8964687981e50",
+  "gen_hash_zig": "sha256:12e73820c8968c1cbb619203eb10796ad5a2ab4629306fe196c548962fc86607",
   "module": "AdamW",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:49Z",
-  "spec_hash": "sha256:75b1e672fd6b0ca36bb20314ee28c04627f5adbf8cbeac834da5bb269fabd443",
+  "sealed_at": "2026-08-28T00:22:25Z",
+  "spec_hash": "sha256:a5dbcb7030b094474aaaa271acb30a8e360843416a8ce98070bfee8cc66ae80b",
   "spec_path": "specs/ml/optimizer/adamw.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:12c82584e2cdf6d788860ee95662d87e68efb24110035fd16e704e45eea56481",
-  "gen_hash_rust": "sha256:837b3fd3dba54091397c4ec88d44238e350dbe75f821a53638a8e27f06b1e98b",
-  "gen_hash_verilog": "sha256:318b5eba2adb1f5a69fc36dfaf34b4f0e3e9734be07a8cbb9cc160ecaa86faf2",
-  "gen_hash_zig": "sha256:944d4cb00d7b046bce1c571113d0b17b77da230a0e84a54b3437796daba92109",
+  "gen_hash_c": "sha256:cdc9579aad04ad8d2fc9883624119b27bc3deb3405f18d9169a9358898a33b60",
+  "gen_hash_rust": "sha256:2763a420fa6740f3cc0c41a9dd2627175902ef625604eb96d7791f99e24f5533",
+  "gen_hash_verilog": "sha256:faf5035f1ea6924c67ae3b0aafd49929eba85481ba2ce6e6ba35bdac01a14b10",
+  "gen_hash_zig": "sha256:f3110e19e83cff7d6b318c77a3932ea58dd0b645570bbdee418d97578f032d52",
   "module": "Advantage",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:7d41d9d1ab43028ea61e4c36eb6c0e40b525e6d0f456db95f0312c2d4d06fc62",
   "spec_path": "specs/ml/rl/advantage_estimator.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:6606f51821ab0760104a6058cad14fe4c18e872cc60d8c086f74820d5f7392ab",
-  "gen_hash_rust": "sha256:052155d6fc98bf5968277cd5b567cf229b7df3ea1f6192d96feca24beb0b97e1",
-  "gen_hash_verilog": "sha256:451a92660e246da35cba204aa7e05ced662255f151965a2262b3e3dd3810763d",
-  "gen_hash_zig": "sha256:ab2d641f9815edc3e5c56450f69045906ab95d54023a96832e853ad6c1363b82",
+  "gen_hash_c": "sha256:008b48ed94bc0a990afb0b60b83ba573d78ed4e7ddd1c10b9694392c76fc4549",
+  "gen_hash_rust": "sha256:77910080ebad47e8a12df565eb1adb1739eb6ae8946f3b74add05eddbfed085f",
+  "gen_hash_verilog": "sha256:8bb1e33c10550b063ffab24c87d17b0592ce4dcf2c0fdacbfa327acac9b071ef",
+  "gen_hash_zig": "sha256:1407ce21caa87688f5ab8ecfd02aca81fc8ed63db53032442f028e8893bda345",
   "module": "AgentRunner",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:49Z",
-  "spec_hash": "sha256:cffb49f5744b1d9bca34556103501e0761f3ca5aed1079628cadc50f9425f4fa",
+  "sealed_at": "2026-08-28T00:21:37Z",
+  "spec_hash": "sha256:959e06da2849febdf16205273e4592a5390ce6c4d2be52caf2b7a5b80e3f5a1e",
   "spec_path": "specs/server/agent-runner.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:f0d291acaf957f7fba3eecf741569216a478ad897d286d62fbd5d76cb27bae58",
-  "gen_hash_rust": "sha256:0bdea8511b6535af57da9e9bf09914798e4cc3cb988fe57971ea64fb3dd58b1c",
-  "gen_hash_verilog": "sha256:c31e5cc72c14bf5f87588c85b4ef71f8553f0ba6f583cd3c64f46a727f7ec0e9",
-  "gen_hash_zig": "sha256:23f45551b83f80e939b47892249b590b524f86a5f5d81e06c22d7032fd0d2cb8",
+  "gen_hash_c": "sha256:5d94479f9cb0a971832610f76a4ea7770d5a99c567640e3057f2bfcd609a72c3",
+  "gen_hash_rust": "sha256:a5c6edbd41d4cd1e709a5a5dd35dc9f6a054d5f9a8cde95307ce08956a449a2f",
+  "gen_hash_verilog": "sha256:18df7bd4c01f4a7dafd4b0da575d47485fe5d349ce45ca6af8066e3f7e109469",
+  "gen_hash_zig": "sha256:56969eb317108ddbc977efcee38807648b850c22b0823bee83df0e753552d84f",
   "module": "ApbBridge",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:b5d5ab2b04d04b08a4f307d4744cde9b0c95e7aa000f971bf648f33ca50717ca",
   "spec_path": "specs/fpga/apb_bridge.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:d87de4b439b1870df91a155fc747238eeae1fa0eedd0417d3407508cb4ec973b",
-  "gen_hash_rust": "sha256:45c11458b18ed8b6d7bb46e62846cbc29ffd9c299b900f1fb211a39576d11921",
-  "gen_hash_verilog": "sha256:49b1f0242669a3195a84d4aa262a9aeabb2deff179f5a97dc020d2b124b25c5b",
-  "gen_hash_zig": "sha256:d020ff6e43472b637dc6aa7122b7e36638c67e903b8ecb7f7334ad4f9a656fc5",
+  "gen_hash_c": "sha256:8997e74109814b9f07113dc468ffba00ec317865506413f7add2481aadca0911",
+  "gen_hash_rust": "sha256:6bd8e3abc0d10b89175f54c946af37cb652abe1d6383288d27ef59bb41582e1f",
+  "gen_hash_verilog": "sha256:243b870fc4e2a21b86fef56b47af362c491f62ff956ed3566afdeafed547ab43",
+  "gen_hash_zig": "sha256:9302e82d4c6ba1f4b1b0f23c5d46dcf203fc6f4513505257146c85cc4022142f",
   "module": "Api",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:49Z",
-  "spec_hash": "sha256:156139a9aa8390b91847db8b349633a2f6826b6c42938a355c79d549e5e7d833",
+  "sealed_at": "2026-08-28T00:21:37Z",
+  "spec_hash": "sha256:e46541429008eef0e3a73d4b33d40d438a556712791e282630da97bddbb20d19",
   "spec_path": "specs/server/api.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:1fe61b54d7caaedda653b51be9f92efb949d83bf3cef92d3da6d30cad13c8e4a",
-  "gen_hash_rust": "sha256:1adf2361b8d59d36200d1a9601504dba765fafd03eb966c9bf6558524f6e9844",
-  "gen_hash_verilog": "sha256:09db1989f75a4ed48bf254e96b1b8903d97124cc78e3d71bf188e7ccfb41049b",
-  "gen_hash_zig": "sha256:10c81fba6c59637f6440f87998563459fc777b6436153f72cf3f1466a9968253",
+  "gen_hash_c": "sha256:b0d3f143bf2e0f4328ee490efe2bdc19d5728a470c85ff0f295285b1c4f65d86",
+  "gen_hash_rust": "sha256:80e9fbb51e1039e78f07a3b0e714d3dcaa422eca69dcabd99b8ea7ae20256223",
+  "gen_hash_verilog": "sha256:426338e1fa66258cd1f8b59141f8986d84967a707088baaac47e9f46d8ca12f1",
+  "gen_hash_zig": "sha256:39507fcb20694f760f579cf714a7494ac421ff9c0420067e4f3e2519b943471e",
   "module": "ArtyA7_Integration",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:008af9aea4cc3d4324c4c41b9418da42908be55e79790bf12301afb74c9328d7",
   "spec_path": "specs/fpga/boards/arty_a7_integration.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:ee4d5233a3f9190718e132fb14951f02304eec803a2f004057f48059ca42be6b",
-  "gen_hash_rust": "sha256:de112c3e14b89ab96c3e0b77cd939d9828e9e6f8a87c165f42cd49321032ed4e",
-  "gen_hash_verilog": "sha256:236a68aeaba8fab0104cc4b8f35bb1660e115848cd064db8f9858959912f386a",
-  "gen_hash_zig": "sha256:3c9c540ac9e7a4ebec2b211ae51d01dc98169378ad60069c5b0ea9c1e4e1bc68",
+  "gen_hash_c": "sha256:55419456ce808ff3f0baed2af64640584c30707bc1eaa6bc2eddc6be380a7ddc",
+  "gen_hash_rust": "sha256:1c6115d02a60911a8ae8ee86cd4e1047ea4cad9711c3466c8edb4ef9fb849d4f",
+  "gen_hash_verilog": "sha256:4a3aac88230f26e414bd206d0168d8063b891db31ae52d7ed63c02186a0d6944",
+  "gen_hash_zig": "sha256:78ef736ad5e3b4d39fc1ff3bcfe0accebcbc0fd090b10fb4941e32e6f6c3cb25",
   "module": "AspSolver",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
-  "spec_hash": "sha256:f6bcb93e788552ea078c6a57e8ab33f90a65780711569e96cbedb0b851de4051",
+  "sealed_at": "2026-08-28T00:22:25Z",
+  "spec_hash": "sha256:eca06ff812c61e2693f706b7389c71dcd769c30dfbb2cfb958e0416a5118b404",
   "spec_path": "specs/ar/asp_solver.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:304c26277618620c2e023493b89805e18f96762ea732bd4bbdc0868dd0caf2cd",
-  "gen_hash_rust": "sha256:dd4ed277815c5dbf0bf1794c79ad46aa5f98157ca4864d23c8d3cf0847b7e02f",
-  "gen_hash_verilog": "sha256:a4e0d8ea217dec9106f7ef222c45e7fb950eb5f09bd7982f84082fbb5970cd97",
-  "gen_hash_zig": "sha256:8dc816a9045c15bd45a0b3e94c94277c0967da472435454a7ccfed26231b0476",
+  "gen_hash_c": "sha256:d0535e38962a8d71a52b1b419a5029c2c17f119a0e3582c07df6c10d4f22cd6a",
+  "gen_hash_rust": "sha256:2c040b07b38e99c2186244a7817acb00dced6063cbf314314010ddd5a6e17d47",
+  "gen_hash_verilog": "sha256:39953fd339dea630328d1be822404ada011ad2a5455ee008931f05129300dd5f",
+  "gen_hash_zig": "sha256:c6a9e19f2337415d22a698361568bfc10edffb63dad901eac783bc0dd42d9ef7",
   "module": "Assembler",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:554e42402228649a53d22c401e9fdcd96a1d5e1bed47cda8e4c1be30de2c0d00",
   "spec_path": "specs/fpga/assembler.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:0e0841d2dde725f83df1971c9c248e28e9cad506f6e19f4992c735b0659ccc6b",
-  "gen_hash_rust": "sha256:e3accc2d904dcbee30472e8637e1d19341207a5f8f1541e6eda4097e58cea9ed",
-  "gen_hash_verilog": "sha256:a93ace7b9089df295839427608f4a237ce200c4202c36493281a559c4a71e37d",
-  "gen_hash_zig": "sha256:78a53d339ad8304cc03698497254627d2cbf2b4d28e0772443f5ccdb63034c7d",
+  "gen_hash_c": "sha256:17b5424eda0c8ca4a5ab73eb20c813bb9e25249331cecf137df19a8a43ac3503",
+  "gen_hash_rust": "sha256:5fb14cdbc0f04475f5bc6ef80e8afd6e40e54d35af1dd16eaf6e3c7709c20417",
+  "gen_hash_verilog": "sha256:4fed9f3ad76849272d80fe4e01aa1b56ea5fa9492b37404905731b49f0ab4836",
+  "gen_hash_zig": "sha256:62d4cfcd4877def4d623dfef9430e9b8f2212dfcbb992f78daed48b6a99c098a",
   "module": "Assembler_Testbench",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:59977f6e1cbcafc304f2874fad21b31b6e698ba4341a7f9a4aa5a19335d22ad6",
   "spec_path": "specs/fpga/testbench/assembler_tb.t27"
-}
+}
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:4ad3f520d6da5683a0c59ca5b5737ce559db051578d0c908170120fb2013aba1",
-  "gen_hash_rust": "sha256:d4def7403cff180a6f8b6e38a902f741b5138af9de2cc59c3c505eec2bdd735b",
-  "gen_hash_verilog": "sha256:20d2adf848c9f135dbbe89c86e931501281f35140412b823e84cc0df71935b85",
-  "gen_hash_zig": "sha256:25dba5ecfc6a180a4f87d809e1388f299c85f3d4ea90430ddab830e56d9b509e",
+  "gen_hash_c": "sha256:a81a66e5adcaf87fe62b0a3dc65c1bd11bfe6a4b6356ab2b1369de58fc86bd7b",
+  "gen_hash_rust": "sha256:7dacd1d0b31826fa904ebcca6c128b3a3bff9a5ab7f68a05dc2ec5a24c8e70c1",
+  "gen_hash_verilog": "sha256:3614052cf60efdd1c5eedb71a5d445b3c5ea0d93dd877d1866280c2fc7934ecc",
+  "gen_hash_zig": "sha256:3f0fdececf4c3cdb02cc622e19dbca06d1ae0e2f804daeaf31fe82d736abc70b",
   "module": "Attention",
   "ring": 12,
-  "sealed_at": "2026-04-14T06:32:50Z",
+  "sealed_at": "2026-08-28T00:22:25Z",
   "spec_hash": "sha256:b8cf25569fa15fece9aa281586f9998c767d802a8275a83ecee58694e774b64e",
   "spec_path": "specs/ml/recurrent/attention_mechanism.t27"
-}
+}