seals: verdict-blocked specs compile and seal; 11 refused specs fixed, 30 blocked ones listed (Refs #8314)

.trinity/seals/"[]const u8".json

@@ -1,14 +1,41 @@
 {
-  "gen_hash_c": "sha256:fd07fbb7982f3d1bb9c449ed0ea97cf6f27cfbe31efedd5c8e68fb17f3219317",
-  "gen_hash_rust": "sha256:eb15c8f4696aba80a6616cce59f024b158a285afaa3411d2d4aa6a907fd40bd7",
-  "gen_hash_verilog": "sha256:9199aadffff106384c3e6db0d5f5d8f102493567eab7cf3e0cad0d213e570196",
-  "gen_hash_zig": "sha256:e93492f52130264c155bfd2002bb1269ab41c888b08c07ebf559167f8714c3a8",
-  "module": "\"[]const u8\"",
+  "built_by": "t27c-bootstrap@0.5.2+093bf4713",
+  "closure": [
+    {
+      "spec": "specs/base/types.t27",
+      "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
+    },
+    {
+      "spec": "specs/math/constants.t27",
+      "spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb"
+    },
+    {
+      "spec": "specs/tri/utils/time.t27",
+      "spec_hash": "sha256:e352c15872b846c700a907af7d93aad9672cc13a3a870703be337c63bb09570d"
+    }
+  ],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:f436c3f6000e016e75f14e4d82bf5608b3566c428d78e64165d357657cbba30c",
+  "gen_hash_rust": "sha256:7e922cb77aad0eaff05d53695907e1526bb49dbb995da530eda9b750f5bf1459",
+  "gen_hash_verilog": "sha256:4aba146418436c03ad8b3b3ab708f713a7453eb9a3fe6b25e8fcc225813de4c8",
+  "gen_hash_zig": "sha256:510c4683a4b53f5139b6fd265a3571a32d42854be58b278482468b54fa1fc650",
+  "module": "TriLogger",
   "ring": 12,
-  "sealed_at": "2026-10-11T10:29:45Z",
-  "spec_hash": "sha256:a6cdf1cf95673d6d6d667e195bcafa9c64b531fd04a8c23270c62b2f78c895e5",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:33:41Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:723e0d132a07967d5546cb2c8cb841b6ba41d5666b5b58298d9859f6ba6661c4",
   "spec_path": "specs/tri/utils/logger.t27",
   "tests": {
-    "blocked": "does not compile: spec.zig:29:16: error: use of undeclared identifier 'Instant'"
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 3,
+    "total": 3,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }

.trinity/seals/AspSolver.json

@@ -1,14 +1,28 @@
 {
-  "gen_hash_c": "sha256:419cef31000fa4978e86ecf50444662ff1250c5c3df1425a39c4d4fd39082a77",
-  "gen_hash_rust": "sha256:2a576b0a6cd7dec310e83f2b2460ee539ad9571bc557c932655e4646c2fe9334",
-  "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7",
-  "gen_hash_zig": "sha256:5d3a6c05ad017e55b93383a536bec34870c76ab5d79552602613b13e0f894cc3",
-  "module": "AspSolver",
+  "built_by": "t27c-bootstrap@0.5.2+093bf4713",
+  "closure": [],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:63df95a8024bc74af7c1db878cd9eb112d504a749e41ceafbda039c0a04060b1",
+  "gen_hash_rust": "sha256:b85d34688d3eb1db08ec362f4787ec8c2899d1b6ad24bb6c09ddd83ee58f0e59",
+  "gen_hash_verilog": "sha256:5f7c7dae16aba903918749666cccf0d07fe76e60f9f0111f38480ca5cec078ee",
+  "gen_hash_zig": "sha256:a3ff632a1a021b973fa5cf5bb08f8343a0f09ba7078724e11e714dcdd57d1958",
+  "module": "asp_solver",
   "ring": 12,
-  "sealed_at": "2026-10-10T13:37:48Z",
-  "spec_hash": "sha256:d579dfd36ca9650e62f7117ec20f79610c2ba945f3b239a51f65f09c20e7f1a2",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:29:35Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:10b9c8d93512e8b98c54ca77ba65096f5f85a9d271be8293112c808e42cde1ac",
   "spec_path": "specs/ar/asp_solver.t27",
   "tests": {
-    "blocked": "does not compile: spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'"
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 17,
+    "total": 17,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }

.trinity/seals/BootROM_Testbench.json

@@ -1,14 +1,33 @@
 {
-  "gen_hash_c": "sha256:f9a02dc2ea35f8af9e0ae68f31c49e398afd86c2411187af70e375192f3ad048",
-  "gen_hash_rust": "sha256:71c8175302ddaf8320babde1caf470fb617e1d49e76b1d0512e6d73edd5858d6",
-  "gen_hash_verilog": "sha256:f4baf3b5e89a72c50f166b5478d859795ad5ddae2edc2bb39aae0c0b90da16a7",
-  "gen_hash_zig": "sha256:ddef1d31c3b0419d5c0a0d0eec703cc95ed3bdc5db63f2f80b51b98c1e3652f6",
+  "built_by": "t27c-bootstrap@0.5.2+093bf4713",
+  "closure": [
+    {
+      "spec": "specs/fpga/bootrom.t27",
+      "spec_hash": "sha256:095347af6f8f5f079b3e9cc138edcc5cc9dc15ecc82a153fab158de646476958"
+    }
+  ],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:ed9f75edb2c332c7f75d7644c1bfe67ba107ac02b201674ea4d72f2f84887024",
+  "gen_hash_rust": "sha256:c7d4d4b6620be8354c7e02e566702fbf98426335bab1f8b7b04ccb206622b40a",
+  "gen_hash_verilog": "sha256:f326be629cfbf8f77bb25f1d0d849ab2e6c380407dfed9775b6f64cd06b606c3",
+  "gen_hash_zig": "sha256:e8f07a7ced39e4ae119e535f36a700273aabbfc1cdc8771c560bbcd1fdd256b2",
   "module": "BootROM_Testbench",
   "ring": 12,
-  "sealed_at": "2026-10-11T09:21:35Z",
-  "spec_hash": "sha256:fa02d9864b6cc48cfe1c2ba92bd8d43cf3e93a33b23bcfd646866bb8ccd328e0",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:29:59Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:2785428c9e93df352b2393c2928804a20e9de307fab7ba62b8329b166a6b103c",
   "spec_path": "specs/fpga/testbench/bootrom_tb.t27",
   "tests": {
-    "blocked": "does not compile: spec.zig:22:25: error: expected a digit after base prefix"
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 4,
+    "total": 4,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }

.trinity/seals/DatalogEngine.json

@@ -1,14 +1,33 @@
 {
-  "gen_hash_c": "sha256:cda6d81139a9034a158f2dd9c9fb2aa58dd4992915fcb29aec0f0c0b2ecd30e1",
-  "gen_hash_rust": "sha256:1252ba97aba435163d1b2d01d98be91e112f56b1e7849c95b486ba6bda62a90f",
-  "gen_hash_verilog": "sha256:45b43fbee960040abb2137f294bed64dfbec4316ea0def85d9c34ef48c88bee4",
-  "gen_hash_zig": "sha256:360d788f707ac0c86c992d01c39aefd39a08e303d9e4e1b8784712808d37167a",
-  "module": "DatalogEngine",
+  "built_by": "t27c-bootstrap@0.5.2+093bf4713",
+  "closure": [
+    {
+      "spec": "specs/base/types.t27",
+      "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
+    }
+  ],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:53b71ef6ec786012e875b7253f54076ffe9b394faa91f6e70d8393fa2bf85e68",
+  "gen_hash_rust": "sha256:9c995a0f67e1def9cadc8c96ae4b458016a36efa6d4ec2d47f637d6cd3c993a4",
+  "gen_hash_verilog": "sha256:33ee6d2c28d853b57ae94c38a625a099580a9cea007f74885720ba3959cfe0f6",
+  "gen_hash_zig": "sha256:65e4997bcec9230e723411a3e2e288e4da07094858a5b047a677661165a0d2c2",
+  "module": "datalog_engine",
   "ring": 12,
-  "sealed_at": "2026-10-10T13:37:53Z",
-  "spec_hash": "sha256:83777e70a8892d002a701793b29c302748644d2b71fe71da230df85b14911cdf",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:29:36Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:87593c89dc0850001a456e2dcadac858617c7e133511a6bc4d3499b5c914f2a2",
   "spec_path": "specs/ar/datalog_engine.t27",
   "tests": {
-    "blocked": "does not compile: spec.zig:21:18: error: use of undeclared identifier 'Trit'"
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 16,
+    "total": 16,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }

.trinity/seals/ExperienceSave.json

@@ -1,14 +1,33 @@
 {
-  "gen_hash_c": "sha256:d5ee7c9b0d185d1dcad408d082eec9b4b5dadaa868485325b91156c46a3baa32",
+  "built_by": "t27c-bootstrap@0.5.2+093bf4713",
+  "closure": [
+    {
+      "spec": "specs/base/types.t27",
+      "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
+    }
+  ],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:37b5a9791607e56f19736ab47d8277b30fc226561576fb2c3c1a602299b02c4a",
   "gen_hash_rust": "sha256:b307fc9f5f5534e79978f3f132a56d6835238e81276d297985f3e7bd104ebd6a",
   "gen_hash_verilog": "sha256:f1107f663e3f58898071e733d17c400576dd6059ed72c436874fce9c4eb83278",
-  "gen_hash_zig": "sha256:2e7c49647f8a31146f6388c860d6d3f29c09b22159590dc9aebba27f6a2023a6",
+  "gen_hash_zig": "sha256:26703e992c5c393393450da08eb0e35c026e4f3a2e5c546ea920eb029983ca1b",
   "module": "ExperienceSave",
   "ring": 12,
-  "sealed_at": "2026-10-10T14:36:13Z",
-  "spec_hash": "sha256:df15f1fbd549cad6bc01b0599d4765ea3d8be69eb2759ef112ca8c94c101168d",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:31:21Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:86b742b6e04939dbdbbac84be8ce179e638952a7a5101640b4f7b50f27bc84ba",
   "spec_path": "specs/pipeline/experience_save.t27",
   "tests": {
-    "blocked": "does not compile: spec.zig:70:9: error: use of undeclared identifier 'not'"
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 4,
+    "total": 4,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }

.trinity/seals/File.json

@@ -1,14 +1,33 @@
 {
-  "gen_hash_c": "sha256:36c522e2eb155a5886c813e8be6ebc8590cf6fa2431b4fc23d0c945d9da4b3f3",
-  "gen_hash_rust": "sha256:2fa3c73deb7d4578ad6fe419c18976a753711fd34fe54b96faaa2f576ebbf83a",
-  "gen_hash_verilog": "sha256:0babdbe3cc3ecc8e207e1050d75feb08dfe12474ecadae7fd1977f05363ffdd3",
-  "gen_hash_zig": "sha256:fd436a3987f06e673b7e9840546a158c3cf317d2550b4e6f8cc6dae4419300e3",
+  "built_by": "t27c-bootstrap@0.5.2+093bf4713",
+  "closure": [
+    {
+      "spec": "specs/base/types.t27",
+      "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
+    }
+  ],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:ef7076cbcbca5bc99b3be8cafc1708d821298376e041c8b139ba947612efab7c",
+  "gen_hash_rust": "sha256:ab7aa431e0954264761090b778f5a45ad77851079abe6e00bc7b6fff9b86b530",
+  "gen_hash_verilog": "sha256:6ec36fa2862c2b56cc59e34267e57d657432f3ac0c23d0bc4a09371a7e4b2c96",
+  "gen_hash_zig": "sha256:f61347b89e6045d797b45c89cd2037bf9cf5a3ba00bc30cd822110297b1d4989",
   "module": "File",
   "ring": 12,
-  "sealed_at": "2026-10-11T10:29:09Z",
-  "spec_hash": "sha256:468c0d05fb6430308005b43d183c3070421c754cdf83fef8e76f36c8ed0ed2f9",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:29:54Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:f5089da4c9b3ea206feb7697e0dabe15fa61202329a79278cbba6900ab6359ca",
   "spec_path": "specs/file/schema.t27",
   "tests": {
-    "blocked": "does not compile: spec.zig:145:17: error: use of undeclared identifier 'split'"
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 13,
+    "total": 13,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }

.trinity/seals/FormulaDiscovery.json

@@ -1,11 +1,21 @@
 {
+  "built_by": "t27c-bootstrap@0.5.2+4ab200073",
+  "closure": [
+    {
+      "spec": "specs/physics/sacred_lattice.t27",
+      "spec_hash": "sha256:dc90c60bdc6811159ca4e91452af2ebe1728cfa4ef6044814254557759846f6c"
+    }
+  ],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
   "gen_hash_c": "sha256:f196fd5a8b8248697beac2ab37943cbd1e33cdc152edc13748c32ed09ea3bc8e",
   "gen_hash_rust": "sha256:9ab8cd3369ea8e3d04e7aa8b4ce41ea3e46df740e4aa602c63e78874a6b0c64f",
   "gen_hash_verilog": "sha256:eaf9e65f86658f645c56ee52110d4c64f9af7550d5e4c4ca31608ef545b3b5bc",
   "gen_hash_zig": "sha256:6bd117784dfdf52c9bca3930c5f721d0c5e730b84c4f83f17629207d2ce5faea",
   "module": "FormulaDiscovery",
   "ring": 12,
-  "sealed_at": "2026-10-18T08:01:11Z",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:42:19Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
   "spec_hash": "sha256:ccce5d8b07e19a82bda59f98757e21f2d683dbeaa8ae66a06cc3d3f60e1ebb26",
   "spec_path": "specs/physics/formula_discovery.t27",
   "tests": {
@@ -15,5 +25,9 @@
     "passed": 23,
     "total": 23,
     "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }

.trinity/seals/ISAMemoryOps.json

@@ -1,14 +1,28 @@
 {
-  "gen_hash_c": "sha256:501f63f6f282de270220748026572418c1dd2df9e9d0b82f0d1a8cd6131b88ee",
-  "gen_hash_rust": "sha256:8d2a9130000e12a4c64bb6563dae97cae76e66147169a5ae3d0329d19de4285d",
-  "gen_hash_verilog": "sha256:0dccef9c3c538ea2399276395a58aaa116f002a42e4180c75d46756cb9f56e0b",
-  "gen_hash_zig": "sha256:f9d4ab7dc09ab2bc63c21adf1a3e8d95b3c5985bc649dac701ea91436d9a28cc",
+  "built_by": "t27c-bootstrap@0.5.2+093bf4713",
+  "closure": [],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:0e4a704aef8b4802ff56abdda03eb16bb5b36b924dd6a9ca66d7d08154aa61e4",
+  "gen_hash_rust": "sha256:38d16c31cc758faac48a85da330a05d83e9f0f41d99a36d45ece7d55c414b2c2",
+  "gen_hash_verilog": "sha256:03ca1c020ec6a546fc39caa689c7b36011826b3ddf443920a3cec0f9da6c66d0",
+  "gen_hash_zig": "sha256:9293b320b2bcb0abd7bc7e897be8f50c3f49556ff4deccc0f38675610f11a56f",
   "module": "ISAMemoryOps",
   "ring": 12,
-  "sealed_at": "2026-10-11T10:43:16Z",
-  "spec_hash": "sha256:382cc20fb636d7a1ef757587a7394ed6819ff310bb4e91b152b6e189f5dcc5dc",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:30:41Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:2baf22da6d3192e4acbb41027e4bacb70f6d81ec50c55edadbcca026698255e3",
   "spec_path": "specs/isa/ternary_memory.t27",
   "tests": {
-    "blocked": "does not compile: spec.zig:182:45: error: type '[7]u8' does not support struct initialization syntax"
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 25,
+    "total": 25,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }

.trinity/seals/ISARegisters.json

@@ -1,14 +1,28 @@
 {
-  "gen_hash_c": "sha256:01de05cfc1303cd746044a3d5856ea31f6018b8fb991a854f36d8a13d4286ec5",
-  "gen_hash_rust": "sha256:6a2e044dbb25573d831613c9b2ebbb96de8238100ecc10e668f60b87418d6086",
-  "gen_hash_verilog": "sha256:e7c3a8241869e1f33678442e561a0242e1b1b5185730e776eda44b64266954b1",
-  "gen_hash_zig": "sha256:60a669116ea19bce288a24da69406aa13e0de15ecda133120de364e8c2590a84",
+  "built_by": "t27c-bootstrap@0.5.2+093bf4713",
+  "closure": [],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:3799c14187ca285b47c27c9b6c81dfd2104490abe49a28bc7ee6e8292d2dfa8d",
+  "gen_hash_rust": "sha256:900d99316ab2ea0ab46202fe9d80b326de56ff8c94082663d9779897a5153d72",
+  "gen_hash_verilog": "sha256:0a2efb86e62aa023f7838fd18f5f153ddce67de7f4b83a08819796590117d799",
+  "gen_hash_zig": "sha256:ab1cde279287f8b29e190f0ee080b72cd16ad42cad2bcc76d630dbe5eff60499",
   "module": "ISARegisters",
   "ring": 12,
-  "sealed_at": "2026-10-11T10:29:14Z",
-  "spec_hash": "sha256:ecd9513d1a791cad8f297eb7f3a7367650a9d8fd94dfb055812bcbfd350566aa",
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T09:30:39Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:1e3914878af639615497db3eebcde1e00469a5cc22151af22a08263b61d18cef",
   "spec_path": "specs/isa/registers.t27",
   "tests": {
-    "blocked": "does not compile: spec.zig:60:27: error: type '[7]u8' does not support struct initialization syntax"
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 29,
+    "total": 29,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
   }
 }