From 188f089ca09e69152d0a5551632e5a13fd59054b Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Mon, 19 Oct 2026 16:34:19 +0700 Subject: [PATCH] seal(t27f): re-seal frontend.t27, stale since 3b7c34bf1 (#10939) (Closes #10967) 3b7c34bf1 (#10939) changed specs/t27f/frontend.t27 without re-sealing it, so the Seal Coverage check failed on every pull request. Re-sealed on the Railway lab with a compiler built from f9fe37a43. Verify prints all hashes MATCH, and the coverage check reports 2796 holding, 113 baselined, none newly broken. The spec is untouched. Co-Authored-By: Claude Sonnet 5.5 --- .trinity/seals/t27f_T27fFrontend.json | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/.trinity/seals/t27f_T27fFrontend.json b/.trinity/seals/t27f_T27fFrontend.json index f7b35dd532..44326d3c22 100644 --- a/.trinity/seals/t27f_T27fFrontend.json +++ b/.trinity/seals/t27f_T27fFrontend.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e3d5e0dd4", + "built_by": "t27c-bootstrap@0.5.2+027a0e2fa", "closure": [ { "spec": "specs/t27f/reel.t27", @@ -15,23 +15,23 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:0fd5ffd52dde4182ccbb30ee2ab37504725ce18fe33b89c613424f7149a7b4dd", - "gen_hash_rust": "sha256:e1cf0477a2e4e7ecd3c4d75ab3e31062d5aa0348266cb78146c6fcea93b8e9cd", - "gen_hash_verilog": "sha256:80c2a11a9133eb38e2361b0b38539c8cd8672d4823961744e5b0a83930c12ec2", - "gen_hash_zig": "sha256:ee73aa033ff4acd310a4c79bcb4b11bdf80cc957a87b986510c651a6f0498a46", + "gen_hash_c": "sha256:96ab72d5b57f531c027ed39991877d4f4093c5c955b4ce343c7b0ad6e27eade9", + "gen_hash_rust": "sha256:e4880f3085c109eb0eb30c576ca0240d23a16b81dec3019f71788504c8f24ee7", + "gen_hash_verilog": "sha256:01c112ea07c834f3d10a5912c33e2a23d4fc94200421d817b8e4ca62d4c69e97", + "gen_hash_zig": "sha256:77cda01fa3e7fc54afba24a59ab60ca3af4d8361d68f6f6f62463ace48adfa3c", "module": "T27fFrontend", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T03:20:51Z", + "sealed_at": "2026-10-19T09:32:28Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:a3e5ec03af02e77f1412a95add4ee269c159ecd83209c7475222a4120dd97599", + "spec_hash": "sha256:dc939f58ff62736b3ed400fbd0cc9d0f6c1bbb223e538dce1c8746729e47087b", "spec_path": "specs/t27f/frontend.t27", "tests": { "failed": 0, "failing": [], "forced": false, - "passed": 8, - "total": 8, + "passed": 9, + "total": 9, "vacuous": 0 }, "toolchain": {