Skip to content

ci(dupe-ratchet): record the seven widget-logic helper copies as deliberate (Closes #11013) - #11014

Merged
gHashTag merged 1 commit into
masterfrom
fix/dupe-ledger-widget-logic-11013
Oct 19, 2026
Merged

gHashTag merged 1 commit into
masterfrom
fix/dupe-ledger-widget-logic-11013

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #11013

Master is red on duplicate-bodies (run 39243687990) for seven groups from #10965: digits_val, ws_at, ws_back, ws_before, ws_fwd, ws_len_at, ws_len_before, each copied twice across the widget logic specs. The hex_digit copy in rc_filter_ax7203.t27 named in the first brief is already gone (#10296).

Each widget logic spec is its own wasm module with module-level state, so sharing the helpers is a design change for the widget epic (#10937). This PR only records the copies: python3 tools/dupe_scan.py --bless on the Railway lab, 7 lines added to tools/duplicate_bodies_baseline.txt, nothing else.

Checked on the lab at 882fcff: before the change dupe_scan.py exits 1 on exactly these seven groups, after it exits 0; --self-test passes (11 shapes).

rc_filter_ax7203 tests: not re-run, the spec is untouched by this PR.

🤖 Generated with Claude Code

…berate (Closes #11013)

Master was red on duplicate-bodies since b92f6f1 (#10965): digits_val,
ws_at, ws_back, ws_before, ws_fwd, ws_len_at and ws_len_before each exist
twice across the widget logic ports (lut_explain/lut_treemap,
fasm_skyline/stat_card/lut_depth). The earlier hex_digit copy named in the
first brief was already removed by #10296.

Each widget logic spec compiles to its own wasm module with module-level
state, so a cross-module use is a design change that belongs to the widget
epic (#10937), not to a red-master fix. The copies are recorded with
python3 tools/dupe_scan.py --bless, run on the Railway lab: exactly seven
lines added, dupe_scan exits 0 after, and a new duplicate still fails.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 19, 2026 11:32
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 11:32:15 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 47
PRs with All Checks Green 3
READY 2
FAILING 47
PENDING 0
NO CHECKS YET 0

These columns do not partition: 2 + 47 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=2d301cdb4a58 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ci: master is red on duplicate-bodies -- seven widget-logic helper groups (digits_val, ws_*) are in no ledger

1 participant