Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
41 changes: 41 additions & 0 deletions .claude/skills/ci-gates/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -10546,3 +10546,44 @@ the body contains backticks, `$`, or `!`, which for prose about code is always.
Recovery is `git checkout <file>` and a rewrite, and it cost nothing because the file was
not yet committed. Had it been, the sections would have shipped with the holes and read as
sloppy prose rather than as a shell bug.
## 419. A commit on a detached HEAD succeeds, and says nothing

An hour of work committed cleanly, and then:

pull request create failed: GraphQL: No commits between master and w801

`w801` did not exist. HEAD had been detached at some point during the pass, the
commit landed on no branch at all, and **nothing in the commit path said so**.
Verified in a throwaway repository rather than assumed:

$ git checkout --detach && git add f && git commit -m "on detached head"
(succeeds, no warning)
$ git branch --show-current
(empty)
$ git status | head -1
HEAD detached from 775ca09

So `git commit` is silent, `git push -u origin <name>` pushes the *current* HEAD
under that name and is also silent, and the first thing that objects is a tool
three steps downstream, with a message about the wrong subject.

The check is one command and belongs beside the freeze check already run before
every commit here:

test -n "$(git branch --show-current)" || echo "DETACHED -- commit will land on no branch"

Recovery costs nothing once you know: `git branch -f <name> <sha> && git checkout <name>`.
The commit is not lost; it is unreferenced, which looks identical from every
command that asks about branches and nothing like it from `git log`.

**What this is NOT evidence of.** Three background agents were running in the same
repository at the time, and the obvious story is that one of them moved my HEAD.
They did not: `git worktree list` shows each of them in its **own** worktree,
detached there. The cause is unestablished, and writing "the agents did it" would
have been a cause invented to fit a symptom — the failure mode this skill records
more often than any other. What is established is the symptom, the silence, and
the one-command check.

