Repository navigation
dupe-ledger: bless log_frame copied by particle_engine (Closes #10315) - #10316
Merged
Merged
Conversation
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>
gHashTag
enabled auto-merge (squash)
October 18, 2026 08:35
Contributor
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
put_str, digit_byte, put_count, buf_has, str_eq and has_prefix lived as copies in gates, sarif, suggest, service, preview and sarif_pins. They now live in specs/claw/text.t27 and every importer says `use claw::text;`. The sarif.t27 comment claiming the copies exist because the file must lower alone was wrong: use_resolve splices the imported helpers in before gen-c runs. preview.t27 swaps its `use claw::recipes;` for `use claw::text;`: it needs a single use, since recipes::str_eq and text::str_eq are reported ambiguous together and the qualified references stop resolving. Its tests compare strings with == instead. Measured on the Railway lab: test-report passes on text, gates, sarif, sarif_pins, suggest, service, preview, github_surface and recipes; the gate-topology claw audit still builds from gen/c/claw/gates.c and reports a current matrix; check_seal_currency reports 0 stale. gen/c/claw/gates.c is regenerated and the ClawGates, ClawGatesPins and ClawService seals re-saved in this commit. The dupe ledger moves down in the same commit (bytes_eq 3 -> 2; buf_has, digit_byte, has_prefix, put_count, put_str, str_eq removed). log_frame, which master's ledger lacks since particle_engine, is left to #10316. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…) (#10318) put_str, digit_byte, put_count, buf_has, str_eq and has_prefix lived as copies in gates, sarif, suggest, service, preview and sarif_pins. They now live in specs/claw/text.t27 and every importer says `use claw::text;`. The sarif.t27 comment claiming the copies exist because the file must lower alone was wrong: use_resolve splices the imported helpers in before gen-c runs. preview.t27 swaps its `use claw::recipes;` for `use claw::text;`: it needs a single use, since recipes::str_eq and text::str_eq are reported ambiguous together and the qualified references stop resolving. Its tests compare strings with == instead. Measured on the Railway lab: test-report passes on text, gates, sarif, sarif_pins, suggest, service, preview, github_surface and recipes; the gate-topology claw audit still builds from gen/c/claw/gates.c and reports a current matrix; check_seal_currency reports 0 stale. gen/c/claw/gates.c is regenerated and the ClawGates, ClawGatesPins and ClawService seals re-saved in this commit. The dupe ledger moves down in the same commit (bytes_eq 3 -> 2; buf_has, digit_byte, has_prefix, put_count, put_str, str_eq removed). log_frame, which master's ledger lacks since particle_engine, is left to #10316. Co-authored-by: Claude Sonnet 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 #10315
duplicate-bodiesis red on master at 4414941:a body written under log_frame is now copied [2] time(s) and was in no ledger.specs/t27f/particle_engine.t27. Itslog_framehas the same body as the one inspecs/t27f/particle_field.t27.This PR adds one line to
tools/duplicate_bodies_baseline.txt:log_frame 2.Measured (Railway lab, master 4414941)
python3 tools/dupe_scan.pyexits 1 with the error above.--blesschanges only this line. The sha256 of the committed file (8f2300b5) matches the lab's output.Not hand-edited.
Not in scope
Merging the two
log_framebodies into one shared helper. That is a separate change for the specs' owners.🤖 Generated with Claude Code