Validate designs through adversarial testing
adversarial-validationworkflowsetup L3★1
KemonoNeco/Straitjacket ↗What it does
Validate test cases for vacuousness and mutation-driven correctness
Best for
When you need to verify that tests actually test something and aren't vacuous before committing to green.
Inputs
- · workUnits: locked test specs
- · stack: rust|csharp|both
- · mode: pre_impl|post_green|lock
Outputs
- · test validity report with mutation scores
Requires
- · cargo-mutants
- · Read
- · Grep
Preconditions
Tests written; mutation runner available
Failure modes
- · Mutation runners hang
- · Vacuousness detector misses happy-path
- · Synthesis dedupes incorrectly
Trust signals
- · Three isolated specialists (vacuousness, happy-path, misalignment)
- · Mutation-driven validity
- · Pre-impl and post-green modes