Skip to content

test(claw): kill the real check_latest.t27 mutation survivors (#10739) - #10741

Merged
gHashTag merged 1 commit into
masterfrom
claw-mut-check-latest
Oct 19, 2026
Merged

gHashTag merged 1 commit into
masterfrom
claw-mut-check-latest

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

What

This PR adds tests to specs/claw/check_latest.t27, the TRI CLAW reader that lets a re-run supersede the run it replaces. A mutation sweep (#10739) showed what its tests let through. Only tests and one test helper change; production code does not.

Mutants Caught before Real survivors Caught after Left (equivalent)
51 41 5 46 5
New test Kills
a_run_id_is_one_to_twenty_digits an empty run field read as a run id; a 20-digit run id refused
the_row_cap_reads_1024_rows_and_refuses_the_next the 1024-row cap off by one, both in latest_counts and in is_superseded; neither had a test
a_blank_line_does_not_push_a_rerun_past_the_cap a blank line counted against the cap in is_superseded only, so a re-run at row 1024 stopped superseding

The cap fixture fills its rows with commit statuses. is_superseded returns at once for those, so the 1025-row test runs in well under a second.

The five that stay are listed with a reason each in #10739.

Also in this change: two stale dependency hashes

Verification (Railway lab, master 2520ee1)

  • t27c test-report and t27b: 14 of 14 (was 11), 0 vacuous passes.
  • Re-sweep of the real survivors: all caught, along with every other operator on those lines.
  • gen-c: the 7 committed gen/c/claw/*.c files are byte-identical. check_latest has no committed C.
  • seal --save for the two seals, then seal --verify over specs/claw/*.t27 plus specs/verified/gen_file_check.t27: 32 of 32.
  • The stale-dependency scan over .trinity/seals/claw_*.json finds 0 entries after this change.

Closes #10739.

🤖 Generated with Claude Code

Three tests: run ids of 0 and 20 digits, the 1024-row cap in both
readers, and a blank line before a re-run at the cap. 41 -> 46 of 51
mutants; the 5 left are equivalent. Reseals CheckLatest and
RequiredRed, which still cited check_state.t27 from before #10726.

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 00:48:32 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 45
PRs with All Checks Green 5
READY 4
FAILING 45
PENDING 0
NO CHECKS YET 0

These columns do not partition: 4 + 45 + 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)=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 c42f8fb into master Oct 19, 2026
31 of 35 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.

test(claw): check_latest.t27 mutation sweep, 5 real survivors of 51

1 participant