From e3d5e0dd451a99f7f0db83741576a21388504d0c Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 19 Oct 2026 03:18:51 +0000 Subject: [PATCH 1/2] seal(t27f): re-seal frontend.t27, stale since 2e561c612 (Closes #10811) 2e561c612 (#10782 M4) changed specs/t27f/frontend.t27 without re-sealing it, so check_seal_coverage failed on every pull request. t27c seal --save; the spec is untouched. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01ScHVrGSr6zZUdwkdC8DR9k --- .trinity/seals/t27f_T27fFrontend.json | 20 ++++++++++---------- docs/now/2026-10-19-reseal-t27f-frontend.md | 7 +++++++ 2 files changed, 17 insertions(+), 10 deletions(-) create mode 100644 docs/now/2026-10-19-reseal-t27f-frontend.md diff --git a/.trinity/seals/t27f_T27fFrontend.json b/.trinity/seals/t27f_T27fFrontend.json index d269ef04b3..41585332f4 100644 --- a/.trinity/seals/t27f_T27fFrontend.json +++ b/.trinity/seals/t27f_T27fFrontend.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+9448ab4be", + "built_by": "t27c-bootstrap@0.5.2+239b4b059", "closure": [ { "spec": "specs/t27f/reel.t27", @@ -15,27 +15,27 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:cb17d2d0955860474a7e522538691fe2efe5b3bf539497a5405349e2b830ee39", - "gen_hash_rust": "sha256:4b7f761fc91186cf4c9a8abb2a7c503407ddbeba06cbc34c7af51c811e1bde95", - "gen_hash_verilog": "sha256:7a71807e11de0cf1e85ccbf6fbe09c70ca7f8a84db78e7548eb9699ca3576777", - "gen_hash_zig": "sha256:bf142bb8a420fd242fc209833cb874d58a6ffffe23e6ea3121a4cc5cb1d16e9e", + "gen_hash_c": "sha256:0fd5ffd52dde4182ccbb30ee2ab37504725ce18fe33b89c613424f7149a7b4dd", + "gen_hash_rust": "sha256:e1cf0477a2e4e7ecd3c4d75ab3e31062d5aa0348266cb78146c6fcea93b8e9cd", + "gen_hash_verilog": "sha256:80c2a11a9133eb38e2361b0b38539c8cd8672d4823961744e5b0a83930c12ec2", + "gen_hash_zig": "sha256:ee73aa033ff4acd310a4c79bcb4b11bdf80cc957a87b986510c651a6f0498a46", "module": "T27fFrontend", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T17:03:22Z", + "sealed_at": "2026-10-19T03:17:42Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:13cd46e9bdacfbae4f6ecd247f771ad6159166aa3a45cd56ce25b57be06de58c", + "spec_hash": "sha256:a3e5ec03af02e77f1412a95add4ee269c159ecd83209c7475222a4120dd97599", "spec_path": "specs/t27f/frontend.t27", "tests": { "failed": 0, "failing": [], "forced": false, - "passed": 7, - "total": 7, + "passed": 8, + "total": 8, "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/docs/now/2026-10-19-reseal-t27f-frontend.md b/docs/now/2026-10-19-reseal-t27f-frontend.md new file mode 100644 index 0000000000..d974ac9e9a --- /dev/null +++ b/docs/now/2026-10-19-reseal-t27f-frontend.md @@ -0,0 +1,7 @@ +# NOW -- re-seal specs/t27f/frontend.t27 (2026-10-19) + +## .trinity/seals/t27f_T27fFrontend.json (Closes #10811) + +- Why: 2e561c612 (#10782 M4) changed `specs/t27f/frontend.t27` without re-sealing it, so `tools/check_seal_coverage.py` failed on every pull request ("1 seal(s) newly do not hold: t27f_T27fFrontend.json [stale]"). +- `t27c seal specs/t27f/frontend.t27 --save` with t27c built from 239b4b059 (compiler unchanged since; one bootstrap dependency bump, #9340), zig 0.16.0. The spec itself is not touched. +- After: `t27c seal --verify specs/t27f/frontend.t27` prints all hashes MATCH. From 80e55a5aacd6eab330d030fe47268afac7ccb59e Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 19 Oct 2026 03:22:34 +0000 Subject: [PATCH 2/2] seal(t27f): seal frontend.t27 with a t27c built from current master (refs #10811) The first save used a t27c from 239b4b059, older than the gen-rust change 0131f3196, so its rust gen hash described the old emitter. Re-saved with a t27c built from this branch's base; check_seal_coverage: none newly broken. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01ScHVrGSr6zZUdwkdC8DR9k --- .trinity/seals/t27f_T27fFrontend.json | 4 ++-- docs/now/2026-10-19-reseal-t27f-frontend.md | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.trinity/seals/t27f_T27fFrontend.json b/.trinity/seals/t27f_T27fFrontend.json index 41585332f4..f7b35dd532 100644 --- a/.trinity/seals/t27f_T27fFrontend.json +++ b/.trinity/seals/t27f_T27fFrontend.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+239b4b059", + "built_by": "t27c-bootstrap@0.5.2+e3d5e0dd4", "closure": [ { "spec": "specs/t27f/reel.t27", @@ -22,7 +22,7 @@ "module": "T27fFrontend", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T03:17:42Z", + "sealed_at": "2026-10-19T03:20:51Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:a3e5ec03af02e77f1412a95add4ee269c159ecd83209c7475222a4120dd97599", "spec_path": "specs/t27f/frontend.t27", diff --git a/docs/now/2026-10-19-reseal-t27f-frontend.md b/docs/now/2026-10-19-reseal-t27f-frontend.md index d974ac9e9a..9fed7829e4 100644 --- a/docs/now/2026-10-19-reseal-t27f-frontend.md +++ b/docs/now/2026-10-19-reseal-t27f-frontend.md @@ -3,5 +3,6 @@ ## .trinity/seals/t27f_T27fFrontend.json (Closes #10811) - Why: 2e561c612 (#10782 M4) changed `specs/t27f/frontend.t27` without re-sealing it, so `tools/check_seal_coverage.py` failed on every pull request ("1 seal(s) newly do not hold: t27f_T27fFrontend.json [stale]"). -- `t27c seal specs/t27f/frontend.t27 --save` with t27c built from 239b4b059 (compiler unchanged since; one bootstrap dependency bump, #9340), zig 0.16.0. The spec itself is not touched. +- `t27c seal specs/t27f/frontend.t27 --save` with t27c built from master at this branch's base (it includes the gen-rust change 0131f3196), zig 0.16.0. The spec itself is not touched. - After: `t27c seal --verify specs/t27f/frontend.t27` prints all hashes MATCH. +- `check_seal_coverage.py` with that t27c: 2883 seals, 2770 hold, 113 known-broken listed in seal_baseline.txt, none newly broken.