GameCult/Weksa
Watch
9
0
Fork
You've already forked Weksa
 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

Mutation pins: calendar date, Gregorian February, Checkpoint::round (cut A) #88

Merged
weksa merged 1 commit from weksa-lowering/mutants-a into main 2026-11-14 01:21:18 +00:00
Conversation 0 Commits 1 Files changed 3 +39
weksa commented 2026-11-14 01:21:12 +00:00
Member
Copy link

Mutation test gaps, cut A (spec weksa-lowering:cut_spec:cut-mutants-a.r1, base d9187ae). Tests only; production untouched except one #[cfg(test)] mod mutants; line in split.rs.

group files generated caught missed timeout unviable
g1 schema, entity, corpus, daodejing, model, speaker 87 77 0 0 10
g2 form, phones, split, ontology, packet 217 186 2 1 28
g3 validate 83 65 0 0 18
g4 score/* 180 169 1 0 10

Tests: calendar-date hyphen placement (form), Gregorian February (leap years), Checkpoint::round.

Equivalents (no input distinguishes):

  • ontology.rs:146 Ontology::empty -> Default::default(): body already is Self::default().
  • phones.rs:131 chars.len() - i bound: a longer window yields the same rest-of-string slice.
  • score/chrf.rs:56 p + r == 0.0 guard: p*r==0 gives 0 either way.
  • phones.rs:145 += -> *= timeout is a kill: i never advances, hang killed by test timeout.

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

🤖 Generated with Claude Code

Mutation test gaps, cut A (spec `weksa-lowering:cut_spec:cut-mutants-a.r1`, base d9187ae). Tests only; production untouched except one `#[cfg(test)] mod mutants;` line in split.rs. | group | files | generated | caught | missed | timeout | unviable | |---|---|---|---|---|---|---| | g1 | schema, entity, corpus, daodejing, model, speaker | 87 | 77 | 0 | 0 | 10 | | g2 | form, phones, split, ontology, packet | 217 | 186 | 2 | 1 | 28 | | g3 | validate | 83 | 65 | 0 | 0 | 18 | | g4 | score/* | 180 | 169 | 1 | 0 | 10 | Tests: calendar-date hyphen placement (form), Gregorian February (leap years), `Checkpoint::round`. Equivalents (no input distinguishes): - ontology.rs:146 `Ontology::empty -> Default::default()`: body already is `Self::default()`. - phones.rs:131 `chars.len() - i` bound: a longer window yields the same rest-of-string slice. - score/chrf.rs:56 `p + r == 0.0` guard: `p*r==0` gives 0 either way. - phones.rs:145 `+= -> *=` timeout is a kill: `i` never advances, hang killed by test timeout. Report `weksa-lowering:cut_report:cut-mutants-a.h1`; Soul verdict PASS. 🤖 Generated with [Claude Code](https://claude.com/claude-code) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
weksa merged commit 212bdbaf61 into main 2026-11-14 01:21:18 +00:00
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
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!88
No description provided.