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
87 changes: 87 additions & 0 deletions .claude/skills/ci-gates/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -5461,3 +5461,90 @@ what it models, and the first 120 by path happened to be light on them.

Sample the whole population, or sample randomly. `git ls-files | head -120` is
neither.

## 144. A number that goes DOWN when you fix a silent drop was flattered before

Two parser fixes recovered 1,049 tokens of invariant bodies that were being
discarded at the top level. The acceptance columns then fell:

Zig accepts it 217 -> 215
cc accepts it 157 -> 156

That is not a regression to be undone. Those specs were accepted while their
assertions were silently vanishing — the backend compiled less code than the
spec contains, and called it a pass. Recovering the content revealed that the
recovered content does not compile.

**When a fix removes a silent drop and a quality number falls, the number was
measuring the drop.** Say so in the commit and keep going; reverting to restore
the pretty figure is the actual regression.

## 145. Bisect to a file you can hold in your head

`specs/vsa/sdk.t27` discarded 682 tokens across 86 lines. Reading it taught me
nothing. `parse-complete --bisect` named the top-level item worth removing, and
copying THAT item into a nine-line file gave a reproduction I could vary one
token at a time:

invariant has_comment -> 0 discarded without the comment line
// a comment 11 discarded with it
const a = f(1);

The second cause needed the same treatment and a further narrowing: `then
<expr>` was clean, `then for (...) { }` was not, so the trigger is `then` plus a
*statement*, not `then` at all.

Do not debug in the 600-line spec. Bisect, extract, shrink until each variable
can be flipped alone.

### And use the corpus's shape, not your invention

My first minimal case wrote `then assert x == y;` and failed to reproduce,
because `assert` is itself a clause keyword — I had invented a shape the corpus
does not contain and drawn a conclusion from it. Copy the real lines first;
invent only after the real ones reproduce.

## 146. Never delete lines by matching a debug word

Removing my probes with "delete every line containing PROBE" also deleted a
pre-existing `format!` argument line for a variable named `probe_idx`, breaking
the build in a place I was not working. Save the file before instrumenting and
restore it after, or revert and re-apply the intended edit — a text filter over
a 38,000-line file will find your word somewhere you did not put it.

## 147. Two binaries, one name: measure with the one the gate uses

I fixed a parse failure, ran `t27c gen` on the spec, got a clean generation, and
then watched `check_specs_generate.py` report the SAME failure. The tool prefers
`target/release/t27c` and falls back to `target/debug/t27c`. I had rebuilt only
debug. My "measurement" was of a binary no gate ever runs.

for p in ("target/release/t27c", "target/debug/t27c"):

**Before quoting a number, check which binary produced it.** A stale release
build sitting beside a fresh debug build is a broken ruler with the right name.

## 148. The gate's warning text was about me

`check_seal_coverage.py` says, in its own failure output:

> a spec that does not generate is not a source of truth for anything, and
> `t27c seal --save` will still seal it with `gen_hash=none`

My parser commit broke one spec's generation and, in the same commit, wrote
`gen_hash_{zig,c,verilog,rust}: "none"` into its seal. I recorded the breakage
as the reproducible truth, in the commit that caused it, under a warning I had
written the wording of.

Two gates caught it and I did not. **When a gate you built starts describing
your own commit, read it as a finding about you, not as noise to clear.**

## 149. A repair that passes can still fail on the twin

