Mutation Testing

How to run a diff-scoped mutation gate on every PR in a few minutes, feed the surviving mutants back to the coding agent as its next prompt, and use its equivalent-mutant claims to find gaps in the spec.