Skip to content

bless(dupe): port wave adds flat_index and is_ascii at 2 copies each - #9230

Merged
gHashTag merged 1 commit into
masterfrom
dupe-bless-2
Oct 12, 2026
Merged

gHashTag merged 1 commit into
masterfrom
dupe-bless-2

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

The 2026-10-12 port wave (bc738f6..4234cc3) copied two more upstream bodies verbatim, same family as #9198: flat_index and is_ascii now exist twice in the spec tree. Deliberate copies, so the ledger moves in the same commit per the gate's own instruction:

python3 tools/dupe_scan.py --bless   # on fresh origin/master 4234cc3c2

696 -> 700 bodies, 204 -> 206 groups, 1916 -> 1926 specs. Rescan on the blessed tree: ok, no new duplicate body and none of the known groups grew.

Refs #9198

🤖 Generated with Claude Code

The 2026-10-12 port wave (bc738f6..4234cc3) copied two more upstream
bodies verbatim, same family as #9198: flat_index and is_ascii now exist
twice in the spec tree. Deliberate copies, ledger moves in the same commit
per the gate's own instruction:

    python3 tools/dupe_scan.py --bless   # on fresh origin/master 4234cc3

696 -> 700 bodies, 204 -> 206 groups, 1916 -> 1926 specs. Rescan on the
blessed tree: ok.

Refs #9198

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 12, 2026 06:17
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-12 06:17:00 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 49
PRs with All Checks Green 1
READY 0
FAILING 49
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 49 + 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)=e769ef021713 != 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 ac59253 into master Oct 12, 2026
22 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