Repository navigation
ratchet: re-pin igla race backend/rtl discard counts moved by #10689 (Closes #10695) - #10699
Merged
Merged
Conversation
…loses #10695) One invariant moved from rtl.t27 to backend.t27, and its 15 discarded tokens moved with it: backend 481 -> 496, rtl 628 -> 613, and the sum is unchanged. The lab's --bless-expectations measured these numbers. Only the four numbers are applied, which keeps the _why_entries_fell history that the bless deletes. The lab ratchet is CLEAN. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
#10695) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 18, 2026 22:43
Contributor
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
1 participant
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 #10695
#10689 moved one invariant,
rtl_count_mul_ops_comment_ignored_inv, fromspecs/igla/race/rtl.t27tospecs/igla/race/backend.t27. The parser discards that invariant's text (bdd-block-fallback) in either file, so 15 discarded tokens moved from one pinned entry to the other, and the total is unchanged. The issue gate merged #10689 while its corpus ratchet was red, so master's ratchet is red for every PR. This PR re-pins the two entries:discard_tokensbdd-block-fallbackspecs/igla/race/backend.t27specs/igla/race/rtl.t27The sum is 1109 before and after. No entry is added or removed, and
max_entriesis unchanged.How
I ran
t27c suite --repo-root . --bless-expectations --corpus-onlyon the Railway lab, on master 7c052e3. It measured exactly these four numbers and nothing else moved. The blessed file also deleted the_why_entries_fellhistory field, so I did not commit the blessed file. This PR applies the four measured numbers to master's file and keeps the history. That a bless deletes the field is a separate trap. This PR does not fix it.Verification (Railway lab)
t27c suite --repo-root . --ratchet --corpus-onlywith this file reportsRATCHET: CLEAN: ledger 66 / 66, DISCARD WORSENED 0, IMPROVED 0, CHANNEL 0, exit 0.Self-critique
I verified #10689 with
test-reportagainst master, but I did not run the corpus ratchet. A move between pinned files is invisible totest-report, so that check was the wrong one. Lesson for the t27f skill: when a change moves text between specs, run the ratchet too.🤖 Generated with Claude Code