Repository navigation
seal: re-seal eight seals drifted by ae19b93cd's \xNN lexer change (Closes #10877) - #10878
Merged
Merged
Conversation
#10877) ae19b93 made every backend lower \xNN in a string to one byte. Four specs carry such strings, so their generated zig, verilog, c and rust moved while the specs did not, and coverage / spec-guards report gen-drift on master and on every pull request. Re-saved with t27c built from master d9378a8 (compiler unchanged since; 57aa3bc only removes runtime_minimal): compiler/runtime/commands.t27, compiler/codegen/verilog/fpga_emission.t27, compiler/cli/spec.t27, specs/ar/explainability.t27, twins included. All eight seals verify MATCH. The four specs stay blocked as before (their tests do not compile). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 19, 2026
Contributor
gHashTag
enabled auto-merge (squash)
October 19, 2026 05:34
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
2 participants
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.
Closes #10877
ae19b93 changed how the lexer lowers
\xNNin a string (every backend now writes one byte). Four specs carry such strings, so their generated output moved while the specs did not;coverageandspec-guardshave reported gen-drift for these eight seals on master and on every pull request since.Re-saved with
t27c seal <spec> --save, t27c built from master d9378a8 (the compiler is unchanged up to 57aa3bc, which only removes runtime_minimal):compiler/runtime/commands.t27-> commands, runtime_commandscompiler/codegen/verilog/fpga_emission.t27-> fpga_emission, verilog_fpga_emissioncompiler/cli/spec.t27-> spec_commands, cli_spec_commandsspecs/ar/explainability.t27-> Explainability, ar_Explainabilityt27c seal --verify: all hashes MATCH for all eight. Seal files only; the four specs stay blocked as they were (their tests do not compile).🤖 Generated with Claude Code