Loading page...Загружаем страницу...正在加载页面...
AtlasRepo

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

Описание и применение

Версия 1.7.0 Universal Trust Adapter добавила распределённые тесты нарушения окна действительности, полностью применяет все мутационные операторы и публикует список выживших мутаций, подтверждая покрытие 40/40 в режиме adversarial.

Задача

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

Источник

  • Дата записи: 2026-10-03T23:55:52.625Z