Skip to content

t27f: spec_deps reuses lit_len -- master duplicate-bodies red from #10681 (Closes #10685) - #10688

Merged
gHashTag merged 1 commit into
masterfrom
claude/spec-deps-reuse-lit-len
Oct 18, 2026
Merged

gHashTag merged 1 commit into
masterfrom
claude/spec-deps-reuse-lit-len

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #10685

#10681 merged with its duplicate-bodies check red, so master has been red on that job since 40b59d3. deps_len in specs/t27f/spec_deps.t27 had the same body as lit_len in specs/claw/t27f_gate.t27.

Change

  • Deleted deps_len, added use claw::t27f_gate;, and every call now uses lit_len. The copy is not blessed into the ledger.
  • The seal is refreshed. Its closure now names claw/t27f_gate.t27.

Verification (Railway lab, master 40b59d3 plus this diff)

  • python3 tools/dupe_scan.py: ok: no new duplicate body, and none of the known groups grew. The count went from 686 of 13447 to 684 of 13446.
  • t27c test-report specs/t27f/spec_deps.t27: 13 of 13 pass, 0 vacuous.
  • t27c seal --save: 13 of 13 pass.

Not covered

🤖 Generated with Claude Code

…loses #10685)

#10681 merged with duplicate-bodies red: deps_len had the same body as
lit_len in specs/claw/t27f_gate.t27. The copy is deleted and lit_len is
imported. No bless. On the Railway lab: dupe_scan ok, test-report 13 of
13, seal refreshed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 22:17
@gHashTag
gHashTag merged commit f7efbc2 into master Oct 18, 2026
35 checks passed
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 22:19:05 UTC

Summary

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

Seal Status

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

duplicate-bodies red on master: spec_deps.t27 deps_len copies claw t27f_gate lit_len (#10681)

1 participant