From d06a6f9f281390512c81818d93a03ca24fae5239 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 19 Oct 2026 12:21:55 +0700 Subject: [PATCH] seal: re-seal eight seals drifted by ae19b93cd's \xNN lexer change (Closes #10877) ae19b93cd made every backend lower \xNN in a string to one byte. Four specs carry such strings, so their generated zig, verilog, c and rust moved while the specs did not, and coverage / spec-guards report gen-drift on master and on every pull request. Re-saved with t27c built from master d9378a895 (compiler unchanged since; 57aa3bc30 only removes runtime_minimal): compiler/runtime/commands.t27, compiler/codegen/verilog/fpga_emission.t27, compiler/cli/spec.t27, specs/ar/explainability.t27, twins included. All eight seals verify MATCH. The four specs stay blocked as before (their tests do not compile). Co-Authored-By: Claude Opus 5.5 --- .trinity/seals/Explainability.json | 10 +++++----- .trinity/seals/ar_Explainability.json | 16 ++++++++-------- .trinity/seals/cli_spec_commands.json | 14 +++++++------- .trinity/seals/commands.json | 10 +++++----- .trinity/seals/fpga_emission.json | 10 +++++----- .trinity/seals/runtime_commands.json | 14 +++++++------- .trinity/seals/spec_commands.json | 10 +++++----- .trinity/seals/verilog_fpga_emission.json | 14 +++++++------- 8 files changed, 49 insertions(+), 49 deletions(-) diff --git a/.trinity/seals/Explainability.json b/.trinity/seals/Explainability.json index a18d23241d..385351bba7 100644 --- a/.trinity/seals/Explainability.json +++ b/.trinity/seals/Explainability.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:f0736c127540a9425b55d78d2795ed49488b496378461c38b16c0780e5785609", - "gen_hash_rust": "sha256:2a61ee1a81d21bf3390a80080f3fa9e9a4be251347c38a55073ac08e77919299", - "gen_hash_verilog": "sha256:f0f9fca4fd8795607c9ac572ef510888f9467aff2f64eadf8725b94993e205df", - "gen_hash_zig": "sha256:af4c6593f1b92a48b017fc47dbaaac250ed53267ec30d3d4e2ae3c81a73a8de4", + "gen_hash_c": "sha256:99c7ebcffa3b578a476584e2c6c3d9d44885c2091829925dcc504973d2b5a75e", + "gen_hash_rust": "sha256:29103f061d61eb2251c99bbfa8f3b906623cdd1b426038a89617d41bf6cd312f", + "gen_hash_verilog": "sha256:548ba6c4c0176247ffe62cb02dff97449bad9dfc44f69d0e1c5c11df62aeb4c6", + "gen_hash_zig": "sha256:98b3e08cfc0bf5610b7f4b99ca0224d045ab40b79d791e02f558f494ee7232f1", "module": "Explainability", "ring": 12, - "sealed_at": "2026-10-10T13:37:55Z", + "sealed_at": "2026-10-19T05:21:24Z", "spec_hash": "sha256:fa0b2c4b6213ae1664e5ede0f7277e5a92b077a8291ea69af9abda53a6346b7f", "spec_path": "specs/ar/explainability.t27", "tests": { diff --git a/.trinity/seals/ar_Explainability.json b/.trinity/seals/ar_Explainability.json index 0ced9e80ad..23c8c3f617 100644 --- a/.trinity/seals/ar_Explainability.json +++ b/.trinity/seals/ar_Explainability.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "built_by": "t27c-bootstrap@0.5.2+d9378a895", "closure": [ { "spec": "specs/base/types.t27", - "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2" } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:f0736c127540a9425b55d78d2795ed49488b496378461c38b16c0780e5785609", - "gen_hash_rust": "sha256:2a61ee1a81d21bf3390a80080f3fa9e9a4be251347c38a55073ac08e77919299", - "gen_hash_verilog": "sha256:f0f9fca4fd8795607c9ac572ef510888f9467aff2f64eadf8725b94993e205df", - "gen_hash_zig": "sha256:af4c6593f1b92a48b017fc47dbaaac250ed53267ec30d3d4e2ae3c81a73a8de4", + "gen_hash_c": "sha256:99c7ebcffa3b578a476584e2c6c3d9d44885c2091829925dcc504973d2b5a75e", + "gen_hash_rust": "sha256:29103f061d61eb2251c99bbfa8f3b906623cdd1b426038a89617d41bf6cd312f", + "gen_hash_verilog": "sha256:548ba6c4c0176247ffe62cb02dff97449bad9dfc44f69d0e1c5c11df62aeb4c6", + "gen_hash_zig": "sha256:98b3e08cfc0bf5610b7f4b99ca0224d045ab40b79d791e02f558f494ee7232f1", "module": "explainability", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T13:37:55Z", + "sealed_at": "2026-10-19T05:21:24Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:fa0b2c4b6213ae1664e5ede0f7277e5a92b077a8291ea69af9abda53a6346b7f", "spec_path": "specs/ar/explainability.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:21:20: error: use of undeclared identifier 'ProofStep'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/cli_spec_commands.json b/.trinity/seals/cli_spec_commands.json index 58be3e26f2..cb3cf5297c 100644 --- a/.trinity/seals/cli_spec_commands.json +++ b/.trinity/seals/cli_spec_commands.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+d9378a895", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:88a46e81f1f49af3ab8151d5357744f67495849f4b6bbf72c2fda9c3a3218f96", - "gen_hash_rust": "sha256:f7e0700082c1172f500aaa4e8ba81080be8ff7b0889f79134bf20850610d87ee", - "gen_hash_verilog": "sha256:751aeb3b7acac3af265275f501ccfe9c9508b11f79a10dae5908aec5aea04b0f", - "gen_hash_zig": "sha256:cf4f2504833441b02a66ca6970ab9cd1c063633382d801a3eea20da75480665f", + "gen_hash_c": "sha256:6ac2854d6578abf97205452ad04d3e467dc5c7f25191c4919f2360dc470e4f35", + "gen_hash_rust": "sha256:02b09b5c329364752940a854d58cf5c3d3bee33e4f2f88a8accbd41c343b6c96", + "gen_hash_verilog": "sha256:21c29daf512df3ca43dd1dd7299a03bc9adc4a6f99485b88d8e96ed7b50d99cf", + "gen_hash_zig": "sha256:688ba462a72f745e0fb69b468f9feb1bd628d1a3a53f8f69f443b8cc0c5563df", "module": "spec_commands", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:29:05Z", + "sealed_at": "2026-10-19T05:21:21Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:15152000d82c7e83b86809d61314cc266a1bb80d12641d8d246a57f4538539d8", "spec_path": "compiler/cli/spec.t27", @@ -17,7 +17,7 @@ "blocked": "does not compile: spec.zig:20:9: error: use of undeclared identifier 'error_print'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/commands.json b/.trinity/seals/commands.json index 01591258c0..a203321218 100644 --- a/.trinity/seals/commands.json +++ b/.trinity/seals/commands.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:f2403eb95635a80309fcc220bd2bb8ce9b8d9e57f438269def54ffa8f3320111", - "gen_hash_rust": "sha256:630b741e76a72bb2dc94ad47b7b42b1460ec10e536a3857a7a33b61be8ee6241", - "gen_hash_verilog": "sha256:9931da7ca5c294b8ddf37ec0a45cf08b0ad0d7418ed573998db6efe92fe21dd4", - "gen_hash_zig": "sha256:c4c41d50f7207462c8f9403e683dfdd47d5bfde5e0b05bc0228b427411b80a4f", + "gen_hash_c": "sha256:a8ecd8abea3568a46be778894b132fe42a5114c18865864ab5a387f48eaa46b1", + "gen_hash_rust": "sha256:195364864f27689d973f05af508df826007aff751aade9ea3cf761ca0ab7b471", + "gen_hash_verilog": "sha256:fbcec0243b0ef7c0c99f53a66f8b61dc9435739b4179c9690ce1a2c02b96c774", + "gen_hash_zig": "sha256:7c43fe103e2d973c473ef1c5f9f19883ec6a87f523887a7cdc1c7ad338ed0419", "module": "commands", "ring": 12, - "sealed_at": "2026-10-18T08:31:32Z", + "sealed_at": "2026-10-19T05:21:14Z", "spec_hash": "sha256:1cd4643fecb3a98d19e676f17aa3f4eefedb679e9bc39840e4305a65dc72afd5", "spec_path": "compiler/runtime/commands.t27", "tests": { diff --git a/.trinity/seals/fpga_emission.json b/.trinity/seals/fpga_emission.json index 5ed30831a8..747f25283c 100644 --- a/.trinity/seals/fpga_emission.json +++ b/.trinity/seals/fpga_emission.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:4295f50b30c0cd37be9883ab076628c24e17bcf8214e0212f4d612a99dcd6420", - "gen_hash_rust": "sha256:a5eed3c6e09d29622ded8b7408e67f73a53cacb6f62386c22c54e79b471e5fd8", - "gen_hash_verilog": "sha256:ed301249e1ca04d571d06cdab8b168611e482fe306be4ef013f6741fb36fd77e", - "gen_hash_zig": "sha256:9ada75704afeaac38e6f6305bab265b683eefd1e192d507ab680f524c6c5a764", + "gen_hash_c": "sha256:289bd77a90ccfc81f4f037eeae3b7b3944f45917a6224d578d7fdbd1784f7261", + "gen_hash_rust": "sha256:a02acc0a0c9c726cd7e83c69ad190c820b94c04f2b3451a15ef0abb387261687", + "gen_hash_verilog": "sha256:958509dd9a394af730c927f65003fb8f7f1e377d1fb787e4ab5ceeded52e2670", + "gen_hash_zig": "sha256:c4184cd1c38f0c1a24bb3ae595d859babbff33dd1bef87dfa0e02e7002042177", "module": "fpga_emission", "ring": 12, - "sealed_at": "2026-10-11T15:13:19Z", + "sealed_at": "2026-10-19T05:21:18Z", "spec_hash": "sha256:65583035760e54fe440550b535191edeb937c4caa749cbc14636d0b5b28a8066", "spec_path": "compiler/codegen/verilog/fpga_emission.t27", "tests": { diff --git a/.trinity/seals/runtime_commands.json b/.trinity/seals/runtime_commands.json index 99a57812c6..2a3e9951ec 100644 --- a/.trinity/seals/runtime_commands.json +++ b/.trinity/seals/runtime_commands.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+c55be46c6", + "built_by": "t27c-bootstrap@0.5.2+d9378a895", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:f2403eb95635a80309fcc220bd2bb8ce9b8d9e57f438269def54ffa8f3320111", - "gen_hash_rust": "sha256:630b741e76a72bb2dc94ad47b7b42b1460ec10e536a3857a7a33b61be8ee6241", - "gen_hash_verilog": "sha256:9931da7ca5c294b8ddf37ec0a45cf08b0ad0d7418ed573998db6efe92fe21dd4", - "gen_hash_zig": "sha256:c4c41d50f7207462c8f9403e683dfdd47d5bfde5e0b05bc0228b427411b80a4f", + "gen_hash_c": "sha256:a8ecd8abea3568a46be778894b132fe42a5114c18865864ab5a387f48eaa46b1", + "gen_hash_rust": "sha256:195364864f27689d973f05af508df826007aff751aade9ea3cf761ca0ab7b471", + "gen_hash_verilog": "sha256:fbcec0243b0ef7c0c99f53a66f8b61dc9435739b4179c9690ce1a2c02b96c774", + "gen_hash_zig": "sha256:7c43fe103e2d973c473ef1c5f9f19883ec6a87f523887a7cdc1c7ad338ed0419", "module": "commands", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T08:31:32Z", + "sealed_at": "2026-10-19T05:21:14Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1cd4643fecb3a98d19e676f17aa3f4eefedb679e9bc39840e4305a65dc72afd5", "spec_path": "compiler/runtime/commands.t27", @@ -17,7 +17,7 @@ "blocked": "does not compile: spec.zig:29:9: error: use of undeclared identifier 'error_print'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/spec_commands.json b/.trinity/seals/spec_commands.json index ad9c130a25..766560d884 100644 --- a/.trinity/seals/spec_commands.json +++ b/.trinity/seals/spec_commands.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:88a46e81f1f49af3ab8151d5357744f67495849f4b6bbf72c2fda9c3a3218f96", - "gen_hash_rust": "sha256:f7e0700082c1172f500aaa4e8ba81080be8ff7b0889f79134bf20850610d87ee", - "gen_hash_verilog": "sha256:751aeb3b7acac3af265275f501ccfe9c9508b11f79a10dae5908aec5aea04b0f", - "gen_hash_zig": "sha256:cf4f2504833441b02a66ca6970ab9cd1c063633382d801a3eea20da75480665f", + "gen_hash_c": "sha256:6ac2854d6578abf97205452ad04d3e467dc5c7f25191c4919f2360dc470e4f35", + "gen_hash_rust": "sha256:02b09b5c329364752940a854d58cf5c3d3bee33e4f2f88a8accbd41c343b6c96", + "gen_hash_verilog": "sha256:21c29daf512df3ca43dd1dd7299a03bc9adc4a6f99485b88d8e96ed7b50d99cf", + "gen_hash_zig": "sha256:688ba462a72f745e0fb69b468f9feb1bd628d1a3a53f8f69f443b8cc0c5563df", "module": "spec_commands", "ring": 12, - "sealed_at": "2026-10-11T10:29:05Z", + "sealed_at": "2026-10-19T05:21:21Z", "spec_hash": "sha256:15152000d82c7e83b86809d61314cc266a1bb80d12641d8d246a57f4538539d8", "spec_path": "compiler/cli/spec.t27", "tests": { diff --git a/.trinity/seals/verilog_fpga_emission.json b/.trinity/seals/verilog_fpga_emission.json index b812dd353d..f77880a336 100644 --- a/.trinity/seals/verilog_fpga_emission.json +++ b/.trinity/seals/verilog_fpga_emission.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+d9378a895", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:4295f50b30c0cd37be9883ab076628c24e17bcf8214e0212f4d612a99dcd6420", - "gen_hash_rust": "sha256:a5eed3c6e09d29622ded8b7408e67f73a53cacb6f62386c22c54e79b471e5fd8", - "gen_hash_verilog": "sha256:ed301249e1ca04d571d06cdab8b168611e482fe306be4ef013f6741fb36fd77e", - "gen_hash_zig": "sha256:9ada75704afeaac38e6f6305bab265b683eefd1e192d507ab680f524c6c5a764", + "gen_hash_c": "sha256:289bd77a90ccfc81f4f037eeae3b7b3944f45917a6224d578d7fdbd1784f7261", + "gen_hash_rust": "sha256:a02acc0a0c9c726cd7e83c69ad190c820b94c04f2b3451a15ef0abb387261687", + "gen_hash_verilog": "sha256:958509dd9a394af730c927f65003fb8f7f1e377d1fb787e4ab5ceeded52e2670", + "gen_hash_zig": "sha256:c4184cd1c38f0c1a24bb3ae595d859babbff33dd1bef87dfa0e02e7002042177", "module": "fpga_emission", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:19Z", + "sealed_at": "2026-10-19T05:21:18Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:65583035760e54fe440550b535191edeb937c4caa749cbc14636d0b5b28a8066", "spec_path": "compiler/codegen/verilog/fpga_emission.t27", @@ -17,7 +17,7 @@ "blocked": "does not compile: spec.zig:20:14: error: use of undeclared identifier 'StringBuilder'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file