Skip to content

seal(t27f): re-seal frontend.t27, stale since 2e561c612 -- Seal Coverage green again (Closes #10811) #10814

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 2 commits into from
Oct 19, 2026
Merged

seal(t27f): re-seal frontend.t27, stale since 2e561c612 -- Seal Coverage green again (Closes #10811) #10814

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
e3d5e0d
seal(t27f): re-seal frontend.t27, stale since 2e561c612 (Closes #10811)
claude Oct 19, 2026
80e55a5
seal(t27f): seal frontend.t27 with a t27c built from current master (…
claude Oct 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 10 additions & 10 deletions .trinity/seals/t27f_T27fFrontend.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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",
Expand All @@ -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"
}
}
8 changes: 8 additions & 0 deletions docs/now/2026-10-19-reseal-t27f-frontend.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Loading