The general rule, which is why this is worth a section: **the state you are
committing to is not printed by the commit.** Branch, freeze hash, and clean tree
are three preconditions that all fail silently and all cost one command each.
2 changes: 1 addition & 1 deletion .trinity/seals/ApbBridge.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:c3aa125cd5baaab03a6e7462d6e5aee7b4beec6df29bf312b8bd1a19ca4135d4",
"gen_hash_rust": "sha256:739c16e0b8b1ec71f022c3bf562a5f8e6f647ee6301e2e67af9b0f2d69c7ae4e",
"gen_hash_verilog": "sha256:18df7bd4c01f4a7dafd4b0da575d47485fe5d349ce45ca6af8066e3f7e109469",
"gen_hash_zig": "sha256:092056b0ac21734b4e3eed761921532335513ed02e22457cc6824fee21908428",
"gen_hash_zig": "sha256:05f711f99c0a8950aec2118ca3bb391c6c2dfbf22bfa1c95f7a4bca207144b36",
"module": "ApbBridge",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/Assembler.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:3808f5c31ac431ced246c33465ca89ecc7d09585a59af3918c5441eece906882",
"gen_hash_rust": "sha256:063d5740c9e362a568de431d91dd849d02f22bcd9247194b75cf9ce6d735792c",
"gen_hash_verilog": "sha256:39953fd339dea630328d1be822404ada011ad2a5455ee008931f05129300dd5f",
"gen_hash_zig": "sha256:f466f0cfdbb95cbd52400cc69e14af1cbbb24301697edc3ee1a60f9fe8f8b4dd",
"gen_hash_zig": "sha256:b8d42ad43f1d14356f51fb42cd0df8fe881496be027e9ab2e75b120ba464e8f1",
"module": "Assembler",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/Axi4.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:5d22ff20d6464e51a46e0305d62ac1d9511de201ec60232c3f67c2db35d46a85",
"gen_hash_rust": "sha256:0601b05c2db087e12657005421da9f464d19fca544d0733be3ab983a9229b86d",
"gen_hash_verilog": "sha256:bebd46bf57dad27d003d87bd2dbf2690740c349328dd0053122ae0297f4e48ca",
"gen_hash_zig": "sha256:c6bead94e58ab53682d0380bc568e0ed80cb41935fe98eaff591adf92b3800a2",
"gen_hash_zig": "sha256:caa4388a44035a148538f531a37b5d5978965ea7c3670552edf167348c2b86b5",
"module": "Axi4",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/BoardMinimalXC7A100T.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:50681c86af3a4b64004bf598e50b8a5acb218b33b6f50c8519951bd3bbb5bf2d",
"gen_hash_rust": "sha256:1f77b6d8f8d050ba16a1645f38fd456488290182aa3a3108ea69512050e8a059",
"gen_hash_verilog": "sha256:dc6cafb47ed1502c30a6bbddddf3d673359daf167808509ba41660fda380b493",
"gen_hash_zig": "sha256:ef54a05c1ea3ea5b770cc230e5dfb92c9826c0ec748cba6fa0c048f1ede460e6",
"gen_hash_zig": "sha256:6a2b198d22d1a7b74a09696f2da11064e412c0b50ead989f3cbb0bf19209baa7",
"module": "BoardMinimalXC7A100T",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/BootROM.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:175a0427f8d843f52b63514e7d1577314e60822bb820678923fa93fc4a5be3e0",
"gen_hash_rust": "sha256:e922e7ed2a5dd15cb12a134be639dc30ea78ddcf5504ed72a3a72ac6562a8b47",
"gen_hash_verilog": "sha256:b413ec51ecf50867f39438bc29b170c413933861ca1f40bb3f05328106bd6147",
"gen_hash_zig": "sha256:c63993c7d3f43819bb53fb9c767613270c27306203cac92efb075ad5469a1864",
"gen_hash_zig": "sha256:5ec7e301e9620a99d5c697b7e3fabba53c5a9c0f4256ee5bbe768dab84fac008",
"module": "BootROM",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/CTS.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:831e2823403ede0367885e7e15cb30b5a7bae7d3e30b82512e49639f1f1d8e7e",
"gen_hash_rust": "sha256:b06b5fe57ad72a27773758aa4b07b7dc72be249ca647659288be350f9378269e",
"gen_hash_verilog": "sha256:d0745b4b6c4b7e35c76b4d15882f2865218c2e4bc9e9c92cd2711517a34ade2a",
"gen_hash_zig": "sha256:ead07506e925aa77e799df028ebd74d4d698a00913e3b9690997485caa5334f9",
"gen_hash_zig": "sha256:ef450a3dd0d8026e0481cb0e670fa1ed2c4a3f92624b3eef6b6f262fc3ca4104",
"module": "CTS",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/ClockDomain.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:78c4b244f7e08e98b96dfafb82013ec8c3d4c4150fb160b21920069decac8fae",
"gen_hash_rust": "sha256:1061c79e4cdb820ee1d3994fb5610077e3449fd4fecc086bb33ecd9157bb1040",
"gen_hash_verilog": "sha256:4ba74bdcce2c92b000ac31fd749fdc1a27d37e808b4673526138cf744cf6d9f1",
"gen_hash_zig": "sha256:1640cc61affcf35a6c80178c4378d9bb793a854d1413a7109260cbd876d91c8d",
"gen_hash_zig": "sha256:3292fb85cd4009d3c9a1bf9fa21067c1dbf54328ef3d1b18a505d953053cb4b3",
"module": "ClockDomain",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/Constants.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:633420f323d5274d06a60ece609229abfa0e5f588ac6577a11014f7dc65036c0",
"gen_hash_rust": "sha256:577ad7695f96d5575920079161ba57d10d5abc9e5c41ba558c72e56b0b4cb6f4",
"gen_hash_verilog": "sha256:44f1589ebe0f5e4b6f5ee6a7703a07396631386783041fe6d79786d0766270b0",
"gen_hash_zig": "sha256:2ca8b80d0b7a0b4aed7cc0f8123adb5ddf65793be05e8a4bebff0a128a4d1f61",
"gen_hash_zig": "sha256:1377372ea92dce761096e659f6d464a52cce36b40ea6519cc2aa11f5c953cdcf",
"module": "Constants",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/CrossOpt.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:9a6bde295026c301e21838ab6cb9e473d5c3b0d9571dec7fa90dbc2a92ff4b86",
"gen_hash_rust": "sha256:238c2aecf8c4b7e2c67b2b17f08eba8d8b2662a3e5739f64ac69da6108f01120",
"gen_hash_verilog": "sha256:b1eaa52eef7b0345664eb1a55d99d18268e6bffa2d3eba15cd2064727f546119",
"gen_hash_zig": "sha256:ba5ce8278b619f21f006b79db9ceb2577f88e1a8e62308a1eb3823b1afe024da",
"gen_hash_zig": "sha256:b553de5af681c83cd696d52961806b74461bf8c1086f618bacb3a1b1e69f7423",
"module": "CrossOpt",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/DFT.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:ad43338a02660a5c2908116f4f23e1eae5c1772b4af9ca4808e1c9c3829baf1c",
"gen_hash_rust": "sha256:3e03c68827db904cdebdbc0478a8f993b9c5089e3d3c31f880f6167f2f90f5fd",
"gen_hash_verilog": "sha256:bcc9deac93a4d131eed9630382f190a2413a8075b25dbba01cb24ee737a50649",
"gen_hash_zig": "sha256:f50857339437aff95fbc37f96f5ecbce0f2ce6f45c0e566c7459fca9a7ed0bfc",
"gen_hash_zig": "sha256:9f128bf7ee965f2ff44b664e5766da6fa5fdfc28c9b1ab4d07d70e0f8b6075f6",
"module": "DFT",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/E2eDemo.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:71a73d640c35d41dbb1ebf0748ba06e3c0668aaaf4d56e976457aefd19ccecce",
"gen_hash_rust": "sha256:f2a4bc91999adf2f6d452406ae6450b42f57fa8a43e532239d950e6877b15fb5",
"gen_hash_verilog": "sha256:8f2decacdc519189d29b74e2227ee1d8eb5c5f4d1c48bb49cdd7cbd64b7e12b1",
"gen_hash_zig": "sha256:41a6982489555ec782fbcf3611616f19e62f20354f1525a1810687c3572fe843",
"gen_hash_zig": "sha256:2e128fe452de724f3738013530b375c9677767a3f5fbb12d29dc55d9af0236ad",
"module": "E2eDemo",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/E8LieAlgebra.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:cb8497575a302748bfd2ef8b2a3606ce2f414666fc67854e59aff7d0c94d7e41",
"gen_hash_rust": "sha256:7ab3cccf0212cf110c8bee23590dcaaa0e83d01e757167a57530bb3c54fde2c2",
"gen_hash_verilog": "sha256:a0ed139d96de40a19839c6501859707977bdf8d19746bcda58cc9f3cc8fa94ea",
"gen_hash_zig": "sha256:c23e89570958763e2d84841ca1a72d616d97e603fdf51f3103b2c3baa5ef635c",
"gen_hash_zig": "sha256:7c8754b500775e01f279ac2e78b320677f4d51564036ac6d60ebefc05fe4f419",
"module": "E8LieAlgebra",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/EmitterXDC.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:abc296b807658edc06618aa910b2497d202c4e57f803c7671c8dfd4343264ec9",
"gen_hash_rust": "sha256:00fa07786c60d62c2413b0583241bf857d5061a6d90b385ff8567530e9eca9f2",
"gen_hash_verilog": "sha256:cde8b3da09478086d0bbe7f87fd950c2366b36c21e7bfb8d0bfc9718e995d1fb",
"gen_hash_zig": "sha256:c0d03e3731a41d687ae8afa381636a029fddf39c1e723fca6d652a5425d5e2ce",
"gen_hash_zig": "sha256:96626a210203243192606f51dcd9e0985597ff57ff21ba86055e99d94cc7f66e",
"module": "EmitterXDC",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/FPGA_Bridge.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:e26d5e7d7b252343f37f1beae4d344af390bf3cdd8fc2c3778d6359990aac6db",
"gen_hash_rust": "sha256:baaa608eb58c94fbb2f20acb07f150be16f52689b2523ba17c567ce48b8b1d09",
"gen_hash_verilog": "sha256:7baa41f693b25fd218b7fb41ca5acee278ec413bb0449dbef759e6d6880a852f",
"gen_hash_zig": "sha256:c4c6182d5dbcc24480b460c16031f783541bb5f983f32c7803f94e532e026bb4",
"gen_hash_zig": "sha256:52c3832bd59a6d948b03bd92108aa5adc3ca6cafa412afff71acf7f5d271f569",
"module": "FPGA_Bridge",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/Fifo.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:bd1aee4d9b474afa87ae90a7eb0feb4b70a50f8dfd8c5ba7ccff78a57fb3d7d1",
"gen_hash_rust": "sha256:90bd103e3a77bfd50960f8dfdc7c074c808ed7cab9c910b373ea4185a1e4a417",
"gen_hash_verilog": "sha256:1d36767bb1657b3f8baa3deb6988f91d2f85fa3008eab7318de5bbc03835ed8f",
"gen_hash_zig": "sha256:3f3c24ea647fa11e9ac9339a2f908933454584686b205518fe424be85eba31a3",
"gen_hash_zig": "sha256:fc9b96c1ffddbf0bf1644e2b876c45be8d1bb51003762314bf614dca09279e8b",
"module": "Fifo",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/Formal.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:16737010deadf663a5efcd2d0a828f42fdd18b5548bcb53e637605978514e745",
"gen_hash_rust": "sha256:ee526588dbce3355095f3482568ef1521c5d464eeaf39e5c51527cfc30768e8f",
"gen_hash_verilog": "sha256:e303f42893949327207500ac3d2a89c83fc42d3c02b5687c5a916029c4f2f843",
"gen_hash_zig": "sha256:5b2c432897b2213ed10c77408c6d6b213596808173c13cddb20b1d06b50d6929",
"gen_hash_zig": "sha256:9e48ddd7d00ab603c18e2215edcaa1f18ff716032201a2e5d29e1ccf33b88dde",
"module": "Formal",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/GF12.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:b2edabbb36a81f5aa07d58c32b9bfb1345044573f6f4e63c2285ba82ce0a7dac",
"gen_hash_rust": "sha256:db38545d8a757a92726a1d5fe3711bad5c5348f1b5be6f43cb0ff45dee11e506",
"gen_hash_verilog": "sha256:bb62e2fd4805807cf5d5960d863003740f58405dd4464ba4cde16506630a35ad",
"gen_hash_zig": "sha256:82b468190cc3a0d870d978fec5f2afd92eb743327f6a6764dc479b0ddfd7eefd",
"gen_hash_zig": "sha256:f5bfe3a07bbfce77b1b1448b90fb9df5787b19cab2327091d2a17ec3df236cae",
"module": "GF12",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/GF20.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:5472e7b8bd26496d76c299474cb8e210ccfa0b7145c28bdbcc4baa6ada0dc833",
"gen_hash_rust": "sha256:4372ba03ad36e2b35511b5c095e837421a468ce217284b7df6eedbb0dade3420",
"gen_hash_verilog": "sha256:1c6e13c838957065ce5ab2b41b721831fded9a8dcaf5b263f03c2651c603b6ba",
"gen_hash_zig": "sha256:009b2c5d1a7111ccd8cb659c698de70d9de0d220ee7588541bfa51c93936c9f7",
"gen_hash_zig": "sha256:f91702e478f778da300a8acfd22d5c5b3996a40e28e727e23024c221980d4e35",
"module": "GF20",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/GF24.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:70edd479748541591bea53f4645c42348a8b1e20200a12572e4fa1b62ae92c50",
"gen_hash_rust": "sha256:684ac16140fb384b01936403df0ca43e51fc67373d6be36b859a94a2e1d3c03a",
"gen_hash_verilog": "sha256:2726a7efea4a99f5974996842a37e29f5893a22958c47c55a81ac18f244bf445",
"gen_hash_zig": "sha256:cb4dad1b0d7ae75a33ad42aaf65ac0c801044f300d0cf6875d164445c857c85f",
"gen_hash_zig": "sha256:603b80abe85f3b6ea8f59499be1fd1b45e67ad5c417f9985aaeb43c43e330085",
"module": "GF24",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/GF32.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:d70ea5aabd3c6c36ae2163986b7bf882366d8b364b5200e1b6ec3690f3e65470",
"gen_hash_rust": "sha256:61c09a72d8be475aeff76ce2526c6e58178ddd3ef6182ab50588460ae3eec1a3",
"gen_hash_verilog": "sha256:b428c871f554ca6a00a6c2eea5741d48cc85a947ca9bc8ba86814fbd3a098397",
"gen_hash_zig": "sha256:8112a44602b4a3e62c39f43ff92854019a98dc94e40a630759c2b59bd5091360",
"gen_hash_zig": "sha256:c54d2d1ec4e5ebfbbe307244915b053ef8feb0e68bb723ac092b2a2fef7fdea0",
"module": "GF32",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/GF4.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:5eba1fac29e85ad0d53fc2e24307667708c52193896b35d0d58d1e69fe243ecb",
"gen_hash_rust": "sha256:09de170829531248b25f9ed8d2c64ad77d185b47e1f24082d6cd8748dd2a9304",
"gen_hash_verilog": "sha256:fadd0f6db53246c87800c208d4e31498a4ced134e9a36ffc86ed00ccfc9518e0",
"gen_hash_zig": "sha256:367c8f569ebfb84bd4276ef8452bfd77b43cfa56263467458b0f5ff551ba57a1",
"gen_hash_zig": "sha256:5735a579cc4b87f7d75de0d1c1f6722a58b18f659dc59bc0404041335a1e2a50",
"module": "GF4",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/GF8.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:23f612a0f0137901bc0bbf8992d3e6c12ee2001b6a1943d0a98f1d892e41ffd4",
"gen_hash_rust": "sha256:a1cec20672f8bf70b2d532d2546936c19c0d29388c1d1757609af66a1bbc6ddc",
"gen_hash_verilog": "sha256:6003fb3cb4ad288a2b76ef8ac75d2c39230397ee2ac166945a81a424610c0e1c",
"gen_hash_zig": "sha256:79b6359beb332c42a62fdcdfcc614d6973fb206c1bbec68552004838a5283460",
"gen_hash_zig": "sha256:f2c89dc29ca982ec4ef5ac1153b07c39269c7ecd5dba2d1db14e1b4c43cd294f",
"module": "GF8",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/GI1Analysis.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:52ba9c1a009a933efd38b0de5049cdd3436b46e193d82682f80a425340d1a877",
"gen_hash_rust": "sha256:f8391f00c8cb9a56240bff09dad9e9461a87274656dfcf6d6da94f819922a477",
"gen_hash_verilog": "sha256:5b5c4c7f9baf0f5f22a018c251541ae42981478cbc8fa8d49d7241ae5b9f9c65",
"gen_hash_zig": "sha256:1d88fe4580deccb7652bbc74262c16ef5d759d333f05b8302d64f38622c04f43",
"gen_hash_zig": "sha256:af852c41d2a820781373cb182cb6742cbc34d87c713e9c260d0bcc4c109aed4e",
"module": "GI1Analysis",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/GammaConjecture.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:9f8ed0c85dc4c119d1fdaf4713f640d9fc1f3ab546af86ef4f7fb02c2ad20056",
"gen_hash_rust": "sha256:5202e8470c8873c77750fb8fa7b6b106e91a96fe79cf8d56bbd391a126813252",
"gen_hash_verilog": "sha256:bb9f5a7575bb039523ec05b929e3845f84fabf2ec5563eaa0bd2070819019649",
"gen_hash_zig": "sha256:e1ff87648935e4e3c3b3e4ec7348826708e5b577c310af8e0c2c2123f18c67e0",
"gen_hash_zig": "sha256:caea78bf059d6ca7c6a626749c218107b598bc7b13e4a0a09ffe2d28f287db3c",
"module": "GammaConjecture",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/Gf16Accel.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:c7866e668ef59c43af9387521e00aa4918500ba6e4873c4651fea16e61fa1c96",
"gen_hash_rust": "sha256:8b71941a080938d4ffdd633f4e773f362636e0c250ea219c40c687d500c483d0",
"gen_hash_verilog": "sha256:f2da836aa0422e57a939c41c8444976b973306da127a7b4255b8dae996f0407a",
"gen_hash_zig": "sha256:3e7dcebd6c79736921a1e46bcb8c1073be29fb1b0323943f0b958bfdc0c6921d",
"gen_hash_zig": "sha256:bb81d766416824bedf1fca93eb11b46eb111161d8136b56f324b98e3d6f6aef9",
"module": "Gf16Accel",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/HSLM.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:a4e4b401a924301d6a7f4a3d8aee167a9df58c6ececb01ae61b5c6a92e6c4cab",
"gen_hash_rust": "sha256:9ea1e86ae111a2d4ca5ffa31fe2f6efed08201198d124b3131d0ad8e306315a2",
"gen_hash_verilog": "sha256:ff00e0682cb2ef4ddd116b6738071024f06fe9651de0cfab8758f48bbdecb33d",
"gen_hash_zig": "sha256:7e84bc21de43ae863eb756279949a3d8f0210794a13478c032302856ab17340d",
"gen_hash_zig": "sha256:51d88b507c315ec746ec177be352377540d8989ae03666f57d9db787201c57b9",
"module": "HSLM",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/Hir.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:206df44d0ec2596f758e7a69787d91098b2876260764fcb15c04761027ee0a38",
"gen_hash_rust": "sha256:53df2013e5b78e5728c2467aca4d01e221bb081fe1556c4d36b7d8f758749ad8",
"gen_hash_verilog": "sha256:24d94100b2be47449447f9e8be599c433b02c3fbb656d928d60e96670e7cc574",
"gen_hash_zig": "sha256:a8dfc2f0b6c76ebf32f561e50e0c0092a1a9ecd4e210f02ea53893916d67052a",
"gen_hash_zig": "sha256:fe55742c00a812da273af4fc42d601c475ec456341e2979102e271f3063f8082",
"module": "Hir",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/HwTypes.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:7cb95510bf163dae6aa84294038e5c8f9b7c80037863760046f9c5170117b499",
"gen_hash_rust": "sha256:9ff9157a22257a42698db38de85cd956c7af62a7a549791be741ef6d615ce687",
"gen_hash_verilog": "sha256:c6066e8cdba415e2b17e2ebe9795d896193160bc89549e24e5918b619f2c1d92",
"gen_hash_zig": "sha256:a4c5719bb4e2176d679143d7e384bfcea60524acda931fbfbcea3326f2165293",
"gen_hash_zig": "sha256:fff11cb5c00386c00ceb4a2f7a7c563c9adfe957d2eb5884bd8563d961c0a85a",
"module": "HwTypes",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/ISAMemoryOps.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:b70939671bf1b1d1887cdf48849eac3ca259d4873dccc903f138a628bfbc6c43",
"gen_hash_rust": "sha256:f52254257b6241ea6ab99b5ce4fc2b5626b3263c5e188855110f92ca8d8b16e1",
"gen_hash_verilog": "sha256:0dccef9c3c538ea2399276395a58aaa116f002a42e4180c75d46756cb9f56e0b",
"gen_hash_zig": "sha256:1a6765c92903b7dc5eb069a49287f0539d9b31b9cfad9e280a03b83bbf7254cd",
"gen_hash_zig": "sha256:984555983de66f9deaf7218dfdccf7aa0fd2cce634fa36766596027e1bd2f2d4",
"module": "ISAMemoryOps",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/ISARegisters.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:10cd020ff0881b16566bf05a60c7d49716c9646bb1a06909f47df5b68ca57290",
"gen_hash_rust": "sha256:964248d846958ac422bc272c7cb0e0430c62cf792003353de2f226b4bdc3ca9c",
"gen_hash_verilog": "sha256:63f6e909d0119e56a84471f2687767906bc768625a9636ce5f5d645bff7ad695",
"gen_hash_zig": "sha256:6270dc50f8e61427bdfb5fb64acffe3c4bc2039fe852e13648e17f7ba0806a74",
"gen_hash_zig": "sha256:e6dc4a6b3d386f6984aa869f49f5b5da8d1a2de1d70193785442d63b2469da77",
"module": "ISARegisters",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
Expand Down
2 changes: 1 addition & 1 deletion .trinity/seals/JonesPolynomial.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"gen_hash_c": "sha256:1f582327e258f40158a2eb680c2407f1c82be8820933192a9f490c4f025a90ac",
"gen_hash_rust": "sha256:0844351cfb893378747b0d3ad41bca05613953dcc411fe313d45e1cbc5bb4898",
"gen_hash_verilog": "sha256:644d8c5309231400b435250fd966219bd5b5b28c9ae8732a5a48884088072fa0",
"gen_hash_zig": "sha256:745ec6b589d710c6f28800d56205978dce5761e731b638fd3e0a579244eeb25d",
"gen_hash_zig": "sha256:65e27a6927d244586c6f1abc58f5b0c3feda0c60412f493cd6167badcf23162a",
"module": "JonesPolynomial",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
Expand Down
Loading
Loading