From b4264529798acccb561f7e24d58cc6c3d781973d Mon Sep 17 00:00:00 2001 From: lab Date: Tue, 8 Sep 2026 05:12:48 +0700 Subject: [PATCH] fix(rust-backend): prefix the dereference, and give an out-pointer a safe type Closes #3422 Refs #3420 Zig spells a dereference postfix, `count.*`, and the corpus is written that way. gen-rust emitted it verbatim, so the file did not even tokenise: "error: unexpected token: `*`" -- 70 sites across 6 specs. And a bare `*T` parameter became `*mut T`, whose every dereference needs an `unsafe` block this emitter never writes, so the 81 files carrying such a parameter could not have compiled in any spelling. Zig handles `.*` natively because it is Zig syntax; C renders the parameter `size_t*`. Rust was the only column that could not compile. The repair is narrow, and the narrowing was measured rather than assumed: version rustc accepts coded diags introduced revealed master 433 2937 -- -- every position 435 2724 9 1 parameter only 439 2713 0 1 A struct field cannot take `&mut T` without a lifetime -- `pub fail: &mut ACTrieNode` is E0106 -- so the rewrite applies in parameter position only. The narrow version is better on every axis at once. How this was found matters more than the fix. Ten of the seventeen rings/* crates name a spec that exists, and the new tools/check_ring_spec_drift.py compares them. `ring-099` read DRIFTED on exactly two functions, and the only difference was `count: &mut usize` in the hand-written model against `count: *mut usize` from the spec. The hand-written code was right again -- the second time in two passes. The tool classifies each pair CONVERGED / DRIFTED / UNRELATED and its --self-check requires every verdict to be reachable. It carries the warning it earned: a matching signature is NOT matching behaviour. ring-090 read 16 of 16 identical and still disagreed on 126 of 1190 differential cases (#3420). Today: 2 CONVERGED, 0 DRIFTED, 7 UNRELATED -- where UNRELATED mostly means the doc comment names a spec the crate was never generated from. 135 seals across 68 specs were refreshed by `t27c seal --save`, duplicates included. Two tests, one of which compiles and RUNS the output and asserts the caller observes the write. Mutation-checked: removing the deref fix fails it, and removing the parameter narrowing fails it with E0133. FROZEN_HASH updated in the same commit, as M5 requires. Co-Authored-By: Claude Opus 5 --- ".trinity/seals/\"[]const u8\".json" | 6 +- .trinity/seals/ExperienceSave.json | 6 +- .trinity/seals/HSLM.json | 6 +- .trinity/seals/ISAMemoryOps.json | 6 +- .trinity/seals/MemoryPrimitives.json | 6 +- .trinity/seals/NotebookLM.json | 6 +- .trinity/seals/Optimization.json | 6 +- .trinity/seals/PipelineE2E.json | 6 +- .trinity/seals/Project.json | 6 +- .trinity/seals/SacredAttention.json | 6 +- .trinity/seals/Session.json | 6 +- .trinity/seals/SimilaritySearch.json | 6 +- .trinity/seals/TernaryControlFlow.json | 6 +- .trinity/seals/TernaryDeque.json | 6 +- .trinity/seals/TernaryHashTable.json | 6 +- .trinity/seals/TernaryMemory.json | 6 +- .trinity/seals/TernarySet.json | 6 +- .trinity/seals/TriAhoCorasick.json | 6 +- .trinity/seals/TriAvlTree.json | 6 +- .trinity/seals/TriBTree.json | 6 +- .trinity/seals/TriBitmap.json | 6 +- .trinity/seals/TriBitvector.json | 6 +- .trinity/seals/TriBloomFilter.json | 6 +- .trinity/seals/TriBuilder.json | 6 +- .trinity/seals/TriCircularBuffer.json | 6 +- .trinity/seals/TriCsv.json | 6 +- .trinity/seals/TriDeque.json | 6 +- .trinity/seals/TriDijkstra.json | 6 +- .trinity/seals/TriDisjointSet.json | 6 +- .trinity/seals/TriEcc.json | 6 +- .trinity/seals/TriFenwick.json | 6 +- .trinity/seals/TriGraph.json | 6 +- .trinity/seals/TriGraphBfs.json | 6 +- .trinity/seals/TriGraphDfs.json | 6 +- .trinity/seals/TriHmac.json | 6 +- .trinity/seals/TriKdTree.json | 6 +- .trinity/seals/TriLinkedList.json | 6 +- .trinity/seals/TriLockfreeStack.json | 6 +- .trinity/seals/TriLru.json | 6 +- .trinity/seals/TriLruCache.json | 6 +- .trinity/seals/TriMatrix.json | 6 +- .trinity/seals/TriOctree.json | 6 +- .trinity/seals/TriPolynomial.json | 6 +- .trinity/seals/TriPrimsMst.json | 6 +- .trinity/seals/TriPriorityQueue.json | 6 +- .trinity/seals/TriQuadtree.json | 6 +- .trinity/seals/TriRabinKarp.json | 6 +- .trinity/seals/TriRandom.json | 6 +- .trinity/seals/TriRbTree.json | 6 +- .trinity/seals/TriRtree.json | 6 +- .trinity/seals/TriSegmentTree.json | 6 +- .trinity/seals/TriSet.json | 6 +- .trinity/seals/TriSha256.json | 6 +- .trinity/seals/TriSkipList.json | 6 +- .trinity/seals/TriSplayTree.json | 6 +- .trinity/seals/TriSuffixArray.json | 6 +- .trinity/seals/TriTrie.json | 6 +- .trinity/seals/VSASimilaritySearch.json | 6 +- .trinity/seals/VcdConformanceCompare.json | 6 +- .trinity/seals/ast.json | 6 +- .trinity/seals/base_TernaryMemory.json | 4 +- .trinity/seals/collections_TriBitmap.json | 4 +- .trinity/seals/collections_TriBitvector.json | 4 +- .trinity/seals/collections_TriBtree.json | 4 +- .../seals/collections_TriCircularBuffer.json | 4 +- .trinity/seals/collections_TriDeque.json | 4 +- .trinity/seals/collections_TriLinkedList.json | 4 +- .../seals/collections_TriLockfreeStack.json | 4 +- .trinity/seals/collections_TriLru.json | 4 +- .trinity/seals/collections_TriLruCache.json | 4 +- .../seals/collections_TriPriorityQueue.json | 4 +- .trinity/seals/collections_TriSet.json | 4 +- .trinity/seals/collections_TriSkipList.json | 4 +- .trinity/seals/compiler_Optimization.json | 4 +- .trinity/seals/compiler_Stdlib.json | 4 +- .trinity/seals/compiler_ast.json | 4 +- .trinity/seals/config-schema.json | 6 +- .trinity/seals/config_config-schema.json | 4 +- .trinity/seals/crypto_TriEcc.json | 4 +- .trinity/seals/crypto_TriHmac.json | 4 +- .trinity/seals/crypto_TriSha256.json | 4 +- .trinity/seals/encoding_TriCsv.json | 4 +- .../seals/fpga_VcdConformanceCompare.json | 4 +- .trinity/seals/graph_TriDijkstra.json | 4 +- .trinity/seals/graph_TriDisjointSet.json | 4 +- .trinity/seals/graph_TriGraph.json | 4 +- .trinity/seals/graph_TriGraphBfs.json | 4 +- .trinity/seals/graph_TriGraphDfs.json | 4 +- .trinity/seals/graph_TriPrimsMst.json | 4 +- .trinity/seals/isa_ISAMemoryOps.json | 4 +- .trinity/seals/isa_TernaryControlFlow.json | 4 +- .trinity/seals/isa_TernaryDeque.json | 4 +- .trinity/seals/isa_TernaryHashTable.json | 4 +- .trinity/seals/isa_TernarySet.json | 4 +- .trinity/seals/jit.json | 6 +- .trinity/seals/jit_jit.json | 4 +- .trinity/seals/math_TriMatrix.json | 4 +- .trinity/seals/math_TriPolynomial.json | 4 +- .trinity/seals/memory_MemoryPrimitives.json | 4 +- .trinity/seals/memory_NotebookLM.json | 4 +- .trinity/seals/nn_GatedLinearAttention.json | 4 +- .trinity/seals/nn_HSLM.json | 4 +- .trinity/seals/nn_SacredAttention.json | 4 +- .trinity/seals/pipeline_ExperienceSave.json | 4 +- .trinity/seals/pipeline_PipelineE2E.json | 4 +- .trinity/seals/pipeline_TriBuilder.json | 4 +- .trinity/seals/runtime_triruntime.json | 4 +- .trinity/seals/search_TriAhoCorasick.json | 4 +- .trinity/seals/search_TriBloomFilter.json | 4 +- .trinity/seals/search_TriRabinKarp.json | 4 +- .trinity/seals/server-mdns.json | 6 +- .trinity/seals/server_Project.json | 4 +- .trinity/seals/server_Session.json | 4 +- .trinity/seals/server_server-mdns.json | 4 +- .trinity/seals/sync-schema.json | 6 +- .trinity/seals/sync_sync-schema.json | 4 +- .trinity/seals/trees_TriAvlTree.json | 4 +- .trinity/seals/trees_TriBTree.json | 4 +- .trinity/seals/trees_TriFenwick.json | 4 +- .trinity/seals/trees_TriKdTree.json | 4 +- .trinity/seals/trees_TriOctree.json | 4 +- .trinity/seals/trees_TriQuadtree.json | 4 +- .trinity/seals/trees_TriRbTree.json | 4 +- .trinity/seals/trees_TriRtree.json | 4 +- .trinity/seals/trees_TriSegmentTree.json | 4 +- .trinity/seals/trees_TriSplayTree.json | 4 +- .trinity/seals/trees_TriSuffixArray.json | 4 +- .trinity/seals/trees_TriTrie.json | 4 +- .trinity/seals/triruntime.json | 6 +- ".trinity/seals/utils_\"[]const u8\".json" | 6 +- .trinity/seals/utils_TriLogger.json | 4 +- .trinity/seals/utils_TriRandom.json | 4 +- .trinity/seals/verilog_codegen.json | 6 +- .trinity/seals/verilog_verilog_codegen.json | 4 +- .trinity/seals/vsa_VSASimilaritySearch.json | 4 +- bootstrap/src/compiler.rs | 34 +++- bootstrap/stage0/FROZEN_HASH | 2 +- bootstrap/tests/backend_behaviour.rs | 49 ++++++ ...-08-a-dereference-that-did-not-tokenise.md | 18 ++ tools/check_ring_spec_drift.py | 160 ++++++++++++++++++ 140 files changed, 598 insertions(+), 339 deletions(-) create mode 100644 docs/now/2026-09-08-a-dereference-that-did-not-tokenise.md create mode 100755 tools/check_ring_spec_drift.py diff --git "a/.trinity/seals/\"[]const u8\".json" "b/.trinity/seals/\"[]const u8\".json" index 27acc26b80..b46bf95bb5 100644 --- "a/.trinity/seals/\"[]const u8\".json" +++ "b/.trinity/seals/\"[]const u8\".json" @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:159fcb3b6718921b7753ec8b66acdd75fa0ba4a7ce09f9c89e11d5dcadb02419", - "gen_hash_rust": "sha256:0b794d6f3b18f3563fd197d17b989241361e0d59329cfbcf10bb52e7e0f0124b", + "gen_hash_rust": "sha256:97ecbe5ded3205a0c1b2ec4e145cc36153ac220b002b41563dcf22611a358400", "gen_hash_verilog": "sha256:edf5e314645a8bdd1d45f69c0c54d0d4c5bd7beaaa0aada98cd5826368ed7a52", "gen_hash_zig": "sha256:9c01a3194d02a49edf48b67770f390c009ce08ca41458a907a2202e95b50b233", "module": "\"[]const u8\"", "ring": 12, - "sealed_at": "2026-08-28T20:32:32Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:bcb3b01dcd4debb986099332e1f8d6def66dc7b3d5b6e11f9dce845bb5007fb7", "spec_path": "specs/tri/utils/logger.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/ExperienceSave.json b/.trinity/seals/ExperienceSave.json index 7dbbc21a8b..965b9493cf 100644 --- a/.trinity/seals/ExperienceSave.json +++ b/.trinity/seals/ExperienceSave.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:6536e5d4df7cdd54cab6d4e82b2283bc3cdf7b7b6f120e75589922389602842e", - "gen_hash_rust": "sha256:3d1b2d9a3b92d90806e4846e46e088c5f759063b71a8e59d60cdbb2bf2ab2995", + "gen_hash_rust": "sha256:b307fc9f5f5534e79978f3f132a56d6835238e81276d297985f3e7bd104ebd6a", "gen_hash_verilog": "sha256:f1107f663e3f58898071e733d17c400576dd6059ed72c436874fce9c4eb83278", "gen_hash_zig": "sha256:aeb7b22c9672a7e1ce16b1b47edf569351275d7f97766de27ad6749b2c052199", "module": "ExperienceSave", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:df15f1fbd549cad6bc01b0599d4765ea3d8be69eb2759ef112ca8c94c101168d", "spec_path": "specs/pipeline/experience_save.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/HSLM.json b/.trinity/seals/HSLM.json index e2489ec2a2..28e4aa9706 100644 --- a/.trinity/seals/HSLM.json +++ b/.trinity/seals/HSLM.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:a4e4b401a924301d6a7f4a3d8aee167a9df58c6ececb01ae61b5c6a92e6c4cab", - "gen_hash_rust": "sha256:20dc24cf9aa950d51eb2bb391022dbc0feb3e2696ba7a076fc9687353e8d0798", + "gen_hash_rust": "sha256:77c0564db10be29afcc6dda0eab695afdb56acf295b08700ee82bbf58b457772", "gen_hash_verilog": "sha256:f8a956019cea253548cd3f3eee38d2405cea113b8ee5e66e3d387be41810c697", "gen_hash_zig": "sha256:51d88b507c315ec746ec177be352377540d8989ae03666f57d9db787201c57b9", "module": "HSLM", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:8ea0766984db7775c474eab25dfb14965fa835ce0a56b33173df319fad342182", "spec_path": "specs/nn/hslm.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/ISAMemoryOps.json b/.trinity/seals/ISAMemoryOps.json index 343a334974..4f3cb842e9 100644 --- a/.trinity/seals/ISAMemoryOps.json +++ b/.trinity/seals/ISAMemoryOps.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:b70939671bf1b1d1887cdf48849eac3ca259d4873dccc903f138a628bfbc6c43", - "gen_hash_rust": "sha256:91a555c433771d6c0bdd6ae1acc2741f6579e19fd6b64bd672963845de7f7943", + "gen_hash_rust": "sha256:84ca0522a1d6ab82cc528ba3137e24cc7492757b2882a559b6aedd82e3c53969", "gen_hash_verilog": "sha256:0dccef9c3c538ea2399276395a58aaa116f002a42e4180c75d46756cb9f56e0b", "gen_hash_zig": "sha256:984555983de66f9deaf7218dfdccf7aa0fd2cce634fa36766596027e1bd2f2d4", "module": "ISAMemoryOps", "ring": 12, - "sealed_at": "2026-08-28T00:21:37Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:29ad72599016b8ced9266c0cce3604e11222c3e7d569768312df89903088cff3", "spec_path": "specs/isa/ternary_memory.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/MemoryPrimitives.json b/.trinity/seals/MemoryPrimitives.json index c1773b8a18..f9c20e57b7 100644 --- a/.trinity/seals/MemoryPrimitives.json +++ b/.trinity/seals/MemoryPrimitives.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:27806870ffd32d79be35bdda68db33212cdf9953e9be58608767ce32aba2fabe", - "gen_hash_rust": "sha256:4c89acb891fa9935dc0961fbf9bc47ef37d556c91374bc26245175a8a7f8deee", + "gen_hash_rust": "sha256:5b962c49a3a8bf1c3008264c3a1f16f9996d5db3a706081ca18b61dfbb68b8b7", "gen_hash_verilog": "sha256:e26850e35e0fe3fb17357166fcc0a8354578ff76ed53e8ec3ffe7046e1826d7d", "gen_hash_zig": "sha256:30ce6e9be12cf0cd78c5756e32ca975c1042ab5ab45711a12d3ebd71e85dd2f1", "module": "MemoryPrimitives", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:0cf723b0c54a06a9851f0f635f2191829a0c100860d1c12896afa5e4bb856b8a", "spec_path": "specs/memory/memory_primitives.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/NotebookLM.json b/.trinity/seals/NotebookLM.json index 7ccfeab26b..0af6d569c8 100644 --- a/.trinity/seals/NotebookLM.json +++ b/.trinity/seals/NotebookLM.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:1363497601bffd09dd3ee2c619f834af65869e1e4f2ed21dcc9a03ebbec9b21c", - "gen_hash_rust": "sha256:3d7f8836b3b061b22a023eab5d60631c88cd80d21e7635a8bc871372ad4c091c", + "gen_hash_rust": "sha256:d49f1e7ea99438a82e4e5fa93af98ddfcf74f29881b5d45636196f946e7d2a59", "gen_hash_verilog": "sha256:7716f39dc3d0baf658917208a7c294da3ed66d8d849778e3a0d170e7083115b4", "gen_hash_zig": "sha256:534abb99380c2bc0decab8ee239edaac260e956b20891b17728a337b40ba104c", "module": "NotebookLM", "ring": 12, - "sealed_at": "2026-08-28T21:20:51Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:dc5b054f79d747598c75190379fe4a36400bb27af13dffe06d438f145c1af96f", "spec_path": "specs/memory/notebooklm.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/Optimization.json b/.trinity/seals/Optimization.json index a99d3f3cfb..bcf4dd12ef 100644 --- a/.trinity/seals/Optimization.json +++ b/.trinity/seals/Optimization.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:0c2cfa8557327603ffdb64880da1b6352149809c4b8dad8246a35a4aaa467797", - "gen_hash_rust": "sha256:8f06aaff7d82b720a09debce980df167eb04abceeea6d45b8bce552d29af4f1e", + "gen_hash_rust": "sha256:8196ceb1a913e6fddfe096f9327e53430918b9c254dc5caec5594caac582bba0", "gen_hash_verilog": "sha256:113fb9929b21760730fc6ed7973115aaddd4900904d6e4b1078edc784d17f98b", "gen_hash_zig": "sha256:a118a6d8b416f2c3ca73b234b94082d54c586122c6c189b425baea9c13631ed2", "module": "Optimization", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:98ba1a67d94856b42f06d5db6c3c2a8499bcf955d74c5543c9cb630797815d4a", "spec_path": "specs/compiler/optimizer.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/PipelineE2E.json b/.trinity/seals/PipelineE2E.json index eb1695219e..7ae01758d1 100644 --- a/.trinity/seals/PipelineE2E.json +++ b/.trinity/seals/PipelineE2E.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:6de267b1261e93c8b42d557f26b6e6d1d40fe4c567e8afd0b271058013a33db1", - "gen_hash_rust": "sha256:eb1fec9290996250a2b03be43f21df0893c5e1dbdb266c7210917f7e77bf6363", + "gen_hash_rust": "sha256:c1a6e06636114237d6d2a4e8e124ac3f1458d45ff2fbefb54d76f756aeafe3bc", "gen_hash_verilog": "sha256:5034b456a26c7ffda98213b086e83601447de0d2fe760b23f2c846694436fa21", "gen_hash_zig": "sha256:ec929d8c75309f7f642e52c2a3d92de5733318a5e498819255301ab77bc9c632", "module": "PipelineE2E", "ring": 12, - "sealed_at": "2026-08-28T00:22:25Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:47ff992484aab2a06b5e58c1487fffee481eac77c19fe81827b1e1572f5aee59", "spec_path": "specs/pipeline/e2e_test.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/Project.json b/.trinity/seals/Project.json index be4d8b4633..80f71a2c7e 100644 --- a/.trinity/seals/Project.json +++ b/.trinity/seals/Project.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:b748e5d0871271299e397d0935166617dc753430f7e2406b1765cfc207f34a81", - "gen_hash_rust": "sha256:deaacf5ff134fa9d755742bb0708400de05a0415552d05077ab053df37dbcbe1", + "gen_hash_rust": "sha256:a2c8ab3de4f21d2ccf314ab7cbe2855333289f4388a821e8875712fa8c0cb69b", "gen_hash_verilog": "sha256:f2dcd7403dcddee26003dff4fb86269525fa9bb478e0f3bc1dce50eec3360a8f", "gen_hash_zig": "sha256:19da7584421cb0cdcd1d6a223fd2256fc506b1963fcb43d6c5648d53f85f61c9", "module": "Project", "ring": 12, - "sealed_at": "2026-08-28T00:21:37Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:20fcb88dc7cbe68d71676487adce5aaee365541aa7fcc16fbccc56b2405c2c2c", "spec_path": "specs/server/project.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/SacredAttention.json b/.trinity/seals/SacredAttention.json index 605f9bc9de..5c4b145042 100644 --- a/.trinity/seals/SacredAttention.json +++ b/.trinity/seals/SacredAttention.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:f4454df1de407b648599bab4486b3a2161b55cb98e8bf08c3dccce823ebfd3ac", - "gen_hash_rust": "sha256:81756a98521bece002e4c866b27a7a3338ae3d3987406f1a844feaddd0601d58", + "gen_hash_rust": "sha256:c003a0bd2dcc0558499a3b8df923cf1103ceaeb0075213861601a942ba660e42", "gen_hash_verilog": "sha256:f10591dc966a8ac3535e358d35427cb7b03128d6095bad3d76f51b5ca8514f2f", "gen_hash_zig": "sha256:04869b3b6648bcb78f992e671734c17295760ccce99c82281f6969a55ff4a5b9", "module": "SacredAttention", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:9d16a7efd14f69af62f5d85612ed1c99f0caf6dda097f403eda5c4f865fdf125", "spec_path": "specs/nn/attention.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/Session.json b/.trinity/seals/Session.json index 9c13304a29..41819d0b5c 100644 --- a/.trinity/seals/Session.json +++ b/.trinity/seals/Session.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:5674ed07d3841043545c7bd4c26df086e2ff5ac1050435bce951260d57719f35", - "gen_hash_rust": "sha256:34d0302ead395325bc117a76030263155f9bd3ae340cd10f69cdd380453653c8", + "gen_hash_rust": "sha256:44591204a8b809e58c885f492c65b4974aa58075a00088259ee74061d02076e8", "gen_hash_verilog": "sha256:c7900e4b259e1b747b45c081f656647617649a9f2f535fbaf67fa0ed7a78c0cf", "gen_hash_zig": "sha256:98e044866cd80df02f1fe206fbfb6af7613c81202c079d9b54d17db960933e3f", "module": "Session", "ring": 12, - "sealed_at": "2026-08-28T00:21:37Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:2b70d19f6f5d4f13e880a395590a03a48b83d77c4e32cebf62216cbe82ec8d52", "spec_path": "specs/server/session.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/SimilaritySearch.json b/.trinity/seals/SimilaritySearch.json index cc9ee1ab9e..a5dbfb2f55 100644 --- a/.trinity/seals/SimilaritySearch.json +++ b/.trinity/seals/SimilaritySearch.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:206ea9d69d20e1c99bcb0ad5e52fbc7b73b381e8fa5f2012548a6d835e9b4071", - "gen_hash_rust": "sha256:de0bb44c7c41c4388223dad4465bcf8a3cf364fd020b0738438cca38ebc0bf91", + "gen_hash_rust": "sha256:88d1fdc9f1f578f5d19476d6139e570cdf829843743ba06ef4b09b548fe78d8a", "gen_hash_verilog": "sha256:2f4eb6fa80e5fc5bf0d3a991c45a1f45646c9e8e3d3df69ce778ed7ad3afc10f", "gen_hash_zig": "sha256:5e1650631219e9101f17848b6326087685f4df42326921d318c26d7c426f8186", "module": "SimilaritySearch", "ring": 12, - "sealed_at": "2026-08-28T21:20:51Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:49d1e8ddabc30e6cc9e852ea156510b928d618264e25737e12cd57a2eb4d3de7", "spec_path": "specs/vsa/similarity_search.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TernaryControlFlow.json b/.trinity/seals/TernaryControlFlow.json index 39a1346d3e..d8668beb8e 100644 --- a/.trinity/seals/TernaryControlFlow.json +++ b/.trinity/seals/TernaryControlFlow.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:53d37c59635f8c703d3b22d938262800e28d376a376bd74ee24867b737296853", - "gen_hash_rust": "sha256:09522521f74c001f85b463f439a3eeb7ccb79c3f937893360faa4cbe57d28a94", + "gen_hash_rust": "sha256:ff6664be7ffb734759b599e0246cc3afcdfa7ca043eb2aa019850b0f52d440ef", "gen_hash_verilog": "sha256:c4e7373882bf56f5fc546a7d03ee7de41e6fa7b4a91b87cbe8fc03be6ba5604e", "gen_hash_zig": "sha256:c8456f98bdbcc5e851dd6f135cf3af49bdb2cd287a741d4c09cfaa10d0869f7e", "module": "TernaryControlFlow", "ring": 12, - "sealed_at": "2026-08-28T00:21:37Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:dcb5de4bdcaaac334bf386d0ee8c2badc68a3debababb033eb4a6df16ff6d6ad", "spec_path": "specs/isa/ternary_control_flow.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TernaryDeque.json b/.trinity/seals/TernaryDeque.json index 0c2cb01677..fe8afd139c 100644 --- a/.trinity/seals/TernaryDeque.json +++ b/.trinity/seals/TernaryDeque.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:b2a73ec6f924ba63457d240c81bc567951b96adbe7390b8622bb200a3bf93974", - "gen_hash_rust": "sha256:948a0a65570eaf74d06c9c0fe25c940a1de4f6b1b47172aee6363c1feda63911", + "gen_hash_rust": "sha256:39775f28924d46a013bca1164375d0ca342374efc8c761779c19cb8f47d6bdca", "gen_hash_verilog": "sha256:0c822e0a359b41b6737bed8d1deb75c2e7b22a095ba1626a08f0a1b8f162a043", "gen_hash_zig": "sha256:226653378e111a9eb4f69a1c43f2a37a2b4088f619d086677cb170edf0b47f6f", "module": "TernaryDeque", "ring": 12, - "sealed_at": "2026-08-28T21:20:51Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:56113a8df816d524442da3e153ea33d793de0d06087326161aefc18fb0281dd3", "spec_path": "specs/isa/ternary_deque.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TernaryHashTable.json b/.trinity/seals/TernaryHashTable.json index 0329f4c3e7..9fab8f21cb 100644 --- a/.trinity/seals/TernaryHashTable.json +++ b/.trinity/seals/TernaryHashTable.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:58e20108ec72c28a0aa63424779339b5f6ca32ae69442fdfbe9019495918ef74", - "gen_hash_rust": "sha256:a2aaf3ec9be148372b6403cb39aaaabddb5dd0c8639fb0d03e122ce13309ec25", + "gen_hash_rust": "sha256:74999620a473f9ebdf062e7b89eced381dbbc491be0713f855afdc650c6393e9", "gen_hash_verilog": "sha256:aab436177055ffc20a1f4e745d9ffed105e44373c83fa1f022252dbef65d13ce", "gen_hash_zig": "sha256:895f6aca2a840918ff0f09ab5bb3ccca2ee8f126ebc068de3e89e6667cf8a0fe", "module": "TernaryHashTable", "ring": 12, - "sealed_at": "2026-08-28T00:22:25Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:e1f019d331a24657f7d0d560011f931c93b4f067f7203e27850c7d26b36d098e", "spec_path": "specs/isa/ternary_hash.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TernaryMemory.json b/.trinity/seals/TernaryMemory.json index c14ce65712..aedf77a2ea 100644 --- a/.trinity/seals/TernaryMemory.json +++ b/.trinity/seals/TernaryMemory.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:656599617930f341fa85bed0034163994c714ea5edb132d372de548161e08264", - "gen_hash_rust": "sha256:f3a10e873a4c6c8e0c2e8a5495331b43bfbfa226f30cfbdcca12e880cd649872", + "gen_hash_rust": "sha256:880dca99ba1fc76a0026b71db355512908b4949156156afff00fe71cfeb8e1c8", "gen_hash_verilog": "sha256:1efd07e76df1ef8cf318fb8bcba5e02fa3ce32177798fa109110a0e2a1ed550e", "gen_hash_zig": "sha256:3055a586a783d55f0c842b10c1319a0219bbdc7fc2c878123168435b89052774", "module": "TernaryMemory", "ring": 12, - "sealed_at": "2026-08-28T21:20:51Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:9a7a252b0234051663b7a9a6f9712ceb2b15501140378ef156612ab574aec6ae", "spec_path": "specs/base/ternary_memory.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TernarySet.json b/.trinity/seals/TernarySet.json index 756aa93a07..1fd0b4e803 100644 --- a/.trinity/seals/TernarySet.json +++ b/.trinity/seals/TernarySet.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:60d31a8f9237fae52e0efd3edc897dd577c02820e103f4f56d3edd6672f2fe32", - "gen_hash_rust": "sha256:17c6459a970882bcc02106a3f0b722a8380800a3bec6cac07429d2c6272208df", + "gen_hash_rust": "sha256:2958bd08177dfcb10362a0aa6c8de8632f37b8bd47e54e2670509c766480d4d0", "gen_hash_verilog": "sha256:ae32c0dbfd0ed329c4759637a632881b2d3e1d08958b5bca3d12b8feed869c95", "gen_hash_zig": "sha256:783d414ccd8282292dc93797336ba1c1b6f3211fce8049548378bf38d23bdd04", "module": "TernarySet", "ring": 12, - "sealed_at": "2026-08-28T00:22:25Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:9f31f299bf8feb20f30634bf278318e04e0294700bd1c46fff873e0785c77fbd", "spec_path": "specs/isa/ternary_set.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriAhoCorasick.json b/.trinity/seals/TriAhoCorasick.json index 28588c1eaa..6807ba320e 100644 --- a/.trinity/seals/TriAhoCorasick.json +++ b/.trinity/seals/TriAhoCorasick.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:09a563bedcbd38a6574bcfa72d61d3f3954870a30bedc9da7be94d97f8a02c66", - "gen_hash_rust": "sha256:848cb38d2f270a95cf329064f136ef658a4eea59744af07145f7c42b00185b9d", + "gen_hash_rust": "sha256:2fe3e33c1c9c340a77f82efda7ea26bf896d2bfd9f0b60b5bf5676be8cde78ea", "gen_hash_verilog": "sha256:063f6d75c93f8ef99989a513dc878c5bb9046504113671ce746145d5c5263124", "gen_hash_zig": "sha256:d1d76e201a1f7e6e823a3c239045888eea20abfea28d53c93d0ae53658faedde", "module": "TriAhoCorasick", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:8ba19bb8f83184f5d2ae0610a45c8b4292896654b4396bfbff77229d296cb997", "spec_path": "specs/tri/search/aho_corasick.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriAvlTree.json b/.trinity/seals/TriAvlTree.json index f5e7550fe9..1205baeb75 100644 --- a/.trinity/seals/TriAvlTree.json +++ b/.trinity/seals/TriAvlTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dc4cc3f13dbadb2cdf9fb1df195c7bb6f42a73bdcb3bae5d0ff159027463a0f5", - "gen_hash_rust": "sha256:4c085c379059bb3ca3303b7c23d1fe31d06c08c185599ef836e8659ed533cd15", + "gen_hash_rust": "sha256:cca6a7df747403de3205a7dfee58793c171f41c9180438ed66ef785f2d4c005f", "gen_hash_verilog": "sha256:300d0cb6a42a1511b5771f34841e3abd384b8784c3c6c5795df11d2f4f684e1c", "gen_hash_zig": "sha256:c25e60bc6ec0091dfa16deede06f140ae21179d51bede0352e9a5d12a7e4da45", "module": "TriAvlTree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:3d3bc18bcf65a59556cd172cc4e52c02674e3f4cf369a3b648b9e98187bf3a02", "spec_path": "specs/tri/trees/avl_tree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriBTree.json b/.trinity/seals/TriBTree.json index 5cc714797b..fb963e0e9c 100644 --- a/.trinity/seals/TriBTree.json +++ b/.trinity/seals/TriBTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:05bdb20da2ad7f3f6157a3a818be52bbe7080836a6c49c73207ad35ba43299ec", - "gen_hash_rust": "sha256:9d9c9d548c6bc877088f209e4c19d66e52cae5ef0250cd1dd7ba2ced7b9c3f5f", + "gen_hash_rust": "sha256:b75624c4c13af2a9be2d29397c855cfee767468d4de3e7c9ce5fb4b12b7e172e", "gen_hash_verilog": "sha256:020c9c5b813ae8bcbc29010a681dd7f80293af29111385e1af65e4f47b04586c", "gen_hash_zig": "sha256:aa4dda2627b2c1de53cc6448c10143f4e1a1a4096dd630669b386b61cae49a38", "module": "TriBTree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:d7607eb8c81bb51425dd1458f75f780fe4cbfc009e7c353654b76d25391369f2", "spec_path": "specs/tri/trees/b_tree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriBitmap.json b/.trinity/seals/TriBitmap.json index 792a0ab99a..39ac8c1bbe 100644 --- a/.trinity/seals/TriBitmap.json +++ b/.trinity/seals/TriBitmap.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:03fd110e155b98a0da691cb7cc304d463cff8bbf717edae3fd7e0ac1bf88966d", - "gen_hash_rust": "sha256:2e20dfbd30d677a14b262415ca84b6143365771951551d6e61c751dc35211d19", + "gen_hash_rust": "sha256:f266f8574f38e0ddf1913b590acc7c93437c15e3b8c68ada08e23fcef2f5f4b2", "gen_hash_verilog": "sha256:01633aa4dd0c8c1519ac90f771ecf59c2c61cb5e7a91d6824c616d02a32610ff", "gen_hash_zig": "sha256:8dd8f1d638d714bf811c55349ae8f3e6c75465acf5baa16e7e06711bc03acdc6", "module": "TriBitmap", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:d6cfadd5f9822b72f668e6bc15734c3939b9350e60c68212e5666ae882e443c0", "spec_path": "specs/tri/collections/bitmap.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriBitvector.json b/.trinity/seals/TriBitvector.json index cce10ca1d0..805102787c 100644 --- a/.trinity/seals/TriBitvector.json +++ b/.trinity/seals/TriBitvector.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:0b7e16403fc62c798570465ba5435d138c1be4d92a8359a998364f82f89d5eea", - "gen_hash_rust": "sha256:58039a7f7771c32b739330bcca6bb1d04552e3d65e63160144ea37ae4f889ea6", + "gen_hash_rust": "sha256:04c82c1c3a68752ea2bf3d27526a28cdf0d5f381c1b673db8fdc3f6acdd951c5", "gen_hash_verilog": "sha256:c4e975b8d5291153132ce92bf34c086fc2156ce45eeb53bdcd87215e449b4041", "gen_hash_zig": "sha256:980aadb9b6fd6f075573e965222c93653215b5f77b0b5bd82779c504e352b850", "module": "TriBitvector", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:32446899fb19eea9b774bf3a79dcba5212af07c832499cf0710ffb9dfdd612b1", "spec_path": "specs/tri/collections/bitvector.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriBloomFilter.json b/.trinity/seals/TriBloomFilter.json index 481b21f09c..6a29eb0d03 100644 --- a/.trinity/seals/TriBloomFilter.json +++ b/.trinity/seals/TriBloomFilter.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c2ee0c8bdf1e95513d106cc0834d73804181e9a9d6ab8f770fe41268a546d378", - "gen_hash_rust": "sha256:b6f0d9836cc02efd55869f76cee7a83a8b8010da9c9daad6668eb403222e8526", + "gen_hash_rust": "sha256:93bad16eee323d3c2c34aec8fef15b570ec0a43bc42e1ed4e6cd09eb9fa78843", "gen_hash_verilog": "sha256:bea3096296911aff157b62c3308f3e14fab9bc741d8e2e1c3bcecf5a4fc1984c", "gen_hash_zig": "sha256:bb3810f0d73c86be00e973efa6ec822aba8c0053a28decb85563a7a577294985", "module": "TriBloomFilter", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:1d3566b76489aba82ed0353281a052a571e64b4ca51c4dbd2744cf982dd37735", "spec_path": "specs/tri/search/bloom_filter.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriBuilder.json b/.trinity/seals/TriBuilder.json index 8fd05f9181..15d93c8e34 100644 --- a/.trinity/seals/TriBuilder.json +++ b/.trinity/seals/TriBuilder.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:15961cc2b541058fe4a5b8ff357144e93f089260786e709d6d1dc08ed8070c31", - "gen_hash_rust": "sha256:7090fa874cd8bfd4010fba0b3750edb0988fe628cf3230e598d584dedefee201", + "gen_hash_rust": "sha256:9e43f1472bddf1e03254ebd487362d0684cce1c2f537445beac8138da8318ffa", "gen_hash_verilog": "sha256:9bc9fbc0986175a715948ee8b4b9cd9a6f6957b97b344a77dc90f7159c60dcb1", "gen_hash_zig": "sha256:bd24665f2b18310c07467f4e1b9c97c4333ad7984806f920da86672a14fdb142", "module": "TriBuilder", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:796d838e8069befa45707a89b86aa34f7584ce5b80ad73ce8301fcdf479dd7be", "spec_path": "specs/tri/pipeline/builder.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriCircularBuffer.json b/.trinity/seals/TriCircularBuffer.json index 2b258d58ff..2ac223d360 100644 --- a/.trinity/seals/TriCircularBuffer.json +++ b/.trinity/seals/TriCircularBuffer.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:4793994f6748c997a123394038b26765dcfbf4342450bf9d2b75bbdf8d862463", - "gen_hash_rust": "sha256:c5fe4c858e2cc3340cd07669024c9ff805d106a5417b1b3b5cc67b4a2e0d0f9f", + "gen_hash_rust": "sha256:16222d9828332fc99f6c50a6c6137a95c2490fb77c1f722e97019e7ee0765f2c", "gen_hash_verilog": "sha256:14ea79c0867b3077ca828290ff0656bc30b192d348c5b66f17b45777924be16e", "gen_hash_zig": "sha256:8cc81856d5da9ddb5a088976731ebeae7be6b2aaf8201eee731200b09768362b", "module": "TriCircularBuffer", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:9a8156c31cf1ff378730d53a4e55d2265fb101558dabfa1c3cf9f3c9e3e3ed5a", "spec_path": "specs/tri/collections/circular_buffer.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriCsv.json b/.trinity/seals/TriCsv.json index 1640f65b44..1f323a4b43 100644 --- a/.trinity/seals/TriCsv.json +++ b/.trinity/seals/TriCsv.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:812db2f4751cb28ca9193ce32492c97676efc3f685e290e53c79a3dd4d0ac0eb", - "gen_hash_rust": "sha256:c323d12c398d4e7b667a3e1b8845a20b1a9ee2e009624b6f4ae7cd85918cfeef", + "gen_hash_rust": "sha256:bef2bbe404e31d1d92024819a60128ca781853aa047452dc70286951ea70cd32", "gen_hash_verilog": "sha256:efc07ea189b19a5b4d93110d5d71404eebabb32a191a27bec3910dd21ec01a0c", "gen_hash_zig": "sha256:a8cd77fdaabdf5a2828f99bf79690b9ffa5b7246bc631997a51860fe61c34340", "module": "TriCsv", "ring": 12, - "sealed_at": "2026-08-28T20:32:32Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:c9417445533676df65424ac0b373d1c1c21d3f92542dfbd77e61a06a0a2f60d1", "spec_path": "specs/tri/encoding/csv.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriDeque.json b/.trinity/seals/TriDeque.json index bcd6dd7d22..505b5c9d63 100644 --- a/.trinity/seals/TriDeque.json +++ b/.trinity/seals/TriDeque.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c1bce9126c27224b6ae84f8e68f0a6c331c4dcfeac2bd9f6516657c13d26c1cd", - "gen_hash_rust": "sha256:467454d2c24bbdc0168303824a69583862c515b5afb95b3bce149f6298767353", + "gen_hash_rust": "sha256:60e7383f19fc6bf22594c3280aa14ad2695672a9f3fe4c72873a14375700a581", "gen_hash_verilog": "sha256:b8e3b8d2f5e5faacef71002092ea5cb0bf88dd55b40219c6ce82159cb74826f8", "gen_hash_zig": "sha256:7b314c75649a1d0ca9c4c3a911f24ae5f4cb3cfd4de615d6cb511205aa19df9f", "module": "TriDeque", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:90ea646b1c7dd08e161b4da050eef9fc3f35e864726f9e4ada54c09cfa29153f", "spec_path": "specs/tri/collections/deque.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriDijkstra.json b/.trinity/seals/TriDijkstra.json index 354ff41f23..e17a04276e 100644 --- a/.trinity/seals/TriDijkstra.json +++ b/.trinity/seals/TriDijkstra.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:58b682551aee306091800327751893be7d9f8ebd26254d8c9faf9e7fcce5d969", - "gen_hash_rust": "sha256:3a6d21029ff9f479801a0cb1fa0cf33af6ac807686a48ca95974d505a4bb0ed7", + "gen_hash_rust": "sha256:0ae09cf0782e19e9757d86ab674b17a2a86276a86f2fb1b5cdb0b5eb373429a3", "gen_hash_verilog": "sha256:7ffaff1c8161da07cbe8592c23b98b82dc8ef3b158e37d36f8861bc78b430ffb", "gen_hash_zig": "sha256:fa0e3b08b2bd6205dcd04415a26d16f2d9738a2b6eef5f24d30084668d6d3bec", "module": "TriDijkstra", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:80644bdb5652ccafba32d06857d8f4d260863c4e91590cd6fbc7737350a090b6", "spec_path": "specs/tri/graph/dijkstra.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriDisjointSet.json b/.trinity/seals/TriDisjointSet.json index 5b4e01e007..2e7dfb6aed 100644 --- a/.trinity/seals/TriDisjointSet.json +++ b/.trinity/seals/TriDisjointSet.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:ea299a2e237cafdd12569aa26d92164a0225be37867c6521d05bb517fc813dbd", - "gen_hash_rust": "sha256:c41d45207ba172393580dd7cbf5dbb9c7e0052f400bbc90a678556cff3c6aaf0", + "gen_hash_rust": "sha256:7649ca977527f22980fdd556f5d4c1d17f179a0b5daa0a7ddf5620b7439afe29", "gen_hash_verilog": "sha256:a990448d071eea7c4da91f9c5ab713c0fca67385413843942c947c94dc4a196c", "gen_hash_zig": "sha256:300f5e4aad007caa0839c7a895eac121d8c9301523b5b9e921df08cda72f535c", "module": "TriDisjointSet", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:57308c312e2d9233223984d19e928d0583684571434c32a42d5c66810c8a07da", "spec_path": "specs/tri/graph/disjoint_set.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriEcc.json b/.trinity/seals/TriEcc.json index 3bb102765d..a33307d6ba 100644 --- a/.trinity/seals/TriEcc.json +++ b/.trinity/seals/TriEcc.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:ff459d539e511ff379aba4d4b7a81f152c55d9d5a3b9da325f4deee22e2b64ac", - "gen_hash_rust": "sha256:032f88cc1362e74d17912528c1976f4b48e0ad2206c180498b5d9654fae9546c", + "gen_hash_rust": "sha256:c477f7a9e4f7521c184e6b2c4958515d76eb9135bae0bc418a289e93f090576b", "gen_hash_verilog": "sha256:5d732ed539dadc5aa551eab3185a7619d1bc6133ed1847374fcfcd93ab4d97db", "gen_hash_zig": "sha256:24e8256d8f0a25ba7a18315c9c58f81e87be1a4034d7fc1f7d3a8e8a5d6f1e88", "module": "TriEcc", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:e111bef882601ff39e589072facac4a3d4501cf3f8f3c0edbb089981db7379c4", "spec_path": "specs/tri/crypto/ecc.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriFenwick.json b/.trinity/seals/TriFenwick.json index 5a48c9ea03..8e2e107543 100644 --- a/.trinity/seals/TriFenwick.json +++ b/.trinity/seals/TriFenwick.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:adb2dcbb21e97f23558d539456cf0c0f6e1ba513c480dd6c7e4314426185b78e", - "gen_hash_rust": "sha256:004257927f86083acbafbbfc0f70f378ee7caa5441d67d6fcd60497c4acf2c18", + "gen_hash_rust": "sha256:b15379d6fd999667f5b38923dbc90f98db615377ede980fbd039a0c2022d9008", "gen_hash_verilog": "sha256:74a9fdaf8f47eab8397d987f9168ce3b7473136bd6a8393dba22d3f51586ad72", "gen_hash_zig": "sha256:36baab69ae7e95fe41a4cb1adc0fe37664fc7614d1d937def3d337602188528e", "module": "TriFenwick", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:13b3fa04c5f6561717e1897221fac69f797143f8630f44d037e070de3877b05c", "spec_path": "specs/tri/trees/fenwick_tree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriGraph.json b/.trinity/seals/TriGraph.json index 72c0e7223b..65b6c81209 100644 --- a/.trinity/seals/TriGraph.json +++ b/.trinity/seals/TriGraph.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:e211780c0b7bbd8a861e059d0708e5bea52674ead30efcaa1eebcfdd16cf51dc", - "gen_hash_rust": "sha256:a21c1de6323c0a5301195c9b479469b20273ec5e8ffe093ea8863676aacbce1f", + "gen_hash_rust": "sha256:77f1edd3410601654eef95c7d42443934348d27159215a21562736366339df94", "gen_hash_verilog": "sha256:c0bd9cddefce72cfb629855f772f6a0d31cf7b538c6132d8a16859dc17becdf7", "gen_hash_zig": "sha256:444d15ecc025e0b172fc8594054a13177a0e5496a32390d4261857b5ef804f90", "module": "TriGraph", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:121f7a349ba5b7b672b90a9f372f575e9530ef68756c687660ed6ef029278fc5", "spec_path": "specs/tri/graph/graph.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriGraphBfs.json b/.trinity/seals/TriGraphBfs.json index 7b779c9a26..c033d8405c 100644 --- a/.trinity/seals/TriGraphBfs.json +++ b/.trinity/seals/TriGraphBfs.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:cb8453baaf1948b61146ab24e055d7445d5c11a596547b4b6ca63e109f88443a", - "gen_hash_rust": "sha256:5914d44c36ca897719b319534ca6169c36442aeca17fc0c79dc64879676c10b8", + "gen_hash_rust": "sha256:12115afda40a0853924c4db4f1a045249cad903ef5818f60078d1706a6f17841", "gen_hash_verilog": "sha256:76fd927fe39d15fa9e37c92fff35cd244cbb8b67d77c6bf7120a7db04f9e1f1d", "gen_hash_zig": "sha256:e5b0bf5c7128d81f1cd08f4e19da7962ba399830980d52d81cbf1b9646ab3446", "module": "TriGraphBfs", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:55ca27e208e92c9ce5e0837c48e6739288aa2f808600458c022701d17fbc718b", "spec_path": "specs/tri/graph/graph_bfs.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriGraphDfs.json b/.trinity/seals/TriGraphDfs.json index 84d1fd344a..86f18a4ab1 100644 --- a/.trinity/seals/TriGraphDfs.json +++ b/.trinity/seals/TriGraphDfs.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:049d32d764102c09023dfcf7fddeff03af9e1957c87b13294c5300f704fdfda6", - "gen_hash_rust": "sha256:f479ba76d8786357b39cd429c129ed1049a006232bfab5d46ae6b5796e34d6f3", + "gen_hash_rust": "sha256:f5ebeace42366a439e14ba52ba830794e259b5704c04efa41b368d4c55944cff", "gen_hash_verilog": "sha256:64f4510a848d4b634073268308a67a6683a40a517b19022861ab03f9679260a9", "gen_hash_zig": "sha256:1bea7c101d227edaaf1fdd0ac97eba64f0475e68e065e352a6ff4806e9b91a98", "module": "TriGraphDfs", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:52f14c10cd747985da3a530220dbcd8de5079ded7c63466f3524939c07beee1c", "spec_path": "specs/tri/graph/graph_dfs.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriHmac.json b/.trinity/seals/TriHmac.json index 1a4f80b2d5..2377d35782 100644 --- a/.trinity/seals/TriHmac.json +++ b/.trinity/seals/TriHmac.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dd0802dcda2f6c02b5c28751214dc5bb5f8c47fd7cd4fe38ef278d0eaac24f27", - "gen_hash_rust": "sha256:ae16a871593bcdc26ffd4b83d2a0045b3337746d8e4557335613ef0e3c0416b0", + "gen_hash_rust": "sha256:7df96a445b13d90a8874365a6db13285612c1c13ab0e28ccba2ea29615a9beff", "gen_hash_verilog": "sha256:a56a85f72bcf0ea5d2281014919a9ac23b8961a4e05241d5ccfa1ca3ffe62f28", "gen_hash_zig": "sha256:feeddfe4666e0e5c0c98614e8ed0ba9cff7ee779f4ef7ff00dec38d325367e83", "module": "TriHmac", "ring": 12, - "sealed_at": "2026-08-28T20:32:32Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:c9c294acdc2a491ad74598e51c3b2137b1b51b970d326765ce489445e76df2a8", "spec_path": "specs/tri/crypto/hmac.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriKdTree.json b/.trinity/seals/TriKdTree.json index a2c85f8594..567ff8c16e 100644 --- a/.trinity/seals/TriKdTree.json +++ b/.trinity/seals/TriKdTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:7658bd16d1d66d14de50176a27cc78f130863a13853fedc2dacc839a2fe4a68f", - "gen_hash_rust": "sha256:5109675652b7451a917c1f6f145b99bef55491f2ac4bbc4d9025d55ca37c5fc6", + "gen_hash_rust": "sha256:11c1ae3355a3b6f38d4d7edf4009d22e378051261a4ee774a315cc241d456a3e", "gen_hash_verilog": "sha256:c1f0afec0673c3db6f521e9b37b4add257f355a964bb55b153707616595c93e3", "gen_hash_zig": "sha256:369f3d5632ef02f40c2edea5a3ab0670cce287040188cf7d66ae11fed6ed3dda", "module": "TriKdTree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:338dda6bd5fe68db61f018bc4216fd6ab671562bcfc3cf92f1692fbdc2440abd", "spec_path": "specs/tri/trees/kd_tree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriLinkedList.json b/.trinity/seals/TriLinkedList.json index 9c43a0f4fc..eb192a0085 100644 --- a/.trinity/seals/TriLinkedList.json +++ b/.trinity/seals/TriLinkedList.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:24973c2e300a0a88db9ca2039d8bfb7ed18cc408ccf22acbcc435ac2e473f365", - "gen_hash_rust": "sha256:428047f5cf573a30fb54b11ae32987750b200b9ba01ad7dec87c8a911c03b45f", + "gen_hash_rust": "sha256:23babb4d6362acd4cb514e0f5aa4a44a63a075819a6e927ff77f1360aeaed801", "gen_hash_verilog": "sha256:6c52068e721a7503b2bd566c20bf4435c36545b991f689fb4b5e38227b42f7e7", "gen_hash_zig": "sha256:32622c710581aca2415f300aed3c02dad83c1c53136677df3cdcdca5f8df44d3", "module": "TriLinkedList", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:5171edf6089a238976e6fad2ba577ed72cff191cf634ee94c28645f3551f9ffc", "spec_path": "specs/tri/collections/linked_list.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriLockfreeStack.json b/.trinity/seals/TriLockfreeStack.json index 7a30f3e6f5..e91496d7ac 100644 --- a/.trinity/seals/TriLockfreeStack.json +++ b/.trinity/seals/TriLockfreeStack.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:8e3cf8f897b60092c5fd43ea1448de45f7e278c2badd722f7886f2da3183794b", - "gen_hash_rust": "sha256:d58d122a44826c00b68786124a28624073967f88f766acc712869971dfb9c946", + "gen_hash_rust": "sha256:a56f679970b116d27629916be6d54720d1bbb0afa486d4705c3063f0d7b0e94f", "gen_hash_verilog": "sha256:88c31bb8eadac951b3acb174b8ae7eb5734c9651ad59f419f97636f9fb416e6b", "gen_hash_zig": "sha256:c71ade83b0f2019f02954db4350abb4b2ed178bc2e322935cdf843545b233339", "module": "TriLockfreeStack", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:05f3fec4bc98246246aa5cfa04b845862c7f71326f9892120aad67a1dfc8e670", "spec_path": "specs/tri/collections/lockfree_stack.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriLru.json b/.trinity/seals/TriLru.json index fef6452954..0bd838aaa6 100644 --- a/.trinity/seals/TriLru.json +++ b/.trinity/seals/TriLru.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:947ed3a8df75a4a9ee4c54311c70b9edda1739216d72be28f3cfdaf80958303d", - "gen_hash_rust": "sha256:9102ac246ade61f92cd79840980dab11b75512a086a587d32d2fb2081204f174", + "gen_hash_rust": "sha256:94d940bdb8f29f292fd7c5a8df357865182bc35560b36b43477aa584eab1be35", "gen_hash_verilog": "sha256:ebf3050832135b9ec9b6e2480889eabd422468317d7d06e3efa054d06df833cc", "gen_hash_zig": "sha256:db41d91af86d45b14de051a11a9259b1534b93caa7e01d2c3c4ca2abe0607f5d", "module": "TriLru", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:d42e1ac02e6c07db9accf712b9f83035a8257e7c5c15d691a2da4bdcccc3faf6", "spec_path": "specs/tri/collections/lru.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriLruCache.json b/.trinity/seals/TriLruCache.json index 248f636c33..6278a30591 100644 --- a/.trinity/seals/TriLruCache.json +++ b/.trinity/seals/TriLruCache.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:52ffcad7d3aa16f27f283935cdccf5e4fc7a2025124cb64edb811c18e9d3498d", - "gen_hash_rust": "sha256:a2325fd8e000bb0500e88c84c277523babe42e277a280ff8e8c664eaf839e117", + "gen_hash_rust": "sha256:0616b8fe58598451d601ee03a8f0d02412c32e30ad219269ecf506a8fd719abb", "gen_hash_verilog": "sha256:802c92c797077113f131a1ebc41110d3c9818c5ed6bf5ea949f177c1153631a3", "gen_hash_zig": "sha256:7718a6afd365a911a6a0d0413cc7ecd36765641fa2454460e330127fbb735f99", "module": "TriLruCache", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:346a15f33a83f1587b8c61955907f492ac291d4c687970a47a655ceb52d9be35", "spec_path": "specs/tri/collections/lru_cache.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriMatrix.json b/.trinity/seals/TriMatrix.json index ee80130211..3f3c9e446e 100644 --- a/.trinity/seals/TriMatrix.json +++ b/.trinity/seals/TriMatrix.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:584c6e4f4181debac18d00a16314d3622310b15e55e0a27a7408dd1fae7599e5", - "gen_hash_rust": "sha256:e05b3d057f6cff3bb9c8a85d777d655770234ab78aff6d170c5b2e4e0000733a", + "gen_hash_rust": "sha256:2450784e88d586cdc3d02b01fd9580934ce76d7997739f970068ff3f64595c21", "gen_hash_verilog": "sha256:c6bda5cf3ce9d2add35ee4bfb30406f7c4d780ee58ad4c6ecd1264193390b150", "gen_hash_zig": "sha256:f5801f9662b23a5ad251da875f513dcc0b59eeb322a246c904da6c38682d9fd8", "module": "TriMatrix", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:87edc9316e590def9f59b546eddfbeee0457669bd03e565e870862d0ea4a6fb7", "spec_path": "specs/tri/math/matrix.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriOctree.json b/.trinity/seals/TriOctree.json index 5ae0b8f15f..0e4ddcd14f 100644 --- a/.trinity/seals/TriOctree.json +++ b/.trinity/seals/TriOctree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:0bedc286e426f126d811665fd97147dc6ebfba4f96958a522fb9d779d982cfa0", - "gen_hash_rust": "sha256:524d49b87aed3207a3f394fbfa97699f5b082c401686c473b1394842a456cbe3", + "gen_hash_rust": "sha256:887ed6ce0c9705279745e0ab49da5a0c2c3d8ff87ec3b47556d6e2423b221d43", "gen_hash_verilog": "sha256:bfdd79ebab78682b40028db81ce198b51da58b7c5cb959580165fc9fa01f276d", "gen_hash_zig": "sha256:01938d9fbbfc4d9f5e19ad941071b5a303b8c7b87e336157ce928c26c34d18eb", "module": "TriOctree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:63216e4dbe843da95dd62bfc13b7741e6bf343e3bcf3d407e084d6be61e84dfe", "spec_path": "specs/tri/trees/octree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriPolynomial.json b/.trinity/seals/TriPolynomial.json index 35842e1f59..229822cc48 100644 --- a/.trinity/seals/TriPolynomial.json +++ b/.trinity/seals/TriPolynomial.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:f4be61d6d8250b58128564746b7308bb4c3b332d2b9f739acb47657093e0df4b", - "gen_hash_rust": "sha256:fbd84560062e0758eb568d30b534e1b8ca2b6109a1124994eec198c87fd926aa", + "gen_hash_rust": "sha256:d5925e8fdfd560118b2dbc5269e612de3a6cfaf337c9aa9c182191a16e710720", "gen_hash_verilog": "sha256:7d9f44c2943526512e5b10e036d3b1269706ef8e52a7fdd06421a0302dfdf593", "gen_hash_zig": "sha256:5027bc8f0b50a55a898d9237507a8f1260fc3dcfacc5954e9f35b3199c2d01c9", "module": "TriPolynomial", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:8eba8906c7b3363610d70611c47190e3a0c577758540669ca80a7c6e383c64da", "spec_path": "specs/tri/math/polynomial.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriPrimsMst.json b/.trinity/seals/TriPrimsMst.json index 559f3511bc..6e934f8133 100644 --- a/.trinity/seals/TriPrimsMst.json +++ b/.trinity/seals/TriPrimsMst.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dda02f4145e518fcfc7276eb3c76afbfbe952ee844b8849861c5bce9d8a2aa24", - "gen_hash_rust": "sha256:64b44cd3b47c7ead89c823866bce6c4748fa98c25c2d861485c647c278e5d1a2", + "gen_hash_rust": "sha256:78d6deebc1b5d3b20bc6827921529366c492bd6e872e6a437cdb82660663a007", "gen_hash_verilog": "sha256:ce9b7ea89c2f54e49eefd01354aaca801e90877693888fc4dcf96e9816385bca", "gen_hash_zig": "sha256:4de1fa59c6e477e545267d067c33fed701550a2f018f4b23972e3c227b0adbe6", "module": "TriPrimsMst", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:3751f1916cc2dfcd00373c6f4f89f47b1fe38caa1cf1985ddb113ef7dffa2d00", "spec_path": "specs/tri/graph/prims_mst.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriPriorityQueue.json b/.trinity/seals/TriPriorityQueue.json index 262e52fb70..5ff2076d3e 100644 --- a/.trinity/seals/TriPriorityQueue.json +++ b/.trinity/seals/TriPriorityQueue.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:cc221c3e7dae3db412be0d8c3114b921b1752bb94ecbbb5554ea271ba91ddfd2", - "gen_hash_rust": "sha256:2c9345c2976829c1b53586b7c3a920c0e24e125a4c0744b555a614dc21719193", + "gen_hash_rust": "sha256:12ba034c42368f17cfc7c0819c942cc1fcb02c5eec06e13ad7faef14631d8e91", "gen_hash_verilog": "sha256:bcb556abcabb1b6a1e164a62c3fcf1d1ffa37f4235af9679d5656e44baf46be4", "gen_hash_zig": "sha256:b31765e2d1842a1e76e950b25767b5556b06f7d62ebc28f721fc17c1be744712", "module": "TriPriorityQueue", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:a1d8952a42208b161d951d524922fe049963a312a15721e7e5d5c95097729812", "spec_path": "specs/tri/collections/priority_queue.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriQuadtree.json b/.trinity/seals/TriQuadtree.json index 89250148e5..dd8595b5ab 100644 --- a/.trinity/seals/TriQuadtree.json +++ b/.trinity/seals/TriQuadtree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:3f1b5f372579e92827fa9a413eb3136abc5272daee917df4dcfd9b2fae31ae82", - "gen_hash_rust": "sha256:42d4017e6b586dc73cbc6cca85351bf20f06c83500f5a5823ee4a3e5f626b9b3", + "gen_hash_rust": "sha256:6bafa1b3afae056967fea020587a7bf5154d1fb1eda8c7bd7fbf99e4edfce610", "gen_hash_verilog": "sha256:d13d947ba9e73a5be25d64aa717c5d3f1138396f77674ffdc56a0dfef150fe77", "gen_hash_zig": "sha256:01514daa510c982d521d72b36552a8ef68f946957d0351799bfad2073128ea4d", "module": "TriQuadtree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:974e62d1cdcc28189ff5fddbf9405c9e02f8bb01325bc2f9860f0578a053b345", "spec_path": "specs/tri/trees/quadtree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriRabinKarp.json b/.trinity/seals/TriRabinKarp.json index b7d0cea063..83a5f109db 100644 --- a/.trinity/seals/TriRabinKarp.json +++ b/.trinity/seals/TriRabinKarp.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:70f28ee85e6af89b8af0716d348c20978b5824892fadecb3c157985b9427331d", - "gen_hash_rust": "sha256:48f3c5c5d2c85f82ded83d686cdb9a5c42d638816b9f1d6057bbecb75a5b9b60", + "gen_hash_rust": "sha256:dba3eab060390a954588e2a4f4f2de2f97f1e076e17ce97aa975619842a15528", "gen_hash_verilog": "sha256:98a7310690ee35a91ba0fdf0129b99d57e77c683f46f46d657814b5717e0cf94", "gen_hash_zig": "sha256:40199c433de987a0df517e17991f7978d90af886d3988dd8c1ec3adae1c8d1db", "module": "TriRabinKarp", "ring": 12, - "sealed_at": "2026-08-28T20:32:32Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:b8c4bb5052b100a6e9fd6fdd7e3c760a73fa72ea05dddbe0c51bb2541dea0dff", "spec_path": "specs/tri/search/rabin_karp.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriRandom.json b/.trinity/seals/TriRandom.json index 8b872d7fb9..88a38e504c 100644 --- a/.trinity/seals/TriRandom.json +++ b/.trinity/seals/TriRandom.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:42725a269fa2ee9e264117b9e5c9aa19f56ca217e1a0793d6db121a7e93464cd", - "gen_hash_rust": "sha256:5eca51d57386c78b87fb670cbf6277807cc3ef63dc9d1322a49536f5bde66721", + "gen_hash_rust": "sha256:9b21d37b766f925a4c4b667eda60ebe7913e7bc0e54cef08df4c51e972935a3a", "gen_hash_verilog": "sha256:280903b4e8c1efe592ff56d5adc048cc8dee7784076d499bf7251ba046e427ab", "gen_hash_zig": "sha256:479e201ce8b2c99fb662635d780afa01051d2c7970065f31c92b04601695a51f", "module": "TriRandom", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:1ac48181d58fe5733740c1cb738f315f5abfbd2d36b6c6cdfe2ff44bc5788573", "spec_path": "specs/tri/utils/random.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriRbTree.json b/.trinity/seals/TriRbTree.json index 3bd5f3acbd..9025e1385b 100644 --- a/.trinity/seals/TriRbTree.json +++ b/.trinity/seals/TriRbTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:055d31fb648da62be0a7df171af334efd7185c7b2a4041055137ae0e7ef14d58", - "gen_hash_rust": "sha256:2473c533523a1ec8d6dd204d5370e1af89130241b70ccb7aa1bf6756f08836fe", + "gen_hash_rust": "sha256:f29ab613b33209f4c747e175428b9114fae2fa1de0da1a281a4cba2a0f263952", "gen_hash_verilog": "sha256:a439f0962be192dc3aa8a70f6145a1552a044d8426c64dd0e2f8813f059314ac", "gen_hash_zig": "sha256:0d7f2a40d0acda22116499e75fa3913f8ce1b1b70a25045d8cba281771ab902d", "module": "TriRbTree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:6e7314f664d45e80ed132829c617b1485c95fd263f8dbda7244c058800cecbfe", "spec_path": "specs/tri/trees/red_black_tree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriRtree.json b/.trinity/seals/TriRtree.json index 1df3cbc601..0727f29727 100644 --- a/.trinity/seals/TriRtree.json +++ b/.trinity/seals/TriRtree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c27758216771b9b426c5a84f7b3ce5899b3c5ff46b86b492056d0d8f0bc39cb4", - "gen_hash_rust": "sha256:51cf98a12ce522a83eb2220a9830b6705f0ea6fd8b186fd398675efeb87f74f7", + "gen_hash_rust": "sha256:6a9c5a7d561b2df055eea83fa0d0718f115cff3e7d69a54d1dc7a5a29c3f2bc4", "gen_hash_verilog": "sha256:f2b88ea34d692537c6cbaf7ae62d58f9786216786d8e22158136717c5d2d1ed0", "gen_hash_zig": "sha256:5d3e5b12907e9c0a36c9e619f4bf32c90f780a88416227646e129bd4e50aed94", "module": "TriRtree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:ee8ecc6ee599567979a46dc51bccd9cd04cf4aca2af157874eb528ad877353e9", "spec_path": "specs/tri/trees/rtree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriSegmentTree.json b/.trinity/seals/TriSegmentTree.json index 39b8e9de70..b77c434a44 100644 --- a/.trinity/seals/TriSegmentTree.json +++ b/.trinity/seals/TriSegmentTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:15cabb8d4ed16c16766deb436bc0ca2c351e74bbe8fc24ba7d30fba2a774d1bc", - "gen_hash_rust": "sha256:7acb9ad7d1b7b3a684029414fa276e3074ad2f2bb5daa47fc473537d844a7815", + "gen_hash_rust": "sha256:3e7ef766d257146367beec722b51b7b44036f371de50fb49227366a148903e78", "gen_hash_verilog": "sha256:4dfadfe87db015636954b16e3d97cfb36fb5e96c723851b0022d810e79470872", "gen_hash_zig": "sha256:c528455b879b24d3e37950a3a324f8299c911f985560b8d38d60f6211ae63378", "module": "TriSegmentTree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:d4fff09b1c7e86fca582abd18362a0dafd271e3e11b8bbdbe13f257d8e71a17d", "spec_path": "specs/tri/trees/segment_tree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriSet.json b/.trinity/seals/TriSet.json index 1e213693b6..383dd07dce 100644 --- a/.trinity/seals/TriSet.json +++ b/.trinity/seals/TriSet.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:9613b7c8f320bac36af110397bf7b0d1e290b0c2f86783209c1b4f40962784c4", - "gen_hash_rust": "sha256:48a66ec67d9eae55810826dd2a5fb14c48a0bb091cd0164d293a7aa8d8da470f", + "gen_hash_rust": "sha256:c59bd1633e9df6e3d40c5c67f20245d5a80b7da0d33ea891cb6b75030ec22fc7", "gen_hash_verilog": "sha256:a3f2edcb48986f07d75d8b5ec7e39b7308b6823f508a8bbcf4d84f1cb9d7e6a5", "gen_hash_zig": "sha256:3c40e78d01506a92d08946933a7d75abb7a8aabc3bec4df03d9389c19f5a974d", "module": "TriSet", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:b4efcdd7ff229ef26b03587176dbb0f75351666de1e6c689597be0322349e3dd", "spec_path": "specs/tri/collections/set.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriSha256.json b/.trinity/seals/TriSha256.json index 236fa43014..a141e43de3 100644 --- a/.trinity/seals/TriSha256.json +++ b/.trinity/seals/TriSha256.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:627a2c75837396557c5ebfd9da777c96e04dd33ab7eacb34c078ea132253fb20", - "gen_hash_rust": "sha256:f61540e3dbfcfa95b3a8f65e6e021ca213a3bdc21e560944351c642fd730cfd6", + "gen_hash_rust": "sha256:a4e33f8c912b861237321eafd6dd104435a50d790fb652b92f2ac423838dc121", "gen_hash_verilog": "sha256:79c6967edb8898c2cea006c689a2fcc6ee574649d8afb213e7e9255ef992ba28", "gen_hash_zig": "sha256:9686282945419d10b25b6f213e2573fda367c8ab3b6d29dfa739b337b6a815d7", "module": "TriSha256", "ring": 12, - "sealed_at": "2026-08-28T20:32:32Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:cd90917937862636ffbcfab0896cb640ea0e6e439fcd7a4280333872f4e5abae", "spec_path": "specs/tri/crypto/sha256.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriSkipList.json b/.trinity/seals/TriSkipList.json index 1b6e65f0c1..3dbf9e8b0d 100644 --- a/.trinity/seals/TriSkipList.json +++ b/.trinity/seals/TriSkipList.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:7729c78431e849e1b1513ba1e6bb7230b8d8e38adc94b570a593b9705f67fea6", - "gen_hash_rust": "sha256:8a481033fd581fd17f899e7b94748cbf774ca5dded39374a0dd79ac3a761ecc3", + "gen_hash_rust": "sha256:14447bf3c1841be5480199c2e79e058665dc611e9c32567ad81b83a9bea40643", "gen_hash_verilog": "sha256:50ce7aa5de03002378a1294a0cb60a1f4cbc91dfde4ee9c66a0f257feb39e374", "gen_hash_zig": "sha256:1e848f8de6d309cd60c52447a05ef5160713e237143172290352cbc04a1be1d9", "module": "TriSkipList", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:f0843acd6ae7dba69ea6ec147c0c3906d98911afc242457cb4856568be248324", "spec_path": "specs/tri/collections/skip_list.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriSplayTree.json b/.trinity/seals/TriSplayTree.json index 2a1446aa44..9983c4e717 100644 --- a/.trinity/seals/TriSplayTree.json +++ b/.trinity/seals/TriSplayTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:d7c112ffdfc81469da01e4b5f92513b90644ff136a49d154354233f9e42ff409", - "gen_hash_rust": "sha256:a76ccb060fc787e71def482cd5a8ff4f86938497fb7764a0e6e94004487aeb88", + "gen_hash_rust": "sha256:e45ca991f3a54dd6147cccb3cae75e10c6092964af45e0c2dfea6287b4f771d4", "gen_hash_verilog": "sha256:a9a8c310bc1bcb7124586b9e66dabe0f3dc634a1e0750f89544a16145ffaaee1", "gen_hash_zig": "sha256:2d74af8e57e1fd4eef1ccde72e2dea0ae324a69fe96145722a27dd8777e14484", "module": "TriSplayTree", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:a580e7e0ab08c1395f0a233f729efb3b8e2a0da6f1765afd5891fe4c1b456453", "spec_path": "specs/tri/trees/splay_tree.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriSuffixArray.json b/.trinity/seals/TriSuffixArray.json index 04a8b844a2..24ee1bee75 100644 --- a/.trinity/seals/TriSuffixArray.json +++ b/.trinity/seals/TriSuffixArray.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:f6c6a2fa530c53544f5fda7f4298a3712c0573113a514c31d946f4e2b630aafd", - "gen_hash_rust": "sha256:edbea1cc91f8c022ad012a2f4105f2312a96eb848bb5cbc6dbfa4a2022b35758", + "gen_hash_rust": "sha256:86f2abe7d3f4a4666d03a94fbe6fc38090e0305f6e9ac8167c0eebf76c99b0a6", "gen_hash_verilog": "sha256:6a6bad8ad2fc82fd2da6f4dce46659a97792547bb6b348e5226c626be60a3571", "gen_hash_zig": "sha256:000b7904931bf7fe2aa0d778295d903bbcd8d0b1b3786b9534dddb18fb4d566f", "module": "TriSuffixArray", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:46eb92bbb340ff3345a79d44ec05cd0169c5c2b8ae064619690c31479ac3e2c0", "spec_path": "specs/tri/trees/suffix_array.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/TriTrie.json b/.trinity/seals/TriTrie.json index 8fd342655b..8e9bcae35a 100644 --- a/.trinity/seals/TriTrie.json +++ b/.trinity/seals/TriTrie.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dbaea551a83dbeb3302415612fe55402f9f9c24bad77a0abc7903fa5149669ec", - "gen_hash_rust": "sha256:7ce3d8fbeab2e3ebd0653ef061b0444712702bb96063dcad96a8f15d1cc94e26", + "gen_hash_rust": "sha256:b984713bfcf0afbcfb034eb0578e350dac5df4832c05c5b58dce8054633ec406", "gen_hash_verilog": "sha256:92be6269928168a86cd2289199bb784ce3383d193966de87fce0e460437de5e9", "gen_hash_zig": "sha256:e87caaa2882c44de5510f6e1cbe09afd29ba4443ddc9a7b57a3a6645b3372c43", "module": "TriTrie", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:b0439804871b40fdec6d6bd98dfe3f658e7a091e0f7d378d5d9b78999a5335de", "spec_path": "specs/tri/trees/trie.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/VSASimilaritySearch.json b/.trinity/seals/VSASimilaritySearch.json index 7b453b5261..9d6269d071 100644 --- a/.trinity/seals/VSASimilaritySearch.json +++ b/.trinity/seals/VSASimilaritySearch.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:206ea9d69d20e1c99bcb0ad5e52fbc7b73b381e8fa5f2012548a6d835e9b4071", - "gen_hash_rust": "sha256:de0bb44c7c41c4388223dad4465bcf8a3cf364fd020b0738438cca38ebc0bf91", + "gen_hash_rust": "sha256:88d1fdc9f1f578f5d19476d6139e570cdf829843743ba06ef4b09b548fe78d8a", "gen_hash_verilog": "sha256:2f4eb6fa80e5fc5bf0d3a991c45a1f45646c9e8e3d3df69ce778ed7ad3afc10f", "gen_hash_zig": "sha256:5e1650631219e9101f17848b6326087685f4df42326921d318c26d7c426f8186", "module": "VSASimilaritySearch", "ring": 12, - "sealed_at": "2026-08-28T21:20:51Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:49d1e8ddabc30e6cc9e852ea156510b928d618264e25737e12cd57a2eb4d3de7", "spec_path": "specs/vsa/similarity_search.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/VcdConformanceCompare.json b/.trinity/seals/VcdConformanceCompare.json index 20eacace45..7c83e2f274 100644 --- a/.trinity/seals/VcdConformanceCompare.json +++ b/.trinity/seals/VcdConformanceCompare.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:bebe4293236c12fcb05617b1046fe7669bbf697fdcb4088e2fa1ff3b9086d389", - "gen_hash_rust": "sha256:9d0f4add709c8408e2f556e8d2cbfeef5455dfe807c713eff4d86f8ed010bb5d", + "gen_hash_rust": "sha256:22abdfabfa3d5f9e9c58b9616ace0673862d8f6adcbaee237b4f9b0547d9e02c", "gen_hash_verilog": "sha256:80938ff974db8c15abfd968ee837482063894ee01947eeed90a43d37415e7515", "gen_hash_zig": "sha256:694c791d243ca858524d94f91fc59b26bcf839ba2a3455cce96548d841a6721f", "module": "VcdConformanceCompare", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:59c9aed7248324467e2d13b458a60137da5b8b07f5116a484580f0dadc808cd8", "spec_path": "specs/fpga/vcd_conformance_compare.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/ast.json b/.trinity/seals/ast.json index 21a8298feb..71987da24b 100644 --- a/.trinity/seals/ast.json +++ b/.trinity/seals/ast.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:fbc813ecf388fc2f9e49d10409608df2cc50cf36339be1b0caf580759b70bc54", - "gen_hash_rust": "sha256:b3337bf43b59126bf1f8acdcd4a23fc8bb20dee58ac9c2c7064d840d2ea520a7", + "gen_hash_rust": "sha256:4d632cb70056fba8e074acfe5f6182d677fe3232fad695be9e329536641afb04", "gen_hash_verilog": "sha256:13ea818e724f76ac3ef3b457c21d71c31b7b264c3d6c2eee30dc61229eb1eb41", "gen_hash_zig": "sha256:bdd1ec462b75bcb51ac79de0aefbf275aa1e9d13c755d5049dc418561c642d49", "module": "ast", "ring": 12, - "sealed_at": "2026-08-28T20:32:32Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:28bfcdf211a0360991fe8d89dc376440d2144b936e030f81e0b5794a1c0eeb00", "spec_path": "compiler/ast.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/base_TernaryMemory.json b/.trinity/seals/base_TernaryMemory.json index 010de1a96e..9aa5c2c88c 100644 --- a/.trinity/seals/base_TernaryMemory.json +++ b/.trinity/seals/base_TernaryMemory.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:656599617930f341fa85bed0034163994c714ea5edb132d372de548161e08264", - "gen_hash_rust": "sha256:f3a10e873a4c6c8e0c2e8a5495331b43bfbfa226f30cfbdcca12e880cd649872", + "gen_hash_rust": "sha256:880dca99ba1fc76a0026b71db355512908b4949156156afff00fe71cfeb8e1c8", "gen_hash_verilog": "sha256:1efd07e76df1ef8cf318fb8bcba5e02fa3ce32177798fa109110a0e2a1ed550e", "gen_hash_zig": "sha256:3055a586a783d55f0c842b10c1319a0219bbdc7fc2c878123168435b89052774", "module": "TernaryMemory", "ring": 12, - "sealed_at": "2026-09-06T04:36:42Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:9a7a252b0234051663b7a9a6f9712ceb2b15501140378ef156612ab574aec6ae", "spec_path": "specs/base/ternary_memory.t27" diff --git a/.trinity/seals/collections_TriBitmap.json b/.trinity/seals/collections_TriBitmap.json index db504d95e2..c9729c066b 100644 --- a/.trinity/seals/collections_TriBitmap.json +++ b/.trinity/seals/collections_TriBitmap.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:03fd110e155b98a0da691cb7cc304d463cff8bbf717edae3fd7e0ac1bf88966d", - "gen_hash_rust": "sha256:2e20dfbd30d677a14b262415ca84b6143365771951551d6e61c751dc35211d19", + "gen_hash_rust": "sha256:f266f8574f38e0ddf1913b590acc7c93437c15e3b8c68ada08e23fcef2f5f4b2", "gen_hash_verilog": "sha256:01633aa4dd0c8c1519ac90f771ecf59c2c61cb5e7a91d6824c616d02a32610ff", "gen_hash_zig": "sha256:8dd8f1d638d714bf811c55349ae8f3e6c75465acf5baa16e7e06711bc03acdc6", "module": "TriBitmap", "ring": 12, - "sealed_at": "2026-09-05T00:40:42Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:d6cfadd5f9822b72f668e6bc15734c3939b9350e60c68212e5666ae882e443c0", "spec_path": "specs/tri/collections/bitmap.t27" diff --git a/.trinity/seals/collections_TriBitvector.json b/.trinity/seals/collections_TriBitvector.json index 698a659be4..c8929302cf 100644 --- a/.trinity/seals/collections_TriBitvector.json +++ b/.trinity/seals/collections_TriBitvector.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:0b7e16403fc62c798570465ba5435d138c1be4d92a8359a998364f82f89d5eea", - "gen_hash_rust": "sha256:58039a7f7771c32b739330bcca6bb1d04552e3d65e63160144ea37ae4f889ea6", + "gen_hash_rust": "sha256:04c82c1c3a68752ea2bf3d27526a28cdf0d5f381c1b673db8fdc3f6acdd951c5", "gen_hash_verilog": "sha256:c4e975b8d5291153132ce92bf34c086fc2156ce45eeb53bdcd87215e449b4041", "gen_hash_zig": "sha256:980aadb9b6fd6f075573e965222c93653215b5f77b0b5bd82779c504e352b850", "module": "TriBitvector", "ring": 12, - "sealed_at": "2026-09-05T00:40:42Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:32446899fb19eea9b774bf3a79dcba5212af07c832499cf0710ffb9dfdd612b1", "spec_path": "specs/tri/collections/bitvector.t27" diff --git a/.trinity/seals/collections_TriBtree.json b/.trinity/seals/collections_TriBtree.json index 2fda07b9d8..03f13bab7f 100644 --- a/.trinity/seals/collections_TriBtree.json +++ b/.trinity/seals/collections_TriBtree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:37fcd6547c22810263de5293232f8434cc8259aebcfeae29e6ac0a7c9fe9b43b", - "gen_hash_rust": "sha256:a157249a44323d5678a5f396ef52f8865674f2e83b28cdaf61fb4771ebe37317", + "gen_hash_rust": "sha256:bdd0119d73070859bd3886670b67ddc0513e208101f8d78d4049897bfe82def7", "gen_hash_verilog": "sha256:15670c489813dc9fb696c490b0d2c75f6ca1bf1e3da74b328c9b155f145b220a", "gen_hash_zig": "sha256:fda77efcc6e6aae46d008864950dd5894b5843fb42e6de4544cbc35e4a49bb1b", "module": "TriBtree", "ring": 12, - "sealed_at": "2026-09-05T02:40:53Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:c800d8ce1a5f38e34d3755a0edbe898492fb8d83e571a18581b595c49fb8b5d8", "spec_path": "specs/tri/collections/btree.t27" diff --git a/.trinity/seals/collections_TriCircularBuffer.json b/.trinity/seals/collections_TriCircularBuffer.json index 2fa9be1375..369172c0f8 100644 --- a/.trinity/seals/collections_TriCircularBuffer.json +++ b/.trinity/seals/collections_TriCircularBuffer.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:4793994f6748c997a123394038b26765dcfbf4342450bf9d2b75bbdf8d862463", - "gen_hash_rust": "sha256:c5fe4c858e2cc3340cd07669024c9ff805d106a5417b1b3b5cc67b4a2e0d0f9f", + "gen_hash_rust": "sha256:16222d9828332fc99f6c50a6c6137a95c2490fb77c1f722e97019e7ee0765f2c", "gen_hash_verilog": "sha256:14ea79c0867b3077ca828290ff0656bc30b192d348c5b66f17b45777924be16e", "gen_hash_zig": "sha256:8cc81856d5da9ddb5a088976731ebeae7be6b2aaf8201eee731200b09768362b", "module": "TriCircularBuffer", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:9a8156c31cf1ff378730d53a4e55d2265fb101558dabfa1c3cf9f3c9e3e3ed5a", "spec_path": "specs/tri/collections/circular_buffer.t27" diff --git a/.trinity/seals/collections_TriDeque.json b/.trinity/seals/collections_TriDeque.json index 9895d08ea1..84b7459b24 100644 --- a/.trinity/seals/collections_TriDeque.json +++ b/.trinity/seals/collections_TriDeque.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c1bce9126c27224b6ae84f8e68f0a6c331c4dcfeac2bd9f6516657c13d26c1cd", - "gen_hash_rust": "sha256:467454d2c24bbdc0168303824a69583862c515b5afb95b3bce149f6298767353", + "gen_hash_rust": "sha256:60e7383f19fc6bf22594c3280aa14ad2695672a9f3fe4c72873a14375700a581", "gen_hash_verilog": "sha256:b8e3b8d2f5e5faacef71002092ea5cb0bf88dd55b40219c6ce82159cb74826f8", "gen_hash_zig": "sha256:7b314c75649a1d0ca9c4c3a911f24ae5f4cb3cfd4de615d6cb511205aa19df9f", "module": "TriDeque", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:90ea646b1c7dd08e161b4da050eef9fc3f35e864726f9e4ada54c09cfa29153f", "spec_path": "specs/tri/collections/deque.t27" diff --git a/.trinity/seals/collections_TriLinkedList.json b/.trinity/seals/collections_TriLinkedList.json index 1094f48a42..2e321b160f 100644 --- a/.trinity/seals/collections_TriLinkedList.json +++ b/.trinity/seals/collections_TriLinkedList.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:24973c2e300a0a88db9ca2039d8bfb7ed18cc408ccf22acbcc435ac2e473f365", - "gen_hash_rust": "sha256:428047f5cf573a30fb54b11ae32987750b200b9ba01ad7dec87c8a911c03b45f", + "gen_hash_rust": "sha256:23babb4d6362acd4cb514e0f5aa4a44a63a075819a6e927ff77f1360aeaed801", "gen_hash_verilog": "sha256:6c52068e721a7503b2bd566c20bf4435c36545b991f689fb4b5e38227b42f7e7", "gen_hash_zig": "sha256:32622c710581aca2415f300aed3c02dad83c1c53136677df3cdcdca5f8df44d3", "module": "TriLinkedList", "ring": 12, - "sealed_at": "2026-09-06T07:44:28Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:5171edf6089a238976e6fad2ba577ed72cff191cf634ee94c28645f3551f9ffc", "spec_path": "specs/tri/collections/linked_list.t27" diff --git a/.trinity/seals/collections_TriLockfreeStack.json b/.trinity/seals/collections_TriLockfreeStack.json index 94087cf931..f84b90334a 100644 --- a/.trinity/seals/collections_TriLockfreeStack.json +++ b/.trinity/seals/collections_TriLockfreeStack.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:8e3cf8f897b60092c5fd43ea1448de45f7e278c2badd722f7886f2da3183794b", - "gen_hash_rust": "sha256:d58d122a44826c00b68786124a28624073967f88f766acc712869971dfb9c946", + "gen_hash_rust": "sha256:a56f679970b116d27629916be6d54720d1bbb0afa486d4705c3063f0d7b0e94f", "gen_hash_verilog": "sha256:88c31bb8eadac951b3acb174b8ae7eb5734c9651ad59f419f97636f9fb416e6b", "gen_hash_zig": "sha256:c71ade83b0f2019f02954db4350abb4b2ed178bc2e322935cdf843545b233339", "module": "TriLockfreeStack", "ring": 12, - "sealed_at": "2026-09-05T00:40:42Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:05f3fec4bc98246246aa5cfa04b845862c7f71326f9892120aad67a1dfc8e670", "spec_path": "specs/tri/collections/lockfree_stack.t27" diff --git a/.trinity/seals/collections_TriLru.json b/.trinity/seals/collections_TriLru.json index 02f362a268..7afab43000 100644 --- a/.trinity/seals/collections_TriLru.json +++ b/.trinity/seals/collections_TriLru.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:947ed3a8df75a4a9ee4c54311c70b9edda1739216d72be28f3cfdaf80958303d", - "gen_hash_rust": "sha256:9102ac246ade61f92cd79840980dab11b75512a086a587d32d2fb2081204f174", + "gen_hash_rust": "sha256:94d940bdb8f29f292fd7c5a8df357865182bc35560b36b43477aa584eab1be35", "gen_hash_verilog": "sha256:ebf3050832135b9ec9b6e2480889eabd422468317d7d06e3efa054d06df833cc", "gen_hash_zig": "sha256:db41d91af86d45b14de051a11a9259b1534b93caa7e01d2c3c4ca2abe0607f5d", "module": "TriLru", "ring": 12, - "sealed_at": "2026-09-06T07:17:01Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:d42e1ac02e6c07db9accf712b9f83035a8257e7c5c15d691a2da4bdcccc3faf6", "spec_path": "specs/tri/collections/lru.t27" diff --git a/.trinity/seals/collections_TriLruCache.json b/.trinity/seals/collections_TriLruCache.json index fcffc08d65..26dc8cda9c 100644 --- a/.trinity/seals/collections_TriLruCache.json +++ b/.trinity/seals/collections_TriLruCache.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:52ffcad7d3aa16f27f283935cdccf5e4fc7a2025124cb64edb811c18e9d3498d", - "gen_hash_rust": "sha256:a2325fd8e000bb0500e88c84c277523babe42e277a280ff8e8c664eaf839e117", + "gen_hash_rust": "sha256:0616b8fe58598451d601ee03a8f0d02412c32e30ad219269ecf506a8fd719abb", "gen_hash_verilog": "sha256:802c92c797077113f131a1ebc41110d3c9818c5ed6bf5ea949f177c1153631a3", "gen_hash_zig": "sha256:7718a6afd365a911a6a0d0413cc7ecd36765641fa2454460e330127fbb735f99", "module": "TriLruCache", "ring": 12, - "sealed_at": "2026-09-05T02:40:53Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:346a15f33a83f1587b8c61955907f492ac291d4c687970a47a655ceb52d9be35", "spec_path": "specs/tri/collections/lru_cache.t27" diff --git a/.trinity/seals/collections_TriPriorityQueue.json b/.trinity/seals/collections_TriPriorityQueue.json index 8bf8e392cf..35d661bd31 100644 --- a/.trinity/seals/collections_TriPriorityQueue.json +++ b/.trinity/seals/collections_TriPriorityQueue.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:cc221c3e7dae3db412be0d8c3114b921b1752bb94ecbbb5554ea271ba91ddfd2", - "gen_hash_rust": "sha256:2c9345c2976829c1b53586b7c3a920c0e24e125a4c0744b555a614dc21719193", + "gen_hash_rust": "sha256:12ba034c42368f17cfc7c0819c942cc1fcb02c5eec06e13ad7faef14631d8e91", "gen_hash_verilog": "sha256:bcb556abcabb1b6a1e164a62c3fcf1d1ffa37f4235af9679d5656e44baf46be4", "gen_hash_zig": "sha256:b31765e2d1842a1e76e950b25767b5556b06f7d62ebc28f721fc17c1be744712", "module": "TriPriorityQueue", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:a1d8952a42208b161d951d524922fe049963a312a15721e7e5d5c95097729812", "spec_path": "specs/tri/collections/priority_queue.t27" diff --git a/.trinity/seals/collections_TriSet.json b/.trinity/seals/collections_TriSet.json index 2e222fcf46..c5cec88a4b 100644 --- a/.trinity/seals/collections_TriSet.json +++ b/.trinity/seals/collections_TriSet.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:9613b7c8f320bac36af110397bf7b0d1e290b0c2f86783209c1b4f40962784c4", - "gen_hash_rust": "sha256:48a66ec67d9eae55810826dd2a5fb14c48a0bb091cd0164d293a7aa8d8da470f", + "gen_hash_rust": "sha256:c59bd1633e9df6e3d40c5c67f20245d5a80b7da0d33ea891cb6b75030ec22fc7", "gen_hash_verilog": "sha256:a3f2edcb48986f07d75d8b5ec7e39b7308b6823f508a8bbcf4d84f1cb9d7e6a5", "gen_hash_zig": "sha256:3c40e78d01506a92d08946933a7d75abb7a8aabc3bec4df03d9389c19f5a974d", "module": "TriSet", "ring": 12, - "sealed_at": "2026-09-06T07:17:01Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:b4efcdd7ff229ef26b03587176dbb0f75351666de1e6c689597be0322349e3dd", "spec_path": "specs/tri/collections/set.t27" diff --git a/.trinity/seals/collections_TriSkipList.json b/.trinity/seals/collections_TriSkipList.json index 3b47de86ef..d79cb742d7 100644 --- a/.trinity/seals/collections_TriSkipList.json +++ b/.trinity/seals/collections_TriSkipList.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:7729c78431e849e1b1513ba1e6bb7230b8d8e38adc94b570a593b9705f67fea6", - "gen_hash_rust": "sha256:8a481033fd581fd17f899e7b94748cbf774ca5dded39374a0dd79ac3a761ecc3", + "gen_hash_rust": "sha256:14447bf3c1841be5480199c2e79e058665dc611e9c32567ad81b83a9bea40643", "gen_hash_verilog": "sha256:50ce7aa5de03002378a1294a0cb60a1f4cbc91dfde4ee9c66a0f257feb39e374", "gen_hash_zig": "sha256:1e848f8de6d309cd60c52447a05ef5160713e237143172290352cbc04a1be1d9", "module": "TriSkipList", "ring": 12, - "sealed_at": "2026-09-05T02:40:54Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:f0843acd6ae7dba69ea6ec147c0c3906d98911afc242457cb4856568be248324", "spec_path": "specs/tri/collections/skip_list.t27" diff --git a/.trinity/seals/compiler_Optimization.json b/.trinity/seals/compiler_Optimization.json index e165d8d5ab..3a0bec7bba 100644 --- a/.trinity/seals/compiler_Optimization.json +++ b/.trinity/seals/compiler_Optimization.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:0c2cfa8557327603ffdb64880da1b6352149809c4b8dad8246a35a4aaa467797", - "gen_hash_rust": "sha256:8f06aaff7d82b720a09debce980df167eb04abceeea6d45b8bce552d29af4f1e", + "gen_hash_rust": "sha256:8196ceb1a913e6fddfe096f9327e53430918b9c254dc5caec5594caac582bba0", "gen_hash_verilog": "sha256:113fb9929b21760730fc6ed7973115aaddd4900904d6e4b1078edc784d17f98b", "gen_hash_zig": "sha256:a118a6d8b416f2c3ca73b234b94082d54c586122c6c189b425baea9c13631ed2", "module": "Optimization", "ring": 12, - "sealed_at": "2026-09-06T04:36:42Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:98ba1a67d94856b42f06d5db6c3c2a8499bcf955d74c5543c9cb630797815d4a", "spec_path": "specs/compiler/optimizer.t27" diff --git a/.trinity/seals/compiler_Stdlib.json b/.trinity/seals/compiler_Stdlib.json index 3afdf2ce33..53457c5c4b 100644 --- a/.trinity/seals/compiler_Stdlib.json +++ b/.trinity/seals/compiler_Stdlib.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c4defc764fa52c8f35b68f6d8955442280350b6a1e3249cde12a06129dc17934", - "gen_hash_rust": "sha256:a49554ef306a5b44b33f26f55e807ddaa43bb7b8efc19f0a0d50f76c247795ed", + "gen_hash_rust": "sha256:0c79ceb8200f0b3cfb0ba3f2ca69a9070b836d04be4398752ca5ef85d69e68fb", "gen_hash_verilog": "sha256:0fbe2562d41ec62b770dd7063579c83c185574c9b2f0c273e5628b513135c29d", "gen_hash_zig": "sha256:bcca39bc747284afd1becdace3115c9ab45b9843e48952268898400cf92d498a", "module": "Stdlib", "ring": 12, - "sealed_at": "2026-09-06T04:36:42Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:fb78ae12983cc5b08cc552910a1088eec6c5b078c40053f127f75b516b3a0c8d", "spec_path": "specs/compiler/stdlib.t27" diff --git a/.trinity/seals/compiler_ast.json b/.trinity/seals/compiler_ast.json index 2742b43d04..cfb966478b 100644 --- a/.trinity/seals/compiler_ast.json +++ b/.trinity/seals/compiler_ast.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:fbc813ecf388fc2f9e49d10409608df2cc50cf36339be1b0caf580759b70bc54", - "gen_hash_rust": "sha256:b3337bf43b59126bf1f8acdcd4a23fc8bb20dee58ac9c2c7064d840d2ea520a7", + "gen_hash_rust": "sha256:4d632cb70056fba8e074acfe5f6182d677fe3232fad695be9e329536641afb04", "gen_hash_verilog": "sha256:13ea818e724f76ac3ef3b457c21d71c31b7b264c3d6c2eee30dc61229eb1eb41", "gen_hash_zig": "sha256:bdd1ec462b75bcb51ac79de0aefbf275aa1e9d13c755d5049dc418561c642d49", "module": "ast", "ring": 12, - "sealed_at": "2026-09-07T21:07:02Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:28bfcdf211a0360991fe8d89dc376440d2144b936e030f81e0b5794a1c0eeb00", "spec_path": "compiler/ast.t27" diff --git a/.trinity/seals/config-schema.json b/.trinity/seals/config-schema.json index 54e1b0f917..5992a1cf7b 100644 --- a/.trinity/seals/config-schema.json +++ b/.trinity/seals/config-schema.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:351be5835363be24216250c0143f5d1b2c244077fa1edc4a627c864915cf48a5", - "gen_hash_rust": "sha256:008f8cb2cf3b02e447c80503ad01a089949291765cd1fa7e0720fd57b29a5293", + "gen_hash_rust": "sha256:9b328fc5a57f91e09260125b96c8d6e2aafb37532e10db0d8111ba3f454a6190", "gen_hash_verilog": "sha256:efca8929a18fbb352ddd1406838101747dc9867fe2f2d62a5d7f17721af1e5ea", "gen_hash_zig": "sha256:2252857d709383b22d6968117fb5d48506f7f552b8e7b363147672bdeb12db2e", "module": "config-schema", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:be6457186936be3d51890416d5440ada3e39561297380e983ae709eca28d727a", "spec_path": "specs/config/schema.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/config_config-schema.json b/.trinity/seals/config_config-schema.json index 6ca93977b9..cd6ce6848e 100644 --- a/.trinity/seals/config_config-schema.json +++ b/.trinity/seals/config_config-schema.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:351be5835363be24216250c0143f5d1b2c244077fa1edc4a627c864915cf48a5", - "gen_hash_rust": "sha256:008f8cb2cf3b02e447c80503ad01a089949291765cd1fa7e0720fd57b29a5293", + "gen_hash_rust": "sha256:9b328fc5a57f91e09260125b96c8d6e2aafb37532e10db0d8111ba3f454a6190", "gen_hash_verilog": "sha256:efca8929a18fbb352ddd1406838101747dc9867fe2f2d62a5d7f17721af1e5ea", "gen_hash_zig": "sha256:2252857d709383b22d6968117fb5d48506f7f552b8e7b363147672bdeb12db2e", "module": "config-schema", "ring": 12, - "sealed_at": "2026-09-07T21:07:02Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:be6457186936be3d51890416d5440ada3e39561297380e983ae709eca28d727a", "spec_path": "specs/config/schema.t27" diff --git a/.trinity/seals/crypto_TriEcc.json b/.trinity/seals/crypto_TriEcc.json index c4ec31c122..92baed2e17 100644 --- a/.trinity/seals/crypto_TriEcc.json +++ b/.trinity/seals/crypto_TriEcc.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:ff459d539e511ff379aba4d4b7a81f152c55d9d5a3b9da325f4deee22e2b64ac", - "gen_hash_rust": "sha256:032f88cc1362e74d17912528c1976f4b48e0ad2206c180498b5d9654fae9546c", + "gen_hash_rust": "sha256:c477f7a9e4f7521c184e6b2c4958515d76eb9135bae0bc418a289e93f090576b", "gen_hash_verilog": "sha256:5d732ed539dadc5aa551eab3185a7619d1bc6133ed1847374fcfcd93ab4d97db", "gen_hash_zig": "sha256:24e8256d8f0a25ba7a18315c9c58f81e87be1a4034d7fc1f7d3a8e8a5d6f1e88", "module": "TriEcc", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:e111bef882601ff39e589072facac4a3d4501cf3f8f3c0edbb089981db7379c4", "spec_path": "specs/tri/crypto/ecc.t27" diff --git a/.trinity/seals/crypto_TriHmac.json b/.trinity/seals/crypto_TriHmac.json index 7bda881974..def8600504 100644 --- a/.trinity/seals/crypto_TriHmac.json +++ b/.trinity/seals/crypto_TriHmac.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dd0802dcda2f6c02b5c28751214dc5bb5f8c47fd7cd4fe38ef278d0eaac24f27", - "gen_hash_rust": "sha256:ae16a871593bcdc26ffd4b83d2a0045b3337746d8e4557335613ef0e3c0416b0", + "gen_hash_rust": "sha256:7df96a445b13d90a8874365a6db13285612c1c13ab0e28ccba2ea29615a9beff", "gen_hash_verilog": "sha256:a56a85f72bcf0ea5d2281014919a9ac23b8961a4e05241d5ccfa1ca3ffe62f28", "gen_hash_zig": "sha256:feeddfe4666e0e5c0c98614e8ed0ba9cff7ee779f4ef7ff00dec38d325367e83", "module": "TriHmac", "ring": 12, - "sealed_at": "2026-09-05T09:02:10Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:c9c294acdc2a491ad74598e51c3b2137b1b51b970d326765ce489445e76df2a8", "spec_path": "specs/tri/crypto/hmac.t27" diff --git a/.trinity/seals/crypto_TriSha256.json b/.trinity/seals/crypto_TriSha256.json index 1fd0332856..e1ef135a3f 100644 --- a/.trinity/seals/crypto_TriSha256.json +++ b/.trinity/seals/crypto_TriSha256.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:627a2c75837396557c5ebfd9da777c96e04dd33ab7eacb34c078ea132253fb20", - "gen_hash_rust": "sha256:f61540e3dbfcfa95b3a8f65e6e021ca213a3bdc21e560944351c642fd730cfd6", + "gen_hash_rust": "sha256:a4e33f8c912b861237321eafd6dd104435a50d790fb652b92f2ac423838dc121", "gen_hash_verilog": "sha256:79c6967edb8898c2cea006c689a2fcc6ee574649d8afb213e7e9255ef992ba28", "gen_hash_zig": "sha256:9686282945419d10b25b6f213e2573fda367c8ab3b6d29dfa739b337b6a815d7", "module": "TriSha256", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:cd90917937862636ffbcfab0896cb640ea0e6e439fcd7a4280333872f4e5abae", "spec_path": "specs/tri/crypto/sha256.t27" diff --git a/.trinity/seals/encoding_TriCsv.json b/.trinity/seals/encoding_TriCsv.json index eb7761bdd3..12d80126bb 100644 --- a/.trinity/seals/encoding_TriCsv.json +++ b/.trinity/seals/encoding_TriCsv.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:812db2f4751cb28ca9193ce32492c97676efc3f685e290e53c79a3dd4d0ac0eb", - "gen_hash_rust": "sha256:c323d12c398d4e7b667a3e1b8845a20b1a9ee2e009624b6f4ae7cd85918cfeef", + "gen_hash_rust": "sha256:bef2bbe404e31d1d92024819a60128ca781853aa047452dc70286951ea70cd32", "gen_hash_verilog": "sha256:efc07ea189b19a5b4d93110d5d71404eebabb32a191a27bec3910dd21ec01a0c", "gen_hash_zig": "sha256:a8cd77fdaabdf5a2828f99bf79690b9ffa5b7246bc631997a51860fe61c34340", "module": "TriCsv", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:c9417445533676df65424ac0b373d1c1c21d3f92542dfbd77e61a06a0a2f60d1", "spec_path": "specs/tri/encoding/csv.t27" diff --git a/.trinity/seals/fpga_VcdConformanceCompare.json b/.trinity/seals/fpga_VcdConformanceCompare.json index 8080518ba6..7b1c286b05 100644 --- a/.trinity/seals/fpga_VcdConformanceCompare.json +++ b/.trinity/seals/fpga_VcdConformanceCompare.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:bebe4293236c12fcb05617b1046fe7669bbf697fdcb4088e2fa1ff3b9086d389", - "gen_hash_rust": "sha256:9d0f4add709c8408e2f556e8d2cbfeef5455dfe807c713eff4d86f8ed010bb5d", + "gen_hash_rust": "sha256:22abdfabfa3d5f9e9c58b9616ace0673862d8f6adcbaee237b4f9b0547d9e02c", "gen_hash_verilog": "sha256:80938ff974db8c15abfd968ee837482063894ee01947eeed90a43d37415e7515", "gen_hash_zig": "sha256:694c791d243ca858524d94f91fc59b26bcf839ba2a3455cce96548d841a6721f", "module": "VcdConformanceCompare", "ring": 12, - "sealed_at": "2026-09-06T04:36:42Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:59c9aed7248324467e2d13b458a60137da5b8b07f5116a484580f0dadc808cd8", "spec_path": "specs/fpga/vcd_conformance_compare.t27" diff --git a/.trinity/seals/graph_TriDijkstra.json b/.trinity/seals/graph_TriDijkstra.json index 3276bcc51b..be22040869 100644 --- a/.trinity/seals/graph_TriDijkstra.json +++ b/.trinity/seals/graph_TriDijkstra.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:58b682551aee306091800327751893be7d9f8ebd26254d8c9faf9e7fcce5d969", - "gen_hash_rust": "sha256:3a6d21029ff9f479801a0cb1fa0cf33af6ac807686a48ca95974d505a4bb0ed7", + "gen_hash_rust": "sha256:0ae09cf0782e19e9757d86ab674b17a2a86276a86f2fb1b5cdb0b5eb373429a3", "gen_hash_verilog": "sha256:7ffaff1c8161da07cbe8592c23b98b82dc8ef3b158e37d36f8861bc78b430ffb", "gen_hash_zig": "sha256:fa0e3b08b2bd6205dcd04415a26d16f2d9738a2b6eef5f24d30084668d6d3bec", "module": "TriDijkstra", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:80644bdb5652ccafba32d06857d8f4d260863c4e91590cd6fbc7737350a090b6", "spec_path": "specs/tri/graph/dijkstra.t27" diff --git a/.trinity/seals/graph_TriDisjointSet.json b/.trinity/seals/graph_TriDisjointSet.json index 6ad404a567..c73750e5d1 100644 --- a/.trinity/seals/graph_TriDisjointSet.json +++ b/.trinity/seals/graph_TriDisjointSet.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:ea299a2e237cafdd12569aa26d92164a0225be37867c6521d05bb517fc813dbd", - "gen_hash_rust": "sha256:c41d45207ba172393580dd7cbf5dbb9c7e0052f400bbc90a678556cff3c6aaf0", + "gen_hash_rust": "sha256:7649ca977527f22980fdd556f5d4c1d17f179a0b5daa0a7ddf5620b7439afe29", "gen_hash_verilog": "sha256:a990448d071eea7c4da91f9c5ab713c0fca67385413843942c947c94dc4a196c", "gen_hash_zig": "sha256:300f5e4aad007caa0839c7a895eac121d8c9301523b5b9e921df08cda72f535c", "module": "TriDisjointSet", "ring": 12, - "sealed_at": "2026-09-06T02:45:08Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:57308c312e2d9233223984d19e928d0583684571434c32a42d5c66810c8a07da", "spec_path": "specs/tri/graph/disjoint_set.t27" diff --git a/.trinity/seals/graph_TriGraph.json b/.trinity/seals/graph_TriGraph.json index 2780ca5e5b..fb453e60aa 100644 --- a/.trinity/seals/graph_TriGraph.json +++ b/.trinity/seals/graph_TriGraph.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:e211780c0b7bbd8a861e059d0708e5bea52674ead30efcaa1eebcfdd16cf51dc", - "gen_hash_rust": "sha256:a21c1de6323c0a5301195c9b479469b20273ec5e8ffe093ea8863676aacbce1f", + "gen_hash_rust": "sha256:77f1edd3410601654eef95c7d42443934348d27159215a21562736366339df94", "gen_hash_verilog": "sha256:c0bd9cddefce72cfb629855f772f6a0d31cf7b538c6132d8a16859dc17becdf7", "gen_hash_zig": "sha256:444d15ecc025e0b172fc8594054a13177a0e5496a32390d4261857b5ef804f90", "module": "TriGraph", "ring": 12, - "sealed_at": "2026-09-06T07:17:01Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:121f7a349ba5b7b672b90a9f372f575e9530ef68756c687660ed6ef029278fc5", "spec_path": "specs/tri/graph/graph.t27" diff --git a/.trinity/seals/graph_TriGraphBfs.json b/.trinity/seals/graph_TriGraphBfs.json index bfc6f383fe..196ee4ead3 100644 --- a/.trinity/seals/graph_TriGraphBfs.json +++ b/.trinity/seals/graph_TriGraphBfs.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:cb8453baaf1948b61146ab24e055d7445d5c11a596547b4b6ca63e109f88443a", - "gen_hash_rust": "sha256:5914d44c36ca897719b319534ca6169c36442aeca17fc0c79dc64879676c10b8", + "gen_hash_rust": "sha256:12115afda40a0853924c4db4f1a045249cad903ef5818f60078d1706a6f17841", "gen_hash_verilog": "sha256:76fd927fe39d15fa9e37c92fff35cd244cbb8b67d77c6bf7120a7db04f9e1f1d", "gen_hash_zig": "sha256:e5b0bf5c7128d81f1cd08f4e19da7962ba399830980d52d81cbf1b9646ab3446", "module": "TriGraphBfs", "ring": 12, - "sealed_at": "2026-09-06T05:46:33Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:55ca27e208e92c9ce5e0837c48e6739288aa2f808600458c022701d17fbc718b", "spec_path": "specs/tri/graph/graph_bfs.t27" diff --git a/.trinity/seals/graph_TriGraphDfs.json b/.trinity/seals/graph_TriGraphDfs.json index d5d754dd54..c73dd03317 100644 --- a/.trinity/seals/graph_TriGraphDfs.json +++ b/.trinity/seals/graph_TriGraphDfs.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:049d32d764102c09023dfcf7fddeff03af9e1957c87b13294c5300f704fdfda6", - "gen_hash_rust": "sha256:f479ba76d8786357b39cd429c129ed1049a006232bfab5d46ae6b5796e34d6f3", + "gen_hash_rust": "sha256:f5ebeace42366a439e14ba52ba830794e259b5704c04efa41b368d4c55944cff", "gen_hash_verilog": "sha256:64f4510a848d4b634073268308a67a6683a40a517b19022861ab03f9679260a9", "gen_hash_zig": "sha256:1bea7c101d227edaaf1fdd0ac97eba64f0475e68e065e352a6ff4806e9b91a98", "module": "TriGraphDfs", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:52f14c10cd747985da3a530220dbcd8de5079ded7c63466f3524939c07beee1c", "spec_path": "specs/tri/graph/graph_dfs.t27" diff --git a/.trinity/seals/graph_TriPrimsMst.json b/.trinity/seals/graph_TriPrimsMst.json index 0b98c24d27..fb37bf6b84 100644 --- a/.trinity/seals/graph_TriPrimsMst.json +++ b/.trinity/seals/graph_TriPrimsMst.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dda02f4145e518fcfc7276eb3c76afbfbe952ee844b8849861c5bce9d8a2aa24", - "gen_hash_rust": "sha256:64b44cd3b47c7ead89c823866bce6c4748fa98c25c2d861485c647c278e5d1a2", + "gen_hash_rust": "sha256:78d6deebc1b5d3b20bc6827921529366c492bd6e872e6a437cdb82660663a007", "gen_hash_verilog": "sha256:ce9b7ea89c2f54e49eefd01354aaca801e90877693888fc4dcf96e9816385bca", "gen_hash_zig": "sha256:4de1fa59c6e477e545267d067c33fed701550a2f018f4b23972e3c227b0adbe6", "module": "TriPrimsMst", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:3751f1916cc2dfcd00373c6f4f89f47b1fe38caa1cf1985ddb113ef7dffa2d00", "spec_path": "specs/tri/graph/prims_mst.t27" diff --git a/.trinity/seals/isa_ISAMemoryOps.json b/.trinity/seals/isa_ISAMemoryOps.json index f8d8acae62..7529081201 100644 --- a/.trinity/seals/isa_ISAMemoryOps.json +++ b/.trinity/seals/isa_ISAMemoryOps.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:b70939671bf1b1d1887cdf48849eac3ca259d4873dccc903f138a628bfbc6c43", - "gen_hash_rust": "sha256:91a555c433771d6c0bdd6ae1acc2741f6579e19fd6b64bd672963845de7f7943", + "gen_hash_rust": "sha256:84ca0522a1d6ab82cc528ba3137e24cc7492757b2882a559b6aedd82e3c53969", "gen_hash_verilog": "sha256:0dccef9c3c538ea2399276395a58aaa116f002a42e4180c75d46756cb9f56e0b", "gen_hash_zig": "sha256:984555983de66f9deaf7218dfdccf7aa0fd2cce634fa36766596027e1bd2f2d4", "module": "ISAMemoryOps", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:29ad72599016b8ced9266c0cce3604e11222c3e7d569768312df89903088cff3", "spec_path": "specs/isa/ternary_memory.t27" diff --git a/.trinity/seals/isa_TernaryControlFlow.json b/.trinity/seals/isa_TernaryControlFlow.json index 960794c098..d798119f44 100644 --- a/.trinity/seals/isa_TernaryControlFlow.json +++ b/.trinity/seals/isa_TernaryControlFlow.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:53d37c59635f8c703d3b22d938262800e28d376a376bd74ee24867b737296853", - "gen_hash_rust": "sha256:09522521f74c001f85b463f439a3eeb7ccb79c3f937893360faa4cbe57d28a94", + "gen_hash_rust": "sha256:ff6664be7ffb734759b599e0246cc3afcdfa7ca043eb2aa019850b0f52d440ef", "gen_hash_verilog": "sha256:c4e7373882bf56f5fc546a7d03ee7de41e6fa7b4a91b87cbe8fc03be6ba5604e", "gen_hash_zig": "sha256:c8456f98bdbcc5e851dd6f135cf3af49bdb2cd287a741d4c09cfaa10d0869f7e", "module": "TernaryControlFlow", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:dcb5de4bdcaaac334bf386d0ee8c2badc68a3debababb033eb4a6df16ff6d6ad", "spec_path": "specs/isa/ternary_control_flow.t27" diff --git a/.trinity/seals/isa_TernaryDeque.json b/.trinity/seals/isa_TernaryDeque.json index aef5d11574..4ff954413b 100644 --- a/.trinity/seals/isa_TernaryDeque.json +++ b/.trinity/seals/isa_TernaryDeque.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:b2a73ec6f924ba63457d240c81bc567951b96adbe7390b8622bb200a3bf93974", - "gen_hash_rust": "sha256:948a0a65570eaf74d06c9c0fe25c940a1de4f6b1b47172aee6363c1feda63911", + "gen_hash_rust": "sha256:39775f28924d46a013bca1164375d0ca342374efc8c761779c19cb8f47d6bdca", "gen_hash_verilog": "sha256:0c822e0a359b41b6737bed8d1deb75c2e7b22a095ba1626a08f0a1b8f162a043", "gen_hash_zig": "sha256:226653378e111a9eb4f69a1c43f2a37a2b4088f619d086677cb170edf0b47f6f", "module": "TernaryDeque", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:56113a8df816d524442da3e153ea33d793de0d06087326161aefc18fb0281dd3", "spec_path": "specs/isa/ternary_deque.t27" diff --git a/.trinity/seals/isa_TernaryHashTable.json b/.trinity/seals/isa_TernaryHashTable.json index 2c14946238..e50a2e6828 100644 --- a/.trinity/seals/isa_TernaryHashTable.json +++ b/.trinity/seals/isa_TernaryHashTable.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:58e20108ec72c28a0aa63424779339b5f6ca32ae69442fdfbe9019495918ef74", - "gen_hash_rust": "sha256:a2aaf3ec9be148372b6403cb39aaaabddb5dd0c8639fb0d03e122ce13309ec25", + "gen_hash_rust": "sha256:74999620a473f9ebdf062e7b89eced381dbbc491be0713f855afdc650c6393e9", "gen_hash_verilog": "sha256:aab436177055ffc20a1f4e745d9ffed105e44373c83fa1f022252dbef65d13ce", "gen_hash_zig": "sha256:895f6aca2a840918ff0f09ab5bb3ccca2ee8f126ebc068de3e89e6667cf8a0fe", "module": "TernaryHashTable", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:e1f019d331a24657f7d0d560011f931c93b4f067f7203e27850c7d26b36d098e", "spec_path": "specs/isa/ternary_hash.t27" diff --git a/.trinity/seals/isa_TernarySet.json b/.trinity/seals/isa_TernarySet.json index 074452699e..10910d1fd6 100644 --- a/.trinity/seals/isa_TernarySet.json +++ b/.trinity/seals/isa_TernarySet.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:60d31a8f9237fae52e0efd3edc897dd577c02820e103f4f56d3edd6672f2fe32", - "gen_hash_rust": "sha256:17c6459a970882bcc02106a3f0b722a8380800a3bec6cac07429d2c6272208df", + "gen_hash_rust": "sha256:2958bd08177dfcb10362a0aa6c8de8632f37b8bd47e54e2670509c766480d4d0", "gen_hash_verilog": "sha256:ae32c0dbfd0ed329c4759637a632881b2d3e1d08958b5bca3d12b8feed869c95", "gen_hash_zig": "sha256:783d414ccd8282292dc93797336ba1c1b6f3211fce8049548378bf38d23bdd04", "module": "TernarySet", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:9f31f299bf8feb20f30634bf278318e04e0294700bd1c46fff873e0785c77fbd", "spec_path": "specs/isa/ternary_set.t27" diff --git a/.trinity/seals/jit.json b/.trinity/seals/jit.json index 812b8a80f4..6924b3f581 100644 --- a/.trinity/seals/jit.json +++ b/.trinity/seals/jit.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:03c8879dd7e265441d607ccec00731404ef27b4158b922228befc8ec032e09dd", - "gen_hash_rust": "sha256:c2b56b5cdf77dbebc48cd9c608b04b2f1d419663e5fc5ca4f32edeece32536d8", + "gen_hash_rust": "sha256:18029c52d661a2a49c9a92e8334a4bc18c9c73f17d7ee60ff8aedba9b054c0d6", "gen_hash_verilog": "sha256:5a2bd07b3b0c4fb91375b2a31e0a91ec8eddc3586c9a0e979c83286f595c0a47", "gen_hash_zig": "sha256:0701476250a7c9138d86453e9771e1d39f35458fde75074ae19985d91ad2c058", "module": "jit", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:da90f8dbf59c63115a11e0d473a963a568df10e6c88fb06bfa264215c08bfd26", "spec_path": "specs/jit/jit.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/jit_jit.json b/.trinity/seals/jit_jit.json index f27d3c8ad7..e24832b530 100644 --- a/.trinity/seals/jit_jit.json +++ b/.trinity/seals/jit_jit.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:03c8879dd7e265441d607ccec00731404ef27b4158b922228befc8ec032e09dd", - "gen_hash_rust": "sha256:c2b56b5cdf77dbebc48cd9c608b04b2f1d419663e5fc5ca4f32edeece32536d8", + "gen_hash_rust": "sha256:18029c52d661a2a49c9a92e8334a4bc18c9c73f17d7ee60ff8aedba9b054c0d6", "gen_hash_verilog": "sha256:5a2bd07b3b0c4fb91375b2a31e0a91ec8eddc3586c9a0e979c83286f595c0a47", "gen_hash_zig": "sha256:0701476250a7c9138d86453e9771e1d39f35458fde75074ae19985d91ad2c058", "module": "jit", "ring": 12, - "sealed_at": "2026-09-05T09:08:54Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:da90f8dbf59c63115a11e0d473a963a568df10e6c88fb06bfa264215c08bfd26", "spec_path": "specs/jit/jit.t27" diff --git a/.trinity/seals/math_TriMatrix.json b/.trinity/seals/math_TriMatrix.json index 2f770a076b..952296bdd4 100644 --- a/.trinity/seals/math_TriMatrix.json +++ b/.trinity/seals/math_TriMatrix.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:584c6e4f4181debac18d00a16314d3622310b15e55e0a27a7408dd1fae7599e5", - "gen_hash_rust": "sha256:e05b3d057f6cff3bb9c8a85d777d655770234ab78aff6d170c5b2e4e0000733a", + "gen_hash_rust": "sha256:2450784e88d586cdc3d02b01fd9580934ce76d7997739f970068ff3f64595c21", "gen_hash_verilog": "sha256:c6bda5cf3ce9d2add35ee4bfb30406f7c4d780ee58ad4c6ecd1264193390b150", "gen_hash_zig": "sha256:f5801f9662b23a5ad251da875f513dcc0b59eeb322a246c904da6c38682d9fd8", "module": "TriMatrix", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:87edc9316e590def9f59b546eddfbeee0457669bd03e565e870862d0ea4a6fb7", "spec_path": "specs/tri/math/matrix.t27" diff --git a/.trinity/seals/math_TriPolynomial.json b/.trinity/seals/math_TriPolynomial.json index aff18cc32b..fcd00d691a 100644 --- a/.trinity/seals/math_TriPolynomial.json +++ b/.trinity/seals/math_TriPolynomial.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:f4be61d6d8250b58128564746b7308bb4c3b332d2b9f739acb47657093e0df4b", - "gen_hash_rust": "sha256:fbd84560062e0758eb568d30b534e1b8ca2b6109a1124994eec198c87fd926aa", + "gen_hash_rust": "sha256:d5925e8fdfd560118b2dbc5269e612de3a6cfaf337c9aa9c182191a16e710720", "gen_hash_verilog": "sha256:7d9f44c2943526512e5b10e036d3b1269706ef8e52a7fdd06421a0302dfdf593", "gen_hash_zig": "sha256:5027bc8f0b50a55a898d9237507a8f1260fc3dcfacc5954e9f35b3199c2d01c9", "module": "TriPolynomial", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:8eba8906c7b3363610d70611c47190e3a0c577758540669ca80a7c6e383c64da", "spec_path": "specs/tri/math/polynomial.t27" diff --git a/.trinity/seals/memory_MemoryPrimitives.json b/.trinity/seals/memory_MemoryPrimitives.json index 642d7f107d..789429b3dc 100644 --- a/.trinity/seals/memory_MemoryPrimitives.json +++ b/.trinity/seals/memory_MemoryPrimitives.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:27806870ffd32d79be35bdda68db33212cdf9953e9be58608767ce32aba2fabe", - "gen_hash_rust": "sha256:4c89acb891fa9935dc0961fbf9bc47ef37d556c91374bc26245175a8a7f8deee", + "gen_hash_rust": "sha256:5b962c49a3a8bf1c3008264c3a1f16f9996d5db3a706081ca18b61dfbb68b8b7", "gen_hash_verilog": "sha256:e26850e35e0fe3fb17357166fcc0a8354578ff76ed53e8ec3ffe7046e1826d7d", "gen_hash_zig": "sha256:30ce6e9be12cf0cd78c5756e32ca975c1042ab5ab45711a12d3ebd71e85dd2f1", "module": "MemoryPrimitives", "ring": 12, - "sealed_at": "2026-09-06T04:36:44Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:0cf723b0c54a06a9851f0f635f2191829a0c100860d1c12896afa5e4bb856b8a", "spec_path": "specs/memory/memory_primitives.t27" diff --git a/.trinity/seals/memory_NotebookLM.json b/.trinity/seals/memory_NotebookLM.json index e47718746c..332132a4b6 100644 --- a/.trinity/seals/memory_NotebookLM.json +++ b/.trinity/seals/memory_NotebookLM.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:1363497601bffd09dd3ee2c619f834af65869e1e4f2ed21dcc9a03ebbec9b21c", - "gen_hash_rust": "sha256:3d7f8836b3b061b22a023eab5d60631c88cd80d21e7635a8bc871372ad4c091c", + "gen_hash_rust": "sha256:d49f1e7ea99438a82e4e5fa93af98ddfcf74f29881b5d45636196f946e7d2a59", "gen_hash_verilog": "sha256:7716f39dc3d0baf658917208a7c294da3ed66d8d849778e3a0d170e7083115b4", "gen_hash_zig": "sha256:534abb99380c2bc0decab8ee239edaac260e956b20891b17728a337b40ba104c", "module": "NotebookLM", "ring": 12, - "sealed_at": "2026-09-06T04:36:44Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:dc5b054f79d747598c75190379fe4a36400bb27af13dffe06d438f145c1af96f", "spec_path": "specs/memory/notebooklm.t27" diff --git a/.trinity/seals/nn_GatedLinearAttention.json b/.trinity/seals/nn_GatedLinearAttention.json index 81ad2b760f..56eef8b000 100644 --- a/.trinity/seals/nn_GatedLinearAttention.json +++ b/.trinity/seals/nn_GatedLinearAttention.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:520fc115f78c7ed2c4cbedbeb1caab560149296168ec1936e0711e8321d1f638", - "gen_hash_rust": "sha256:7c45704579e1a3798df27bea5fce8b46ecd2dc96827c6f6c8b3779a95277d711", + "gen_hash_rust": "sha256:7eae7e56b891ae0823b87a85a84dc1312f93b7f4a50837092cfd7f537ee52aa4", "gen_hash_verilog": "sha256:112cbe0bb8e1936e213bbacb14d084dfd3730661dde5b43b12870b2ad2092c1f", "gen_hash_zig": "sha256:f4769fec50bf2bf0bca08e4d8d2080dffafa73ec7ab29f80c8c95b83d6ecdaa9", "module": "GatedLinearAttention", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:004529e85abd9c48919785e32e065358c561574356ddff82ef9bdf5c387fa195", "spec_path": "specs/nn/gla.t27" diff --git a/.trinity/seals/nn_HSLM.json b/.trinity/seals/nn_HSLM.json index f17b5c40b5..8662330bf5 100644 --- a/.trinity/seals/nn_HSLM.json +++ b/.trinity/seals/nn_HSLM.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:a4e4b401a924301d6a7f4a3d8aee167a9df58c6ececb01ae61b5c6a92e6c4cab", - "gen_hash_rust": "sha256:20dc24cf9aa950d51eb2bb391022dbc0feb3e2696ba7a076fc9687353e8d0798", + "gen_hash_rust": "sha256:77c0564db10be29afcc6dda0eab695afdb56acf295b08700ee82bbf58b457772", "gen_hash_verilog": "sha256:f8a956019cea253548cd3f3eee38d2405cea113b8ee5e66e3d387be41810c697", "gen_hash_zig": "sha256:51d88b507c315ec746ec177be352377540d8989ae03666f57d9db787201c57b9", "module": "HSLM", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:8ea0766984db7775c474eab25dfb14965fa835ce0a56b33173df319fad342182", "spec_path": "specs/nn/hslm.t27" diff --git a/.trinity/seals/nn_SacredAttention.json b/.trinity/seals/nn_SacredAttention.json index 8849c860cc..52c4df677d 100644 --- a/.trinity/seals/nn_SacredAttention.json +++ b/.trinity/seals/nn_SacredAttention.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:f4454df1de407b648599bab4486b3a2161b55cb98e8bf08c3dccce823ebfd3ac", - "gen_hash_rust": "sha256:81756a98521bece002e4c866b27a7a3338ae3d3987406f1a844feaddd0601d58", + "gen_hash_rust": "sha256:c003a0bd2dcc0558499a3b8df923cf1103ceaeb0075213861601a942ba660e42", "gen_hash_verilog": "sha256:f10591dc966a8ac3535e358d35427cb7b03128d6095bad3d76f51b5ca8514f2f", "gen_hash_zig": "sha256:04869b3b6648bcb78f992e671734c17295760ccce99c82281f6969a55ff4a5b9", "module": "SacredAttention", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:9d16a7efd14f69af62f5d85612ed1c99f0caf6dda097f403eda5c4f865fdf125", "spec_path": "specs/nn/attention.t27" diff --git a/.trinity/seals/pipeline_ExperienceSave.json b/.trinity/seals/pipeline_ExperienceSave.json index 13209fb9ee..2864cf867a 100644 --- a/.trinity/seals/pipeline_ExperienceSave.json +++ b/.trinity/seals/pipeline_ExperienceSave.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:6536e5d4df7cdd54cab6d4e82b2283bc3cdf7b7b6f120e75589922389602842e", - "gen_hash_rust": "sha256:3d1b2d9a3b92d90806e4846e46e088c5f759063b71a8e59d60cdbb2bf2ab2995", + "gen_hash_rust": "sha256:b307fc9f5f5534e79978f3f132a56d6835238e81276d297985f3e7bd104ebd6a", "gen_hash_verilog": "sha256:f1107f663e3f58898071e733d17c400576dd6059ed72c436874fce9c4eb83278", "gen_hash_zig": "sha256:aeb7b22c9672a7e1ce16b1b47edf569351275d7f97766de27ad6749b2c052199", "module": "ExperienceSave", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:df15f1fbd549cad6bc01b0599d4765ea3d8be69eb2759ef112ca8c94c101168d", "spec_path": "specs/pipeline/experience_save.t27" diff --git a/.trinity/seals/pipeline_PipelineE2E.json b/.trinity/seals/pipeline_PipelineE2E.json index bab7b520c9..5774b25b8f 100644 --- a/.trinity/seals/pipeline_PipelineE2E.json +++ b/.trinity/seals/pipeline_PipelineE2E.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:6de267b1261e93c8b42d557f26b6e6d1d40fe4c567e8afd0b271058013a33db1", - "gen_hash_rust": "sha256:eb1fec9290996250a2b03be43f21df0893c5e1dbdb266c7210917f7e77bf6363", + "gen_hash_rust": "sha256:c1a6e06636114237d6d2a4e8e124ac3f1458d45ff2fbefb54d76f756aeafe3bc", "gen_hash_verilog": "sha256:5034b456a26c7ffda98213b086e83601447de0d2fe760b23f2c846694436fa21", "gen_hash_zig": "sha256:ec929d8c75309f7f642e52c2a3d92de5733318a5e498819255301ab77bc9c632", "module": "PipelineE2E", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:47ff992484aab2a06b5e58c1487fffee481eac77c19fe81827b1e1572f5aee59", "spec_path": "specs/pipeline/e2e_test.t27" diff --git a/.trinity/seals/pipeline_TriBuilder.json b/.trinity/seals/pipeline_TriBuilder.json index 2ed9063405..b403a47109 100644 --- a/.trinity/seals/pipeline_TriBuilder.json +++ b/.trinity/seals/pipeline_TriBuilder.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:15961cc2b541058fe4a5b8ff357144e93f089260786e709d6d1dc08ed8070c31", - "gen_hash_rust": "sha256:7090fa874cd8bfd4010fba0b3750edb0988fe628cf3230e598d584dedefee201", + "gen_hash_rust": "sha256:9e43f1472bddf1e03254ebd487362d0684cce1c2f537445beac8138da8318ffa", "gen_hash_verilog": "sha256:9bc9fbc0986175a715948ee8b4b9cd9a6f6957b97b344a77dc90f7159c60dcb1", "gen_hash_zig": "sha256:bd24665f2b18310c07467f4e1b9c97c4333ad7984806f920da86672a14fdb142", "module": "TriBuilder", "ring": 12, - "sealed_at": "2026-09-05T02:40:54Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:796d838e8069befa45707a89b86aa34f7584ce5b80ad73ce8301fcdf479dd7be", "spec_path": "specs/tri/pipeline/builder.t27" diff --git a/.trinity/seals/runtime_triruntime.json b/.trinity/seals/runtime_triruntime.json index 9af8b8ff49..86a5221c0d 100644 --- a/.trinity/seals/runtime_triruntime.json +++ b/.trinity/seals/runtime_triruntime.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:6dcf5c047a260499881acf884f1fb827595c8f70c3a844703585ed812426a965", - "gen_hash_rust": "sha256:26f5f0834bdd5794dbc431820274669d9301fdb4cce4efdc6c9be8582a0b3499", + "gen_hash_rust": "sha256:381d82bfefb93efc1b1a1eba08a50f91f24b806753ad7852be8f6e9cbdb06be6", "gen_hash_verilog": "sha256:c31bcbc0a16190a79d870079d85134306891fffffe3624ff818ad119f5048ae4", "gen_hash_zig": "sha256:4cd65db1abe106eed5726b91c38c0d5e30e2ca39406a4041af7c7c53ba4d7387", "module": "triruntime", "ring": 12, - "sealed_at": "2026-09-05T03:45:59Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:83969c01bc42ca48ab841ba4e77ce26d08e9b23a0922dcc33dffee3b69cdab74", "spec_path": "compiler/runtime/runtime.t27" diff --git a/.trinity/seals/search_TriAhoCorasick.json b/.trinity/seals/search_TriAhoCorasick.json index 21e03c425c..539f559863 100644 --- a/.trinity/seals/search_TriAhoCorasick.json +++ b/.trinity/seals/search_TriAhoCorasick.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:09a563bedcbd38a6574bcfa72d61d3f3954870a30bedc9da7be94d97f8a02c66", - "gen_hash_rust": "sha256:848cb38d2f270a95cf329064f136ef658a4eea59744af07145f7c42b00185b9d", + "gen_hash_rust": "sha256:2fe3e33c1c9c340a77f82efda7ea26bf896d2bfd9f0b60b5bf5676be8cde78ea", "gen_hash_verilog": "sha256:063f6d75c93f8ef99989a513dc878c5bb9046504113671ce746145d5c5263124", "gen_hash_zig": "sha256:d1d76e201a1f7e6e823a3c239045888eea20abfea28d53c93d0ae53658faedde", "module": "TriAhoCorasick", "ring": 12, - "sealed_at": "2026-09-06T05:46:34Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:8ba19bb8f83184f5d2ae0610a45c8b4292896654b4396bfbff77229d296cb997", "spec_path": "specs/tri/search/aho_corasick.t27" diff --git a/.trinity/seals/search_TriBloomFilter.json b/.trinity/seals/search_TriBloomFilter.json index 9e2e2935ef..c13f74a8eb 100644 --- a/.trinity/seals/search_TriBloomFilter.json +++ b/.trinity/seals/search_TriBloomFilter.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c2ee0c8bdf1e95513d106cc0834d73804181e9a9d6ab8f770fe41268a546d378", - "gen_hash_rust": "sha256:b6f0d9836cc02efd55869f76cee7a83a8b8010da9c9daad6668eb403222e8526", + "gen_hash_rust": "sha256:93bad16eee323d3c2c34aec8fef15b570ec0a43bc42e1ed4e6cd09eb9fa78843", "gen_hash_verilog": "sha256:bea3096296911aff157b62c3308f3e14fab9bc741d8e2e1c3bcecf5a4fc1984c", "gen_hash_zig": "sha256:bb3810f0d73c86be00e973efa6ec822aba8c0053a28decb85563a7a577294985", "module": "TriBloomFilter", "ring": 12, - "sealed_at": "2026-09-05T00:40:42Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:1d3566b76489aba82ed0353281a052a571e64b4ca51c4dbd2744cf982dd37735", "spec_path": "specs/tri/search/bloom_filter.t27" diff --git a/.trinity/seals/search_TriRabinKarp.json b/.trinity/seals/search_TriRabinKarp.json index 15d631cce3..22a9b202bc 100644 --- a/.trinity/seals/search_TriRabinKarp.json +++ b/.trinity/seals/search_TriRabinKarp.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:70f28ee85e6af89b8af0716d348c20978b5824892fadecb3c157985b9427331d", - "gen_hash_rust": "sha256:48f3c5c5d2c85f82ded83d686cdb9a5c42d638816b9f1d6057bbecb75a5b9b60", + "gen_hash_rust": "sha256:dba3eab060390a954588e2a4f4f2de2f97f1e076e17ce97aa975619842a15528", "gen_hash_verilog": "sha256:98a7310690ee35a91ba0fdf0129b99d57e77c683f46f46d657814b5717e0cf94", "gen_hash_zig": "sha256:40199c433de987a0df517e17991f7978d90af886d3988dd8c1ec3adae1c8d1db", "module": "TriRabinKarp", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:b8c4bb5052b100a6e9fd6fdd7e3c760a73fa72ea05dddbe0c51bb2541dea0dff", "spec_path": "specs/tri/search/rabin_karp.t27" diff --git a/.trinity/seals/server-mdns.json b/.trinity/seals/server-mdns.json index 3b7a1c4062..87ea05efa5 100644 --- a/.trinity/seals/server-mdns.json +++ b/.trinity/seals/server-mdns.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dd48946e9cdb08f305eb156eeacc9c5491c448b64fe1cb0a5a73a768d5330964", - "gen_hash_rust": "sha256:be660404d49f41665f9308994b66d7060b4b5a5d6c1d1c938e1c5e1f7997c139", + "gen_hash_rust": "sha256:0d2a71d49917198dfeaa47cfc23512e11fcc540566792a9b8fd1da9b8290b2b9", "gen_hash_verilog": "sha256:80c8105f99e14ba09bf2c49f8b1985f5b22101f9decbdbecfe41a7cba712660e", "gen_hash_zig": "sha256:d8756697db2cc949cbfa6e7dde6092aa29ac5e906a31903fe4070c4dcd865436", "module": "server-mdns", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:0c558f36ccaa222e6da0edd224b43599dc41bccc897a1d5fa61fde68d509e90b", "spec_path": "specs/server/mdns.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/server_Project.json b/.trinity/seals/server_Project.json index ce27994679..e2e59dcc99 100644 --- a/.trinity/seals/server_Project.json +++ b/.trinity/seals/server_Project.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:b748e5d0871271299e397d0935166617dc753430f7e2406b1765cfc207f34a81", - "gen_hash_rust": "sha256:deaacf5ff134fa9d755742bb0708400de05a0415552d05077ab053df37dbcbe1", + "gen_hash_rust": "sha256:a2c8ab3de4f21d2ccf314ab7cbe2855333289f4388a821e8875712fa8c0cb69b", "gen_hash_verilog": "sha256:f2dcd7403dcddee26003dff4fb86269525fa9bb478e0f3bc1dce50eec3360a8f", "gen_hash_zig": "sha256:19da7584421cb0cdcd1d6a223fd2256fc506b1963fcb43d6c5648d53f85f61c9", "module": "Project", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:20fcb88dc7cbe68d71676487adce5aaee365541aa7fcc16fbccc56b2405c2c2c", "spec_path": "specs/server/project.t27" diff --git a/.trinity/seals/server_Session.json b/.trinity/seals/server_Session.json index 89b9c2bc0f..37377e17e3 100644 --- a/.trinity/seals/server_Session.json +++ b/.trinity/seals/server_Session.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:5674ed07d3841043545c7bd4c26df086e2ff5ac1050435bce951260d57719f35", - "gen_hash_rust": "sha256:34d0302ead395325bc117a76030263155f9bd3ae340cd10f69cdd380453653c8", + "gen_hash_rust": "sha256:44591204a8b809e58c885f492c65b4974aa58075a00088259ee74061d02076e8", "gen_hash_verilog": "sha256:c7900e4b259e1b747b45c081f656647617649a9f2f535fbaf67fa0ed7a78c0cf", "gen_hash_zig": "sha256:98e044866cd80df02f1fe206fbfb6af7613c81202c079d9b54d17db960933e3f", "module": "Session", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:2b70d19f6f5d4f13e880a395590a03a48b83d77c4e32cebf62216cbe82ec8d52", "spec_path": "specs/server/session.t27" diff --git a/.trinity/seals/server_server-mdns.json b/.trinity/seals/server_server-mdns.json index dcd20db8b8..ab2d32fdcc 100644 --- a/.trinity/seals/server_server-mdns.json +++ b/.trinity/seals/server_server-mdns.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dd48946e9cdb08f305eb156eeacc9c5491c448b64fe1cb0a5a73a768d5330964", - "gen_hash_rust": "sha256:be660404d49f41665f9308994b66d7060b4b5a5d6c1d1c938e1c5e1f7997c139", + "gen_hash_rust": "sha256:0d2a71d49917198dfeaa47cfc23512e11fcc540566792a9b8fd1da9b8290b2b9", "gen_hash_verilog": "sha256:80c8105f99e14ba09bf2c49f8b1985f5b22101f9decbdbecfe41a7cba712660e", "gen_hash_zig": "sha256:d8756697db2cc949cbfa6e7dde6092aa29ac5e906a31903fe4070c4dcd865436", "module": "server-mdns", "ring": 12, - "sealed_at": "2026-09-07T21:07:03Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:0c558f36ccaa222e6da0edd224b43599dc41bccc897a1d5fa61fde68d509e90b", "spec_path": "specs/server/mdns.t27" diff --git a/.trinity/seals/sync-schema.json b/.trinity/seals/sync-schema.json index e6d89b0d56..0ace75b6a5 100644 --- a/.trinity/seals/sync-schema.json +++ b/.trinity/seals/sync-schema.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:139f23c2090f084346521cfe837e4ffa8d37f08b3e842d4716fbdb3190091cc0", - "gen_hash_rust": "sha256:b8c5226e7bae1103dbc5a457dcf76e47a33d73eb2ff6c38864081e8164c00ad1", + "gen_hash_rust": "sha256:41ee159cc744ff629d14c54107d90cd9debf5ab7bb301a27af84cfd05c542cf7", "gen_hash_verilog": "sha256:0c5b53a94b6fc4cd73c9da958ac20aa162c1490b095e695a63b1c4d236d78085", "gen_hash_zig": "sha256:48dd28714d3e6c9c8218f67b308c5bffcdd7c264da631e7b33d1844c86ca1ccc", "module": "sync-schema", "ring": 12, - "sealed_at": "2026-08-28T18:19:55Z", + "sealed_at": "2026-09-07T22:05:58Z", "spec_hash": "sha256:553424a2c0d86517157fb167bbc0664b24a5073e93e5b86e8a91cefd6cc9b07b", "spec_path": "specs/sync/schema.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/sync_sync-schema.json b/.trinity/seals/sync_sync-schema.json index 7e1a26d80b..c6d608b5ac 100644 --- a/.trinity/seals/sync_sync-schema.json +++ b/.trinity/seals/sync_sync-schema.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:139f23c2090f084346521cfe837e4ffa8d37f08b3e842d4716fbdb3190091cc0", - "gen_hash_rust": "sha256:b8c5226e7bae1103dbc5a457dcf76e47a33d73eb2ff6c38864081e8164c00ad1", + "gen_hash_rust": "sha256:41ee159cc744ff629d14c54107d90cd9debf5ab7bb301a27af84cfd05c542cf7", "gen_hash_verilog": "sha256:0c5b53a94b6fc4cd73c9da958ac20aa162c1490b095e695a63b1c4d236d78085", "gen_hash_zig": "sha256:48dd28714d3e6c9c8218f67b308c5bffcdd7c264da631e7b33d1844c86ca1ccc", "module": "sync-schema", "ring": 12, - "sealed_at": "2026-09-07T21:07:04Z", + "sealed_at": "2026-09-07T22:05:58Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:553424a2c0d86517157fb167bbc0664b24a5073e93e5b86e8a91cefd6cc9b07b", "spec_path": "specs/sync/schema.t27" diff --git a/.trinity/seals/trees_TriAvlTree.json b/.trinity/seals/trees_TriAvlTree.json index 5a4aeda2a9..3fffbe2d7c 100644 --- a/.trinity/seals/trees_TriAvlTree.json +++ b/.trinity/seals/trees_TriAvlTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dc4cc3f13dbadb2cdf9fb1df195c7bb6f42a73bdcb3bae5d0ff159027463a0f5", - "gen_hash_rust": "sha256:4c085c379059bb3ca3303b7c23d1fe31d06c08c185599ef836e8659ed533cd15", + "gen_hash_rust": "sha256:cca6a7df747403de3205a7dfee58793c171f41c9180438ed66ef785f2d4c005f", "gen_hash_verilog": "sha256:300d0cb6a42a1511b5771f34841e3abd384b8784c3c6c5795df11d2f4f684e1c", "gen_hash_zig": "sha256:c25e60bc6ec0091dfa16deede06f140ae21179d51bede0352e9a5d12a7e4da45", "module": "TriAvlTree", "ring": 12, - "sealed_at": "2026-09-05T00:40:42Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:3d3bc18bcf65a59556cd172cc4e52c02674e3f4cf369a3b648b9e98187bf3a02", "spec_path": "specs/tri/trees/avl_tree.t27" diff --git a/.trinity/seals/trees_TriBTree.json b/.trinity/seals/trees_TriBTree.json index c3c08ef186..b646996db4 100644 --- a/.trinity/seals/trees_TriBTree.json +++ b/.trinity/seals/trees_TriBTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:05bdb20da2ad7f3f6157a3a818be52bbe7080836a6c49c73207ad35ba43299ec", - "gen_hash_rust": "sha256:9d9c9d548c6bc877088f209e4c19d66e52cae5ef0250cd1dd7ba2ced7b9c3f5f", + "gen_hash_rust": "sha256:b75624c4c13af2a9be2d29397c855cfee767468d4de3e7c9ce5fb4b12b7e172e", "gen_hash_verilog": "sha256:020c9c5b813ae8bcbc29010a681dd7f80293af29111385e1af65e4f47b04586c", "gen_hash_zig": "sha256:aa4dda2627b2c1de53cc6448c10143f4e1a1a4096dd630669b386b61cae49a38", "module": "TriBTree", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:d7607eb8c81bb51425dd1458f75f780fe4cbfc009e7c353654b76d25391369f2", "spec_path": "specs/tri/trees/b_tree.t27" diff --git a/.trinity/seals/trees_TriFenwick.json b/.trinity/seals/trees_TriFenwick.json index 0f2375c5be..0f869eb97e 100644 --- a/.trinity/seals/trees_TriFenwick.json +++ b/.trinity/seals/trees_TriFenwick.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:adb2dcbb21e97f23558d539456cf0c0f6e1ba513c480dd6c7e4314426185b78e", - "gen_hash_rust": "sha256:004257927f86083acbafbbfc0f70f378ee7caa5441d67d6fcd60497c4acf2c18", + "gen_hash_rust": "sha256:b15379d6fd999667f5b38923dbc90f98db615377ede980fbd039a0c2022d9008", "gen_hash_verilog": "sha256:74a9fdaf8f47eab8397d987f9168ce3b7473136bd6a8393dba22d3f51586ad72", "gen_hash_zig": "sha256:36baab69ae7e95fe41a4cb1adc0fe37664fc7614d1d937def3d337602188528e", "module": "TriFenwick", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:13b3fa04c5f6561717e1897221fac69f797143f8630f44d037e070de3877b05c", "spec_path": "specs/tri/trees/fenwick_tree.t27" diff --git a/.trinity/seals/trees_TriKdTree.json b/.trinity/seals/trees_TriKdTree.json index b7fa05ccb8..47b063a368 100644 --- a/.trinity/seals/trees_TriKdTree.json +++ b/.trinity/seals/trees_TriKdTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:7658bd16d1d66d14de50176a27cc78f130863a13853fedc2dacc839a2fe4a68f", - "gen_hash_rust": "sha256:5109675652b7451a917c1f6f145b99bef55491f2ac4bbc4d9025d55ca37c5fc6", + "gen_hash_rust": "sha256:11c1ae3355a3b6f38d4d7edf4009d22e378051261a4ee774a315cc241d456a3e", "gen_hash_verilog": "sha256:c1f0afec0673c3db6f521e9b37b4add257f355a964bb55b153707616595c93e3", "gen_hash_zig": "sha256:369f3d5632ef02f40c2edea5a3ab0670cce287040188cf7d66ae11fed6ed3dda", "module": "TriKdTree", "ring": 12, - "sealed_at": "2026-09-06T07:44:28Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:338dda6bd5fe68db61f018bc4216fd6ab671562bcfc3cf92f1692fbdc2440abd", "spec_path": "specs/tri/trees/kd_tree.t27" diff --git a/.trinity/seals/trees_TriOctree.json b/.trinity/seals/trees_TriOctree.json index 223ea2d2e7..209e6fdad7 100644 --- a/.trinity/seals/trees_TriOctree.json +++ b/.trinity/seals/trees_TriOctree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:0bedc286e426f126d811665fd97147dc6ebfba4f96958a522fb9d779d982cfa0", - "gen_hash_rust": "sha256:524d49b87aed3207a3f394fbfa97699f5b082c401686c473b1394842a456cbe3", + "gen_hash_rust": "sha256:887ed6ce0c9705279745e0ab49da5a0c2c3d8ff87ec3b47556d6e2423b221d43", "gen_hash_verilog": "sha256:bfdd79ebab78682b40028db81ce198b51da58b7c5cb959580165fc9fa01f276d", "gen_hash_zig": "sha256:01938d9fbbfc4d9f5e19ad941071b5a303b8c7b87e336157ce928c26c34d18eb", "module": "TriOctree", "ring": 12, - "sealed_at": "2026-09-06T07:44:28Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:63216e4dbe843da95dd62bfc13b7741e6bf343e3bcf3d407e084d6be61e84dfe", "spec_path": "specs/tri/trees/octree.t27" diff --git a/.trinity/seals/trees_TriQuadtree.json b/.trinity/seals/trees_TriQuadtree.json index 0885f74079..a03cb1cbac 100644 --- a/.trinity/seals/trees_TriQuadtree.json +++ b/.trinity/seals/trees_TriQuadtree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:3f1b5f372579e92827fa9a413eb3136abc5272daee917df4dcfd9b2fae31ae82", - "gen_hash_rust": "sha256:42d4017e6b586dc73cbc6cca85351bf20f06c83500f5a5823ee4a3e5f626b9b3", + "gen_hash_rust": "sha256:6bafa1b3afae056967fea020587a7bf5154d1fb1eda8c7bd7fbf99e4edfce610", "gen_hash_verilog": "sha256:d13d947ba9e73a5be25d64aa717c5d3f1138396f77674ffdc56a0dfef150fe77", "gen_hash_zig": "sha256:01514daa510c982d521d72b36552a8ef68f946957d0351799bfad2073128ea4d", "module": "TriQuadtree", "ring": 12, - "sealed_at": "2026-09-06T07:44:28Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:974e62d1cdcc28189ff5fddbf9405c9e02f8bb01325bc2f9860f0578a053b345", "spec_path": "specs/tri/trees/quadtree.t27" diff --git a/.trinity/seals/trees_TriRbTree.json b/.trinity/seals/trees_TriRbTree.json index fc1e07ee98..62fe47ffbc 100644 --- a/.trinity/seals/trees_TriRbTree.json +++ b/.trinity/seals/trees_TriRbTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:055d31fb648da62be0a7df171af334efd7185c7b2a4041055137ae0e7ef14d58", - "gen_hash_rust": "sha256:2473c533523a1ec8d6dd204d5370e1af89130241b70ccb7aa1bf6756f08836fe", + "gen_hash_rust": "sha256:f29ab613b33209f4c747e175428b9114fae2fa1de0da1a281a4cba2a0f263952", "gen_hash_verilog": "sha256:a439f0962be192dc3aa8a70f6145a1552a044d8426c64dd0e2f8813f059314ac", "gen_hash_zig": "sha256:0d7f2a40d0acda22116499e75fa3913f8ce1b1b70a25045d8cba281771ab902d", "module": "TriRbTree", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:6e7314f664d45e80ed132829c617b1485c95fd263f8dbda7244c058800cecbfe", "spec_path": "specs/tri/trees/red_black_tree.t27" diff --git a/.trinity/seals/trees_TriRtree.json b/.trinity/seals/trees_TriRtree.json index 599a646fb2..507043a675 100644 --- a/.trinity/seals/trees_TriRtree.json +++ b/.trinity/seals/trees_TriRtree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c27758216771b9b426c5a84f7b3ce5899b3c5ff46b86b492056d0d8f0bc39cb4", - "gen_hash_rust": "sha256:51cf98a12ce522a83eb2220a9830b6705f0ea6fd8b186fd398675efeb87f74f7", + "gen_hash_rust": "sha256:6a9c5a7d561b2df055eea83fa0d0718f115cff3e7d69a54d1dc7a5a29c3f2bc4", "gen_hash_verilog": "sha256:f2b88ea34d692537c6cbaf7ae62d58f9786216786d8e22158136717c5d2d1ed0", "gen_hash_zig": "sha256:5d3e5b12907e9c0a36c9e619f4bf32c90f780a88416227646e129bd4e50aed94", "module": "TriRtree", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:ee8ecc6ee599567979a46dc51bccd9cd04cf4aca2af157874eb528ad877353e9", "spec_path": "specs/tri/trees/rtree.t27" diff --git a/.trinity/seals/trees_TriSegmentTree.json b/.trinity/seals/trees_TriSegmentTree.json index 93dbd5527d..98efb681b3 100644 --- a/.trinity/seals/trees_TriSegmentTree.json +++ b/.trinity/seals/trees_TriSegmentTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:15cabb8d4ed16c16766deb436bc0ca2c351e74bbe8fc24ba7d30fba2a774d1bc", - "gen_hash_rust": "sha256:7acb9ad7d1b7b3a684029414fa276e3074ad2f2bb5daa47fc473537d844a7815", + "gen_hash_rust": "sha256:3e7ef766d257146367beec722b51b7b44036f371de50fb49227366a148903e78", "gen_hash_verilog": "sha256:4dfadfe87db015636954b16e3d97cfb36fb5e96c723851b0022d810e79470872", "gen_hash_zig": "sha256:c528455b879b24d3e37950a3a324f8299c911f985560b8d38d60f6211ae63378", "module": "TriSegmentTree", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:d4fff09b1c7e86fca582abd18362a0dafd271e3e11b8bbdbe13f257d8e71a17d", "spec_path": "specs/tri/trees/segment_tree.t27" diff --git a/.trinity/seals/trees_TriSplayTree.json b/.trinity/seals/trees_TriSplayTree.json index ab8f5533ae..e76f90333e 100644 --- a/.trinity/seals/trees_TriSplayTree.json +++ b/.trinity/seals/trees_TriSplayTree.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:d7c112ffdfc81469da01e4b5f92513b90644ff136a49d154354233f9e42ff409", - "gen_hash_rust": "sha256:a76ccb060fc787e71def482cd5a8ff4f86938497fb7764a0e6e94004487aeb88", + "gen_hash_rust": "sha256:e45ca991f3a54dd6147cccb3cae75e10c6092964af45e0c2dfea6287b4f771d4", "gen_hash_verilog": "sha256:a9a8c310bc1bcb7124586b9e66dabe0f3dc634a1e0750f89544a16145ffaaee1", "gen_hash_zig": "sha256:2d74af8e57e1fd4eef1ccde72e2dea0ae324a69fe96145722a27dd8777e14484", "module": "TriSplayTree", "ring": 12, - "sealed_at": "2026-09-05T00:40:42Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:a580e7e0ab08c1395f0a233f729efb3b8e2a0da6f1765afd5891fe4c1b456453", "spec_path": "specs/tri/trees/splay_tree.t27" diff --git a/.trinity/seals/trees_TriSuffixArray.json b/.trinity/seals/trees_TriSuffixArray.json index 105af97947..ad40eea878 100644 --- a/.trinity/seals/trees_TriSuffixArray.json +++ b/.trinity/seals/trees_TriSuffixArray.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:f6c6a2fa530c53544f5fda7f4298a3712c0573113a514c31d946f4e2b630aafd", - "gen_hash_rust": "sha256:edbea1cc91f8c022ad012a2f4105f2312a96eb848bb5cbc6dbfa4a2022b35758", + "gen_hash_rust": "sha256:86f2abe7d3f4a4666d03a94fbe6fc38090e0305f6e9ac8167c0eebf76c99b0a6", "gen_hash_verilog": "sha256:6a6bad8ad2fc82fd2da6f4dce46659a97792547bb6b348e5226c626be60a3571", "gen_hash_zig": "sha256:000b7904931bf7fe2aa0d778295d903bbcd8d0b1b3786b9534dddb18fb4d566f", "module": "TriSuffixArray", "ring": 12, - "sealed_at": "2026-09-05T01:08:39Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:46eb92bbb340ff3345a79d44ec05cd0169c5c2b8ae064619690c31479ac3e2c0", "spec_path": "specs/tri/trees/suffix_array.t27" diff --git a/.trinity/seals/trees_TriTrie.json b/.trinity/seals/trees_TriTrie.json index dd5ea0e616..13113d7a5d 100644 --- a/.trinity/seals/trees_TriTrie.json +++ b/.trinity/seals/trees_TriTrie.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:dbaea551a83dbeb3302415612fe55402f9f9c24bad77a0abc7903fa5149669ec", - "gen_hash_rust": "sha256:7ce3d8fbeab2e3ebd0653ef061b0444712702bb96063dcad96a8f15d1cc94e26", + "gen_hash_rust": "sha256:b984713bfcf0afbcfb034eb0578e350dac5df4832c05c5b58dce8054633ec406", "gen_hash_verilog": "sha256:92be6269928168a86cd2289199bb784ce3383d193966de87fce0e460437de5e9", "gen_hash_zig": "sha256:e87caaa2882c44de5510f6e1cbe09afd29ba4443ddc9a7b57a3a6645b3372c43", "module": "TriTrie", "ring": 12, - "sealed_at": "2026-09-06T07:17:01Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:b0439804871b40fdec6d6bd98dfe3f658e7a091e0f7d378d5d9b78999a5335de", "spec_path": "specs/tri/trees/trie.t27" diff --git a/.trinity/seals/triruntime.json b/.trinity/seals/triruntime.json index e4e052303c..846971db65 100644 --- a/.trinity/seals/triruntime.json +++ b/.trinity/seals/triruntime.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:6dcf5c047a260499881acf884f1fb827595c8f70c3a844703585ed812426a965", - "gen_hash_rust": "sha256:26f5f0834bdd5794dbc431820274669d9301fdb4cce4efdc6c9be8582a0b3499", + "gen_hash_rust": "sha256:381d82bfefb93efc1b1a1eba08a50f91f24b806753ad7852be8f6e9cbdb06be6", "gen_hash_verilog": "sha256:c31bcbc0a16190a79d870079d85134306891fffffe3624ff818ad119f5048ae4", "gen_hash_zig": "sha256:4cd65db1abe106eed5726b91c38c0d5e30e2ca39406a4041af7c7c53ba4d7387", "module": "triruntime", "ring": 12, - "sealed_at": "2026-08-28T21:20:51Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:83969c01bc42ca48ab841ba4e77ce26d08e9b23a0922dcc33dffee3b69cdab74", "spec_path": "compiler/runtime/runtime.t27" -} +} \ No newline at end of file diff --git "a/.trinity/seals/utils_\"[]const u8\".json" "b/.trinity/seals/utils_\"[]const u8\".json" index 27acc26b80..b46bf95bb5 100644 --- "a/.trinity/seals/utils_\"[]const u8\".json" +++ "b/.trinity/seals/utils_\"[]const u8\".json" @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:159fcb3b6718921b7753ec8b66acdd75fa0ba4a7ce09f9c89e11d5dcadb02419", - "gen_hash_rust": "sha256:0b794d6f3b18f3563fd197d17b989241361e0d59329cfbcf10bb52e7e0f0124b", + "gen_hash_rust": "sha256:97ecbe5ded3205a0c1b2ec4e145cc36153ac220b002b41563dcf22611a358400", "gen_hash_verilog": "sha256:edf5e314645a8bdd1d45f69c0c54d0d4c5bd7beaaa0aada98cd5826368ed7a52", "gen_hash_zig": "sha256:9c01a3194d02a49edf48b67770f390c009ce08ca41458a907a2202e95b50b233", "module": "\"[]const u8\"", "ring": 12, - "sealed_at": "2026-08-28T20:32:32Z", + "sealed_at": "2026-09-07T22:05:59Z", "spec_hash": "sha256:bcb3b01dcd4debb986099332e1f8d6def66dc7b3d5b6e11f9dce845bb5007fb7", "spec_path": "specs/tri/utils/logger.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/utils_TriLogger.json b/.trinity/seals/utils_TriLogger.json index 5a9fbd202a..340e051755 100644 --- a/.trinity/seals/utils_TriLogger.json +++ b/.trinity/seals/utils_TriLogger.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:159fcb3b6718921b7753ec8b66acdd75fa0ba4a7ce09f9c89e11d5dcadb02419", - "gen_hash_rust": "sha256:0b794d6f3b18f3563fd197d17b989241361e0d59329cfbcf10bb52e7e0f0124b", + "gen_hash_rust": "sha256:97ecbe5ded3205a0c1b2ec4e145cc36153ac220b002b41563dcf22611a358400", "gen_hash_verilog": "sha256:edf5e314645a8bdd1d45f69c0c54d0d4c5bd7beaaa0aada98cd5826368ed7a52", "gen_hash_zig": "sha256:9c01a3194d02a49edf48b67770f390c009ce08ca41458a907a2202e95b50b233", "module": "TriLogger", "ring": 12, - "sealed_at": "2026-09-05T09:02:10Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:bcb3b01dcd4debb986099332e1f8d6def66dc7b3d5b6e11f9dce845bb5007fb7", "spec_path": "specs/tri/utils/logger.t27" diff --git a/.trinity/seals/utils_TriRandom.json b/.trinity/seals/utils_TriRandom.json index fce7e27c5e..aab1597475 100644 --- a/.trinity/seals/utils_TriRandom.json +++ b/.trinity/seals/utils_TriRandom.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:42725a269fa2ee9e264117b9e5c9aa19f56ca217e1a0793d6db121a7e93464cd", - "gen_hash_rust": "sha256:5eca51d57386c78b87fb670cbf6277807cc3ef63dc9d1322a49536f5bde66721", + "gen_hash_rust": "sha256:9b21d37b766f925a4c4b667eda60ebe7913e7bc0e54cef08df4c51e972935a3a", "gen_hash_verilog": "sha256:280903b4e8c1efe592ff56d5adc048cc8dee7784076d499bf7251ba046e427ab", "gen_hash_zig": "sha256:479e201ce8b2c99fb662635d780afa01051d2c7970065f31c92b04601695a51f", "module": "TriRandom", "ring": 12, - "sealed_at": "2026-09-06T04:36:45Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:1ac48181d58fe5733740c1cb738f315f5abfbd2d36b6c6cdfe2ff44bc5788573", "spec_path": "specs/tri/utils/random.t27" diff --git a/.trinity/seals/verilog_codegen.json b/.trinity/seals/verilog_codegen.json index 20fa0ae2bd..ab23bd5c65 100644 --- a/.trinity/seals/verilog_codegen.json +++ b/.trinity/seals/verilog_codegen.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:bf1aa7bf56c4135885e1c34df0496f040b85354d3203c0c6fa037092530851e2", - "gen_hash_rust": "sha256:908843c47c231f2dfd1ba705cd9f4f21eb3ccf7d4ac5c7837b2c7e496622504e", + "gen_hash_rust": "sha256:493dfdbbe8fb6c20833938752f1d38e6269276295091fa4cdfc1081b179690e5", "gen_hash_verilog": "sha256:6f8f90892c3ec1ff69ee038babea3258d40eb05f102c10ef280a70e37aa29199", "gen_hash_zig": "sha256:3ca02254ff52c1f2af6b72737baa0668ac3b0b9ba09e423b3ede762d77006153", "module": "verilog_codegen", "ring": 12, - "sealed_at": "2026-08-28T20:32:32Z", + "sealed_at": "2026-09-07T22:05:57Z", "spec_hash": "sha256:7454245beb5d71c1fff9e450cc1f8a5883c47243aaaac38bac1c7a894287e8db", "spec_path": "compiler/codegen/verilog/codegen.t27" -} +} \ No newline at end of file diff --git a/.trinity/seals/verilog_verilog_codegen.json b/.trinity/seals/verilog_verilog_codegen.json index 6082601028..5356551ff4 100644 --- a/.trinity/seals/verilog_verilog_codegen.json +++ b/.trinity/seals/verilog_verilog_codegen.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:bf1aa7bf56c4135885e1c34df0496f040b85354d3203c0c6fa037092530851e2", - "gen_hash_rust": "sha256:908843c47c231f2dfd1ba705cd9f4f21eb3ccf7d4ac5c7837b2c7e496622504e", + "gen_hash_rust": "sha256:493dfdbbe8fb6c20833938752f1d38e6269276295091fa4cdfc1081b179690e5", "gen_hash_verilog": "sha256:6f8f90892c3ec1ff69ee038babea3258d40eb05f102c10ef280a70e37aa29199", "gen_hash_zig": "sha256:3ca02254ff52c1f2af6b72737baa0668ac3b0b9ba09e423b3ede762d77006153", "module": "verilog_codegen", "ring": 12, - "sealed_at": "2026-09-06T04:36:41Z", + "sealed_at": "2026-09-07T22:05:57Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:7454245beb5d71c1fff9e450cc1f8a5883c47243aaaac38bac1c7a894287e8db", "spec_path": "compiler/codegen/verilog/codegen.t27" diff --git a/.trinity/seals/vsa_VSASimilaritySearch.json b/.trinity/seals/vsa_VSASimilaritySearch.json index 2ab34d56a0..26fd986db8 100644 --- a/.trinity/seals/vsa_VSASimilaritySearch.json +++ b/.trinity/seals/vsa_VSASimilaritySearch.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:206ea9d69d20e1c99bcb0ad5e52fbc7b73b381e8fa5f2012548a6d835e9b4071", - "gen_hash_rust": "sha256:de0bb44c7c41c4388223dad4465bcf8a3cf364fd020b0738438cca38ebc0bf91", + "gen_hash_rust": "sha256:88d1fdc9f1f578f5d19476d6139e570cdf829843743ba06ef4b09b548fe78d8a", "gen_hash_verilog": "sha256:2f4eb6fa80e5fc5bf0d3a991c45a1f45646c9e8e3d3df69ce778ed7ad3afc10f", "gen_hash_zig": "sha256:5e1650631219e9101f17848b6326087685f4df42326921d318c26d7c426f8186", "module": "VSASimilaritySearch", "ring": 12, - "sealed_at": "2026-09-07T21:07:04Z", + "sealed_at": "2026-09-07T22:05:59Z", "sealed_by": "t27c-bootstrap@0.2.0", "spec_hash": "sha256:49d1e8ddabc30e6cc9e852ea156510b928d618264e25737e12cd57a2eb4d3de7", "spec_path": "specs/vsa/similarity_search.t27" diff --git a/bootstrap/src/compiler.rs b/bootstrap/src/compiler.rs index a6a198f865..cd72b809a5 100644 --- a/bootstrap/src/compiler.rs +++ b/bootstrap/src/compiler.rs @@ -24545,6 +24545,24 @@ impl RustCodegen { if let (true, true, Some(elem)) = (is_slice, written.contains(n), elem) { mut_slices.push(n.clone()); format!("{}: &mut [{}]", rust_ident(n), elem) + } else if rust_ty.starts_with("*mut ") && t.trim_start().starts_with('*') + && !t.trim_start()[1..].trim_start().starts_with("const ") + && !t.trim_start()[1..].trim_start().starts_with("mut ") + { + // A bare `*T` parameter is an out-parameter: the corpus + // writes through it as `p.* = v`, and the C backend renders + // it `T*`. `*mut T` cannot work in the emitted Rust because + // every dereference of a raw pointer needs an `unsafe` + // block and this emitter writes none. `&mut T` is the + // rendering under which the emitted `*p = v` compiles, and + // it is what rings/ring-099-rust uses for the very same + // parameter -- the one difference that made that pair read + // DRIFTED. + // + // Parameter position ONLY. A struct field cannot take + // `&mut T` without a lifetime, and doing it everywhere + // introduced 9 errors across 3 specs against 1 revealed. + format!("{}: &mut {}", rust_ident(n), &rust_ty[5..]) } else { format!("{}: {}", rust_ident(n), rust_ty) } @@ -25451,6 +25469,13 @@ impl RustCodegen { } else if let Some(inner) = rest.strip_prefix("mut ") { format!("*mut {}", Self::t27_type_to_rust(inner)) } else { + // Stays `*mut` HERE. A bare `*T` is an out-parameter and + // `&mut T` is the only rendering under which the emitted + // `*p = v` compiles -- but that rewrite belongs in + // PARAMETER position only. Applied to every position it + // reached struct fields, and `pub fail: &mut ACTrieNode` + // needs a lifetime: 9 introduced E0106/E0308 across 3 + // specs, against 1 revealed. See `gen_fn`. format!("*mut {}", Self::t27_type_to_rust(rest)) } } @@ -25963,7 +25988,14 @@ impl RustCodegen { // direct equivalent of what the spec wrote, and the spec has // already guarded it: every occurrence measured sits behind // an `if x != null`. - if node.name == "?" { + if node.name == "*" { + // Zig spells a dereference postfix, `count.*`, and + // the corpus is written that way -- 70 sites across + // 6 specs. Rust spells it prefix. The postfix form + // reached rustc verbatim and did not even tokenise: + // "error: unexpected token: `*`". + format!("(*{})", base) + } else if node.name == "?" { format!("{}.unwrap()", base) } else if node.name == "len" && !self.field_names.contains("len") { // Zig exposes a slice length as the FIELD `.len` and diff --git a/bootstrap/stage0/FROZEN_HASH b/bootstrap/stage0/FROZEN_HASH index e1b63647d5..03ce9e22ce 100644 --- a/bootstrap/stage0/FROZEN_HASH +++ b/bootstrap/stage0/FROZEN_HASH @@ -1 +1 @@ -9c910e4dfae29326a04b20dc9889ecdf33a42849d8bb754bfbebedcaff2e1efb bootstrap/src/compiler.rs +1d58d30ea13e8fb116c8503438186d37853e8668e568997a13e74f3fd2898c38 bootstrap/src/compiler.rs diff --git a/bootstrap/tests/backend_behaviour.rs b/bootstrap/tests/backend_behaviour.rs index 3fe8e27e47..001f6eee76 100644 --- a/bootstrap/tests/backend_behaviour.rs +++ b/bootstrap/tests/backend_behaviour.rs @@ -551,3 +551,52 @@ fn a_struct_field_named_len_stays_a_field() { }; assert_eq!(out, "7", "the declared field must win over the method"); } + +/// A bare `*T` parameter is an out-parameter, and the corpus writes through it +/// with Zig's POSTFIX dereference `p.* = v`. gen-rust emitted both verbatim: +/// the type as `*mut T`, whose every dereference needs an `unsafe` block this +/// emitter never writes, and the dereference as `count.*`, which does not even +/// tokenise -- "error: unexpected token: `*`". +const SPEC_OUT_POINTER: &str = r#" +module outp2 { + fn bump(count: *usize, by: usize) -> void { + count.* = count.* + by; + } +} +"#; + +/// The narrowing. A struct field cannot take `&mut T` without a lifetime, so +/// only the PARAMETER moves. Applying it everywhere introduced 9 errors across +/// 3 specs -- `pub fail: &mut ACTrieNode` is E0106 -- against 1 revealed. +const SPEC_POINTER_FIELD: &str = r#" +module ptrfield { + struct Node { + next: *Node, + value: i32, + } + fn value_of(n: Node) -> i32 { return n.value; } +} +"#; + +#[test] +fn an_out_pointer_parameter_is_written_through_at_runtime() { + let Some(out) = rust_says( + SPEC_OUT_POINTER, + "fn main(){ let mut c: usize = 5; bump(&mut c, 7); println!(\"{}\", c); }\n", + "rust-out-pointer", + ) else { + return; + }; + assert_eq!(out, "12", "5 + 7; the caller must observe the write"); +} + +#[test] +fn a_pointer_struct_field_stays_a_raw_pointer() { + let Some(text) = rust_text(SPEC_POINTER_FIELD, "rust-pointer-field") else { + return; + }; + assert!( + text.contains("pub next: *mut Node"), + "a field must not become &mut, which needs a lifetime; got:\n{text}" + ); +} diff --git a/docs/now/2026-09-08-a-dereference-that-did-not-tokenise.md b/docs/now/2026-09-08-a-dereference-that-did-not-tokenise.md new file mode 100644 index 0000000000..ecbd9489d5 --- /dev/null +++ b/docs/now/2026-09-08-a-dereference-that-did-not-tokenise.md @@ -0,0 +1,18 @@ +# NOW -- A dereference that did not tokenise (2026-09-08) + +## A dereference that did not tokenise (Closes #3422, Refs #3420) + +- Zig spells a dereference postfix, `count.*`, and the corpus is written that way. gen-rust emitted it **verbatim** -- `error: unexpected token: '*'`, so the file did not even tokenise. 70 sites across 6 specs. And a bare `*T` parameter became `*mut T`, whose every dereference needs an `unsafe` block this emitter never writes: **81 files** carry such a parameter, and none of them could have compiled. Zig handles `.*` natively because it IS Zig syntax; C renders the parameter `size_t*`. Rust was the only column that could not compile. +- The repair is narrow and the narrowing was **measured, not assumed**: `*T` becomes `&mut T` in PARAMETER position only, because a struct field cannot take `&mut T` without a lifetime. + + | version | rustc accepts | coded diagnostics | introduced | revealed | + |---|---:|---:|---:|---:| + | master | 433 | 2937 | -- | -- | + | every position | 435 | 2724 | **9** | 1 | + | **parameter only** | **439** | **2713** | **0** | 1 | + + Third time this session that narrowing beat widening on every axis at once. +- **How this was found: not by reading the compiler.** Ten of seventeen `rings/*` crates name a spec that exists, and a new tool compares them. `ring-099` read DRIFTED on exactly two functions, and the only difference was `count: &mut usize` in the hand-written model against `count: *mut usize` from the spec. The hand-written code was right again -- the second time in two passes (#3420 was the first). +- `tools/check_ring_spec_drift.py` classifies each pair CONVERGED / DRIFTED / UNRELATED, and its self-check requires every verdict to be reachable. It carries a warning it earned: **a matching signature is not matching behaviour.** ring-090 read 16 of 16 identical signatures and still disagreed on 126 of 1190 differential cases. Today: 2 CONVERGED, 0 DRIFTED, 7 UNRELATED -- and UNRELATED mostly means the doc comment names a spec the crate was never generated from, `ring-097` sharing 7 names with `proof_trace.t27` and **zero** signatures. +- Both guards from earlier passes worked again without being asked: the seal checker named 135 stale seals across 68 specs, and `--save` refreshed every duplicate including the two whose filenames are quoted type strings. +- Self-criticism: my mutation harness reported MUTANT B as surviving. It had not applied -- a broken anchor made the helper run `cargo test` on an unmutated tree and report its pass. Re-run with the anchor asserted, the mutant dies with the exact `E0133`. A mutation run that does not verify the mutation landed is measuring the same thing twice. diff --git a/tools/check_ring_spec_drift.py b/tools/check_ring_spec_drift.py new file mode 100755 index 0000000000..35eeb512d8 --- /dev/null +++ b/tools/check_ring_spec_drift.py @@ -0,0 +1,160 @@ +#!/usr/bin/env python3 +"""Does a `rings/*` crate still agree with the spec its own doc comment names? + +Ten of the seventeen crates under `rings/` name a spec that exists in this +repository -- `rings/ring-090-rust` says it is "faithful to the spec" +`specs/fpga/simulator.t27`. Nothing checked that claim, and one of them was not. + +What this reports, and the taxonomy matters more than the counts: + + CONVERGED every shared function has an identical signature. The pair is a + candidate for the hand-written crate to be REPLACED by generated + code -- and nothing here proves it can be, see the warning below. + DRIFTED some signatures match and some do not. A real divergence in a pair + that was once the same thing. + UNRELATED no shared function, or none whose signature matches. The doc + comment names a spec the crate was never generated from; these are + two designs sharing a vocabulary, and reconciling them is a design + decision rather than a repair. + +**A matching signature is not matching behaviour, and this tool cannot tell you +that it is.** `ring-090` measured CONVERGED at 16 of 16 identical signatures and +still disagreed with its spec on **126 of 1190** differential cases: the spec +wrapped where the hand-written model saturated, so `sim_time_ns` returned +2,820,130,816 instead of 4,294,967,295 at 2e9 cycles (#3420). Only compiling and +running both found it. Treat CONVERGED as "worth building a differential harness +for", never as "these agree". + +Usage: + tools/check_ring_spec_drift.py report; exit 1 if any pair DRIFTED + tools/check_ring_spec_drift.py --self-check negative control +""" + +import os +import re +import subprocess +import sys + +RINGS = "rings" +SIG = re.compile( + r"^pub (?:const )?fn ([a-z_][a-z_0-9]*)\s*\(([^)]*)\)\s*->\s*([^{;]+)", re.M +) + + +def t27c() -> str: + for p in ("target/release/t27c", "bootstrap/target/release/t27c"): + if os.path.isfile(p) and os.access(p, os.X_OK): + return p + env = os.environ.get("TRI_T27C", "") + if env and os.access(env, os.X_OK): + return env + print("check_ring_spec_drift: t27c not built. Exit 2 = COULD NOT RUN.", file=sys.stderr) + sys.exit(2) + + +def signatures(text: str) -> dict: + """Name -> (parameter list, return type), whitespace and a trailing comma normalised. + + The trailing comma is not cosmetic here: a multi-line signature keeps one and + a single-line one does not, and without stripping it `sim_config_with_trace` + read as a difference when the two were character-for-character the same. + """ + out = {} + for m in SIG.finditer(text): + params = re.sub(r"[\s,]+$", "", re.sub(r"\s+", " ", m.group(2))).strip() + out[m.group(1)] = (params, m.group(3).strip()) + return out + + +def classify(hand: dict, spec: dict) -> str: + shared = set(hand) & set(spec) + if not shared: + return "UNRELATED" + same = sum(1 for k in shared if hand[k] == spec[k]) + if same == 0: + return "UNRELATED" + if same == len(shared): + return "CONVERGED" + return "DRIFTED" + + +def pairs(): + """(ring, spec_path) for every crate whose doc comment names an existing spec.""" + found = [] + if not os.path.isdir(RINGS): + return found + for d in sorted(os.listdir(RINGS)): + lib = os.path.join(RINGS, d, "src", "lib.rs") + if not os.path.isfile(lib): + continue + m = re.search(r"specs/[a-z0-9_/]+\.t27", open(lib, errors="replace").read()) + if m: + found.append((d, m.group(0))) + return found + + +def report(binary: str) -> int: + rows = [] + for ring, spec in pairs(): + if not os.path.exists(spec): + rows.append((ring, spec, "SPEC-MISSING", 0, 0, 0, [])) + continue + hand = signatures(open(f"{RINGS}/{ring}/src/lib.rs", errors="replace").read()) + gen = subprocess.run([binary, "gen-rust", spec], capture_output=True, text=True).stdout + s = signatures(gen) + shared = sorted(set(hand) & set(s)) + differing = [k for k in shared if hand[k] != s[k]] + rows.append((ring, spec, classify(hand, s), len(hand), len(s), len(shared), differing)) + + if not rows: + # A tool reporting "0 problems" over 0 inputs has measured nothing. + print("check_ring_spec_drift: no ring names a spec. Exit 2.", file=sys.stderr) + return 2 + + print(f"ring/spec pairs: {len(rows)}") + for ring, spec, verdict, nh, ns, nsh, diff in rows: + print(f" {verdict:<12} {ring:<18} {spec}") + print(f" hand fns {nh}, spec fns {ns}, shared {nsh}, differing {len(diff)}") + for k in diff[:6]: + print(f" differs: {k}") + conv = sum(1 for r in rows if r[2] == "CONVERGED") + print( + f"\nCONVERGED {conv} -- a matching signature is NOT matching behaviour. " + f"ring-090 read 16 of 16 identical and still disagreed on 126 of 1190 " + f"differential cases (#3420)." + ) + return 1 if any(r[2] == "DRIFTED" for r in rows) else 0 + + +def self_check() -> int: + """Each verdict must be reachable, or the taxonomy is decoration.""" + a = {"f": ("x: u32", "u32"), "g": ("", "bool")} + same = dict(a) + partial = {"f": ("x: u32", "u32"), "g": ("y: i8", "bool")} + none = {"f": ("x: u64", "u64")} + disjoint = {"zzz": ("", "bool")} + checks = [ + ("CONVERGED", classify(a, same)), + ("DRIFTED", classify(a, partial)), + ("UNRELATED", classify(a, none)), + ("UNRELATED", classify(a, disjoint)), + ] + # The trailing-comma normalisation, which is what made ring-090 read as + # identical rather than as one spurious difference. + tc = signatures("pub fn f(a: u32, b: u32,) -> u32 {\n") + tc2 = signatures("pub fn f(a: u32, b: u32) -> u32 {\n") + ok = all(want == got for want, got in checks) and tc == tc2 + for want, got in checks: + print(f" self-check: want {want:<10} got {got:<10} {'ok' if want == got else 'FAIL'}") + print(f" self-check: trailing comma normalised -- {'ok' if tc == tc2 else 'FAIL'}") + return 0 if ok else 1 + + +def main() -> int: + if "--self-check" in sys.argv: + return self_check() + return report(t27c()) + + +if __name__ == "__main__": + sys.exit(main())