[
  {
    "case": "confirmed",
    "exit": 0,
    "coverage": "PASS",
    "mechanism": "CONFIRMED",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "outside",
    "exit": 0,
    "coverage": "PASS",
    "mechanism": "FALSIFIED",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "idle",
    "exit": 0,
    "coverage": "PASS",
    "mechanism": "FALSIFIED",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "async_only",
    "exit": 2,
    "coverage": "INSUFFICIENT_EVIDENCE",
    "mechanism": "INSUFFICIENT_EVIDENCE",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "one_worker",
    "exit": 2,
    "coverage": "INSUFFICIENT_EVIDENCE",
    "mechanism": "INSUFFICIENT_EVIDENCE",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "open_span",
    "exit": 2,
    "coverage": "INSUFFICIENT_EVIDENCE",
    "mechanism": "INSUFFICIENT_EVIDENCE",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "sequence_gap",
    "exit": 2,
    "coverage": "INSUFFICIENT_EVIDENCE",
    "mechanism": "INSUFFICIENT_EVIDENCE",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "clock_jump",
    "exit": 2,
    "coverage": "INSUFFICIENT_EVIDENCE",
    "mechanism": "INSUFFICIENT_EVIDENCE",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "unrelated",
    "exit": 0,
    "coverage": "PASS",
    "mechanism": "FALSIFIED",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "unrelated_no_progress",
    "exit": 2,
    "coverage": "INSUFFICIENT_EVIDENCE",
    "mechanism": "INSUFFICIENT_EVIDENCE",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "generic_wait",
    "exit": 2,
    "coverage": "INSUFFICIENT_EVIDENCE",
    "mechanism": "INSUFFICIENT_EVIDENCE",
    "legacy_verdict_unchanged": true
  },
  {
    "case": "unknown_stamp",
    "exit": 2,
    "coverage": "INSUFFICIENT_EVIDENCE",
    "mechanism": "INSUFFICIENT_EVIDENCE",
    "legacy_verdict_unchanged": true
  }
]