You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
duplicate-bodies red on master: 3 unbleseed fixture bodies from #6789 block every open PR #6831
Master-wide red on the required duplicate-bodies check.
Every open PR now fails duplicate-bodies with the same three names:
::error::a body written under carries_src2 is now copied [2] time(s) and was in no ledger
::error::a body written under sample_imm is now copied [2] time(s) and was in no ledger
::error::a body written under sample_reg is now copied [2] time(s) and was in no ledger
Verified on pure origin/master (345dcbb): python3 tools/dupe_scan.py prints exactly these three errors. The copies live in specs/isa/t27a.t27 and specs/compiler/theory/isa_round_trip.t27, both introduced by #6789 (t27a MVP). PR branches that do not touch either file (e.g. #6695) inherit the red.
The copies are deliberate: isa_round_trip.t27 is the round-trip theory spec and its fixtures must be self-contained bodies, so reuse across files is not the right fix here. The sanctioned path is to record them in the ledger in the same commit that introduces them -- #6789 skipped that step.
Fix:python3 tools/dupe_scan.py --bless. The ledger diff is exactly three lines (carries_src2 2, sample_imm 2, sample_reg 2); every pre-existing group is byte-identical, so the ratchet moves up only by the three #6789 groups and nothing shrinks or hides.
Activity
fix(gates): bless the three t27a round-trip fixture groups -- unblock…
tools: ledger the five helper bodies copied today (Refs #6831) (#7584)
tools: merge master into the hex-nibble ledger move (Refs #6831)
tools: the hex-nibble group grew to three (Refs #6831) (#7631)