Repository navigation
seals: re-save 128 seal files for 70 specs (Refs #12972) - #12985
Merged
Merged
Conversation
…e ones (Refs #12972) The gen-rust emitter change afea7d4 moved gen_hash_rust of specs that were not touched, and a handful of specs were edited without a re-seal, so the coverage check lists 135 seals that no longer describe their spec. This re-saves 128 of them with t27c seal --save from a compiler whose bootstrap sources equal master. The remaining seals (compiler/parser/parser.t27, specs/fpga/wasm_board_ax7203.t27 and four specs/t27os specs) need a freshly built compiler and follow in a later commit. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
This was referenced Oct 31, 2026
…12972) The coverage run prints "NOTE 23 baselined seal(s) now hold. Drop their lines so the gate holds them". They are the 29 gen-drift entries of tools/seal_baseline.txt minus the six that spec-guards still reports as drifted (config-migrate, runtime-execute, server-router and their twins). Deletions only; no seal, spec or compiler file is touched. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
PR DashboardGenerated at: 2026-10-31 08:05:50 UTC
Summary
Seal Status
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Refs #12972
What
Re-saves 128 seal files (70 specs) that the
coveragecheck ("Every seal still describes its spec") lists as stale or gen-drifted on master 4cfd2f2 (Seal Coverage run 41172959376: 135 seals, 126 gen-drift, 9 stale).gen_hash_rustof specs that were not touched. Re-sealing says the new output is the wanted one.t27c seal <spec> --savefrom a compiler whosebootstrap/andcli/trisources equal master (no diff against origin/master). Twin seal files naming the same spec were updated by the same command. No absolute home path appears in the diff or in.trinity/seals.tools/seal_baseline.txt(the baselined gen-drift seals that now hold: the 29 gen-drift entries minus config-migrate, runtime-execute, server-router and their twins, which spec-guards still reports). Deletions only. No spec, compiler source or workflow file is edited.Not in this PR (7 of the 135 seals)
parser.json,parser_parser.jsoncompiler/parser/parser.t27t27c, none is on diskt27os_T27osGlassWindow.json,t27os_T27osKeys.json,t27os_T27osPtyLogic.json,t27os_T27osQueenDash.jsonspecs/t27os/{glass_window,keys,pty_logic,queen_dash}.t27fpga_fpga_wasm_board.jsonspecs/fpga/wasm_board_ax7203.t27gen_hash=noneThe compiler binary used for the 128 was built in a sibling worktree and has since been cleaned; the Mac has 4 GiB free and load 24, so no build was run here (heavy builds belong on the lab or a T27 OS pane). So
coverageis expected to go from 135 listed seals to these 7, not to zero. Issue #12972 stays open for them.Heads-up: PR 12967 edits
gates.t27, which makesclaw_ClawGatesandclaw_ClawGatesPinsstale again when it merges.🤖 Generated with Claude Code