A statement may stand where a clause head is expected

.claude/skills/ci-gates/SKILL.md

@@ -5867,3 +5867,49 @@ that contradicts *itself* before it uses that ledger to judge a run.
 
 **Redundancy you can check beats redundancy you remove**, as long as the check is
 mechanical and fires before the data is trusted.
+
+## 170. Name the arm, not the guess — a wrong diagnostic name is a wrong finding
+
+I labelled a fallback call site `"clause head not an identifier"`. The comment
+directly above it says the opposite:
+
+    // An identifier that is not a clause means this body has a shape
+    // we do not model.
+
+So the table read `269 events / clause "forall" / not an identifier`, which made
+`forall` look like it lexed as something other than an `Ident` — a false fact I
+would have carried into the next design. Renamed to `"unmodelled clause head"`.
+
+**When you add a diagnostic label, read the code it labels, not the branch
+condition you remember.** A census is only as true as its category names, and a
+mislabelled bucket is worse than no bucket: it invents an explanation.
+
+## 171. The distribution, not the total, is what says where to work
+
+`bdd-block-fallback` was 93% of the discard — one bucket, no direction. Recording
+*which* of eight call sites fired split it in one pass:
+
+    594  quantified invariant (forall)      a language decision, #2774
+    269  unmodelled clause head / forall    the same construct, second spelling
+    110  stopped mid-clause / for, while    ACTIONABLE, and nothing else was
+
+The third row is 11% of the events and it was the whole of this iteration's
+work: −5 315 tokens, −9 specs. The other 83% is one owner decision.
+
+**A dominant category is not a plan. Split it until one row is something you can
+act on alone.**
+
+## 172. Recovering assertions eventually finds one that fails
+
+Every earlier rung recovered content that either compiled or exposed a backend
+defect. This one recovered `assert trits_to_bits(bits_to_trits(i)) == i`, Zig
+evaluated it at comptime, and it **failed** (#2778).
+
+That is the point of the whole line, arriving nine rungs in: the spec asserted
+something untrue, every backend reported the file as fine, and the parser was
+the reason. Zig acceptance fell 217 → 214 on the same commit — three specs whose
+assertions now actually run.
+
+**Do not read that column falling as damage without opening each spec.** One was
+a real false property, two were shape complaints, and five other specs went the
+other way once the backend defects they exposed were fixed (cc 158 → 163).

.trinity/seals/Adagrad.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:875121a5af1f35fe3b18881592fc70aaee5e7c2c98ed173fe99993e57513b412",
+  "gen_hash_c": "sha256:4698690c7ec84a82437209e49e2b4710c42d97c4bdec2ed9b65d9a2d490dcf2c",
   "gen_hash_rust": "sha256:c7da87b4dfa7310317c60b4dfc57a3e919fc8eb0f828a1d660526b8ca196d763",
   "gen_hash_verilog": "sha256:d9caf8fdaf9fdf552a87ca603662559c4487eaa0309cc70736d254b72d7810fb",
   "gen_hash_zig": "sha256:86e6f164c90f8137d38da545e67c47a31b1951262150c483e447e25af22d1cb3",

.trinity/seals/AdamW.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:7dd1ec5137055fa620fd31abc6c36c69acabf5469c8039ef4e3497e2179c4802",
+  "gen_hash_c": "sha256:8105f926a40cdf138351d24a86a584b7dfd1a87f0f853a49db78064846d71f81",
   "gen_hash_rust": "sha256:c4239f1cf760de55fefef39b053f0259e810f5128fe7fff7bfad011ddba84026",
   "gen_hash_verilog": "sha256:b2af0ba85f9e9b0bec6a389757bad5b57132f4cccd07974f28f8964687981e50",
   "gen_hash_zig": "sha256:12e73820c8968c1cbb619203eb10796ad5a2ab4629306fe196c548962fc86607",

.trinity/seals/Advantage.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:cdc9579aad04ad8d2fc9883624119b27bc3deb3405f18d9169a9358898a33b60",
+  "gen_hash_c": "sha256:213fee40f37c04adf9ed158eaefbf6517ac9b056486d0d04eb457ae7ec8a0b3c",
   "gen_hash_rust": "sha256:de227e00a020cac2284286e5929a14fe1417c2524fdcbcae82b565ca7a483fc3",
   "gen_hash_verilog": "sha256:faf5035f1ea6924c67ae3b0aafd49929eba85481ba2ce6e6ba35bdac01a14b10",
   "gen_hash_zig": "sha256:f3110e19e83cff7d6b318c77a3932ea58dd0b645570bbdee418d97578f032d52",

.trinity/seals/AgentRunner.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:008b48ed94bc0a990afb0b60b83ba573d78ed4e7ddd1c10b9694392c76fc4549",
+  "gen_hash_c": "sha256:5c31fffabf3d6e5c9652f5fd82a0323aa17f2d9223681c682aa36f042f01eeda",
   "gen_hash_rust": "sha256:15614f02c267acbe5ba04ceae94799d3b157adf2c382fa0f7f04f9fd10905930",
   "gen_hash_verilog": "sha256:8bb1e33c10550b063ffab24c87d17b0592ce4dcf2c0fdacbfa327acac9b071ef",
   "gen_hash_zig": "sha256:1407ce21caa87688f5ab8ecfd02aca81fc8ed63db53032442f028e8893bda345",

.trinity/seals/ApbBridge.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:5d94479f9cb0a971832610f76a4ea7770d5a99c567640e3057f2bfcd609a72c3",
+  "gen_hash_c": "sha256:80ea6d61efd59e5063df582befb79cec71332d2751a1f7a00ba4ed6e0b01801a",
   "gen_hash_rust": "sha256:493517022c6e8939760def532a3c320246669809cbb9a873757f50e855795fca",
   "gen_hash_verilog": "sha256:18df7bd4c01f4a7dafd4b0da575d47485fe5d349ce45ca6af8066e3f7e109469",
   "gen_hash_zig": "sha256:56969eb317108ddbc977efcee38807648b850c22b0823bee83df0e753552d84f",

.trinity/seals/AspSolver.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:5c4cbb9215b565ca26db562911f57ed4cd562915b2f5c15f35ae91f4a9bbff60",
+  "gen_hash_c": "sha256:c498739580b703b8dfef52ab5a8ce2db7828774981a8798023f0c607c387dcbf",
   "gen_hash_rust": "sha256:7bba76b554afc09711246c097476d1d68a64b37baa480269f558a9301ce1a5ae",
   "gen_hash_verilog": "sha256:4a3aac88230f26e414bd206d0168d8063b891db31ae52d7ed63c02186a0d6944",
   "gen_hash_zig": "sha256:78ef736ad5e3b4d39fc1ff3bcfe0accebcbc0fd090b10fb4941e32e6f6c3cb25",

.trinity/seals/Assembler.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:d0535e38962a8d71a52b1b419a5029c2c17f119a0e3582c07df6c10d4f22cd6a",
+  "gen_hash_c": "sha256:6d4b7462a1131db02f27594354a14542a40ac0123d9b386b2e3d8b6ee7670b09",
   "gen_hash_rust": "sha256:729883825194430c702c80b9c57e53dff5503f8d3218ea112e8df3711056c3e5",
   "gen_hash_verilog": "sha256:39953fd339dea630328d1be822404ada011ad2a5455ee008931f05129300dd5f",
   "gen_hash_zig": "sha256:c6a9e19f2337415d22a698361568bfc10edffb63dad901eac783bc0dd42d9ef7",

.trinity/seals/Attention.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:a81a66e5adcaf87fe62b0a3dc65c1bd11bfe6a4b6356ab2b1369de58fc86bd7b",
+  "gen_hash_c": "sha256:0f13b786688193d84bc77833e051eeeb178850944d1e61e9f3a373b0adfd6559",
   "gen_hash_rust": "sha256:9692f625856cfb7a54d5a5ab5445550bf027d853880e8c88f991994b34b51d15",
   "gen_hash_verilog": "sha256:3614052cf60efdd1c5eedb71a5d445b3c5ea0d93dd877d1866280c2fc7934ecc",
   "gen_hash_zig": "sha256:3f0fdececf4c3cdb02cc622e19dbca06d1ae0e2f804daeaf31fe82d736abc70b",

.trinity/seals/Avgpool2d.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:10bd5bd16af787265861ae6db3f9d86ff6343a4e35123078eda1775340eb44f8",
+  "gen_hash_c": "sha256:e1327382f6a227a04baaa1d7fbf5bb80fbe6d0022036148e494c5ba942f7f62b",
   "gen_hash_rust": "sha256:110d1f0ee596f68cfe25f82c40ce23c52b6577119d07d8fdecd03fcc55fd153b",
   "gen_hash_verilog": "sha256:1be5691e2b0ce6e59cf310ef6d6f663989d19eb1c1a18806800306409d4911bc",
   "gen_hash_zig": "sha256:e5c9249cfa441dc5ece3bd4e6a6cd540105e94e1265c1dd0e4b521e63082a931",

.trinity/seals/Axi4.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:b7962fedf38252540ea39dd3e52dac295ab3d9c2bb1b83f0fbf87f982daa5900",
+  "gen_hash_c": "sha256:54cd4e823e3ec7b738de1eb06380c84123b7244979cc0fac81ef54f3cb47fd93",
   "gen_hash_rust": "sha256:677a72d2d69d4b7376e444013c08284a66c6902b8e7fa05458b949ec953e6682",
   "gen_hash_verilog": "sha256:bebd46bf57dad27d003d87bd2dbf2690740c349328dd0053122ae0297f4e48ca",
   "gen_hash_zig": "sha256:fc3541d63adcb4f4ae0727f12e67ad2573d9b9b378e31cad50491a3a7eb77e9d",

.trinity/seals/BaseOps.json

@@ -1,6 +1,6 @@
 {
   "conformance_hash": "sha256:17080caa082ebe4e3ef135cb73b47ac65882654eb29e702ede681241f035066a",
-  "gen_hash_c": "sha256:14583859c90d8f205de71e691452d70aabfad4f750b2ee91e4da1a1097a9e155",
+  "gen_hash_c": "sha256:b033630b49f592108e480575865ec992718026c116e9721b73047d10e01daa49",
   "gen_hash_rust": "sha256:270e55c108684656da3e9fa8cb5e804810593c5e7dca9bada07828bd95eddb87",
   "gen_hash_verilog": "sha256:706210e28a501aec4cf6c30c1bc631384a7401cb070cb84d8531c4966e11d645",
   "gen_hash_zig": "sha256:1c298a149495eaef9366bad168ed58fa11e2851068f9203f7ec9b7569eccff59",

.trinity/seals/BaseTypes.json

@@ -1,6 +1,6 @@
 {
   "conformance_hash": "sha256:3b60977a2e6ef7a89d9c0e7ae9c8a64cd928a2bdc65d0fd46b57baebd0e9ad39",
-  "gen_hash_c": "sha256:91cc00cef3883ebf64780d75e26516db234375524e9e541b234dd1c2b8acc419",
+  "gen_hash_c": "sha256:704967fa9deba4ba5ae1b34f618789c1775f56f213100e6fdbb213c5b679c83d",
   "gen_hash_rust": "sha256:c763b8da4815bcceb5b7760bea3f96a88cb057f73f1dba2620879d91d2cf67ba",
   "gen_hash_verilog": "sha256:6bbf16bedbfb02e745828f53ea14d3609f31f713221dd8d2d160e840bb793589",
   "gen_hash_zig": "sha256:87503fa5b4a9ae50b1564aa0998f708c59dd8940926ee6e8fbafcb8bc0465e29",

.trinity/seals/BatchRunner.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:0b561cf04b2ce9c50f68de06c93181a712d100a6382b1643ba08971b3bb286e2",
+  "gen_hash_c": "sha256:bcc72173198d0d3cbc5f6c40df343213d8606921e13d5751544861490afb8bd1",
   "gen_hash_rust": "sha256:21ffa37a401fabb760f5424ccf2efcabfc53fa02ab5560b9e666f34743cde019",
   "gen_hash_verilog": "sha256:e62e7dc3d37fd5c5a590ac0662c99701b71c46b7ecb78bc816c76f30727f8735",
   "gen_hash_zig": "sha256:76945f12448f252223f4e40105a20152a10ad1b8277915659c7bb3f13953dd3a",

.trinity/seals/Batchnorm.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:cff68a2bd325ab9be44b6580b5788e86b93f75a889e9c946b4feb497549de371",
+  "gen_hash_c": "sha256:d01fe5df7df1fc8265b0d4c086d534860bd5a2b8658289b171368f46f0f56e0d",
   "gen_hash_rust": "sha256:01bdcb82d19da37e3da1956e0e42338386283bc7d87d7b08e7e8d65822d4bdcd",
   "gen_hash_verilog": "sha256:2f9b96713d8060bf1bbbab1f07417262a35ef754121cb41a09ea6fdfed21bc88",
   "gen_hash_zig": "sha256:7b830bd6b7c0814693941d3f84143b2c88274a7a3c590f6c95bb87bf87185383",

.trinity/seals/Bilstm.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:b5511052cc6b22158de628bdfac768a290dd380e14e3ccd9b73058ab8b3db3c6",
+  "gen_hash_c": "sha256:bd74eec345b721d84d6d36979a487cbed5f02c8bd40b530fd8cc4fb217a95ec6",
   "gen_hash_rust": "sha256:78aec9de34dd0c40fa82d8fb1ddb94211772a4b78306d7b76a87bd8aed24fc8d",
   "gen_hash_verilog": "sha256:ce84bf0099fe527f71d3245d5d875e15fca0737f10d30c3f0a3a89deac059b00",
   "gen_hash_zig": "sha256:fce4211d992296676372c737a050e0134146aac63138c94519a32434be2346c1",

.trinity/seals/BinaryCe.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:c2bb7bd593300a1d45cd36acccc15e8428173c177e25f189e9eaac8378364655",
+  "gen_hash_c": "sha256:4a79594589b4ff636b73f57ee1a264315c268c536e9091e79c489f2ac830709f",
   "gen_hash_rust": "sha256:f7dc4f3b946a198891454522af8b0f0fd4849e4065a65adbcb21da4be10fb212",
   "gen_hash_verilog": "sha256:81dadc7e5e5d8f3953d78bfa6f628c2880c7fb3fc32c821c2d3b74d822dcc476",
   "gen_hash_zig": "sha256:8a86f192cb24bbdf8fbffe4f8b24c770c2789329430f1de448327ffc91d7cde2",

.trinity/seals/BoardArtyA7.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:cb2391f04fafcf45c17509b51e7d542d2b7f5d9fd00a1af1c82b1b114fde079c",
+  "gen_hash_c": "sha256:880100e9b92ca5944a3c1ad235c8d2e4cfec61d3d5ee707aa44b1ba9d05b18d8",
   "gen_hash_rust": "sha256:f07d741bc79da3fa5b93bd465da58f8145f491d62b3bfa01232c755c5c63f681",
   "gen_hash_verilog": "sha256:2a0180761ad6e4925dc83a294fd10eb4b96abfe64872d6276effc36ef3920337",
   "gen_hash_zig": "sha256:1220629620e3cd8108ccba931e114de91de5ffb396723d5545e530bef21b56fd",

.trinity/seals/BoardFullXC7A100T.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:8298bcd40bec81ab345c41c9ee1b34bf539fa10d07578217afa19e33f7d24cb5",
+  "gen_hash_c": "sha256:709d724aaccf93106690d7b9140176317f335b60425adedfe49300450ab008b9",
   "gen_hash_rust": "sha256:6098a683ff88b3f4d3a19565360f694939afd5f073d8f5b80d7a47c857267261",
   "gen_hash_verilog": "sha256:90fad87dbc511a7a643a71729a976da301d998f9dcd8c4bafb0dcc8de9ed9158",
   "gen_hash_zig": "sha256:cb9ee33d5668df1856cabbeb4ab54a2df84be21cca214bff397e6ace9aac6105",

.trinity/seals/BoardMinimalXC7A100T.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:e02c4103eb6e8cc28e17c7ec37d27245652d2a79d6ca70c6052df2115615c849",
+  "gen_hash_c": "sha256:b9e417bdb49fdb4dd4e80c5dd7fbfbfbad06c121eab09b6ce836c577e6a25c4d",
   "gen_hash_rust": "sha256:0ea6b4cd9bc9936575d2e94abb4d1a6d41d3fd8651c6207c392cbaca48da2fea",
   "gen_hash_verilog": "sha256:dc6cafb47ed1502c30a6bbddddf3d673359daf167808509ba41660fda380b493",
   "gen_hash_zig": "sha256:2b099344355b6f030d6836b5e5b11a82b96c85254c1efcd4ca487390cf3f62d1",

.trinity/seals/BootROM.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:850ee7571011a6b1bc69559ffc956fa207361f99bea9cccdd48038eb6605b6bd",
+  "gen_hash_c": "sha256:b48ae9b839e9ee41e1824c192f03575944953830d2ceb307bea3f008d6905b33",
   "gen_hash_rust": "sha256:9e93099c3822f1a58c42e05e126977677fb80a8500351b03565931946a544343",
   "gen_hash_verilog": "sha256:b413ec51ecf50867f39438bc29b170c413933861ca1f40bb3f05328106bd6147",
   "gen_hash_zig": "sha256:ad5a76ae1afb79cb78baa25ca9eb3a8fe6b734ad792a45334664f2c5af49b1d8",

.trinity/seals/BrainSummaries.json

@@ -1,8 +1,8 @@
 {
-  "gen_hash_c": "sha256:2326ec415c63112b93d58eacea6fb0ca82fdfa5a98809f0476544c49b320e082",
+  "gen_hash_c": "sha256:3d0aa71ff73e6389bd92ba77d58df0b9283f2c3d624c3ec5e73d72b3f693d185",
   "gen_hash_rust": "sha256:03dafeb59b8d33cebadb4508f2cac2ed008f8ac6c1192c4f87c08bdda3a3358d",
   "gen_hash_verilog": "sha256:5f0eeac7d2fc87ac99baac9abca6f06613a2fe91bd707a93d45f021c7ee5796b",
-  "gen_hash_zig": "sha256:68cd06a3ae5d125dbebf888044fab05b4421019cf8077e83750d6080c12239f3",
+  "gen_hash_zig": "sha256:fc1a049e161e28d7221d4b71c91b1834c72b9ca102a8a2e6dae9e9ccf1c3bf4b",
   "module": "BrainSummaries",
   "ring": 12,
   "sealed_at": "2026-08-28T21:20:51Z",

.trinity/seals/CTS.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:50c3a9d1006a54d1b75f0982568fc47baf3f04d6a91ee29fa64372929e048dc3",
+  "gen_hash_c": "sha256:1a1813e95b5650a742bb95974320f65a6204f49a0f02b1a415697f99c649096d",
   "gen_hash_rust": "sha256:1cffc193abab7a1244aa3f11ac4659cd49a8069c0fa66c9d0e2a7c9b87910f0d",
   "gen_hash_verilog": "sha256:d0745b4b6c4b7e35c76b4d15882f2865218c2e4bc9e9c92cd2711517a34ade2a",
   "gen_hash_zig": "sha256:eaa0cfa09d5b6ce5065f54aab5c13d75fcf67618979d10c945d9873c0810bd2a",

.trinity/seals/ClockDomain.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:b082d3c883932a5ce2962d1fd02ef3daa6e5de98942e5ed196c4db718f2ffda3",
+  "gen_hash_c": "sha256:8e6b63ebed4fb26b0b15bec8a7650ae1216ff35c2a0778b976bea258696fe46f",
   "gen_hash_rust": "sha256:e8111e4e15420927bb260c737d325b91768184605ff735253184de172780a5d3",
   "gen_hash_verilog": "sha256:4ba74bdcce2c92b000ac31fd749fdc1a27d37e808b4673526138cf744cf6d9f1",
   "gen_hash_zig": "sha256:40981ea185aeafedd8ab130bdda11dc4c30d788e0c504f9a45fc5285b0047789",

.trinity/seals/CompetitiveTests.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:0934d8d96890f5dd21137890cf3d5d8af250d25a5393259d70d41027ba0f30ee",
+  "gen_hash_c": "sha256:e5e8d02b83e07078e153961ff29496facaf91768c79558b8fb2894ab01460fae",
   "gen_hash_rust": "sha256:bc86d25f683426ad8ffa167db631e4d7c6a1f8014b2d0c6924d95bc2e6386d2c",
   "gen_hash_verilog": "sha256:b1647c6fda8d8faddb1fde530d97ea2ed2a3e44de5bd270fae451d6d89dab729",
   "gen_hash_zig": "sha256:3b8f8b783f4b9bcfb0b220dc1f8c46a273edebb5bdc8f1ee989507e905a1ad42",

.trinity/seals/Conv2d.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:d1ddae993b078170564936386a252d2d064855de4bd66520a6b51bf29227e88e",
+  "gen_hash_c": "sha256:696914afd2c6752c656e1140ceacaf5b608da419812f2d3069c0913317324701",
   "gen_hash_rust": "sha256:027a0b7b006d782cb47d0d16d329315acc2d60b48b65482f0f6a8d52a1ccb289",
   "gen_hash_verilog": "sha256:8ff6627db3e7ff9ea65615c1e18fe2f95556644c7478fd28a2eb1a5f049014e5",
   "gen_hash_zig": "sha256:bed4544b7ccced58fc8a9dea8fcc0f578bb32bc684b9faf78cf68fc8af4511fe",

.trinity/seals/CrossEntropy.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:7873b7b5c4d0ea32734bd13152de04eff054cb38067ba5ab6310c39ab9ec6f71",
+  "gen_hash_c": "sha256:371c944edc2d524b37a32605cb0a36ade5d1cef97e75e5b1a4c22c1b01c3d81a",
   "gen_hash_rust": "sha256:1b26467d7ec07fd158d2169a78b54d5010b07a051a2a81fdbcfea679ba237680",
   "gen_hash_verilog": "sha256:e480a50d8b8e382864cb8d4616665f7b7fabedfc8f26fe3387c500053c8bf3ed",
   "gen_hash_zig": "sha256:9975b99f222ac4c484306d2d63f5c40fbda08aca46d8b9b047840404e0cbb101",

.trinity/seals/CrossOpt.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:76a0e6fe0bc48a0cac36f18103b7c90dcfc0ea7fae275f6a3d43f5bcda9dae18",
+  "gen_hash_c": "sha256:b6ba41f71bad7bd91b135c46fec3f4a3c8c8dcdc0ac93124948e5735bb716c0e",
   "gen_hash_rust": "sha256:3b165dacf340a014d9f895cc2d33afd65b20c7855868ccdf2fe38676f59f9240",
   "gen_hash_verilog": "sha256:b1eaa52eef7b0345664eb1a55d99d18268e6bffa2d3eba15cd2064727f546119",
   "gen_hash_zig": "sha256:1bbb4068ba7754ce3ec31bad58b3f90d419ca697dbd57a88d9bb62dfe8410077",

.trinity/seals/DFT.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:b621e5830e98a37daab8f6db60dc41b6b6711628cf8fcea3b00aa0515fc731df",
+  "gen_hash_c": "sha256:e973509e5f6ae959ba8ba914c697dba376edd06154f8fb9d70aa673984b62e30",
   "gen_hash_rust": "sha256:fe728dbfaaa76d50071137d5d096c25f58df4f1c3c94501b5e17d878266a32a8",
   "gen_hash_verilog": "sha256:bcc9deac93a4d131eed9630382f190a2413a8075b25dbba01cb24ee737a50649",
   "gen_hash_zig": "sha256:8578eff368288fba1e295ff7fd415f3bc2c39a0bbbb8d187adbbcbf58460442f",

.trinity/seals/Dense.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:039447274f0699d0ec1a9f0d9181b4ce80fa3b5b74bfaf0673d8a21e29cae4a3",
+  "gen_hash_c": "sha256:8dbf13176605a26227188714924a09966c0ea377211a56223028f078941660dd",
   "gen_hash_rust": "sha256:5c41fd156291fc5c31020fbed389c3732e08c13823df40413e47150ea2e2048c",
   "gen_hash_verilog": "sha256:558dcfe464018a5c3ae3d224f3c424d80899918c0f33c3a768b8e46c74e6160f",
   "gen_hash_zig": "sha256:8676940092787661c54d2a6944a1d7feb526254bd52c65bd83be58407a471c44",

.trinity/seals/Dqn.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:205aba9f88237f663b5bed62ad8ff9e0b2332a1389c8214779e667f8a1686e42",
+  "gen_hash_c": "sha256:d549ef4f1f158db99c8a452dd7be666f9ae7e000a19d2aed56f9f911debf247c",
   "gen_hash_rust": "sha256:eec5545ce40611e53f2dbc301c8b2ad7ccdcd30d216ff62b9f55c77731ccf9a1",
   "gen_hash_verilog": "sha256:456d780f39aacb217fa405a4ccf0929c8a6d4a8ed627d6e614923edf7920dadd",
   "gen_hash_zig": "sha256:facced50759aa5b2a78ec8490d4a5d56603bf875ccc37c0d315e2bae5abec537",

.trinity/seals/DqnTarget.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:c860704a5e5360f50fb7d9ca389373d612eb08bd9b068fc6c708ffeb3857bc48",
+  "gen_hash_c": "sha256:14e1d5d3c9a03ece5fd7a7d3d42143e01a16cbef260a025a13d308e28b8275ec",
   "gen_hash_rust": "sha256:99f2cdb9a0b0eb3f15cdcfcf291d44e2938d8a1964b94b95710b547c218c5ce5",
   "gen_hash_verilog": "sha256:13f42ae3940e3b699d0566e8583d434bbe67173797f7002b7f627c5d7db7cdad",
   "gen_hash_zig": "sha256:81036639259f976ef96c72ef1d5c79c1c610ca80daddb8993e356c7c68c09583",

.trinity/seals/E2eDemo.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:53b42179dff3b122e5ee0482b11e2d5fde8b9c7cb0c3fd14d1388ccb50141c7c",
+  "gen_hash_c": "sha256:f5cc1a57a5163c40b3c65bb9d81efcdc3972a3dcdb8f5a1682835ff96b3fd2f9",
   "gen_hash_rust": "sha256:f5e5e45554529f423f904234554cc1451a81a79c06543a0f7eadf5e8d9d19427",
   "gen_hash_verilog": "sha256:8f2decacdc519189d29b74e2227ee1d8eb5c5f4d1c48bb49cdd7cbd64b7e12b1",
   "gen_hash_zig": "sha256:94d6141116696c9ed7ee1ef9378c8ed1fe94ed799e1ca886767244abce0f681c",

.trinity/seals/Elu.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:24f471cae5d85f6dcbc8d620c0351eb9512a4d448e2ebe375d0f060bf394f851",
+  "gen_hash_c": "sha256:60230ec6d5a907bc5b3b5758f7e420d1f77556c350eae9713735f047f6a40b6b",
   "gen_hash_rust": "sha256:b1dd88005591c45f38c9416ababb6ec512914e024f19ac9ed29f6433afa94d4c",
   "gen_hash_verilog": "sha256:6b6a16d75f6e0255d7ae0462510f4befd3538fd5400746b0f0f95df598caaaa1",
   "gen_hash_zig": "sha256:22fd3b19229590c954fdcc29b6d9ea721a660f23198fda9f1c0a1f75fbe8ba26",

.trinity/seals/Embedding.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:44bf368636574ce14088d0ad1ef7366d88d68f254fb4becca3d2df02bf84f32a",
+  "gen_hash_c": "sha256:0b69ff7992ccede553694336ad20558437972613b0facb113e4268a69ce08e48",
   "gen_hash_rust": "sha256:aa87bc55deef574510a4a8a9c3de814932a34c6132f8f38432144e6a664e1e1b",
   "gen_hash_verilog": "sha256:9fc14a810b0fed3b7eea242ec1da25e8c6d6ddbf746fb48fba9ca27a118dfb73",
   "gen_hash_zig": "sha256:72ea4c249d01c521169066ec2a3254dfa2b557066845bf188c60d5d96ee45a85",

.trinity/seals/EmitterXDC.json

@@ -1,5 +1,5 @@
 {
-  "gen_hash_c": "sha256:7ad1f150b03371720efa1c272f7573354579d0dce2a753b5c2e340794928c325",
+  "gen_hash_c": "sha256:038f5e24b6ee91e6b41023f5c1fa171c07d9ff4e1e8ab71e5ed6b0e0b26da53b",
   "gen_hash_rust": "sha256:6b2272a70de5f6ff5633ddb7fb2ba8000f021bb2e4f4209b487770b620fca3a0",
   "gen_hash_verilog": "sha256:cde8b3da09478086d0bbe7f87fd950c2366b36c21e7bfb8d0bfc9718e995d1fb",
   "gen_hash_zig": "sha256:3f16baa3c8bd8fb3b2af6ceb5f59238e3646c841eec55979d286760c47211656",