Delete dead U+0130 arm in fold_variant #91

Merged

weksa merged 2 commits from weksa-lowering/del-fold-variant-u0130 into main 2026-11-14 03:15:24 +00:00

Conversation 0 Commits 2 Files changed 2 +6 -5

weksa commented 2026-11-14 03:15:19 +00:00

Member

Copy link

Removes the dead '\u{130}' arm (normalized output is identical: Soul swept ~188M strings old vs new, 0 mismatches), corrects the doc comment, renames one over-claiming test and strengthens the relower assertion. Mutation (fold_variant|normalized): 25 mutants, 25 caught. Soul PASS.

🤖 Generated with Claude Code

Removes the dead '\u{130}' arm (normalized output is identical: Soul swept ~188M strings old vs new, 0 mismatches), corrects the doc comment, renames one over-claiming test and strengthens the relower assertion. Mutation (fold_variant|normalized): 25 mutants, 25 caught. Soul PASS. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 2 commits 2026-11-14 03:15:19 +00:00

Delete dead U+0130 arm in fold_variant; tighten two cut-B test pins ... 492f8358a3

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

Correct fold_variant doc: the dotless loop drops the U+0307 after i ... f5c266c121

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

weksa merged commit 1858023248 into main 2026-11-14 03:15:24 +00:00

weksa referenced this pull request from a commit 2026-11-14 03:15:26 +00:00

Delete dead U+0130 arm in fold_variant (#91)

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!91

No description provided.