Skip to content

dupe ledger: bless the port-wave copies (Refs #6853) - #9129

Merged
gHashTag merged 1 commit into
masterfrom
dupe/port-wave-bless
Oct 11, 2026
Merged

gHashTag merged 1 commit into
masterfrom
dupe/port-wave-bless

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

The port waves that landed on master (#6853 mvp_ternary_classifier, #6856 install-git-hooks, #6904 trios loader) added copies the dupe ledger did not name — Duplicate Body Ratchet red on b99bb5c:

  • groups grown: magadd 31→32, magsub 31→32, sadd 30→31
  • new 2x bodies: copy_bytes_at, mem_eql_at, starts_with_at, runRailwayLogsCommand

All deliberate reuse by the port methodology (the same ternary magnitude ops 30+ specs already carry, and the stdlib-shaped helpers the ported shell/TS functions call). Blessing the ledger as the gate itself prescribes:

python3 tools/dupe_scan.py --bless   # 190 groups, 689 bodies
python3 tools/dupe_scan.py           # ok: no new duplicate body, no group grew

🤖 Generated with Claude Code

…ws magadd/magsub/sadd, the git-hooks and loader ports carry copy_bytes_at/mem_eql_at/starts_with_at/runRailwayLogsCommand (Refs #6853)

python3 tools/dupe_scan.py --bless on master b99bb5c; re-scan clean
(689 of 9685 in 202 groups, no new body, no group grew).

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 11, 2026 14:16
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-11 14:17:52 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 41
PRs with All Checks Green 9
READY 7
FAILING 41
PENDING 0
NO CHECKS YET 0

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=3b6a6d5807a4 != 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).

@gHashTag
gHashTag merged commit bed2799 into master Oct 11, 2026
21 of 24 checks passed
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.

1 participant