diff --git a/.trinity/seals/t27f_T27fFrontend.json b/.trinity/seals/t27f_T27fFrontend.json index d269ef04b3..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+9448ab4be", + "built_by": "t27c-bootstrap@0.5.2+e3d5e0dd4", "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:20:51Z", "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..9fed7829e4 --- /dev/null +++ b/docs/now/2026-10-19-reseal-t27f-frontend.md @@ -0,0 +1,8 @@ +# 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 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.