Mutation pins for run.rs, context.rs, encode.rs (cut C) #90

Merged

weksa merged 4 commits from weksa-lowering/mutants-c into main 2026-11-14 02:41:58 +00:00

Conversation 0 Commits 4 Files changed 7 +193

weksa commented 2026-11-14 02:41:56 +00:00

Member

Copy link

Mutation test gaps, cut C (spec weksa-lowering:cut_spec:cut-mutants-c.r1, base d9187ae). Tests only: tests/mutants_c.rs, src/{context,encode,run}/mutants.rs, three #[cfg(test)] mod mutants; lines.

group	files	generated	caught	missed	timeout	unviable
g1	context, encode	148	113	0	0	35
g2	run.rs 1-999	122	99	0	0	23
g3	run.rs 1000-1999	176	163	2	0	11
g4	run.rs 2000+	200	184	0	0	16

First sweep had 9 survivors: 7 killed by six tests, 2 named below.

Equivalents:

• run.rs:1113:24 i > 0 in recall_split: with at least 4 words a boundary strictly nearer the middle than index 0 always exists.
• run.rs:1488:31 held.len() > 1 in stance_ablation: dead guard, output identical (digest check does the same job); only an extra scratch packet differs. Candidate deletion.

Report weksa-lowering:cut_report:cut-mutants-c.h1; Soul verdict PASS.

🤖 Generated with Claude Code

Mutation test gaps, cut C (spec `weksa-lowering:cut_spec:cut-mutants-c.r1`, base d9187ae). Tests only: `tests/mutants_c.rs`, `src/{context,encode,run}/mutants.rs`, three `#[cfg(test)] mod mutants;` lines. | group | files | generated | caught | missed | timeout | unviable | |---|---|---|---|---|---|---| | g1 | context, encode | 148 | 113 | 0 | 0 | 35 | | g2 | run.rs 1-999 | 122 | 99 | 0 | 0 | 23 | | g3 | run.rs 1000-1999 | 176 | 163 | 2 | 0 | 11 | | g4 | run.rs 2000+ | 200 | 184 | 0 | 0 | 16 | First sweep had 9 survivors: 7 killed by six tests, 2 named below. Equivalents: - run.rs:1113:24 `i > 0` in `recall_split`: with at least 4 words a boundary strictly nearer the middle than index 0 always exists. - run.rs:1488:31 `held.len() > 1` in `stance_ablation`: dead guard, output identical (digest check does the same job); only an extra scratch packet differs. Candidate deletion. Report `weksa-lowering:cut_report:cut-mutants-c.h1`; Soul verdict PASS. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 4 commits 2026-11-14 02:41:56 +00:00

Mutation pins for context.rs and encode.rs: empty train, uncited speaker, nested mark ... 5b36198577

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Mutation pin for run panel refusal ... 48d4442453

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Mutation pins for run recall: split rule and directory ... 9e68d2d978

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Format the mutation pins ... aaf4eecbbf

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

weksa merged commit 611460bec3 into main 2026-11-14 02:41:58 +00:00

weksa referenced this pull request from a commit 2026-11-14 02:41:59 +00:00

Mutation pins for run.rs, context.rs, encode.rs (cut C) (#90)

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

GameCult/Weksa!90

No description provided.