From b33239e665349bfbffc0699a56d7c6dcb9ebbdfd Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 19 Oct 2026 23:23:28 +0700 Subject: [PATCH] gen-verilog: do not wrap an assignment target in $signed (Closes #10780) A packed signed array element on the left of an assignment was emitted as $signed(c[...]) = ..., which is not a legal Verilog assignment target (yosys: unexpected TOK_TO_SIGNED; iverilog: syntax error). specs/fpga/systolic.t27 (#7719) hit it, which made fpga-lint (1/60 modules) and fpga-conformance (NEW systolic: 2 errors) red on master. The W547 branch of the packed-array index emission wrote the wrapper unconditionally; the sibling branches already check in_lvalue. One line: elem_signed is false while the target is being emitted, so both the opening and the closing parenthesis go away. Measured: t27c gen-verilog over all 2830 tracked .t27 files, before and after: 25 specs change, 118 lines in total, and every changed line is exactly the removal of that wrapper before the assignment operator (checked line by line). systolic.t27 now passes yosys read_verilog -sv; hierarchy and iverilog -g2012 -DSIMULATION, tests 6/6, 0 vacuous. Seals: 20 specs re-saved (26 seal files with twins), only gen_hash_verilog moved, all verify MATCH. NOT re-saved: specs/ml/host_io_model.t27. Its host file I/O glue is Linux-only (a usize-returning open), so it does not compile on macOS and t27c seal refuses to re-save it there; its gen_hash_verilog needs one t27c seal --save on a Linux machine. FROZEN_HASH is the frozen-digest of the changed compiler.rs; compiler.rs is +1/-1, check_budget passes. Co-Authored-By: Claude Sonnet 5.5 --- .trinity/seals/MAC_Testbench.json | 4 ++-- .trinity/seals/TernaryEncoding.json | 4 ++-- .trinity/seals/TernaryShift.json | 4 ++-- .trinity/seals/TriRtree.json | 4 ++-- .trinity/seals/TriSkipList.json | 4 ++-- .trinity/seals/base_TernaryEncoding.json | 8 ++++---- .trinity/seals/benchmarks_kernel_matmul.json | 11 ++++++----- .trinity/seals/benchmarks_kernel_ternary.json | 11 ++++++----- .trinity/seals/claw_ClawMergeJudge.json | 6 +++--- .../seals/coder_igla-coder-ternary-gemm-gpu.json | 8 ++++---- .trinity/seals/collections_TriSkipList.json | 8 ++++---- .trinity/seals/compiler_ZigFieldSyntax.json | 11 ++++++----- .../conformance_T27bConformanceIntCastIndex.json | 11 ++++++----- .trinity/seals/crypto_TriEd25519.json | 13 +++++++------ .trinity/seals/dsp_fpga::dsp::adders.json | 8 ++++---- .trinity/seals/isa_TernaryShift.json | 8 ++++---- .../openxc7-synth_trinity_block_step1_top.json | 8 ++++---- .../openxc7-synth_trinity_block_step2_top.json | 8 ++++---- ...ity::src::phi_engine::runtime::simd_ternary.json | 8 ++++---- .trinity/seals/t27b_T27bLibm.json | 8 ++++---- .trinity/seals/t27f_idea_factory.json | 6 +++--- .trinity/seals/t27f_token_floor.json | 8 ++++---- .trinity/seals/testbench_MAC_Testbench.json | 6 +++--- .trinity/seals/tools_fuzz-trainer.json | 8 ++++---- .trinity/seals/trees_TriRtree.json | 6 +++--- .trinity/seals/verilog_ternary_mac_demo_top.json | 11 ++++++----- bootstrap/src/compiler.rs | 2 +- bootstrap/stage0/FROZEN_HASH | 2 +- 28 files changed, 105 insertions(+), 99 deletions(-) diff --git a/.trinity/seals/MAC_Testbench.json b/.trinity/seals/MAC_Testbench.json index 802c10cd2a..2189330ade 100644 --- a/.trinity/seals/MAC_Testbench.json +++ b/.trinity/seals/MAC_Testbench.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:7d669dbf7f4bab654f68ebdaa0e7cc83fdec1c770ce2904b1598f2c9a39971ea", "gen_hash_rust": "sha256:256004d973046f9dd48727a33c9fc440780fe663ee7f0fcbfb8a2f2f72bb046d", - "gen_hash_verilog": "sha256:5efa2b177da89ebb37656627521e1e75bbe49778b8e98bb627dae3439bec0006", + "gen_hash_verilog": "sha256:968464c0c6bb30ad16e3ac6fddb2c698107a7657526750b77dcfa9a9660d0b83", "gen_hash_zig": "sha256:726abffae8d0dd6d4785dea768c6306944df37978396b9fcc7eb67ca4ac46104", "module": "MAC_Testbench", "ring": 12, - "sealed_at": "2026-10-19T03:12:27Z", + "sealed_at": "2026-10-19T15:11:17Z", "spec_hash": "sha256:af060b6e5cdb2ffe1de0a47995b2c621139367174cf85237d8217aa929af10f7", "spec_path": "specs/fpga/testbench/mac_tb.t27", "tests": { diff --git a/.trinity/seals/TernaryEncoding.json b/.trinity/seals/TernaryEncoding.json index 3676056d87..258efc5476 100644 --- a/.trinity/seals/TernaryEncoding.json +++ b/.trinity/seals/TernaryEncoding.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:9db6633f092a55188bf71c611fa2ef3e2a2aa12d2388c428c51e9efdbad3139d", "gen_hash_rust": "sha256:a2364e5138d4542c685e8a8143322fe08daff79af89e20742b0bb2668c51e3e5", - "gen_hash_verilog": "sha256:7db4f30ca7be28a76afd30695e012870ca6fa4ee50fb8e8d33fcc9c9e04e26cf", + "gen_hash_verilog": "sha256:f413f9deab2de68201996bbb7ddfd30d9859ed93c61ba4053d84ccfa66576489", "gen_hash_zig": "sha256:107afa6013c537409b971c1e67e2b6d05edfe0613e01e25550e0c575d123d665", "module": "TernaryEncoding", "ring": 12, - "sealed_at": "2026-10-12T13:17:18Z", + "sealed_at": "2026-10-19T15:10:35Z", "spec_hash": "sha256:c6065130538e884f27ce0587664d475c68fa1a2e86903cf9e7831258397bc0ff", "spec_path": "specs/base/ternary_encoding.t27", "tests": { diff --git a/.trinity/seals/TernaryShift.json b/.trinity/seals/TernaryShift.json index 7a827d2a1b..81dbb2b56c 100644 --- a/.trinity/seals/TernaryShift.json +++ b/.trinity/seals/TernaryShift.json @@ -9,12 +9,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:80edce6cbfa225cdbb44915abee79930490113f3e9b308694747b3340a9b213c", "gen_hash_rust": "sha256:14cdd8349f1f96240270e89d501a6f2922f245ee2293b1c181418156f9b6f402", - "gen_hash_verilog": "sha256:ffbe2f4927e9d1aa3384ea7c4c4753a44a9bf6b3179254509ef2dba0e7611e93", + "gen_hash_verilog": "sha256:5c60516c320822fdebd20d4246c6a39ee1da50094998256c38f04e3f588ad23b", "gen_hash_zig": "sha256:8e4a132fadd794dbe32a877b190ed833cf193365ec13c60a98b00c4e9522a638", "module": "TernaryShift", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:30:43Z", + "sealed_at": "2026-10-19T15:11:29Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e04fb97c3eac77ed142680a42df0dbdcf6adf119aefea9094bc7ddffae35e397", "spec_path": "specs/isa/ternary_shift.t27", diff --git a/.trinity/seals/TriRtree.json b/.trinity/seals/TriRtree.json index 471fdb8d55..4fb2f5d4ed 100644 --- a/.trinity/seals/TriRtree.json +++ b/.trinity/seals/TriRtree.json @@ -13,12 +13,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:3a6fda86a60962d5da9dbc0af361c1c27eee317dfd6768a150c95c5b3035a860", "gen_hash_rust": "sha256:2b72a70eb7621618040a9dcbad9e229233dcf18873f0b1c67f858904c2c04cda", - "gen_hash_verilog": "sha256:c4c6047c060d2a6b5aed52604c95d167beb188e8cfbd7721e515be20e486fc16", + "gen_hash_verilog": "sha256:56e191d1ea6052f1ddc3d561fb841d0c9d59e2de28cc351446bfcc374a4165f6", "gen_hash_zig": "sha256:bcd269e6656a67f94bb0edeb515f5b9c0029260beeca379e0107b21b6fe1ace6", "module": "TriRtree", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:32:42Z", + "sealed_at": "2026-10-19T15:12:48Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f6c7e01a7cb907a18eb2cdd9e44cce0a49ce2a39e74231a2676fdff1e850d1cb", "spec_path": "specs/tri/trees/rtree.t27", diff --git a/.trinity/seals/TriSkipList.json b/.trinity/seals/TriSkipList.json index cb3f5e8365..c832c823a3 100644 --- a/.trinity/seals/TriSkipList.json +++ b/.trinity/seals/TriSkipList.json @@ -13,12 +13,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4eae3a0e991fe181829f6f2bb4e46c9e7167f57520e40f80b91b3a480d4273b4", "gen_hash_rust": "sha256:78b88432e37b7092cd95d19ce274a7ac4dbaf22605bdf1c401d83fcd6502dfbe", - "gen_hash_verilog": "sha256:5bdd00b93a31f16557a3de88ab7684fee08469ba727a947160d8e2aff1485b87", + "gen_hash_verilog": "sha256:5aec986f19e0e3c4da882350f3c72c14709f462113ad9a2c3fb0ffdbef75645c", "gen_hash_zig": "sha256:d29af7738bf309a1b2eace085b4d00ef06f290a2bf2be4219c9a4feb55d697d8", "module": "TriSkipList", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:16Z", + "sealed_at": "2026-10-19T15:12:22Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:604761ee96e2319ca03c47e533a2e56c2dea94dd5d47405a1dd2ffb081427a66", "spec_path": "specs/tri/collections/skip_list.t27", diff --git a/.trinity/seals/base_TernaryEncoding.json b/.trinity/seals/base_TernaryEncoding.json index 3b35522169..2f830fd510 100644 --- a/.trinity/seals/base_TernaryEncoding.json +++ b/.trinity/seals/base_TernaryEncoding.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+6aeca4178", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/base/types.t27", @@ -9,12 +9,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:9db6633f092a55188bf71c611fa2ef3e2a2aa12d2388c428c51e9efdbad3139d", "gen_hash_rust": "sha256:a2364e5138d4542c685e8a8143322fe08daff79af89e20742b0bb2668c51e3e5", - "gen_hash_verilog": "sha256:7db4f30ca7be28a76afd30695e012870ca6fa4ee50fb8e8d33fcc9c9e04e26cf", + "gen_hash_verilog": "sha256:f413f9deab2de68201996bbb7ddfd30d9859ed93c61ba4053d84ccfa66576489", "gen_hash_zig": "sha256:107afa6013c537409b971c1e67e2b6d05edfe0613e01e25550e0c575d123d665", "module": "TernaryEncoding", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-12T13:17:18Z", + "sealed_at": "2026-10-19T15:10:35Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:c6065130538e884f27ce0587664d475c68fa1a2e86903cf9e7831258397bc0ff", "spec_path": "specs/base/ternary_encoding.t27", @@ -27,7 +27,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/benchmarks_kernel_matmul.json b/.trinity/seals/benchmarks_kernel_matmul.json index 10ba65c5a3..e378d34ea3 100644 --- a/.trinity/seals/benchmarks_kernel_matmul.json +++ b/.trinity/seals/benchmarks_kernel_matmul.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+0d573722c", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a916894de916393526d76f2ace1d6f167547434fddd819b710af677a3995f90e", "gen_hash_rust": "sha256:44cb81c5b2299a9316b17ee7f7d53557f364c9c20c5c3ef86870a7e026d25b20", - "gen_hash_verilog": "sha256:98d759aa524bad2f0b73a1b1c3401c8e62422f72d4f4a78d6bce612bd132191c", + "gen_hash_verilog": "sha256:aeb534c7acab4e9519e0177b3da562e900132b1067c4dfcbd079973d35b8803b", "gen_hash_zig": "sha256:092249609df6c356fffb3059a471aa825595ca558b4b322b4d1e29fde461c6ed", "module": "kernel_matmul", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T20:26:05Z", + "sealed_at": "2026-10-19T15:10:43Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f68b8c7bad8faff4485e0794b1839eb4d76e6d16071b174d3fdb697f03107ada", "spec_path": "specs/benchmarks/kernel_matmul.t27", @@ -18,10 +18,11 @@ "failing": [], "forced": false, "passed": 2, - "total": 2 + "total": 2, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/benchmarks_kernel_ternary.json b/.trinity/seals/benchmarks_kernel_ternary.json index 397e2175c9..ae457f4b9f 100644 --- a/.trinity/seals/benchmarks_kernel_ternary.json +++ b/.trinity/seals/benchmarks_kernel_ternary.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+0d573722c", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a367be452514f3325687e5778dac47e1dfe25280be61c291659ff30ea74bd8e4", "gen_hash_rust": "sha256:b5a4e411f4a2019e1c461149d69932b465cc3f494622462a041d550e888aaeb1", - "gen_hash_verilog": "sha256:155a5110fc65139598d2a9838ef7d3771b58690653d196e720c6d50e2aff9b44", + "gen_hash_verilog": "sha256:108c63212fe6c76878b7a871675bdab4a2f6b6768be052ebd57abff93053f01b", "gen_hash_zig": "sha256:67bbfc14f7201bcb67526548dd0b612a8c3e756d7df7accb1cea3c22d82ed35e", "module": "kernel_ternary", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T20:26:20Z", + "sealed_at": "2026-10-19T15:10:49Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e5d8c28fd3c9ff30a772451f3a44e7e4db2a9ef2e4906053f8cbfb84495caa31", "spec_path": "specs/benchmarks/kernel_ternary.t27", @@ -18,10 +18,11 @@ "failing": [], "forced": false, "passed": 3, - "total": 3 + "total": 3, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/claw_ClawMergeJudge.json b/.trinity/seals/claw_ClawMergeJudge.json index 2c5ba8d1eb..decf9e9254 100644 --- a/.trinity/seals/claw_ClawMergeJudge.json +++ b/.trinity/seals/claw_ClawMergeJudge.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+b4bf811ac", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/claw/check_latest.t27", @@ -37,12 +37,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:960c99e70c02fd96bf64da3b77bba42f062efaa7e0310144aef81874ac8f9946", "gen_hash_rust": "sha256:35f509afeb83e8548fc4839ffe8594f018f8cbb1d8ac81e53f114f63883685d6", - "gen_hash_verilog": "sha256:167cfe9d28bb76ac70218c180038e5a99a6caddbdb909b0d341155cbe4ad822e", + "gen_hash_verilog": "sha256:97e7ac350e2a31365f72786c13dea95d642a1463ec8f907e0bee63f7e537f491", "gen_hash_zig": "sha256:cc5b29b0767ea02d0b469c849a98a8fd35162e78c32a49ec9e23b563fb2ebeab", "module": "ClawMergeJudge", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T10:23:45Z", + "sealed_at": "2026-10-19T15:10:58Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:614a28f7501e4eafa175b3250bf4c28ce3476dfeaf14a8c51a5a94087f3d39c7", "spec_path": "specs/claw/merge_judge.t27", diff --git a/.trinity/seals/coder_igla-coder-ternary-gemm-gpu.json b/.trinity/seals/coder_igla-coder-ternary-gemm-gpu.json index 5ecbd2a824..9fcc090c63 100644 --- a/.trinity/seals/coder_igla-coder-ternary-gemm-gpu.json +++ b/.trinity/seals/coder_igla-coder-ternary-gemm-gpu.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+5833b239b", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4a159a99a185dcf5c96a51d5733962dbdde4ce5d55855dc29e8368106648a2c3", "gen_hash_rust": "sha256:def3e79731aa2a6ce81eac82b564077874e400263f29d172257ae2e91f18a3dc", - "gen_hash_verilog": "sha256:2d43abc098ecbd5f0a1777b1596a01338be550cc6540f3dab4b5b7d91681b8a1", + "gen_hash_verilog": "sha256:736a1ef59c64b8cec26109672377c0766f950b7b1f30ad385b454173c57a71ea", "gen_hash_zig": "sha256:5e9703e7ef1a75cea857526b48ea23132620fd1c6303b5714d1f93cbbb8ae32c", "module": "igla-coder-ternary-gemm-gpu", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:25:14Z", + "sealed_at": "2026-10-19T15:11:23Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:573a8240cbcd39b8cd750e609a0ba5d6f24266496dba0695366e75370fc45b6d", "spec_path": "specs/igla/coder/ternary_gemm_gpu.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/collections_TriSkipList.json b/.trinity/seals/collections_TriSkipList.json index cb3f5e8365..7c66b82be6 100644 --- a/.trinity/seals/collections_TriSkipList.json +++ b/.trinity/seals/collections_TriSkipList.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/base/types.t27", @@ -13,12 +13,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4eae3a0e991fe181829f6f2bb4e46c9e7167f57520e40f80b91b3a480d4273b4", "gen_hash_rust": "sha256:78b88432e37b7092cd95d19ce274a7ac4dbaf22605bdf1c401d83fcd6502dfbe", - "gen_hash_verilog": "sha256:5bdd00b93a31f16557a3de88ab7684fee08469ba727a947160d8e2aff1485b87", + "gen_hash_verilog": "sha256:5aec986f19e0e3c4da882350f3c72c14709f462113ad9a2c3fb0ffdbef75645c", "gen_hash_zig": "sha256:d29af7738bf309a1b2eace085b4d00ef06f290a2bf2be4219c9a4feb55d697d8", "module": "TriSkipList", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:16Z", + "sealed_at": "2026-10-19T15:12:22Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:604761ee96e2319ca03c47e533a2e56c2dea94dd5d47405a1dd2ffb081427a66", "spec_path": "specs/tri/collections/skip_list.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/compiler_ZigFieldSyntax.json b/.trinity/seals/compiler_ZigFieldSyntax.json index 5ffd494029..569d317deb 100644 --- a/.trinity/seals/compiler_ZigFieldSyntax.json +++ b/.trinity/seals/compiler_ZigFieldSyntax.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+0d573722c", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:cf06833a5e14431241fefe7db265a5d77afc719f2262bf7633776e39a4646a85", "gen_hash_rust": "sha256:1a7f59a0f3030f39dd853d68e56c460180a1a4b6e72eb536b0449fcadafaaafc", - "gen_hash_verilog": "sha256:2c176cc48591d3383f2fe7d12e369f9f84c24c0259bb42ab9b1be2568bfbb3a2", + "gen_hash_verilog": "sha256:1bc898e033a13f5558eb242314c7c797875cd670867f3f6a837e277b7603268d", "gen_hash_zig": "sha256:dcf694b3e2bdc36ba35f37e266b5064967ea5ac00b8b6c0d1d87f4542dcf9ddc", "module": "ZigFieldSyntax", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T20:30:16Z", + "sealed_at": "2026-10-19T15:11:05Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:447010b814f200f7d8f4bbb99e3cc2f0a9b3f68de8bfc390e66a400627d745da", "spec_path": "specs/compiler/zig_field_syntax.t27", @@ -18,10 +18,11 @@ "failing": [], "forced": false, "passed": 2, - "total": 2 + "total": 2, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/conformance_T27bConformanceIntCastIndex.json b/.trinity/seals/conformance_T27bConformanceIntCastIndex.json index 29059bfe75..2361e68003 100644 --- a/.trinity/seals/conformance_T27bConformanceIntCastIndex.json +++ b/.trinity/seals/conformance_T27bConformanceIntCastIndex.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cde548ecd", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:60642816624bf552bec7ca967bcfb0958dfdb353171fcf3a34fa22f327c47e1e", "gen_hash_rust": "sha256:619c7d51384efc07f073f40582bbeed02ff69a9a5a254e9b4cd29cfec83044c6", - "gen_hash_verilog": "sha256:13a03a5713417efd5dc1d15a4bfec6eabe20c79b07f747da3f8cf07153738d54", + "gen_hash_verilog": "sha256:2ab344e2f179d71796dedf29a31b5aa21a4e7159da5e370898abfe5cc267a8ca", "gen_hash_zig": "sha256:23fc05be622874b1f2cd5e983099bd3be5b54237fab57f982f8ebc7877677681", "module": "T27bConformanceIntCastIndex", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T18:41:07Z", + "sealed_at": "2026-10-19T15:12:35Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:bfa085968b1359f848a7dd99847fd79408dd4e4e8f17d53f35ac0a13b7a9d2b5", "spec_path": "specs/tri/t27b/conformance/int_cast_index.t27", @@ -18,10 +18,11 @@ "failing": [], "forced": false, "passed": 5, - "total": 5 + "total": 5, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/crypto_TriEd25519.json b/.trinity/seals/crypto_TriEd25519.json index 11b6de45cf..6d3e1b74a9 100644 --- a/.trinity/seals/crypto_TriEd25519.json +++ b/.trinity/seals/crypto_TriEd25519.json @@ -1,9 +1,9 @@ { - "built_by": "t27c-bootstrap@0.5.2+f1f8a6980", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/base/types.t27", - "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2" }, { "spec": "specs/tri/crypto/sha512.t27", @@ -13,12 +13,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:fc57fca3fc2295b61c02e768dfbfa7070b348c0092ed4b2b0a8b0a615e912360", "gen_hash_rust": "sha256:268b3f80e6edfea61534052ee5812879376b63eee7d1fbfdff2aa0ab4b2062c6", - "gen_hash_verilog": "sha256:7f5dfb6001952929d260afcb4f5c178dd31e3b2735d806dc55966568e4b1d2ad", + "gen_hash_verilog": "sha256:a710070226a51b59f6d8c699188b8682d58bfa4bb836bc75d99b55320c46269a", "gen_hash_zig": "sha256:e00ed98a354a4f5e9a788cbe2f49a19890bf6a77e1259bbf17087f2cd5529fc9", "module": "TriEd25519", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T15:02:51Z", + "sealed_at": "2026-10-19T15:12:29Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:13915d74de7f5f3de9f13ce84ac87b964d8e183c31d2d5fc080a9994849b1617", "spec_path": "specs/tri/crypto/ed25519.t27", @@ -27,10 +27,11 @@ "failing": [], "forced": false, "passed": 16, - "total": 16 + "total": 16, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/dsp_fpga::dsp::adders.json b/.trinity/seals/dsp_fpga::dsp::adders.json index ccaba17b68..d56f2f3ecb 100644 --- a/.trinity/seals/dsp_fpga::dsp::adders.json +++ b/.trinity/seals/dsp_fpga::dsp::adders.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+3d0f84d74", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:739b9dd9df7bb9ea97af035cde5dd0b19653147212a2cd12ac2f34e5d667bcc8", "gen_hash_rust": "sha256:f62ab4dce241447cc71f65b3a6d4bdbd83cdda56e88d7a8a943eb51a2a517f7c", - "gen_hash_verilog": "sha256:820fef41aa4c3c3b0e1edda5bff6210f7c8c3fea99b2488f0ff7bdc9d07f7788", + "gen_hash_verilog": "sha256:bd7316fb9adffe3b097df905ecac280fcd63e6c01006174a6bbdc6ed2ac17415", "gen_hash_zig": "sha256:45e7e8fab76fe85067ccff9a8bdb8f022c2f45b75514ec03200de0061485d3d1", "module": "fpga::dsp::adders", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T09:18:53Z", + "sealed_at": "2026-10-19T15:11:14Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ed44160cf8bd574240eab4ebd404eb93a9a3e2663bf9dcd044d14b83510200bd", "spec_path": "specs/fpga/dsp/adders.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/isa_TernaryShift.json b/.trinity/seals/isa_TernaryShift.json index 7a827d2a1b..d0d756993e 100644 --- a/.trinity/seals/isa_TernaryShift.json +++ b/.trinity/seals/isa_TernaryShift.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/base/types.t27", @@ -9,12 +9,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:80edce6cbfa225cdbb44915abee79930490113f3e9b308694747b3340a9b213c", "gen_hash_rust": "sha256:14cdd8349f1f96240270e89d501a6f2922f245ee2293b1c181418156f9b6f402", - "gen_hash_verilog": "sha256:ffbe2f4927e9d1aa3384ea7c4c4753a44a9bf6b3179254509ef2dba0e7611e93", + "gen_hash_verilog": "sha256:5c60516c320822fdebd20d4246c6a39ee1da50094998256c38f04e3f588ad23b", "gen_hash_zig": "sha256:8e4a132fadd794dbe32a877b190ed833cf193365ec13c60a98b00c4e9522a638", "module": "TernaryShift", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:30:43Z", + "sealed_at": "2026-10-19T15:11:29Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e04fb97c3eac77ed142680a42df0dbdcf6adf119aefea9094bc7ddffae35e397", "spec_path": "specs/isa/ternary_shift.t27", @@ -27,7 +27,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/openxc7-synth_trinity_block_step1_top.json b/.trinity/seals/openxc7-synth_trinity_block_step1_top.json index 08629fde1d..2b3eb4f3bd 100644 --- a/.trinity/seals/openxc7-synth_trinity_block_step1_top.json +++ b/.trinity/seals/openxc7-synth_trinity_block_step1_top.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d2c8e7d41", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a481b31d293f50694de10c58687592df15ddb45129521452f2168a444ac6b703", "gen_hash_rust": "sha256:a6d88ca5ef4c52c614a2eb41bc558828f59fcbce48e38b7364592abb58bebc4b", - "gen_hash_verilog": "sha256:b7af927f388d1d42f9d3890831d20baf2386064cfd6401e9d8451f6a1dc51f75", + "gen_hash_verilog": "sha256:ab88a9a8866569c4db7e7bf89f0ff227f62b983b952cdfde8a418d2a94179b0d", "gen_hash_zig": "sha256:52bccc07d93f7817a95ad9bc0a8724e5b3309177d99e9f1c69efe408d45b63bb", "module": "trinity_block_step1_top", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T05:04:47Z", + "sealed_at": "2026-10-19T15:11:50Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:73511a08dc8c22f9b7aec68c713bd5ad620ce81778c14e81fe513be1f2213f8b", "spec_path": "specs/port/trinity/fpga/openxc7-synth/trinity_block_step1_top.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/openxc7-synth_trinity_block_step2_top.json b/.trinity/seals/openxc7-synth_trinity_block_step2_top.json index 5cf0a2b5fc..5eaf379c05 100644 --- a/.trinity/seals/openxc7-synth_trinity_block_step2_top.json +++ b/.trinity/seals/openxc7-synth_trinity_block_step2_top.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d2c8e7d41", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:1a8497800e865e8c482c2f4b64032034c8f3917e496ca00782dbf855558cc21a", "gen_hash_rust": "sha256:d84b435ab4eb1f907551598fc798a380e68bdb6cde81516cf0eb19ee07459a16", - "gen_hash_verilog": "sha256:dc16c56365cfdc5f5a24f3924d6e8df789317f4631049b4bb095494316ae3d08", + "gen_hash_verilog": "sha256:7eece8f7e29a15a9ad6f930bc4943d842ee085140e60459116621e3051f9c824", "gen_hash_zig": "sha256:2f763c2cfe03ac9568588db448834330971ca2172dfe2dd406ee86e6afe66f1d", "module": "trinity_block_step2_top", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T05:04:47Z", + "sealed_at": "2026-10-19T15:11:56Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:6e12ab7f33da1652aa63df6d7763463a0faa1547e2949a16f0fd81561352ed44", "spec_path": "specs/port/trinity/fpga/openxc7-synth/trinity_block_step2_top.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/runtime_port::trinity::src::phi_engine::runtime::simd_ternary.json b/.trinity/seals/runtime_port::trinity::src::phi_engine::runtime::simd_ternary.json index 4cdd4cb1fc..962c1fba0e 100644 --- a/.trinity/seals/runtime_port::trinity::src::phi_engine::runtime::simd_ternary.json +++ b/.trinity/seals/runtime_port::trinity::src::phi_engine::runtime::simd_ternary.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d2c8e7d41", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:ed1efe7471ee98aa93795bd2f0fff31a3698d6fcfaef21630a89f231b847f44a", "gen_hash_rust": "sha256:8a60dc01b4659810c7bf2aef36e3a3e0d93b74f37fddb02b62f46a919367528d", - "gen_hash_verilog": "sha256:7b9d9bbeb5ca63fa9da6240ed7766e8ef9a89ba4ae6e74859185b98cf0be6de5", + "gen_hash_verilog": "sha256:90fb057b1288b519da91926f4c41147020a9e834ab95fbfa3a2efd9b7c322aa3", "gen_hash_zig": "sha256:f70f25dc768e8332677e75164b280151738791331a04fa7650125b17792d693f", "module": "port::trinity::src::phi_engine::runtime::simd_ternary", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T05:05:02Z", + "sealed_at": "2026-10-19T15:12:01Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:9a23b5a611e9137671dcaa14d76a9d3a4c80b2805a39a1299351f64385cbb405", "spec_path": "specs/port/trinity/src/phi-engine/runtime/simd_ternary.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/t27b_T27bLibm.json b/.trinity/seals/t27b_T27bLibm.json index c4e39481a1..70af7f0d57 100644 --- a/.trinity/seals/t27b_T27bLibm.json +++ b/.trinity/seals/t27b_T27bLibm.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+8ea472041", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:693fb3a509396e1c81680e2dabf04bdee382bd54d312c21e20dd863452d48030", "gen_hash_rust": "sha256:56811beafc887cb8773c9a21d9f5e4e4686fc94a550d359c0dbda2f0164db126", - "gen_hash_verilog": "sha256:88588ac711a6efe50d1eb069130c43b7ec0a63d2bed153190b1ff261796d2760", + "gen_hash_verilog": "sha256:f03c1d155d6139879c06f9ef73f9536de50a6e6f850bc3fd49d7d5ae05f11792", "gen_hash_zig": "sha256:a29f31fedc07b5e0cf8709743216fa5726493984e06e5a864c910788e5c54bec", "module": "T27bLibm", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T11:13:57Z", + "sealed_at": "2026-10-19T15:12:42Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:bb2d59aae61115c012a7062f1e7b19c6becb1985fcb5913109cc8dd4727601ee", "spec_path": "specs/tri/t27b/libm.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/t27f_idea_factory.json b/.trinity/seals/t27f_idea_factory.json index 598a8871da..bf64c2fa70 100644 --- a/.trinity/seals/t27f_idea_factory.json +++ b/.trinity/seals/t27f_idea_factory.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+ae19b93cd", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/t27f/glyph57.t27", @@ -17,12 +17,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:659b08e2a43b61540ea16001090a6e5b8f647335d528534343fffbafbe3e279e", "gen_hash_rust": "sha256:afa2cf2329d20364792c727055b28f6512a7816e1d0cab5f727045d0ff925e0c", - "gen_hash_verilog": "sha256:4ff96840d918523ff0918749b04d454ba967695dc5cf1ce9c129e1d2f1a22096", + "gen_hash_verilog": "sha256:ca27d02b75dfd0b64abe2f7bd698275243187d5889cf0f6a04550d046cb5a6bc", "gen_hash_zig": "sha256:93dc9379ca8639ced871e177a0581962af0938ca10c3386d904c55e1b8c191b8", "module": "idea_factory", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T07:53:34Z", + "sealed_at": "2026-10-19T15:12:08Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:876f5856b3c313835cbb0b2e3c9c4d47db4c25fde46efd288126cdd0c4f218c4", "spec_path": "specs/t27f/idea_factory.t27", diff --git a/.trinity/seals/t27f_token_floor.json b/.trinity/seals/t27f_token_floor.json index 8343cd6b76..b17cd3f1e1 100644 --- a/.trinity/seals/t27f_token_floor.json +++ b/.trinity/seals/t27f_token_floor.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+5e4d3b998", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/physics/physical_limits.t27", @@ -33,12 +33,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:3206763fb219dd142baa945c3504da04d778bea33058bf72fd1b714320b8d309", "gen_hash_rust": "sha256:2eb10bb19e8ccb8675e39b5344d78f5361e5f89057780dd57583a5b1e6b0a525", - "gen_hash_verilog": "sha256:f1c9e7aa57719f89baccdeb47d6b92d09ee8895ab63f8e8d2fa74f7b5009a895", + "gen_hash_verilog": "sha256:37c041e93cea6542e774ed3ce76a84568f3d736d49a093d1b3bd2bc23314f087", "gen_hash_zig": "sha256:c34169797b0d63a8f2c4156edfadf3ce40a0aaf73e77788a478d25fcaac1ece0", "module": "token_floor", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T15:05:50Z", + "sealed_at": "2026-10-19T15:12:16Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1d33dca783f83effabb8208a6bbdf311840fbbe6e23081713b009954605807e3", "spec_path": "specs/t27f/token_floor.t27", @@ -51,7 +51,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/testbench_MAC_Testbench.json b/.trinity/seals/testbench_MAC_Testbench.json index bdd8238d62..8137c2d1aa 100644 --- a/.trinity/seals/testbench_MAC_Testbench.json +++ b/.trinity/seals/testbench_MAC_Testbench.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+549c8ced5", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/base/types.t27", @@ -13,12 +13,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:7d669dbf7f4bab654f68ebdaa0e7cc83fdec1c770ce2904b1598f2c9a39971ea", "gen_hash_rust": "sha256:256004d973046f9dd48727a33c9fc440780fe663ee7f0fcbfb8a2f2f72bb046d", - "gen_hash_verilog": "sha256:5efa2b177da89ebb37656627521e1e75bbe49778b8e98bb627dae3439bec0006", + "gen_hash_verilog": "sha256:968464c0c6bb30ad16e3ac6fddb2c698107a7657526750b77dcfa9a9660d0b83", "gen_hash_zig": "sha256:726abffae8d0dd6d4785dea768c6306944df37978396b9fcc7eb67ca4ac46104", "module": "MAC_Testbench", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T03:12:27Z", + "sealed_at": "2026-10-19T15:11:17Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:af060b6e5cdb2ffe1de0a47995b2c621139367174cf85237d8217aa929af10f7", "spec_path": "specs/fpga/testbench/mac_tb.t27", diff --git a/.trinity/seals/tools_fuzz-trainer.json b/.trinity/seals/tools_fuzz-trainer.json index 6847b4c9f5..913877d612 100644 --- a/.trinity/seals/tools_fuzz-trainer.json +++ b/.trinity/seals/tools_fuzz-trainer.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d2c8e7d41", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:3bd935cc9cbdf4bf0ba461b9c3d29c633239e11481a2cd178f771a3d01b71f29", "gen_hash_rust": "sha256:719b9d7286cf02e69559306d41369c78f40b0e25cb1eb050446c475a78c8bc1a", - "gen_hash_verilog": "sha256:9589dd3272b41ae08ca8596bf6eb98bf3639b85a1e58d932eb4150027ac5ac70", + "gen_hash_verilog": "sha256:348318c05208283892a41df96f49594e8cc48adef8892c780adf6454343a38e6", "gen_hash_zig": "sha256:4c8ab7db94e683f449f4e434b1d2a6d50abef895b81760901b7cbeb83c3a2445", "module": "fuzz-trainer", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T05:42:41Z", + "sealed_at": "2026-10-19T15:11:44Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:dddd82e6afe7e79b30142498f13086bb86bad4dc2af31fda4cf23fecb36c54e8", "spec_path": "specs/port/tools/fuzz_trainer.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/trees_TriRtree.json b/.trinity/seals/trees_TriRtree.json index effe0ef4d0..2ff4f8ad62 100644 --- a/.trinity/seals/trees_TriRtree.json +++ b/.trinity/seals/trees_TriRtree.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [ { "spec": "specs/base/types.t27", @@ -13,12 +13,12 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:3a6fda86a60962d5da9dbc0af361c1c27eee317dfd6768a150c95c5b3035a860", "gen_hash_rust": "sha256:2b72a70eb7621618040a9dcbad9e229233dcf18873f0b1c67f858904c2c04cda", - "gen_hash_verilog": "sha256:c4c6047c060d2a6b5aed52604c95d167beb188e8cfbd7721e515be20e486fc16", + "gen_hash_verilog": "sha256:56e191d1ea6052f1ddc3d561fb841d0c9d59e2de28cc351446bfcc374a4165f6", "gen_hash_zig": "sha256:bcd269e6656a67f94bb0edeb515f5b9c0029260beeca379e0107b21b6fe1ace6", "module": "TriRtree", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:32:42Z", + "sealed_at": "2026-10-19T15:12:48Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f6c7e01a7cb907a18eb2cdd9e44cce0a49ce2a39e74231a2676fdff1e850d1cb", "spec_path": "specs/tri/trees/rtree.t27", diff --git a/.trinity/seals/verilog_ternary_mac_demo_top.json b/.trinity/seals/verilog_ternary_mac_demo_top.json index d100ea4702..3d34af0e5d 100644 --- a/.trinity/seals/verilog_ternary_mac_demo_top.json +++ b/.trinity/seals/verilog_ternary_mac_demo_top.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+5d5d2cdef", + "built_by": "t27c-bootstrap@0.5.2+686f1aa91", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:9786003c6b6286499b0b3efa30dd0ece549410e182294d603a779945f97721ae", "gen_hash_rust": "sha256:76c2e6872a451440f2b5f1c2084e2a0f2a9d7b89ede96bd4f5f9eb44f5ef78b2", - "gen_hash_verilog": "sha256:3f0838cd404a39a34b2f6d28031ef7b0039cfecbe27b076b416198a450241336", + "gen_hash_verilog": "sha256:e7378cab1fe7c81b56218faef6c9f72b2668eceb66f90a08462d5b25e4676ac6", "gen_hash_zig": "sha256:1bee973c3f3cd560ceadee67246a9f7c9d7adb8460cf3e5244c98c37d199801b", "module": "ternary_mac_demo_top", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T14:50:39Z", + "sealed_at": "2026-10-19T15:11:38Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e82bc80311c03db06a13bf47b25184e8d9544a78c6125fcb313e88dd87e28e15", "spec_path": "specs/port/fpga/verilog/ternary_mac_demo_top.t27", @@ -18,10 +18,11 @@ "failing": [], "forced": false, "passed": 9, - "total": 9 + "total": 9, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/bootstrap/src/compiler.rs b/bootstrap/src/compiler.rs index b50bf418db..0f9d664df6 100644 --- a/bootstrap/src/compiler.rs +++ b/bootstrap/src/compiler.rs @@ -13773,7 +13773,7 @@ impl VerilogCodegen { // Verilog. Wrap the slice with $signed(...) when the element type is // signed so that comparisons, arithmetic, and probes preserve t27's // two's-complement semantics. - let elem_signed = Self::type_is_signed(&elem_type); + let elem_signed = Self::type_is_signed(&elem_type) && !self.in_lvalue; if elem_signed { self.write("$signed("); } diff --git a/bootstrap/stage0/FROZEN_HASH b/bootstrap/stage0/FROZEN_HASH index 354a03fb0e..781e4d1a8c 100644 --- a/bootstrap/stage0/FROZEN_HASH +++ b/bootstrap/stage0/FROZEN_HASH @@ -1 +1 @@ -57b91bb963340c534c236892f0e2f4fa4c6c2dab993af0cc41fa92e3888ee8dd bootstrap/src/compiler.rs +e34e1b174c9673f182318994d759e696dc51c6c734f7f667d0295a45d3b6476e bootstrap/src/compiler.rs