Mutate.md
Mutate (tool)
type: module path: "@root/tools/Mutate.pudu" fidelity: Active grammar: "[[grammar/pudu]]" tags: [module, tool]
Purpose
Mutation testing: apply one operator change at a time to source files, run the checks and the suites, and report survivors.
Interface
pudu run tools/Mutate.pudu [--file <path> | --domain] [--every <n>] [--threshold <percent>] [--dry-run], with PUDU_BIN naming the compiler (default pudu).
Algorithm
- Mutants are operator swaps at code positions outside strings, comments, and imports; comparisons must be spaced so type brackets are not mutated.
- A mutant that fails
pudu checkis invalid; one whose suites still pass survived. --domainlimits the run to the pure layer;--every nsamples;--thresholdfails the run below a score.
Negative Logic (Prohibited Paths)
- Every mutated file is restored before the next mutant, whatever the verdict.
- A mutant whose suites run past 60 seconds counts as killed; a clean run takes about a second.
- The harness runs on a committed tree only: a run stopped mid-mutant leaves that one change, which
git diffshows andgit checkoutremoves.
Grill Log
- Q: Why mutate only the domain in pull requests? A: It holds the arithmetic and state machines where a single-point change is most likely to go unnoticed, and it runs in minutes. _Rejected:_ the full tree on every pull request.
Referenced by
[[architecture/TESTING]] · [[src/_MOC]]
