Repository navigation
Conversation
PR #13335 edited specs/t27os/keysync_scope_probe.t27, hdmi_grab_main.t27 and hive_feed_acceptance.t27 without re-saving their seals, so master Spec Guards (seal-currency) reports STALE generated-code hash : 3, all four backend hashes stale in each (run 42446456796 at cf42110). Re-saved in a T27 OS shell-cell pane with the bootstrap compiler built from #13290 head 2cf81c1 (bootstrap/src identical to master; only generated header comments differ). Only the three seal files change. Refs #13335 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
This was referenced Nov 8, 2026
Collaborator
Author
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 #13335
What
PR #13335 edited three t27os specs without re-saving their seals, so master Spec Guards (seal-currency step) reports
STALE generated-code hash : 3since 85e0a7c (run 42446456796 at cf42110). This PR re-saves exactly those three seals; no spec or other file changes.t27os_KeysyncScopeProbe.jsonspecs/t27os/keysync_scope_probe.t27t27os_T27osHdmiGrabMain.jsonspecs/t27os/hdmi_grab_main.t27t27os_T27osHiveFeedAcceptance.jsonspecs/t27os/hive_feed_acceptance.t27All 12 new gen hashes (rust, zig, c, verilog per seal) equal the
current=prefixes in the master run log. No twin seals reference these specs; no/Userspath in the diff.How
Re-saved with
seal --savein a T27 OS shell-cell pane, compilert27c-bootstrap@0.5.2+2cf81c119(#13290 head).bootstrap/on master differs from that commit only in generated header comments.Unblocks the inherited spec-guards red on #13233.
Inherited red (not this PR)
coverage(Every seal still describes its spec) is red on master 1959e43 too (run 42449157784, 5 seals). This PR clears the three t27os[stale]entries; the two left arenumeric_Sha256.jsonandnumeric_Sha256Micro5.json[tests-fail](the specs' own tests fail on master, after ccef616 / #13336), unrelated to these seals.🤖 Generated with Claude Code