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

说明与用途

UTAs v1.7.0 引入分布式对抗窗口采样，执行所有变异操作并发布生存者列表，实现 40/40 对抗覆盖和 40 个捕获变异。

问题

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.

结果

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.

工作流

• 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.

证据

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

来源

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

来源

The survivor list is committed as an artifact

来源