Skip to content

specs: four copied bodies reuse their originals, dupe scan green (Closes #7355) - #7359

Merged
gHashTag merged 1 commit into
masterfrom
claude/dupe-bodies-7355
Oct 7, 2026
Merged

gHashTag merged 1 commit into
masterfrom
claude/dupe-bodies-7355

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 7, 2026

Copy link
Copy Markdown
Owner

The duplicate-bodies check (tools/dupe_scan.py) was red on master: four new copied bodies that no ledger entry covered. All four live in .t27 specs, so this change removes the copies. Nothing was blessed.

  • gen_wal.t27: WAL_deinit now returns WAL_checkpoint(wal).
  • history.t27: getRecentHistory now calls searchHistory(cdp, "", maxResults).
  • mvp_ternary_classifier_top.t27: is_blinking_success now calls is_success_status.
  • review_log.t27: imports str_contains with use test_framework::runner::str_contains;. Its str_starts_with had a contains-scan body under a prefix name; it is now a real prefix check.

Scan before: 624 duplicate bodies in 185 groups, 4 errors. After: 615 bodies in 181 groups, "ok: no new duplicate body".
t27c test-report shows FAIL 0 on all four specs (8/17/6/14 pass). Seals were saved with t27c seal --save, and the NOW entry was written with tri now add.

Closes #7355

🤖 Generated with Claude Code

 #7355)

WAL_deinit, getRecentHistory and is_blinking_success now delegate to the
function whose body they copied. review_log.t27 uses runner's
str_contains; its str_starts_with (a contains scan under a prefix name)
becomes a real prefix check. dupe_scan: 624 -> 615 bodies, no new group.
test-report FAIL 0 on all four specs; seals saved.

Closes #7355

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 7, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-07 08:06:23 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)=1aa228450491 != 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 b3617f2 into master Oct 7, 2026
23 of 29 checks passed
gHashTag added a commit that referenced this pull request Oct 7, 2026
#7359 (b3617f2) turned the local str_starts_with from a substring check
into a real prefix check, but all 14 tests passed with either body: every
fixture line that hits a prefix rule starts with its needle.

Three new test blocks answer differently under the two bodies:
- a line carrying "reviewer: gh pr list" after offset 0 is OTHER, while the
  prefixed lines stay LISTING_ERROR_504 / LISTING_ERROR_OTHER;
- the same pair for "gh pr list -R: transient failure" (OTHER vs RETRY);
- direct str_starts_with asserts (needle mid-string, at start, longer than
  the haystack, empty needle).

t27c test-report: 17 tests, 17 pass, FAIL 0, 0 vacuous.
Negative control: str_starts_with body replaced by str_contains in a temp
copy -> 14 pass, FAIL 3 (exactly the three new blocks). Seal re-saved.

Census: tools/census/quiet.txt re-blessed. "named a path but not quiet"
moved 167 -> 181, "a tracked path, present" 10 -> 12, "no path ANYWHERE in
the step" 9 -> 7. `tri census explain` attributes all three to
.github/workflows/auto-merge-ready-prs.yml, already on master; this commit
does not move them, the pre-commit gate requires the re-bless to commit.

Closes #7396

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
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 check is red on master: WAL_checkpoint, getRecentHistory, is_blinking_success, str_contains

1 participant