Repository navigation
dupe-ledger: bless the claw helper copies from #10283/#10286/#10287/#10288 (Closes #10311) - #10312
Merged
Merged
Conversation
…10288 (Closes #10311) duplicate-bodies has been red on master since the claw specs landed without moving the ledger. Each new group and why it stays for now: - buf_has, digit_byte, put_count, put_str (gates.t27 + sarif.t27, #10288): deliberate. sarif.t27 says so in its header: the writers are private in gates.t27 and sarif.t27 must lower alone under gen-c. - bytes_eq 2 -> 3 (`same` in sarif_pins.t27, #10288): the test-only pins companion compares strings by .len, which gen-c cannot lower. - str_eq (gates.t27 + suggest.t27, #10286) and has_prefix (service.t27 #10283, starts_with in preview.t27 #10287): same lower-alone constraint; sharing them into one claw helper module is a follow-up, not this commit. The ledger is `python3 tools/dupe_scan.py --bless` output on master 238b6a9, run on the Railway lab; the gate exits 0 after it. Not hand-edited. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 18, 2026 08:17
Contributor
This was referenced Oct 18, 2026
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
#10316) master's duplicate-bodies check fails at 4414941: "a body written under log_frame is now copied [2] time(s) and was in no ledger". #10310 added specs/t27f/particle_engine.t27, whose log_frame has the same body as specs/t27f/particle_field.t27's. #10312 blessed the ledger before #10310 merged, so the copy was in no ledger. The one new line, `log_frame 2`, is `python3 tools/dupe_scan.py --bless` output, run on the Railway lab at master 4414941. The file's sha256 here (8f2300b5) matches the lab's. No other group changed: 188 groups and 662 bodies, as before. Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
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 #10311
duplicate-bodiesis red on master (238b6a9) and on every open PR, including the #10024 epic PR #10275. The claw specs from #10283, #10286, #10287 and #10288 copied helpers without moving the ledger.What moved in
tools/duplicate_bodies_baseline.txtbuf_has,digit_byte,put_count,put_strclaw/gates.t27,claw/sarif.t27(#10288)sarif.t27header says the writers are private in gates.t27 and sarif.t27 must lower alone under gen-cbytes_eqsameinclaw/sarif_pins.t27(#10288).len, never passed to gen-cstr_eqclaw/gates.t27,claw/suggest.t27(#10286)has_prefixclaw/service.t27(#10283),starts_withinclaw/preview.t27(#10287)Measured
On the Railway lab, master 238b6a9:
python3 tools/dupe_scan.py: exit 1 with these seven errors;--bless: changed only this file (+7 -1);b14e1a56...cc39, identical to the file in this commit.Nothing is hand-edited.
🤖 Generated with Claude Code