Re-sealing the spec fixed one of the two seals. `coverage` stayed red, because
547 specs in this repo carry TWO seals — one keyed by module name, one by path —
and `seal --save` writes only the path-derived one (#2767). Thirty-one pairs
already disagree with each other.

**When a fix-then-verify cycle still fails, ask whether the record has more than
one row for the thing you just fixed** before assuming the fix is wrong.
6 changes: 3 additions & 3 deletions .trinity/seals/BrainSummaries.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:3e7de736918adf4ca4751d75e590bc10c3648bfed582688d2d0a3611e636e52b",
"gen_hash_c": "sha256:2326ec415c63112b93d58eacea6fb0ca82fdfa5a98809f0476544c49b320e082",
"gen_hash_rust": "sha256:03dafeb59b8d33cebadb4508f2cac2ed008f8ac6c1192c4f87c08bdda3a3358d",
"gen_hash_verilog": "sha256:5f0eeac7d2fc87ac99baac9abca6f06613a2fe91bd707a93d45f021c7ee5796b",
"gen_hash_zig": "sha256:021fde663157b49b62d2b37e9dd5419d68041301a57eb7890f17277e005dc9e0",
"gen_hash_zig": "sha256:68cd06a3ae5d125dbebf888044fab05b4421019cf8077e83750d6080c12239f3",
"module": "BrainSummaries",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:25ecc916082e749bfdc5d1df0e0e0c7a48082630dd2ce02b2525b400045daab5",
"spec_path": "specs/queen/brain_summaries.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/NotebookLM.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:08c68e60cc266393c33aed230e3429c1c2e9f7ed3fcde45f40d630046f35b1f4",
"gen_hash_c": "sha256:50d2b615d172b51e1214dcdbbac2bc6fbd18b1afd5dddc41d23d2a798c3be5d2",
"gen_hash_rust": "sha256:00ac71751ae678d213da795b42b2914a20852050c87acffb307d19dc03f76677",
"gen_hash_verilog": "sha256:7716f39dc3d0baf658917208a7c294da3ed66d8d849778e3a0d170e7083115b4",
"gen_hash_zig": "sha256:b008d99eeb24d35187a07ec7515d0f5fddf0ee578369a25ac602c9231ac650b0",
"gen_hash_zig": "sha256:96bcdb4adc480a1198b497ae6af3c90ac1dc8d85acbbd2497f6091d599bff179",
"module": "NotebookLM",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:dc5b054f79d747598c75190379fe4a36400bb27af13dffe06d438f145c1af96f",
"spec_path": "specs/memory/notebooklm.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/PhiSplitOptimality.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:0c123cff6af82e57f36d07cd32d63ffea72b584c03bd5e5d4fe7227f3b5afff0",
"gen_hash_c": "sha256:0be469cdebab316e66cf0743ebb85b24926c65d52485bb1ffce010c924f506a1",
"gen_hash_rust": "sha256:56e8c9426ba298d64014bd1507e41cb5a74f047331d363ce88ac0089d3378250",
"gen_hash_verilog": "sha256:a7ca70e5b44760e4432a7fe9ab22c3b62dbb22735296358625b889e395bfdfc7",
"gen_hash_zig": "sha256:ad10a6589de81f33cd2cbf2827cfb9712ed74cb782445a1c51a5d1e599f8833c",
"gen_hash_zig": "sha256:bd8c211e4689fb0bc241042a56b26f88cf09933e4312625a185d04fd8f2b17d9",
"module": "PhiSplitOptimality",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:c17f4eba133c5caccd5af0eb50c4ba920920ca361f8cb6cdcb8fcd4ac8a1e535",
"spec_path": "specs/math/phi_split_optimality.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/PropertyTestTemplate.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:91d580ec02ad9dccbdc5297a2110b90bed7ac491fb4db30e7f1fe19bd1c8cddc",
"gen_hash_c": "sha256:ccb5162fe5f9c20e85e995abd8be543621106e4529de86eab7f5ca125e0c1998",
"gen_hash_rust": "sha256:1cfc186e18317fdadb3b4c2cef62d9235748a922503eab6080245b165c103bcf",
"gen_hash_verilog": "sha256:6914284f530564c7d71500a023388a232b857d677f482396736f3309749bc806",
"gen_hash_zig": "sha256:f2f73e164f8567019b735366b51c13d41897d844bdc84641192ecf5d328c90d3",
"gen_hash_zig": "sha256:207e049e8d733160d34339af06410388279e2e3f63b98431676a1d38ae4b908e",
"module": "PropertyTestTemplate",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:2dae7f68a5651636623154005f92a6e43432b46d72b3bdd45c164df2a38b961c",
"spec_path": "specs/math/property_test_template.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/SDK.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:393d406e8e30a64f135a4d0134f928c7b209b7cf285efbdd68e55e7dc53b3e02",
"gen_hash_c": "sha256:ef49be3da768b03782d876d7a494842cdc29cdce90c8cd6ff7283eaf46f957b6",
"gen_hash_rust": "sha256:664f77f91a5a2b809f6445ae0c186969b76e915fd5654189b4c46210e8d548c7",
"gen_hash_verilog": "sha256:6c6e94d5b8622c0589f7401de7c6f36228864f7f30960281ad3edd4d1f664489",
"gen_hash_zig": "sha256:dcf75e4eeac0172b9a74d0ed633ebd2a8e570c23e9a3ae7ccf46c5b85b97547c",
"gen_hash_zig": "sha256:7e4462e98c4870d44fd1ba1d919ffffd47bc0514a825c14ab99fe391c912c108",
"module": "SDK",
"ring": 12,
"sealed_at": "2026-08-28T20:32:32Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:7843aca460336f24ba9026067e1e642e110cb6d2a995064bf9613eaed662c115",
"spec_path": "specs/vsa/sdk.t27"
}
10 changes: 5 additions & 5 deletions .trinity/seals/SimilaritySearch.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:016c9d811ed1aa3cef783e4e587c1d032d1aedb43c6780e55a07d87597a5e291",
"gen_hash_rust": "sha256:1f119e467b0c6076ae14621908dfffe1ec459e6af263743fd08d1874af10c66c",
"gen_hash_verilog": "sha256:2f4eb6fa80e5fc5bf0d3a991c45a1f45646c9e8e3d3df69ce778ed7ad3afc10f",
"gen_hash_zig": "sha256:1cfb4ed17f206746334b5629ebf33af9f9be89c8601dd1acf34716b933c25e32",
"gen_hash_c": "sha256:744a3e2ea79ceecbf37bf9d2218e7a7823f0202e8525d4337538552c25e32eb1",
"gen_hash_rust": "sha256:d9de8efdca15b5d072e00d36496630d4a901a5d4ad6c66f951ae89adb26fc0b5",
"gen_hash_verilog": "sha256:a32d399c8e5a8618c9eedc3bdf6d8d8884d25da50ba190b7cfce25bd35165470",
"gen_hash_zig": "sha256:663bfea4adc9d9611505278fc4fb2fec1896484c6ab3d6da74a8b21b26a5b254",
"module": "SimilaritySearch",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:49d1e8ddabc30e6cc9e852ea156510b928d618264e25737e12cd57a2eb4d3de7",
"spec_path": "specs/vsa/similarity_search.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/TernaryArithmetic.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:acbdbee6d08db40eaccdc45ee71135eed4374e45a7ff9c16b0aeaaf0c6737cdd",
"gen_hash_c": "sha256:fc6795f28cc5245032da13e348ff97b166e6af33da59de4567fb80932e67c598",
"gen_hash_rust": "sha256:af295dd8cba8e7bed60948df0f7015dc00ad40c41358d0f142bb628df19b9b29",
"gen_hash_verilog": "sha256:4a917879d0141a8713e56d2ea5fd5e9c77938733daac8c191442b97819b1a4c8",
"gen_hash_zig": "sha256:cfda8ad1b6ba04ec9bebc8b1f7f2444c5691ce5d98f2dd4328747e94b6623b3f",
"gen_hash_zig": "sha256:f519b5e43f3f21cdd8f1580ce2da7d58bd181935475bee823eff218b14a1733d",
"module": "TernaryArithmetic",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:1044d178fb800ee5aedbcc28ffb09b84ce0b85c8eb8982827c0073c523d23a84",
"spec_path": "specs/isa/ternary_arithmetic.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/TernaryBitwise.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:4e2cf1f9ade8d0fc9ff7270007d20a172928e2548474e7a7679df05e12a60647",
"gen_hash_c": "sha256:5685a8e99e8f25f836637e4a9d7ec66a30d723a1cf738f7178377444d5edf761",
"gen_hash_rust": "sha256:b184ea8250d8061e9eda544c3d81310b722ad0f3dcc34d3ea70520fb7fe94d4b",
"gen_hash_verilog": "sha256:25386df565c0dfdc7c26a04330c3b2274acf23bc7b2747f23371aa6a123e0eff",
"gen_hash_zig": "sha256:fa7764c394a6974186ba3dbd78809ad2a3af82d34f89941b2c0d9908a025f68e",
"gen_hash_zig": "sha256:c23dc9e90556559358cdd224454f2d3257556dd03969b349831de78d33a8a06d",
"module": "TernaryBitwise",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:ba1839b37f4d2f410b20ad046fa80e343d9ff95865c1ed824871f74cb0d5e76f",
"spec_path": "specs/isa/ternary_bitwise.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/TernaryDeque.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:b0826ef2e06778c5f89d34f05b57a040a336ebc42bbe31e83e7187514b54aa83",
"gen_hash_c": "sha256:914153cf31c0941d2f96b1bd3ee7509657abc9266d573fd3427b9aaa3b94eac0",
"gen_hash_rust": "sha256:882aecf80f82eca583f7e5f87683696ebcbc626d5604c5c6e07b49e2e208ee3a",
"gen_hash_verilog": "sha256:0c822e0a359b41b6737bed8d1deb75c2e7b22a095ba1626a08f0a1b8f162a043",
"gen_hash_zig": "sha256:ce675a7c61eb8f02595598196737eec18b4437b9cd6452d1e9577a2f4ea573a7",
"gen_hash_zig": "sha256:4238d495841b13cb7190ee77320f1e5e35d134f2b6c13fae90540c810facd076",
"module": "TernaryDeque",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:56113a8df816d524442da3e153ea33d793de0d06087326161aefc18fb0281dd3",
"spec_path": "specs/isa/ternary_deque.t27"
}
10 changes: 5 additions & 5 deletions .trinity/seals/TernaryEncoding.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:2eccc5a1fb8ad399338e898ee9a4ca51abeac46474d9b739b503191ef4961644",
"gen_hash_rust": "sha256:eb1e2f1d888ed2e7540bc7ac1470ce8063c3cc1ab1862353a2e53149147d5b3c",
"gen_hash_verilog": "sha256:a13507c28ed663da815613cfdec68470042f29972505685f7119fa73989a57ac",
"gen_hash_zig": "sha256:b3ca92aa818e4a31a5020805afe03d3ebf7c15809129876ec8b752057943027d",
"gen_hash_c": "sha256:42f981a8e5b0560a721fe19b7f69952784db1da9a9f9984274f999ba1c01133e",
"gen_hash_rust": "sha256:5374670ba8cd425a3cb0431e53baba43b3f98bfaf8a1c4bcda109a7def3c81ec",
"gen_hash_verilog": "sha256:6507b8f16222c56f6d92de280f7e86a9c3423e76b475ff625aea59b88dab6213",
"gen_hash_zig": "sha256:ca9670fb6a1971dd39557237f575c10c257aa0d481ea46d88f04d07fd7c0d6f2",
"module": "TernaryEncoding",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:9caf79744e4fe67d95900b03c1298e0a046444ab82e98057a133550f4c8ba646",
"spec_path": "specs/base/ternary_encoding.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/TernaryGates.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:a51d993b2558b87f5da95558e4209e5bb35822456ed0022c4933442d55d1ff4e",
"gen_hash_c": "sha256:283d1570256769727ca7383e8cb8009fe32c04e643c6e8c048dc518ba2ef5401",
"gen_hash_rust": "sha256:d7d26e54ab7148afba6e80c14ec30ba851b5309ac4ebb7c43a4ceda8ec05e7ce",
"gen_hash_verilog": "sha256:a0ecc024bbf108bf40c663321efaadc401dc9e22f8d45323eae4913dc08738bc",
"gen_hash_zig": "sha256:6d271c19f87ccd476bb36ac84a3c801b0f67d23c13cf9080451d9c5ce2503c71",
"gen_hash_zig": "sha256:048f7d371d12c7b6acb366625ea8d031ec816497dad42e1fe9da12a847dbdef6",
"module": "TernaryGates",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:b4ea36c976d78efe1add7b0ec95018c0f01877755c257dac8482eeb7576f1909",
"spec_path": "specs/isa/ternary_gates.t27"
}
10 changes: 5 additions & 5 deletions .trinity/seals/TernaryMemory.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:518cdc89a0067edead362ac11514ac6ed3856ac49f0c0dd589c378da98be4dbd",
"gen_hash_rust": "sha256:35cdd488c9cb41522638666f5357235fb590edd314b4b26015127ca2be5f7976",
"gen_hash_verilog": "sha256:a2df5c86a7c793530404b6878f593f71057404567c81cb8da8baa8a797ca3400",
"gen_hash_zig": "sha256:fa8e755fa5662f4f8683e803e7c93a500f3c4000ab187739e0b726c5396cd49a",
"gen_hash_c": "sha256:9112ec9aebf21327a5de78ba3e84d647bf993ae96597318c0ea3dda08cb63287",
"gen_hash_rust": "sha256:b9511675ba44cfc477e42dce068a9683bc28e3e00baefdfeae8462a2972b02f0",
"gen_hash_verilog": "sha256:c91421bd56bd3e73d31953890870c8a7fbf2e7d25e6731bd4f90ed43ff1c5d46",
"gen_hash_zig": "sha256:1187647b3953c4ea89b13d9984e2a3127561dfd4105f4882c2ffabce80b01353",
"module": "TernaryMemory",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:9a7a252b0234051663b7a9a6f9712ceb2b15501140378ef156612ab574aec6ae",
"spec_path": "specs/base/ternary_memory.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/TernaryShift.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:e3014875c36dc9fb8f76e572d7140e4173b951ef4a1e02acba0d5335c9236047",
"gen_hash_c": "sha256:228379ca48ca3dd4e9b12bf19240310ac4d026b27f765078b208da1b0087b482",
"gen_hash_rust": "sha256:c278e86d4ef263e52f104e67e7dbb27f012bf3a7ea7dbc0eae9f5141339e2977",
"gen_hash_verilog": "sha256:466e2318f353e5553aab0076dfe42c6f28bd7493322728490ea26da640d10e01",
"gen_hash_zig": "sha256:e8eacdd87a4e4288ac75c9d23bddb6c9affb1106ac848562e926cad29b87b11e",
"gen_hash_zig": "sha256:0ce7aed0165dfe0e474fe5dccbe7cff566df8060046e5e0a6356ebbb0ec3f071",
"module": "TernaryShift",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:bcf4922c76661955200baaf574ae4fda7a915b33ca6fa815fd24217b0cf845b2",
"spec_path": "specs/isa/ternary_shift.t27"
}
10 changes: 5 additions & 5 deletions .trinity/seals/VSASimilaritySearch.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:016c9d811ed1aa3cef783e4e587c1d032d1aedb43c6780e55a07d87597a5e291",
"gen_hash_rust": "sha256:1f119e467b0c6076ae14621908dfffe1ec459e6af263743fd08d1874af10c66c",
"gen_hash_verilog": "sha256:2f4eb6fa80e5fc5bf0d3a991c45a1f45646c9e8e3d3df69ce778ed7ad3afc10f",
"gen_hash_zig": "sha256:1cfb4ed17f206746334b5629ebf33af9f9be89c8601dd1acf34716b933c25e32",
"gen_hash_c": "sha256:744a3e2ea79ceecbf37bf9d2218e7a7823f0202e8525d4337538552c25e32eb1",
"gen_hash_rust": "sha256:d9de8efdca15b5d072e00d36496630d4a901a5d4ad6c66f951ae89adb26fc0b5",
"gen_hash_verilog": "sha256:a32d399c8e5a8618c9eedc3bdf6d8d8884d25da50ba190b7cfce25bd35165470",
"gen_hash_zig": "sha256:663bfea4adc9d9611505278fc4fb2fec1896484c6ab3d6da74a8b21b26a5b254",
"module": "VSASimilaritySearch",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:49d1e8ddabc30e6cc9e852ea156510b928d618264e25737e12cd57a2eb4d3de7",
"spec_path": "specs/vsa/similarity_search.t27"
}
10 changes: 5 additions & 5 deletions .trinity/seals/base_TernaryEncoding.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:2eccc5a1fb8ad399338e898ee9a4ca51abeac46474d9b739b503191ef4961644",
"gen_hash_rust": "sha256:eb1e2f1d888ed2e7540bc7ac1470ce8063c3cc1ab1862353a2e53149147d5b3c",
"gen_hash_verilog": "sha256:a13507c28ed663da815613cfdec68470042f29972505685f7119fa73989a57ac",
"gen_hash_zig": "sha256:b3ca92aa818e4a31a5020805afe03d3ebf7c15809129876ec8b752057943027d",
"gen_hash_c": "sha256:42f981a8e5b0560a721fe19b7f69952784db1da9a9f9984274f999ba1c01133e",
"gen_hash_rust": "sha256:5374670ba8cd425a3cb0431e53baba43b3f98bfaf8a1c4bcda109a7def3c81ec",
"gen_hash_verilog": "sha256:6507b8f16222c56f6d92de280f7e86a9c3423e76b475ff625aea59b88dab6213",
"gen_hash_zig": "sha256:ca9670fb6a1971dd39557237f575c10c257aa0d481ea46d88f04d07fd7c0d6f2",
"module": "TernaryEncoding",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:9caf79744e4fe67d95900b03c1298e0a046444ab82e98057a133550f4c8ba646",
"spec_path": "specs/base/ternary_encoding.t27"
}
10 changes: 5 additions & 5 deletions .trinity/seals/base_TernaryMemory.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:518cdc89a0067edead362ac11514ac6ed3856ac49f0c0dd589c378da98be4dbd",
"gen_hash_rust": "sha256:35cdd488c9cb41522638666f5357235fb590edd314b4b26015127ca2be5f7976",
"gen_hash_verilog": "sha256:a2df5c86a7c793530404b6878f593f71057404567c81cb8da8baa8a797ca3400",
"gen_hash_zig": "sha256:fa8e755fa5662f4f8683e803e7c93a500f3c4000ab187739e0b726c5396cd49a",
"gen_hash_c": "sha256:9112ec9aebf21327a5de78ba3e84d647bf993ae96597318c0ea3dda08cb63287",
"gen_hash_rust": "sha256:b9511675ba44cfc477e42dce068a9683bc28e3e00baefdfeae8462a2972b02f0",
"gen_hash_verilog": "sha256:c91421bd56bd3e73d31953890870c8a7fbf2e7d25e6731bd4f90ed43ff1c5d46",
"gen_hash_zig": "sha256:1187647b3953c4ea89b13d9984e2a3127561dfd4105f4882c2ffabce80b01353",
"module": "TernaryMemory",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"sealed_at": "2026-08-28T21:20:51Z",
"spec_hash": "sha256:9a7a252b0234051663b7a9a6f9712ceb2b15501140378ef156612ab574aec6ae",
"spec_path": "specs/base/ternary_memory.t27"
}
9 changes: 5 additions & 4 deletions .trinity/seals/codegen_testgen.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,12 @@
{
"gen_hash_c": "sha256:701c8818bc61d1847cd49405c7a8820f0ff4f49ee2b7d1a4cca50341e2bd3760",
"gen_hash_c": "sha256:26063a34dca5e181c3f80d61ab0fc07bd8e427e3ea75a10e5be8412a6d1d1a85",
"gen_hash_rust": "sha256:ca62e29ca353521b58ffd4c23b555a0ce8072a167b607ff668f587d7bcff791c",
"gen_hash_verilog": "sha256:131501c707bde75d8187146c92bd1dd0f4f276b9e36a6dda035928810f19d6dc",
"gen_hash_zig": "sha256:3028dcc055bfa2bab65205a0ee5f239b7065de3eec5f827844e333a76bf0a732",
"gen_hash_zig": "sha256:a29a93a693218a5d1d851d7afba6321b50dc45ca5d1fd6cfab2f19f42751a1eb",
"module": "testgen",
"ring": 12,
"sealed_at": "2026-08-28T20:32:32Z",
"sealed_at": "2026-08-28T22:30:32Z",
"sealed_by": "t27c-bootstrap@0.2.0",
"spec_hash": "sha256:f132d76e373fa4780e558e3265e743d5b5847cd92f2f90735cde6c648a7af1fe",
"spec_path": "compiler/codegen/testgen.t27"
}
}
Loading
Loading