v1.7.0 shipped: adversarial window sampling, generated mutants, and the survivor list published

Description and use

UTAs v1.7.0 introduced distributed adversarial window sampling, executed all mutation operators, and published a survivor list, achieving 40/40 adversarial coverage and 40 caught mutants.

Problem

The existing conformance suite lacked distributional coverage of validity window violations and had gaps in mutation testing, leading to undetected weaknesses in card validation logic.

Outcome

The release achieved 40/40 adversarial coverage, 40 caught mutants, 6 equivalent mutants, and 0 observable escapes, with a published survivor list highlighting design trade‑offs such as the +1d clock shift.

Workflow

• Run generate-accept-vectors.mjs with --mode adversarial to produce cards with distributed window violations.
• Execute score-runner.mjs on the generated set to validate card scoring.
• Run mutate-runner.mjs on the same set to apply all mutation operators and execute each mutant against the full suite.
• Collect results: caught, equivalent-on-suite, and observable-escape mutants.
• Publish mutation-survivors.json containing the surviving mutants.
• Update CI to run these steps on every push.
• Verify cross‑check integrity and mutation coverage.

Evidence

generate-accept-vectors.mjs --mode adversarial emits correctly-signed, anchored, active cards whose only defect is a violated validity window

Source

Current state on 46 mutants: 40 caught, 6 equivalent, 0 observable

Source

The survivor list is committed as an artifact

Source