Skip to content

test(claw): suggest's header parser and planner edges, all 16 sweep survivors killed - #10679

Merged
gHashTag merged 1 commit into
masterfrom
claw-suggest-mutants
Oct 18, 2026
Merged

gHashTag merged 1 commit into
masterfrom
claw-suggest-mutants

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

What

This adds 6 tests to specs/claw/suggest.t27. The mutation sweep of #10673 left 16 surviving mutants on its code lines, and these tests kill all 16.

Test Mutants it kills
each_byte_of_the_extension_is_checked path_is_t27 return false to return true on the '2' and the '7' (a.t37, a.t28)
header_parse_takes_nine_and_seven_digits is_digit <= '9' to < '9' (@@ -9 +19,9 @@); the 7-digit limit > 7 to >= 7 on start and count
header_parse_refuses_each_single_byte_fault return false to return true on the -, the empty base count, the and + before the head range, an 8-digit head count and the @@ tail; p + 1 to p + 2 on the tail. Each header is wrong in exactly one place, and none may write out
a_one_line_diff_range_covers_its_line in_one_range dlen >= 1 to > 1
hunks_sharing_one_line_overlap_from_both_sides hunk_unknown f1 <= l2 to <: lines 10-12 and 12-14, read from the later hunk
one_comment_is_a_review should_post >= 1 to > 1

Verification (Railway lab)

  • t27c test-report specs/claw/suggest.t27: 22 tests, 22 pass, 0 vacuous passes.
  • t27b test: 22 tests pass.
  • I re-ran the 16 survivors one at a time: 16 caught, 0 survived, 0 blocked. Classification reads the report's FAIL line.
  • seal --save for suggest, then seal --verify on all 31 claw specs: 31 match, 0 differ.

Closes #10678

🤖 Generated with Claude Code

…urvivors killed

Six tests: the digit 9 and seven-digit numbers in a hunk header, each
single-byte header fault refused without a write, both extension bytes
of a .t27 path, a one-line diff range, hunks sharing one line read from
the later side, and should_post(1).

Closes #10678

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 21:55:06 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 48
PRs with All Checks Green 2
READY 2
FAILING 48
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).

@gHashTag
gHashTag merged commit e607228 into master Oct 18, 2026
34 of 37 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

claw: suggest.t27 -- 16 mutants survive in the hunk-header parser and the planner edges

1 participant