{
  "version": 1,
  "project": "review-triage",
  "cases": [
    {
      "id": "b01_offbyone",
      "path": "pager.py",
      "before": "def page(items, n, size):\n    \"\"\"Return page n (0-based) of items.\"\"\"\n    start = n * size\n    return items[start:start + size]\n",
      "after": "def page(items, n, size):\n    \"\"\"Return page n (0-based) of items.\"\"\"\n    start = n * size + 1\n    return items[start:start + size]\n",
      "planted_bug": true,
      "bug": "first item of every page is skipped",
      "bug_line_contains": "start = n * size + 1",
      "mechanism": "off_by_one",
      "note": "",
      "diff": "--- a/pager.py\n+++ b/pager.py\n\u0040\u0040 -1,4 +1,4 \u0040\u0040\n def page(items, n, size):\n     \"\"\"Return page n (0-based) of items.\"\"\"\n-    start = n * size\n+    start = n * size + 1\n     return items[start:start + size]\n",
      "cohort": "original",
      "contract": "n is a nonnegative zero-based page index and size is positive. Return exactly the requested slice.",
      "gold_lines": [
        "new:3"
      ]
    },
    {
      "id": "b03_sqlinject",
      "path": "store.py",
      "before": "def find_user(db, email):\n    return db.execute(\"SELECT id, name FROM users WHERE email = ?\", (email,)).fetchone()\n",
      "after": "def find_user(db, email):\n    email = email.strip().lower()\n    return db.execute(f\"SELECT id, name FROM users WHERE email = '{email}'\").fetchone()\n",
      "planted_bug": true,
      "bug": "SQL built by string formatting from user input",
      "bug_line_contains": "f\"SELECT id, name FROM users WHERE email",
      "mechanism": "injection",
      "note": "",
      "diff": "--- a/store.py\n+++ b/store.py\n\u0040\u0040 -1,2 +1,3 \u0040\u0040\n def find_user(db, email):\n-    return db.execute(\"SELECT id, name FROM users WHERE email = ?\", (email,)).fetchone()\n+    email = email.strip().lower()\n+    return db.execute(f\"SELECT id, name FROM users WHERE email = '{email}'\").fetchone()\n",
      "cohort": "original",
      "contract": "email is untrusted text. The SQLite database stores canonical lower-case emails; trimming and case normalization are intended.",
      "gold_lines": [
        "new:3"
      ]
    },
    {
      "id": "b07_none",
      "path": "profile.py",
      "before": "def display_name(user):\n    if user.nickname:\n        return user.nickname\n    return user.email.split(\"\u0040\")[0]\n",
      "after": "def display_name(user):\n    if user.nickname:\n        return user.nickname.title()\n    return user.full_name.split(\" \")[0]\n",
      "planted_bug": true,
      "bug": "full_name can be None for users who never set it (previous code used email, always set)",
      "bug_line_contains": "user.full_name.split",
      "mechanism": "null_handling",
      "note": "subtle: needs outside knowledge that full_name is optional",
      "diff": "--- a/profile.py\n+++ b/profile.py\n\u0040\u0040 -1,4 +1,4 \u0040\u0040\n def display_name(user):\n     if user.nickname:\n-        return user.nickname\n-    return user.email.split(\"\u0040\")[0]\n+        return user.nickname.title()\n+    return user.full_name.split(\" \")[0]\n",
      "cohort": "original",
      "contract": "nickname and full_name are optional strings (possibly None). email is always a nonempty string. Title casing is intended; users without a name must still get a display name.",
      "gold_lines": [
        "new:4"
      ]
    },
    {
      "id": "c09_tz_lookalike",
      "path": "expiry.py",
      "before": "from datetime import datetime, timezone\n\ndef is_expired(token):\n    return datetime.now(timezone.utc) >= token.expires_at  # expires_at is UTC-aware\n",
      "after": "from datetime import datetime\n\ndef is_expired(token, skew_s=30):\n    return datetime.now().timestamp() + skew_s >= token.expires_at.timestamp()\n",
      "planted_bug": false,
      "bug": null,
      "bug_line_contains": null,
      "mechanism": "none",
      "note": "looks like a timezone bug but is correct: .timestamp() on an aware datetime and datetime.now().timestamp() are both epoch seconds",
      "diff": "--- a/expiry.py\n+++ b/expiry.py\n\u0040\u0040 -1,4 +1,4 \u0040\u0040\n-from datetime import datetime, timezone\n+from datetime import datetime\n \n-def is_expired(token):\n-    return datetime.now(timezone.utc) >= token.expires_at  # expires_at is UTC-aware\n+def is_expired(token, skew_s=30):\n+    return datetime.now().timestamp() + skew_s >= token.expires_at.timestamp()\n",
      "cohort": "original",
      "contract": "expires_at is a UTC-aware datetime. The new behavior intentionally treats expiry up to skew_s seconds in the future as expired. Compare epoch times regardless of local timezone.",
      "gold_lines": []
    },
    {
      "id": "b10_race",
      "path": "counter.py",
      "before": "import threading\n_lock = threading.Lock()\n_hits = 0\n\ndef hit():\n    global _hits\n    with _lock:\n        _hits += 1\n",
      "after": "import threading\n_lock = threading.Lock()\n_hits = 0\n\ndef hit():\n    global _hits\n    if _hits < 10**9:\n        _hits += 1\n",
      "planted_bug": true,
      "bug": "lock removed: concurrent increments can be lost",
      "bug_line_contains": "_hits += 1",
      "mechanism": "concurrency",
      "note": "",
      "diff": "--- a/counter.py\n+++ b/counter.py\n\u0040\u0040 -5,4 +5,4 \u0040\u0040\n def hit():\n     global _hits\n-    with _lock:\n+    if _hits < 10**9:\n         _hits += 1\n",
      "cohort": "original",
      "contract": "hit is called concurrently and must increment the shared count once per call without lost updates. The upper cap is intended; the count is below the cap in the tested scenario. Support Python implementations without relying on GIL instruction scheduling.",
      "gold_lines": [
        "old:7",
        "new:7",
        "new:8"
      ]
    },
    {
      "id": "c01_rename",
      "path": "pager.py",
      "before": "def page(items, n, size):\n    start = n * size\n    return items[start:start + size]\n",
      "after": "def page(items, page_index, page_size):\n    start = page_index * page_size\n    return items[start:start + page_size]\n",
      "planted_bug": false,
      "bug": null,
      "bug_line_contains": null,
      "mechanism": "none",
      "note": "",
      "diff": "--- a/pager.py\n+++ b/pager.py\n\u0040\u0040 -1,3 +1,3 \u0040\u0040\n-def page(items, n, size):\n-    start = n * size\n-    return items[start:start + size]\n+def page(items, page_index, page_size):\n+    start = page_index * page_size\n+    return items[start:start + page_size]\n",
      "cohort": "original",
      "contract": "This is a private helper; every caller passes positional arguments. Renaming parameters is intended.",
      "gold_lines": []
    },
    {
      "id": "c05_param",
      "path": "store.py",
      "before": "def find_user(db, email):\n    return db.execute(\"SELECT id, name FROM users WHERE email = '%s'\" % email).fetchone()\n",
      "after": "def find_user(db, email):\n    return db.execute(\"SELECT id, name FROM users WHERE email = ?\", (email,)).fetchone()\n",
      "planted_bug": false,
      "bug": null,
      "bug_line_contains": null,
      "mechanism": "none",
      "note": "a fix: removes an injection. A reviewer that flags SQL on sight will false-alarm here",
      "diff": "--- a/store.py\n+++ b/store.py\n\u0040\u0040 -1,2 +1,2 \u0040\u0040\n def find_user(db, email):\n-    return db.execute(\"SELECT id, name FROM users WHERE email = '%s'\" % email).fetchone()\n+    return db.execute(\"SELECT id, name FROM users WHERE email = ?\", (email,)).fetchone()\n",
      "cohort": "original",
      "contract": "email is untrusted text and the database uses SQLite question-mark parameter binding. Preserve exact email matching.",
      "gold_lines": []
    },
    {
      "id": "c08_lockctx",
      "path": "counter.py",
      "before": "import threading\n_lock = threading.Lock()\n_hits = 0\n\ndef hit():\n    global _hits\n    _lock.acquire()\n    _hits += 1\n    _lock.release()\n",
      "after": "import threading\n_lock = threading.Lock()\n_hits = 0\n\ndef hit():\n    global _hits\n    with _lock:\n        _hits += 1\n",
      "planted_bug": false,
      "bug": null,
      "bug_line_contains": null,
      "mechanism": "none",
      "note": "",
      "diff": "--- a/counter.py\n+++ b/counter.py\n\u0040\u0040 -5,5 +5,4 \u0040\u0040\n def hit():\n     global _hits\n-    _lock.acquire()\n-    _hits += 1\n-    _lock.release()\n+    with _lock:\n+        _hits += 1\n",
      "cohort": "original",
      "contract": "hit is called concurrently and must increment the shared count under the same lock. The count is an integer.",
      "gold_lines": []
    }
  ],
  "runs": [
    {
      "provider": "zen",
      "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
      "timestamp": "2026-09-24T16:09:05Z",
      "summary": {
        "dataset": {
          "cases": 8,
          "bugs": 4,
          "clean": 4,
          "subset": "zen"
        },
        "groups": {
          "original:staged": {
            "cases": 8,
            "bugs": 4,
            "clean": 4,
            "recall": "4/4",
            "false_alarms": "0/4",
            "line_localised": "4/4",
            "mechanism_correct": "4/4",
            "early_gate_misses": 0,
            "missed_ids": [],
            "false_alarm_ids": []
          },
          "original:single": {
            "cases": 8,
            "bugs": 4,
            "clean": 4,
            "recall": "4/4",
            "false_alarms": "0/4",
            "line_localised": "4/4",
            "mechanism_correct": "4/4",
            "early_gate_misses": 0,
            "missed_ids": [],
            "false_alarm_ids": []
          }
        }
      },
      "metrics": {
        "requests": 20,
        "completed_requests": 20,
        "input_tokens": 19667,
        "output_tokens": 3531,
        "median_latency_ms": 476.7,
        "wall_s": 477.705,
        "cost_usd": 0.0,
        "cost_basis": "free route; missing provider cost fields are not receipts",
        "reported_cost_usd": null
      },
      "policy": {
        "version": "review-v2",
        "risk_gate": 1.5,
        "failure_gate": 0.5,
        "severity_gate": 2.0,
        "mechanism_must_not_be_none": true,
        "localisation_requires_flag": true,
        "thresholds_frozen_before_live_runs": true,
        "single_baseline": "same detailed questions and state as staged stage two",
        "zen_ids": [
          "b01_offbyone",
          "b03_sqlinject",
          "b07_none",
          "b10_race",
          "c01_rename",
          "c05_param",
          "c08_lockctx",
          "c09_tz_lookalike"
        ]
      },
      "sourcePath": "samples/review-triage/results/v2_zen_zen_r1.json",
      "rows": [
        {
          "risk": 3.68,
          "area": "logic",
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "off_by_one",
          "failure": 0.7,
          "severity": 2.06,
          "id": "b01_offbyone",
          "cohort": "original",
          "pipeline": "staged",
          "planted": true,
          "gold_lines": [
            "new:3"
          ],
          "gold_mechanism": "off_by_one",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 2,
            "completed_requests": 2,
            "input_tokens": 1863,
            "output_tokens": 314,
            "median_latency_ms": 1257.8,
            "wall_s": 58.315,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "off_by_one",
          "failure": 0.72,
          "severity": 2.1,
          "id": "b01_offbyone",
          "cohort": "original",
          "pipeline": "single",
          "planted": true,
          "gold_lines": [
            "new:3"
          ],
          "gold_mechanism": "off_by_one",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 1178,
            "output_tokens": 245,
            "median_latency_ms": 560.9,
            "wall_s": 31.104,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 3.63,
          "area": "security",
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "injection",
          "failure": 0.79,
          "severity": 3.87,
          "id": "b03_sqlinject",
          "cohort": "original",
          "pipeline": "staged",
          "planted": true,
          "gold_lines": [
            "new:3"
          ],
          "gold_mechanism": "injection",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 2,
            "completed_requests": 2,
            "input_tokens": 1835,
            "output_tokens": 287,
            "median_latency_ms": 457.6,
            "wall_s": 62.033,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "injection",
          "failure": 0.81,
          "severity": 3.87,
          "id": "b03_sqlinject",
          "cohort": "original",
          "pipeline": "single",
          "planted": true,
          "gold_lines": [
            "new:3"
          ],
          "gold_mechanism": "injection",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 1136,
            "output_tokens": 218,
            "median_latency_ms": 453.2,
            "wall_s": 31.012,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 3.57,
          "area": "data",
          "stage2": true,
          "flag": true,
          "line": "new:4",
          "mechanism": "null_handling",
          "failure": 0.88,
          "severity": 2.09,
          "id": "b07_none",
          "cohort": "original",
          "pipeline": "staged",
          "planted": true,
          "gold_lines": [
            "new:4"
          ],
          "gold_mechanism": "null_handling",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 2,
            "completed_requests": 2,
            "input_tokens": 1815,
            "output_tokens": 315,
            "median_latency_ms": 926.4,
            "wall_s": 62.894,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:4",
          "mechanism": "null_handling",
          "failure": 0.88,
          "severity": 2.11,
          "id": "b07_none",
          "cohort": "original",
          "pipeline": "single",
          "planted": true,
          "gold_lines": [
            "new:4"
          ],
          "gold_mechanism": "null_handling",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 1143,
            "output_tokens": 246,
            "median_latency_ms": 361.2,
            "wall_s": 30.855,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 1.02,
          "area": "logic",
          "stage2": false,
          "flag": false,
          "line": null,
          "mechanism": null,
          "failure": null,
          "severity": null,
          "id": "c09_tz_lookalike",
          "cohort": "original",
          "pipeline": "staged",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 721,
            "output_tokens": 69,
            "median_latency_ms": 413.8,
            "wall_s": 30.951,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": false,
          "line": "new:4",
          "mechanism": "none",
          "failure": 0.35,
          "severity": 0.91,
          "id": "c09_tz_lookalike",
          "cohort": "original",
          "pipeline": "single",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 1173,
            "output_tokens": 225,
            "median_latency_ms": 433.9,
            "wall_s": 31.048,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 3.9,
          "area": "concurrency",
          "stage2": true,
          "flag": true,
          "line": "new:7",
          "mechanism": "concurrency",
          "failure": 0.89,
          "severity": 2.86,
          "id": "b10_race",
          "cohort": "original",
          "pipeline": "staged",
          "planted": true,
          "gold_lines": [
            "old:7",
            "new:7",
            "new:8"
          ],
          "gold_mechanism": "concurrency",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 2,
            "completed_requests": 2,
            "input_tokens": 1990,
            "output_tokens": 370,
            "median_latency_ms": 524.5,
            "wall_s": 31.051,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:8",
          "mechanism": "concurrency",
          "failure": 0.89,
          "severity": 2.83,
          "id": "b10_race",
          "cohort": "original",
          "pipeline": "single",
          "planted": true,
          "gold_lines": [
            "old:7",
            "new:7",
            "new:8"
          ],
          "gold_mechanism": "concurrency",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 1294,
            "output_tokens": 299,
            "median_latency_ms": 553.4,
            "wall_s": 15.554,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 0.01,
          "area": "cosmetic",
          "stage2": false,
          "flag": false,
          "line": null,
          "mechanism": null,
          "failure": null,
          "severity": null,
          "id": "c01_rename",
          "cohort": "original",
          "pipeline": "staged",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 669,
            "output_tokens": 71,
            "median_latency_ms": 484.7,
            "wall_s": 15.485,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": false,
          "line": "none",
          "mechanism": "none",
          "failure": 0.06,
          "severity": 0,
          "id": "c01_rename",
          "cohort": "original",
          "pipeline": "single",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 1104,
            "output_tokens": 223,
            "median_latency_ms": 498.4,
            "wall_s": 15.499,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 0.04,
          "area": "security",
          "stage2": false,
          "flag": false,
          "line": null,
          "mechanism": null,
          "failure": null,
          "severity": null,
          "id": "c05_param",
          "cohort": "original",
          "pipeline": "staged",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 680,
            "output_tokens": 69,
            "median_latency_ms": 458.7,
            "wall_s": 15.459,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": false,
          "line": "none",
          "mechanism": "none",
          "failure": 0.07,
          "severity": 0.1,
          "id": "c05_param",
          "cohort": "original",
          "pipeline": "single",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 1091,
            "output_tokens": 205,
            "median_latency_ms": 489.3,
            "wall_s": 15.49,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 0.01,
          "area": "concurrency",
          "stage2": false,
          "flag": false,
          "line": null,
          "mechanism": null,
          "failure": null,
          "severity": null,
          "id": "c08_lockctx",
          "cohort": "original",
          "pipeline": "staged",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 680,
            "output_tokens": 71,
            "median_latency_ms": 431.0,
            "wall_s": 15.432,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": false,
          "line": "none",
          "mechanism": "none",
          "failure": 0.04,
          "severity": 0.02,
          "id": "c08_lockctx",
          "cohort": "original",
          "pipeline": "single",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 1295,
            "output_tokens": 304,
            "median_latency_ms": 521.7,
            "wall_s": 15.523,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        }
      ],
      "calls": [
        {
          "case_id": "b01_offbyone",
          "phase": "staged:risk",
          "state_hash": "60ac662712726a208b0fd433d0be4527f1f258cc33d9ef8c5cc9b8d99442945a",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 3.68,
              "confidence": 0.73,
              "probabilities": {
                "0": 0.04,
                "1": 0.01,
                "2": 0.01,
                "3": 0.09,
                "4": 0.85
              }
            },
            "area": {
              "type": "choice",
              "choice": "logic",
              "confidence": 0.99,
              "probabilities": {
                "cosmetic": 0,
                "data": 0.01,
                "logic": 0.99,
                "concurrency": 0,
                "security": 0
              }
            }
          },
          "usage": {
            "input_tokens": 685,
            "output_tokens": 69
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 449.7,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 25.657
        },
        {
          "case_id": "b01_offbyone",
          "phase": "staged:detail",
          "state_hash": "60ac662712726a208b0fd433d0be4527f1f258cc33d9ef8c5cc9b8d99442945a",
          "questions_hash": "24093c0dd98c48401bc55bc31e733cd21fcaf48cf52805d715410a1589ccf90d",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.98,
              "probabilities": {
                "new:4": 0.01,
                "none": 0.01,
                "old:4": 0,
                "old:1": 0,
                "old:3": 0,
                "new:2": 0.01,
                "old:2": 0,
                "new:3": 0.97,
                "new:1": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "off_by_one",
              "confidence": 0.98,
              "probabilities": {
                "shared_state": 0,
                "concurrency": 0,
                "unit_mismatch": 0,
                "wrong_operator": 0,
                "null_handling": 0,
                "none": 0.02,
                "error_handling": 0,
                "off_by_one": 0.98,
                "inverted_condition": 0,
                "injection": 0,
                "wrong_variable": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.7
            },
            "severity": {
              "type": "score",
              "score": 2.06,
              "confidence": 0.76,
              "probabilities": {
                "0": 0.04,
                "1": 0.03,
                "2": 0.76,
                "3": 0.16,
                "4": 0.01
              }
            }
          },
          "usage": {
            "input_tokens": 1178,
            "output_tokens": 245
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 2066.0,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 32.658
        },
        {
          "case_id": "b01_offbyone",
          "phase": "single:detail",
          "state_hash": "60ac662712726a208b0fd433d0be4527f1f258cc33d9ef8c5cc9b8d99442945a",
          "questions_hash": "24093c0dd98c48401bc55bc31e733cd21fcaf48cf52805d715410a1589ccf90d",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.97,
              "probabilities": {
                "new:3": 0.98,
                "old:2": 0,
                "new:2": 0,
                "old:1": 0,
                "old:3": 0,
                "new:4": 0.01,
                "old:4": 0,
                "none": 0.01,
                "new:1": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "off_by_one",
              "confidence": 0.98,
              "probabilities": {
                "wrong_operator": 0,
                "error_handling": 0,
                "inverted_condition": 0,
                "shared_state": 0,
                "null_handling": 0,
                "injection": 0,
                "off_by_one": 0.98,
                "concurrency": 0,
                "none": 0.02,
                "wrong_variable": 0,
                "unit_mismatch": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.72
            },
            "severity": {
              "type": "score",
              "score": 2.1,
              "confidence": 0.74,
              "probabilities": {
                "0": 0.04,
                "1": 0.03,
                "2": 0.74,
                "3": 0.18,
                "4": 0.01
              }
            }
          },
          "usage": {
            "input_tokens": 1178,
            "output_tokens": 245
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 560.9,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 31.104
        },
        {
          "case_id": "b03_sqlinject",
          "phase": "staged:risk",
          "state_hash": "7a60af17cb3d8b3127e8494b4c6fb8ed66286caffef71b17d495f311824f6aaf",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 3.63,
              "confidence": 0.69,
              "probabilities": {
                "0": 0.04,
                "1": 0.02,
                "2": 0.03,
                "3": 0.11,
                "4": 0.8
              }
            },
            "area": {
              "type": "choice",
              "choice": "security",
              "confidence": 1,
              "probabilities": {
                "security": 1,
                "concurrency": 0,
                "data": 0,
                "logic": 0,
                "cosmetic": 0
              }
            }
          },
          "usage": {
            "input_tokens": 699,
            "output_tokens": 69
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 441.1,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 30.928
        },
        {
          "case_id": "b03_sqlinject",
          "phase": "staged:detail",
          "state_hash": "7a60af17cb3d8b3127e8494b4c6fb8ed66286caffef71b17d495f311824f6aaf",
          "questions_hash": "3444e9e5853dc49b48104b8506b2d249660ab11ca0ab463ad111964e785c0ca9",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.9,
              "probabilities": {
                "new:1": 0,
                "new:2": 0,
                "new:3": 0.93,
                "old:2": 0.07,
                "none": 0,
                "old:1": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "injection",
              "confidence": 0.99,
              "probabilities": {
                "shared_state": 0,
                "injection": 1,
                "inverted_condition": 0,
                "none": 0,
                "wrong_variable": 0,
                "unit_mismatch": 0,
                "off_by_one": 0,
                "wrong_operator": 0,
                "null_handling": 0,
                "concurrency": 0,
                "error_handling": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.79
            },
            "severity": {
              "type": "score",
              "score": 3.87,
              "confidence": 0.89,
              "probabilities": {
                "0": 0.01,
                "1": 0,
                "2": 0.02,
                "3": 0.03,
                "4": 0.93
              }
            }
          },
          "usage": {
            "input_tokens": 1136,
            "output_tokens": 218
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 474.1,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 31.105
        },
        {
          "case_id": "b03_sqlinject",
          "phase": "single:detail",
          "state_hash": "7a60af17cb3d8b3127e8494b4c6fb8ed66286caffef71b17d495f311824f6aaf",
          "questions_hash": "3444e9e5853dc49b48104b8506b2d249660ab11ca0ab463ad111964e785c0ca9",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.88,
              "probabilities": {
                "none": 0,
                "new:2": 0,
                "new:3": 0.91,
                "new:1": 0,
                "old:2": 0.09,
                "old:1": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "injection",
              "confidence": 0.99,
              "probabilities": {
                "shared_state": 0,
                "off_by_one": 0,
                "error_handling": 0,
                "inverted_condition": 0,
                "null_handling": 0.01,
                "none": 0,
                "wrong_operator": 0,
                "concurrency": 0,
                "unit_mismatch": 0,
                "wrong_variable": 0,
                "injection": 0.99
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.81
            },
            "severity": {
              "type": "score",
              "score": 3.87,
              "confidence": 0.89,
              "probabilities": {
                "0": 0.01,
                "1": 0,
                "2": 0.02,
                "3": 0.03,
                "4": 0.93
              }
            }
          },
          "usage": {
            "input_tokens": 1136,
            "output_tokens": 218
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 453.2,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 31.012
        },
        {
          "case_id": "b07_none",
          "phase": "staged:risk",
          "state_hash": "e9791fb11e3f47fbceb0a17ff48c98d388518290abaef8c217bbf276e5250868",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 3.57,
              "confidence": 0.64,
              "probabilities": {
                "0": 0.01,
                "1": 0.02,
                "2": 0.03,
                "3": 0.26,
                "4": 0.68
              }
            },
            "area": {
              "type": "choice",
              "choice": "data",
              "confidence": 0.83,
              "probabilities": {
                "concurrency": 0,
                "logic": 0.13,
                "cosmetic": 0,
                "data": 0.87,
                "security": 0
              }
            }
          },
          "usage": {
            "input_tokens": 672,
            "output_tokens": 69
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 431.3,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 30.999
        },
        {
          "case_id": "b07_none",
          "phase": "staged:detail",
          "state_hash": "e9791fb11e3f47fbceb0a17ff48c98d388518290abaef8c217bbf276e5250868",
          "questions_hash": "6357ce17c942aaf81a61d4f344dd24a33f7bc7f9bc9f7928b7b3392a85343688",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:4",
              "confidence": 0.86,
              "probabilities": {
                "old:1": 0,
                "old:2": 0,
                "new:3": 0.07,
                "new:2": 0.02,
                "old:3": 0,
                "new:4": 0.88,
                "old:4": 0.02,
                "none": 0.01,
                "new:1": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "null_handling",
              "confidence": 0.89,
              "probabilities": {
                "wrong_operator": 0,
                "wrong_variable": 0.08,
                "error_handling": 0,
                "shared_state": 0,
                "null_handling": 0.9,
                "off_by_one": 0,
                "injection": 0,
                "concurrency": 0,
                "none": 0.02,
                "unit_mismatch": 0,
                "inverted_condition": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.88
            },
            "severity": {
              "type": "score",
              "score": 2.09,
              "confidence": 0.68,
              "probabilities": {
                "0": 0.06,
                "1": 0.03,
                "2": 0.68,
                "3": 0.23,
                "4": 0
              }
            }
          },
          "usage": {
            "input_tokens": 1143,
            "output_tokens": 246
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 1421.4,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 31.895
        },
        {
          "case_id": "b07_none",
          "phase": "single:detail",
          "state_hash": "e9791fb11e3f47fbceb0a17ff48c98d388518290abaef8c217bbf276e5250868",
          "questions_hash": "6357ce17c942aaf81a61d4f344dd24a33f7bc7f9bc9f7928b7b3392a85343688",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:4",
              "confidence": 0.86,
              "probabilities": {
                "old:2": 0,
                "old:1": 0,
                "old:4": 0.02,
                "none": 0.01,
                "new:3": 0.07,
                "new:1": 0,
                "new:4": 0.88,
                "new:2": 0.02,
                "old:3": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "null_handling",
              "confidence": 0.86,
              "probabilities": {
                "none": 0.03,
                "null_handling": 0.87,
                "shared_state": 0,
                "concurrency": 0,
                "inverted_condition": 0,
                "wrong_variable": 0.1,
                "off_by_one": 0,
                "wrong_operator": 0,
                "error_handling": 0,
                "injection": 0,
                "unit_mismatch": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.88
            },
            "severity": {
              "type": "score",
              "score": 2.11,
              "confidence": 0.68,
              "probabilities": {
                "0": 0.05,
                "1": 0.04,
                "2": 0.67,
                "3": 0.24,
                "4": 0
              }
            }
          },
          "usage": {
            "input_tokens": 1143,
            "output_tokens": 246
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 361.2,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 30.855
        },
        {
          "case_id": "c09_tz_lookalike",
          "phase": "staged:risk",
          "state_hash": "586ad777e24176afc626957ccf11c036483801caf427002aadc002eccac40ead",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 1.02,
              "confidence": 0.15,
              "probabilities": {
                "0": 0.52,
                "1": 0.19,
                "2": 0.12,
                "3": 0.1,
                "4": 0.07
              }
            },
            "area": {
              "type": "choice",
              "choice": "logic",
              "confidence": 0.63,
              "probabilities": {
                "concurrency": 0,
                "logic": 0.71,
                "data": 0.06,
                "cosmetic": 0,
                "security": 0.23
              }
            }
          },
          "usage": {
            "input_tokens": 721,
            "output_tokens": 69
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 413.8,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 30.951
        },
        {
          "case_id": "c09_tz_lookalike",
          "phase": "single:detail",
          "state_hash": "586ad777e24176afc626957ccf11c036483801caf427002aadc002eccac40ead",
          "questions_hash": "71d7aa686886990fe1ca103adf329e8d7810337bd69ba47982207e664e5f11b6",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:4",
              "confidence": 0.48,
              "probabilities": {
                "none": 0.34,
                "new:4": 0.55,
                "old:1": 0,
                "old:4": 0.03,
                "old:3": 0,
                "new:3": 0.07,
                "new:1": 0.01
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.81,
              "probabilities": {
                "none": 0.83,
                "wrong_operator": 0,
                "inverted_condition": 0.01,
                "null_handling": 0.02,
                "off_by_one": 0.01,
                "wrong_variable": 0.02,
                "concurrency": 0.03,
                "unit_mismatch": 0.08,
                "error_handling": 0,
                "shared_state": 0,
                "injection": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.35
            },
            "severity": {
              "type": "score",
              "score": 0.91,
              "confidence": 0.24,
              "probabilities": {
                "0": 0.64,
                "1": 0.04,
                "2": 0.17,
                "3": 0.09,
                "4": 0.06
              }
            }
          },
          "usage": {
            "input_tokens": 1173,
            "output_tokens": 225
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 433.9,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 31.048
        },
        {
          "case_id": "b10_race",
          "phase": "staged:risk",
          "state_hash": "31a478eb888974eaa0c059fdbc81c5ae883580915d0c96f8c22055a11bed0141",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 3.9,
              "confidence": 0.92,
              "probabilities": {
                "0": 0.01,
                "1": 0,
                "2": 0.01,
                "3": 0.04,
                "4": 0.94
              }
            },
            "area": {
              "type": "choice",
              "choice": "concurrency",
              "confidence": 1,
              "probabilities": {
                "cosmetic": 0,
                "concurrency": 1,
                "data": 0,
                "logic": 0,
                "security": 0
              }
            }
          },
          "usage": {
            "input_tokens": 696,
            "output_tokens": 71
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 479.3,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.481
        },
        {
          "case_id": "b10_race",
          "phase": "staged:detail",
          "state_hash": "31a478eb888974eaa0c059fdbc81c5ae883580915d0c96f8c22055a11bed0141",
          "questions_hash": "0e4f80364219140ad2c217b69cc89cd180a2cabaa952615745e37e7b14ca967e",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:7",
              "confidence": 0.4,
              "probabilities": {
                "old:6": 0,
                "old:7": 0.2,
                "new:8": 0.33,
                "new:1": 0,
                "new:2": 0,
                "new:5": 0.01,
                "old:1": 0,
                "old:8": 0,
                "old:5": 0,
                "old:3": 0,
                "none": 0,
                "old:2": 0,
                "new:7": 0.45,
                "new:6": 0.01,
                "new:3": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "concurrency",
              "confidence": 1,
              "probabilities": {
                "error_handling": 0,
                "wrong_variable": 0,
                "wrong_operator": 0,
                "injection": 0,
                "concurrency": 1,
                "inverted_condition": 0,
                "shared_state": 0,
                "unit_mismatch": 0,
                "none": 0,
                "null_handling": 0,
                "off_by_one": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.89
            },
            "severity": {
              "type": "score",
              "score": 2.86,
              "confidence": 0.71,
              "probabilities": {
                "0": 0,
                "1": 0,
                "2": 0.23,
                "3": 0.66,
                "4": 0.11
              }
            }
          },
          "usage": {
            "input_tokens": 1294,
            "output_tokens": 299
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 569.6,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.57
        },
        {
          "case_id": "b10_race",
          "phase": "single:detail",
          "state_hash": "31a478eb888974eaa0c059fdbc81c5ae883580915d0c96f8c22055a11bed0141",
          "questions_hash": "0e4f80364219140ad2c217b69cc89cd180a2cabaa952615745e37e7b14ca967e",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:8",
              "confidence": 0.37,
              "probabilities": {
                "new:2": 0,
                "new:8": 0.42,
                "new:5": 0.01,
                "old:7": 0.18,
                "new:3": 0,
                "old:6": 0,
                "old:2": 0,
                "new:7": 0.37,
                "new:1": 0,
                "old:5": 0,
                "old:1": 0,
                "new:6": 0.01,
                "none": 0,
                "old:3": 0,
                "old:8": 0.01
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "concurrency",
              "confidence": 1,
              "probabilities": {
                "error_handling": 0,
                "null_handling": 0,
                "off_by_one": 0,
                "injection": 0,
                "unit_mismatch": 0,
                "wrong_operator": 0,
                "none": 0,
                "wrong_variable": 0,
                "concurrency": 1,
                "inverted_condition": 0,
                "shared_state": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.89
            },
            "severity": {
              "type": "score",
              "score": 2.83,
              "confidence": 0.71,
              "probabilities": {
                "0": 0,
                "1": 0,
                "2": 0.25,
                "3": 0.66,
                "4": 0.09
              }
            }
          },
          "usage": {
            "input_tokens": 1294,
            "output_tokens": 299
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 553.4,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.554
        },
        {
          "case_id": "c01_rename",
          "phase": "staged:risk",
          "state_hash": "7654ceb4a95dd7ebb0353bddba2ca51530626be1504fc55a2cdaa72624295ecc",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 0.01,
              "confidence": 0.99,
              "probabilities": {
                "0": 1,
                "1": 0,
                "2": 0,
                "3": 0,
                "4": 0
              }
            },
            "area": {
              "type": "choice",
              "choice": "cosmetic",
              "confidence": 0.97,
              "probabilities": {
                "cosmetic": 0.98,
                "data": 0,
                "security": 0,
                "concurrency": 0,
                "logic": 0.02
              }
            }
          },
          "usage": {
            "input_tokens": 669,
            "output_tokens": 71
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 484.7,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.485
        },
        {
          "case_id": "c01_rename",
          "phase": "single:detail",
          "state_hash": "7654ceb4a95dd7ebb0353bddba2ca51530626be1504fc55a2cdaa72624295ecc",
          "questions_hash": "5a27944f64a3345fc7e731867818c4ecae65b93b4b67f25f649b55048a4aecd8",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.99,
              "probabilities": {
                "new:2": 0,
                "old:2": 0,
                "old:3": 0,
                "new:3": 0,
                "none": 1,
                "old:1": 0,
                "new:1": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "none",
              "confidence": 1,
              "probabilities": {
                "error_handling": 0,
                "wrong_variable": 0,
                "concurrency": 0,
                "inverted_condition": 0,
                "off_by_one": 0,
                "unit_mismatch": 0,
                "wrong_operator": 0,
                "shared_state": 0,
                "none": 1,
                "null_handling": 0,
                "injection": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.06
            },
            "severity": {
              "type": "score",
              "score": 0,
              "confidence": 1,
              "probabilities": {
                "0": 1,
                "1": 0,
                "2": 0,
                "3": 0,
                "4": 0
              }
            }
          },
          "usage": {
            "input_tokens": 1104,
            "output_tokens": 223
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 498.4,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.499
        },
        {
          "case_id": "c05_param",
          "phase": "staged:risk",
          "state_hash": "9455852d920eb4d0eeec9662519bb4768f350ae06120535abebe5f2c51902432",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 0.04,
              "confidence": 0.97,
              "probabilities": {
                "0": 0.98,
                "1": 0.01,
                "2": 0.01,
                "3": 0,
                "4": 0
              }
            },
            "area": {
              "type": "choice",
              "choice": "security",
              "confidence": 1,
              "probabilities": {
                "logic": 0,
                "cosmetic": 0,
                "security": 1,
                "data": 0,
                "concurrency": 0
              }
            }
          },
          "usage": {
            "input_tokens": 680,
            "output_tokens": 69
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 458.7,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.459
        },
        {
          "case_id": "c05_param",
          "phase": "single:detail",
          "state_hash": "9455852d920eb4d0eeec9662519bb4768f350ae06120535abebe5f2c51902432",
          "questions_hash": "70f392165cb31353efb397bfa3cb7f0f43ec6ca3c9d03310ee2d96ceb29f2903",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.96,
              "probabilities": {
                "new:2": 0.03,
                "none": 0.97,
                "old:1": 0,
                "new:1": 0,
                "old:2": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "none",
              "confidence": 1,
              "probabilities": {
                "none": 1,
                "error_handling": 0,
                "wrong_operator": 0,
                "concurrency": 0,
                "unit_mismatch": 0,
                "shared_state": 0,
                "null_handling": 0,
                "injection": 0,
                "inverted_condition": 0,
                "off_by_one": 0,
                "wrong_variable": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.07
            },
            "severity": {
              "type": "score",
              "score": 0.1,
              "confidence": 0.92,
              "probabilities": {
                "0": 0.97,
                "1": 0,
                "2": 0.01,
                "3": 0,
                "4": 0.02
              }
            }
          },
          "usage": {
            "input_tokens": 1091,
            "output_tokens": 205
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 489.3,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.49
        },
        {
          "case_id": "c08_lockctx",
          "phase": "staged:risk",
          "state_hash": "d3e2f8a000838b129b13933fcb706c778420d9dc7d9518c49b51a98dce0e60e0",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 0.01,
              "confidence": 0.99,
              "probabilities": {
                "0": 0.99,
                "1": 0.01,
                "2": 0,
                "3": 0,
                "4": 0
              }
            },
            "area": {
              "type": "choice",
              "choice": "concurrency",
              "confidence": 0.99,
              "probabilities": {
                "data": 0,
                "security": 0,
                "logic": 0,
                "concurrency": 0.99,
                "cosmetic": 0.01
              }
            }
          },
          "usage": {
            "input_tokens": 680,
            "output_tokens": 71
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 431.0,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.432
        },
        {
          "case_id": "c08_lockctx",
          "phase": "single:detail",
          "state_hash": "d3e2f8a000838b129b13933fcb706c778420d9dc7d9518c49b51a98dce0e60e0",
          "questions_hash": "9e2d119f23ffc1e7cab6811e8445a2f8e78cc89e5ce93282faaeea3a055b3843",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.94,
              "probabilities": {
                "new:2": 0,
                "new:1": 0,
                "old:2": 0,
                "old:9": 0,
                "new:8": 0.02,
                "new:6": 0,
                "old:5": 0,
                "new:7": 0.02,
                "old:7": 0,
                "new:3": 0,
                "old:3": 0,
                "new:5": 0,
                "none": 0.96,
                "old:6": 0,
                "old:8": 0,
                "old:1": 0
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.99,
              "probabilities": {
                "wrong_variable": 0,
                "wrong_operator": 0,
                "inverted_condition": 0,
                "injection": 0,
                "none": 0.99,
                "error_handling": 0,
                "unit_mismatch": 0,
                "null_handling": 0,
                "shared_state": 0,
                "concurrency": 0.01,
                "off_by_one": 0
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.04
            },
            "severity": {
              "type": "score",
              "score": 0.02,
              "confidence": 0.98,
              "probabilities": {
                "0": 0.99,
                "1": 0,
                "2": 0.01,
                "3": 0,
                "4": 0
              }
            }
          },
          "usage": {
            "input_tokens": 1295,
            "output_tokens": 304
          },
          "model": "jev-1.13-free",
          "mode": "live",
          "provider": "zen",
          "label": "REAL JEV (OpenCode Zen free, jev-1.13-free)",
          "latency_ms": 521.7,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 15.523
        }
      ]
    },
    {
      "provider": "codiv",
      "label": "openjev (Codiv free hosted) - NOT JEV",
      "timestamp": "2026-09-24T16:03:31Z",
      "summary": {
        "dataset": {
          "cases": 28,
          "bugs": 15,
          "clean": 13,
          "subset": "full"
        },
        "groups": {
          "original:staged": {
            "cases": 20,
            "bugs": 11,
            "clean": 9,
            "recall": "10/11",
            "false_alarms": "0/9",
            "line_localised": "9/11",
            "mechanism_correct": "9/11",
            "early_gate_misses": 0,
            "missed_ids": [
              "b08_wrongvar"
            ],
            "false_alarm_ids": []
          },
          "original:single": {
            "cases": 20,
            "bugs": 11,
            "clean": 9,
            "recall": "11/11",
            "false_alarms": "1/9",
            "line_localised": "10/11",
            "mechanism_correct": "10/11",
            "early_gate_misses": 0,
            "missed_ids": [],
            "false_alarm_ids": [
              "c09_tz_lookalike"
            ]
          },
          "challenge:staged": {
            "cases": 8,
            "bugs": 4,
            "clean": 4,
            "recall": "3/4",
            "false_alarms": "0/4",
            "line_localised": "3/4",
            "mechanism_correct": "3/4",
            "early_gate_misses": 0,
            "missed_ids": [
              "x05_optional_bug"
            ],
            "false_alarm_ids": []
          },
          "challenge:single": {
            "cases": 8,
            "bugs": 4,
            "clean": 4,
            "recall": "3/4",
            "false_alarms": "0/4",
            "line_localised": "3/4",
            "mechanism_correct": "3/4",
            "early_gate_misses": 0,
            "missed_ids": [
              "x05_optional_bug"
            ],
            "false_alarm_ids": []
          }
        }
      },
      "metrics": {
        "requests": 74,
        "completed_requests": 72,
        "input_tokens": 51086,
        "output_tokens": 0,
        "median_latency_ms": 476.1,
        "wall_s": 279.818,
        "cost_usd": 0.0,
        "cost_basis": "free route; missing provider cost fields are not receipts",
        "reported_cost_usd": null
      },
      "policy": {
        "version": "review-v2",
        "risk_gate": 1.5,
        "failure_gate": 0.5,
        "severity_gate": 2.0,
        "mechanism_must_not_be_none": true,
        "localisation_requires_flag": true,
        "thresholds_frozen_before_live_runs": true,
        "single_baseline": "same detailed questions and state as staged stage two",
        "zen_ids": [
          "b01_offbyone",
          "b03_sqlinject",
          "b07_none",
          "b10_race",
          "c01_rename",
          "c05_param",
          "c08_lockctx",
          "c09_tz_lookalike"
        ]
      },
      "sourcePath": "samples/review-triage/results/v2_codiv_full_r1.json",
      "rows": [
        {
          "risk": 3.9640427783161796,
          "area": "logic",
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "off_by_one",
          "failure": 0.9999800626322678,
          "severity": 2.0534221771613783,
          "id": "b01_offbyone",
          "cohort": "original",
          "pipeline": "staged",
          "planted": true,
          "gold_lines": [
            "new:3"
          ],
          "gold_mechanism": "off_by_one",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 2,
            "completed_requests": 2,
            "input_tokens": 1359,
            "output_tokens": 0,
            "median_latency_ms": 552.0,
            "wall_s": 1.104,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "off_by_one",
          "failure": 0.9999722419133104,
          "severity": 2.047179784829845,
          "id": "b01_offbyone",
          "cohort": "original",
          "pipeline": "single",
          "planted": true,
          "gold_lines": [
            "new:3"
          ],
          "gold_mechanism": "off_by_one",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 890,
            "output_tokens": 0,
            "median_latency_ms": 378.6,
            "wall_s": 0.379,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 3.7030949857384923,
          "area": "security",
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "injection",
          "failure": 0.998700944074232,
          "severity": 3.997508038247711,
          "id": "b03_sqlinject",
          "cohort": "original",
          "pipeline": "staged",
          "planted": true,
          "gold_lines": [
            "new:3"
          ],
          "gold_mechanism": "injection",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 2,
            "completed_requests": 2,
            "input_tokens": 1307,
            "output_tokens": 0,
            "median_latency_ms": 353.8,
            "wall_s": 0.709,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "injection",
          "failure": 0.9996074480810961,
          "severity": 3.9968114016203447,
          "id": "b03_sqlinject",
          "cohort": "original",
          "pipeline": "single",
          "planted": true,
          "gold_lines": [
            "new:3"
          ],
          "gold_mechanism": "injection",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 839,
            "output_tokens": 0,
            "median_latency_ms": 243.3,
            "wall_s": 0.244,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 2.713344439683417,
          "area": "data",
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "wrong_variable",
          "failure": 0.9792623369151181,
          "severity": 2.0902393830229764,
          "id": "b07_none",
          "cohort": "original",
          "pipeline": "staged",
          "planted": true,
          "gold_lines": [
            "new:4"
          ],
          "gold_mechanism": "null_handling",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 2,
            "completed_requests": 2,
            "input_tokens": 1338,
            "output_tokens": 0,
            "median_latency_ms": 711.5,
            "wall_s": 1.423,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:3",
          "mechanism": "wrong_variable",
          "failure": 0.9801214996533031,
          "severity": 2.1041025685358106,
          "id": "b07_none",
          "cohort": "original",
          "pipeline": "single",
          "planted": true,
          "gold_lines": [
            "new:4"
          ],
          "gold_mechanism": "null_handling",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 870,
            "output_tokens": 0,
            "median_latency_ms": 373.0,
            "wall_s": 0.373,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 0.6408154812901763,
          "area": "logic",
          "stage2": false,
          "flag": false,
          "line": null,
          "mechanism": null,
          "failure": null,
          "severity": null,
          "id": "c09_tz_lookalike",
          "cohort": "original",
          "pipeline": "staged",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 510,
            "output_tokens": 0,
            "median_latency_ms": 350.7,
            "wall_s": 0.351,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:4",
          "mechanism": "unit_mismatch",
          "failure": 0.7015959110088906,
          "severity": 2.3012261694341465,
          "id": "c09_tz_lookalike",
          "cohort": "original",
          "pipeline": "single",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 902,
            "output_tokens": 0,
            "median_latency_ms": 685.3,
            "wall_s": 0.686,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 3.976695324832101,
          "area": "concurrency",
          "stage2": true,
          "flag": true,
          "line": "new:7",
          "mechanism": "concurrency",
          "failure": 0.9995196182774115,
          "severity": 2.584169091405228,
          "id": "b10_race",
          "cohort": "original",
          "pipeline": "staged",
          "planted": true,
          "gold_lines": [
            "old:7",
            "new:7",
            "new:8"
          ],
          "gold_mechanism": "concurrency",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 2,
            "completed_requests": 2,
            "input_tokens": 1436,
            "output_tokens": 0,
            "median_latency_ms": 3463.2,
            "wall_s": 6.927,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": true,
          "line": "new:7",
          "mechanism": "concurrency",
          "failure": 0.9994205470859431,
          "severity": 2.5805260681939,
          "id": "b10_race",
          "cohort": "original",
          "pipeline": "single",
          "planted": true,
          "gold_lines": [
            "old:7",
            "new:7",
            "new:8"
          ],
          "gold_mechanism": "concurrency",
          "line_ok": true,
          "mechanism_ok": true,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 965,
            "output_tokens": 0,
            "median_latency_ms": 325.0,
            "wall_s": 0.325,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 0.037381857478985016,
          "area": "cosmetic",
          "stage2": false,
          "flag": false,
          "line": null,
          "mechanism": null,
          "failure": null,
          "severity": null,
          "id": "c01_rename",
          "cohort": "original",
          "pipeline": "staged",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 452,
            "output_tokens": 0,
            "median_latency_ms": 696.1,
            "wall_s": 0.696,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": false,
          "line": "none",
          "mechanism": "none",
          "failure": 1.9883574750876504e-06,
          "severity": 0.0014823611377234851,
          "id": "c01_rename",
          "cohort": "original",
          "pipeline": "single",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 826,
            "output_tokens": 0,
            "median_latency_ms": 794.1,
            "wall_s": 0.794,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 0.030362331346991584,
          "area": "security",
          "stage2": false,
          "flag": false,
          "line": null,
          "mechanism": null,
          "failure": null,
          "severity": null,
          "id": "c05_param",
          "cohort": "original",
          "pipeline": "staged",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 447,
            "output_tokens": 0,
            "median_latency_ms": 349.1,
            "wall_s": 0.349,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": false,
          "line": "new:2",
          "mechanism": "none",
          "failure": 1.5265075182247703e-05,
          "severity": 0.005809033303173297,
          "id": "c05_param",
          "cohort": "original",
          "pipeline": "single",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 796,
            "output_tokens": 0,
            "median_latency_ms": 411.4,
            "wall_s": 0.412,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": 0.013245426753438337,
          "area": "concurrency",
          "stage2": false,
          "flag": false,
          "line": null,
          "mechanism": null,
          "failure": null,
          "severity": null,
          "id": "c08_lockctx",
          "cohort": "original",
          "pipeline": "staged",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 2,
            "completed_requests": 1,
            "input_tokens": 463,
            "output_tokens": 0,
            "median_latency_ms": 50440.9,
            "wall_s": 80.597,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        },
        {
          "risk": null,
          "area": null,
          "stage2": true,
          "flag": false,
          "line": "none",
          "mechanism": "none",
          "failure": 3.6727149526330983e-06,
          "severity": 0.0016894771913278472,
          "id": "c08_lockctx",
          "cohort": "original",
          "pipeline": "single",
          "planted": false,
          "gold_lines": [],
          "gold_mechanism": "none",
          "line_ok": false,
          "mechanism_ok": false,
          "metrics": {
            "requests": 1,
            "completed_requests": 1,
            "input_tokens": 971,
            "output_tokens": 0,
            "median_latency_ms": 14218.2,
            "wall_s": 14.219,
            "cost_usd": 0.0,
            "cost_basis": "free route; missing provider cost fields are not receipts",
            "reported_cost_usd": null
          },
          "repeat": 1
        }
      ],
      "calls": [
        {
          "case_id": "b01_offbyone",
          "phase": "staged:risk",
          "state_hash": "60ac662712726a208b0fd433d0be4527f1f258cc33d9ef8c5cc9b8d99442945a",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 3.9640427783161796,
              "confidence": 0.9033278225551411,
              "probabilities": {
                "0": 6.158315215318939e-06,
                "1": 0.00038921901881963053,
                "2": 0.0008712892221417506,
                "3": 0.03302235292221661,
                "4": 0.9657109805216066
              }
            },
            "area": {
              "type": "choice",
              "choice": "logic",
              "confidence": 0.9956475338025037,
              "probabilities": {
                "logic": 0.9992444039531788,
                "security": 0.0003850063999130569,
                "data": 5.11862710485106e-05,
                "concurrency": 5.459386747280038e-05,
                "cosmetic": 0.00026480950838682246
              }
            }
          },
          "usage": {
            "input_tokens": 469,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 600.7,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.601
        },
        {
          "case_id": "b01_offbyone",
          "phase": "staged:detail",
          "state_hash": "60ac662712726a208b0fd433d0be4527f1f258cc33d9ef8c5cc9b8d99442945a",
          "questions_hash": "24093c0dd98c48401bc55bc31e733cd21fcaf48cf52805d715410a1589ccf90d",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.9999506529272542,
              "probabilities": {
                "old:1": 3.757809501708105e-06,
                "old:2": 8.939253300505359e-07,
                "old:3": 8.548809653482998e-07,
                "old:4": 3.897664460785088e-07,
                "new:1": 1.105728012660087e-06,
                "new:2": 6.263217682560334e-08,
                "new:3": 0.9999924364891419,
                "new:4": 1.9378435798172734e-07,
                "none": 3.049840673858374e-07
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "off_by_one",
              "confidence": 0.9993037631135248,
              "probabilities": {
                "off_by_one": 0.9998406916729254,
                "inverted_condition": 2.327368510029714e-06,
                "injection": 2.6557725229586375e-07,
                "shared_state": 5.599796727123143e-06,
                "unit_mismatch": 1.4314349506168046e-06,
                "error_handling": 2.441723390358086e-08,
                "null_handling": 8.490619290819802e-06,
                "wrong_variable": 4.223390252669952e-06,
                "concurrency": 8.051259141279911e-07,
                "wrong_operator": 2.8889613898901e-06,
                "none": 0.00013325163555309981
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.9999800626322678
            },
            "severity": {
              "type": "score",
              "score": 2.0534221771613783,
              "confidence": 0.8641280589678034,
              "probabilities": {
                "0": 1.9620401685130675e-05,
                "1": 0.0007457549124122812,
                "2": 0.9456769466465446,
                "3": 0.05290818320155516,
                "4": 0.0006494948378028508
              }
            }
          },
          "usage": {
            "input_tokens": 890,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 503.2,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.503
        },
        {
          "case_id": "b01_offbyone",
          "phase": "single:detail",
          "state_hash": "60ac662712726a208b0fd433d0be4527f1f258cc33d9ef8c5cc9b8d99442945a",
          "questions_hash": "24093c0dd98c48401bc55bc31e733cd21fcaf48cf52805d715410a1589ccf90d",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.9999440582724833,
              "probabilities": {
                "old:1": 5.108346851469162e-06,
                "old:2": 1.0957119779666917e-06,
                "old:3": 6.120188344928112e-07,
                "old:4": 4.176551690604484e-07,
                "new:1": 9.588697460823405e-07,
                "new:2": 5.5506690548095005e-08,
                "new:3": 0.9999912389105139,
                "new:4": 1.9255559080726805e-07,
                "none": 3.204246256237392e-07
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "off_by_one",
              "confidence": 0.9994533856480416,
              "probabilities": {
                "off_by_one": 0.9998795448919887,
                "inverted_condition": 1.7881455386480193e-06,
                "injection": 1.77017987259893e-07,
                "shared_state": 4.924103072880778e-06,
                "unit_mismatch": 1.1497960049601988e-06,
                "error_handling": 1.8813625504149678e-08,
                "null_handling": 8.75306181777928e-06,
                "wrong_variable": 4.205995127155822e-06,
                "concurrency": 7.679773602471389e-07,
                "wrong_operator": 2.7891982804335115e-06,
                "none": 9.588099919638593e-05
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.9999722419133104
            },
            "severity": {
              "type": "score",
              "score": 2.047179784829845,
              "confidence": 0.8760567567587692,
              "probabilities": {
                "0": 1.9711500572215682e-05,
                "1": 0.0006666690503119494,
                "2": 0.9520865837540554,
                "3": 0.046568194508819355,
                "4": 0.0006588411862410359
              }
            }
          },
          "usage": {
            "input_tokens": 890,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 378.6,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.379
        },
        {
          "case_id": "b03_sqlinject",
          "phase": "staged:risk",
          "state_hash": "7a60af17cb3d8b3127e8494b4c6fb8ed66286caffef71b17d495f311824f6aaf",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 3.7030949857384923,
              "confidence": 0.5837969413996396,
              "probabilities": {
                "0": 0.0027312674530911678,
                "1": 0.011971998621468123,
                "2": 0.07171054066314206,
                "3": 0.10664286725845477,
                "4": 0.8069433260038439
              }
            },
            "area": {
              "type": "choice",
              "choice": "security",
              "confidence": 0.9875740730863565,
              "probabilities": {
                "logic": 0.0011703648914357493,
                "security": 0.9975394802598005,
                "data": 0.00024341298046406392,
                "concurrency": 0.00015138728090123492,
                "cosmetic": 0.0008953545873984016
              }
            }
          },
          "usage": {
            "input_tokens": 468,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 361.3,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.362
        },
        {
          "case_id": "b03_sqlinject",
          "phase": "staged:detail",
          "state_hash": "7a60af17cb3d8b3127e8494b4c6fb8ed66286caffef71b17d495f311824f6aaf",
          "questions_hash": "3444e9e5853dc49b48104b8506b2d249660ab11ca0ab463ad111964e785c0ca9",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.9985152011016646,
              "probabilities": {
                "old:1": 4.577899449454743e-07,
                "old:2": 2.291179632775459e-06,
                "new:1": 9.21760460248725e-05,
                "new:2": 2.4349983304634636e-05,
                "new:3": 0.9997399098128904,
                "none": 0.00014081518820246674
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "injection",
              "confidence": 0.9997578266521142,
              "probabilities": {
                "off_by_one": 3.234787555713856e-07,
                "inverted_condition": 1.2232037646971226e-06,
                "injection": 0.9999526296897968,
                "shared_state": 9.118379298316921e-06,
                "unit_mismatch": 1.5200066967483386e-06,
                "error_handling": 2.893450320530348e-06,
                "null_handling": 2.3039585847745813e-07,
                "wrong_variable": 5.984277668387108e-07,
                "concurrency": 1.787432524934967e-06,
                "wrong_operator": 7.890738650663134e-07,
                "none": 2.888646135192513e-05
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.998700944074232
            },
            "severity": {
              "type": "score",
              "score": 3.997508038247711,
              "confidence": 0.9897277856763812,
              "probabilities": {
                "0": 7.829203203884226e-06,
                "1": 7.337540969902642e-05,
                "2": 0.00011185576002744487,
                "3": 0.002016807190321357,
                "4": 0.9977901324367483
              }
            }
          },
          "usage": {
            "input_tokens": 839,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 346.2,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.347
        },
        {
          "case_id": "b03_sqlinject",
          "phase": "single:detail",
          "state_hash": "7a60af17cb3d8b3127e8494b4c6fb8ed66286caffef71b17d495f311824f6aaf",
          "questions_hash": "3444e9e5853dc49b48104b8506b2d249660ab11ca0ab463ad111964e785c0ca9",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.9988173983741303,
              "probabilities": {
                "old:1": 4.114489928686858e-07,
                "old:2": 2.0705900887359304e-06,
                "new:1": 6.520585385760385e-05,
                "new:2": 2.435143059926834e-05,
                "new:3": 0.9997986207404413,
                "none": 0.00010933993602023443
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "injection",
              "confidence": 0.9998101286891322,
              "probabilities": {
                "off_by_one": 2.268077459884783e-07,
                "inverted_condition": 1.3192670031741854e-06,
                "injection": 0.9999633197310016,
                "shared_state": 5.741498729374295e-06,
                "unit_mismatch": 1.1846512329529402e-06,
                "error_handling": 1.6344788139220319e-06,
                "null_handling": 3.0021079593591925e-07,
                "wrong_variable": 3.7518907329077994e-07,
                "concurrency": 1.063417429276228e-06,
                "wrong_operator": 3.966181558906939e-07,
                "none": 2.4438130018537534e-05
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.9996074480810961
            },
            "severity": {
              "type": "score",
              "score": 3.9968114016203447,
              "confidence": 0.9872308611469772,
              "probabilities": {
                "0": 9.228634846896446e-06,
                "1": 7.874320417413616e-05,
                "2": 0.00015716989975487914,
                "3": 0.002601114428236034,
                "4": 0.9971537438329882
              }
            }
          },
          "usage": {
            "input_tokens": 839,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 243.3,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.244
        },
        {
          "case_id": "b07_none",
          "phase": "staged:risk",
          "state_hash": "e9791fb11e3f47fbceb0a17ff48c98d388518290abaef8c217bbf276e5250868",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 2.713344439683417,
              "confidence": 0.5917967121107206,
              "probabilities": {
                "0": 9.538958923748835e-07,
                "1": 0.0009416946066935995,
                "2": 0.29302783900013135,
                "3": 0.6977709829126699,
                "4": 0.008258529584612677
              }
            },
            "area": {
              "type": "choice",
              "choice": "data",
              "confidence": 0.45717209619610744,
              "probabilities": {
                "logic": 0.4289858704576172,
                "security": 0.014910212701787086,
                "data": 0.5293821495295215,
                "concurrency": 0.0061137031316005315,
                "cosmetic": 0.02060806417947373
              }
            }
          },
          "usage": {
            "input_tokens": 468,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 1000.2,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 1.0
        },
        {
          "case_id": "b07_none",
          "phase": "staged:detail",
          "state_hash": "e9791fb11e3f47fbceb0a17ff48c98d388518290abaef8c217bbf276e5250868",
          "questions_hash": "6357ce17c942aaf81a61d4f344dd24a33f7bc7f9bc9f7928b7b3392a85343688",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.777037978706326,
              "probabilities": {
                "old:1": 7.669668763057405e-05,
                "old:2": 0.0001014395664538,
                "old:3": 2.9554287812000732e-05,
                "old:4": 7.126328321960772e-05,
                "new:1": 0.0005131526969259481,
                "new:2": 0.0007622574905395969,
                "new:3": 0.8153890570776716,
                "new:4": 0.18298230006107877,
                "none": 7.427884866801437e-05
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "wrong_variable",
              "confidence": 0.651330630119606,
              "probabilities": {
                "off_by_one": 9.517215969154947e-05,
                "inverted_condition": 5.922456363969646e-05,
                "injection": 1.327762495371522e-05,
                "shared_state": 2.954605042295902e-05,
                "unit_mismatch": 5.9883542588641994e-05,
                "error_handling": 0.00037140944911368077,
                "null_handling": 0.29832729322669616,
                "wrong_variable": 0.6415859282088283,
                "concurrency": 7.318197239813573e-05,
                "wrong_operator": 0.0047976908186322465,
                "none": 0.05458739238303489
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.9792623369151181
            },
            "severity": {
              "type": "score",
              "score": 2.0902393830229764,
              "confidence": 0.5962575203750322,
              "probabilities": {
                "0": 0.002503207265206755,
                "1": 0.05334688470231916,
                "2": 0.8005475783312844,
                "3": 0.1386119771466701,
                "4": 0.00499035255451951
              }
            }
          },
          "usage": {
            "input_tokens": 870,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 422.9,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.423
        },
        {
          "case_id": "b07_none",
          "phase": "single:detail",
          "state_hash": "e9791fb11e3f47fbceb0a17ff48c98d388518290abaef8c217bbf276e5250868",
          "questions_hash": "6357ce17c942aaf81a61d4f344dd24a33f7bc7f9bc9f7928b7b3392a85343688",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:3",
              "confidence": 0.7535618192612796,
              "probabilities": {
                "old:1": 7.610625135166792e-05,
                "old:2": 7.293035483651333e-05,
                "old:3": 2.5379004523468076e-05,
                "old:4": 5.552556028062178e-05,
                "new:1": 0.000410498983587093,
                "new:2": 0.0006247806588271802,
                "new:3": 0.7764091564253887,
                "new:4": 0.22225265000039665,
                "none": 7.297276080822453e-05
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "wrong_variable",
              "confidence": 0.6715238769371168,
              "probabilities": {
                "off_by_one": 7.534563740508171e-05,
                "inverted_condition": 4.322107537203003e-05,
                "injection": 9.597224632379658e-06,
                "shared_state": 1.8544117235956448e-05,
                "unit_mismatch": 4.445840338108156e-05,
                "error_handling": 0.00035796428892399866,
                "null_handling": 0.2659782957790249,
                "wrong_variable": 0.6815642299911684,
                "concurrency": 5.1319119469824646e-05,
                "wrong_operator": 0.004544692869014905,
                "none": 0.0473123314943715
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.9801214996533031
            },
            "severity": {
              "type": "score",
              "score": 2.1041025685358106,
              "confidence": 0.593327280417137,
              "probabilities": {
                "0": 0.0015434462660365667,
                "1": 0.05126891663268075,
                "2": 0.7932707605157328,
                "3": 0.14937537547053586,
                "4": 0.004541501115014132
              }
            }
          },
          "usage": {
            "input_tokens": 870,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 373.0,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.373
        },
        {
          "case_id": "c09_tz_lookalike",
          "phase": "staged:risk",
          "state_hash": "586ad777e24176afc626957ccf11c036483801caf427002aadc002eccac40ead",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 0.6408154812901763,
              "confidence": 0.4384970030980472,
              "probabilities": {
                "0": 0.42944509624101046,
                "1": 0.5047513297425114,
                "2": 0.061706662985002145,
                "3": 0.0037368185482433104,
                "4": 0.0003600924832326841
              }
            },
            "area": {
              "type": "choice",
              "choice": "logic",
              "confidence": 0.5048488822944015,
              "probabilities": {
                "logic": 0.6406815436058791,
                "security": 0.0100699524798514,
                "data": 0.32642282095230213,
                "concurrency": 0.006500748909367649,
                "cosmetic": 0.016324934052599667
              }
            }
          },
          "usage": {
            "input_tokens": 510,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 350.7,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.351
        },
        {
          "case_id": "c09_tz_lookalike",
          "phase": "single:detail",
          "state_hash": "586ad777e24176afc626957ccf11c036483801caf427002aadc002eccac40ead",
          "questions_hash": "71d7aa686886990fe1ca103adf329e8d7810337bd69ba47982207e664e5f11b6",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:4",
              "confidence": 0.9761987513186224,
              "probabilities": {
                "old:1": 3.3939868882467842e-06,
                "old:3": 5.5116730140755045e-05,
                "old:4": 6.353989132324745e-07,
                "new:1": 1.8525779232256496e-05,
                "new:3": 0.007696934809371162,
                "new:4": 0.992197884007844,
                "none": 2.75092876103079e-05
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "unit_mismatch",
              "confidence": 0.9333421855892425,
              "probabilities": {
                "off_by_one": 0.0012631656782867446,
                "inverted_condition": 0.0012395792673793639,
                "injection": 1.7517557498824495e-05,
                "shared_state": 0.00012181469781511446,
                "unit_mismatch": 0.9730882626773278,
                "error_handling": 0.00012237036687127678,
                "null_handling": 0.0003867972373157555,
                "wrong_variable": 0.008909470301998344,
                "concurrency": 9.267757426842633e-05,
                "wrong_operator": 0.002075899973440793,
                "none": 0.012682444667797475
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.7015959110088906
            },
            "severity": {
              "type": "score",
              "score": 2.3012261694341465,
              "confidence": 0.45761009328438496,
              "probabilities": {
                "0": 0.011995777048921718,
                "1": 0.028409704631560062,
                "2": 0.6188693079919678,
                "3": 0.3278229924915509,
                "4": 0.01290221783599953
              }
            }
          },
          "usage": {
            "input_tokens": 902,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 685.3,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.686
        },
        {
          "case_id": "b10_race",
          "phase": "staged:risk",
          "state_hash": "31a478eb888974eaa0c059fdbc81c5ae883580915d0c96f8c22055a11bed0141",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 3.976695324832101,
              "confidence": 0.9310925696853641,
              "probabilities": {
                "0": 6.026118014776028e-06,
                "1": 0.00012127798775245116,
                "2": 0.00024032641618921277,
                "3": 0.022436083900203956,
                "4": 0.9771962855778396
              }
            },
            "area": {
              "type": "choice",
              "choice": "concurrency",
              "confidence": 0.9975758659854346,
              "probabilities": {
                "logic": 0.00023119067416901953,
                "security": 9.487677359820302e-05,
                "data": 1.1051786140999086e-05,
                "concurrency": 0.9996048707526304,
                "cosmetic": 5.801001346142959e-05
              }
            }
          },
          "usage": {
            "input_tokens": 471,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 6388.3,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 6.389
        },
        {
          "case_id": "b10_race",
          "phase": "staged:detail",
          "state_hash": "31a478eb888974eaa0c059fdbc81c5ae883580915d0c96f8c22055a11bed0141",
          "questions_hash": "0e4f80364219140ad2c217b69cc89cd180a2cabaa952615745e37e7b14ca967e",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:7",
              "confidence": 0.9796786733386672,
              "probabilities": {
                "old:1": 0.00025500699550998906,
                "old:2": 0.0001392911402688831,
                "old:3": 7.037594884599352e-06,
                "old:5": 0.0001309303291586866,
                "old:6": 3.541471677929877e-05,
                "old:7": 0.0001444643035409505,
                "old:8": 4.345027381255688e-05,
                "new:1": 2.3699585579628798e-05,
                "new:2": 0.000474661373745021,
                "new:3": 5.836252784358947e-05,
                "new:5": 0.0021936702225751887,
                "new:6": 0.0010360438566115533,
                "new:7": 0.9929280007222417,
                "new:8": 0.0004435986262714772,
                "none": 0.00208636773117681
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "concurrency",
              "confidence": 0.9968299623068912,
              "probabilities": {
                "off_by_one": 5.366186928910699e-06,
                "inverted_condition": 6.117331836878174e-06,
                "injection": 5.840420350335972e-06,
                "shared_state": 6.237828019246677e-05,
                "unit_mismatch": 7.697145754744972e-06,
                "error_handling": 1.910988433055993e-06,
                "null_handling": 1.4310960254439637e-06,
                "wrong_variable": 8.126431416654492e-06,
                "concurrency": 0.9991244348857068,
                "wrong_operator": 2.830440362923072e-05,
                "none": 0.0007483928297255194
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.9995196182774115
            },
            "severity": {
              "type": "score",
              "score": 2.584169091405228,
              "confidence": 0.5643265311513642,
              "probabilities": {
                "0": 4.718565339981491e-05,
                "1": 0.00045160711052363265,
                "2": 0.4175464095074118,
                "3": 0.5791945256347787,
                "4": 0.0027602720938861044
              }
            }
          },
          "usage": {
            "input_tokens": 965,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 538.2,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.538
        },
        {
          "case_id": "b10_race",
          "phase": "single:detail",
          "state_hash": "31a478eb888974eaa0c059fdbc81c5ae883580915d0c96f8c22055a11bed0141",
          "questions_hash": "0e4f80364219140ad2c217b69cc89cd180a2cabaa952615745e37e7b14ca967e",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:7",
              "confidence": 0.9766380741001213,
              "probabilities": {
                "old:1": 0.00026733027928090334,
                "old:2": 0.00017489866179657763,
                "old:3": 7.584056379443149e-06,
                "old:5": 0.00014263750473897586,
                "old:6": 4.526094019850805e-05,
                "old:7": 0.00021084854324287673,
                "old:8": 4.5878189614570054e-05,
                "new:1": 3.571769967425437e-05,
                "new:2": 0.00046891275232970264,
                "new:3": 7.319582677604055e-05,
                "new:5": 0.0025402777824422673,
                "new:6": 0.0011001110507770626,
                "new:7": 0.9916852054900296,
                "new:8": 0.0005707197380571472,
                "none": 0.0026314214846622024
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "concurrency",
              "confidence": 0.9967768216423256,
              "probabilities": {
                "off_by_one": 5.023125941658204e-06,
                "inverted_condition": 7.021200077566635e-06,
                "injection": 5.6207051861286255e-06,
                "shared_state": 5.3339311396861915e-05,
                "unit_mismatch": 7.74909887145774e-06,
                "error_handling": 1.5400829408551558e-06,
                "null_handling": 1.5909823099567449e-06,
                "wrong_variable": 8.673598280010053e-06,
                "concurrency": 0.9991048437982524,
                "wrong_operator": 3.0491708660463404e-05,
                "none": 0.0007741063880826615
              }
            },
            "failure": {
              "type": "noul",
              "noul": 0.9994205470859431
            },
            "severity": {
              "type": "score",
              "score": 2.5805260681939,
              "confidence": 0.5632256061157892,
              "probabilities": {
                "0": 4.626841428731984e-05,
                "1": 0.00047006530301123647,
                "2": 0.421243047300753,
                "3": 0.5753925676384103,
                "4": 0.002848051343538038
              }
            }
          },
          "usage": {
            "input_tokens": 965,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 325.0,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.325
        },
        {
          "case_id": "c01_rename",
          "phase": "staged:risk",
          "state_hash": "7654ceb4a95dd7ebb0353bddba2ca51530626be1504fc55a2cdaa72624295ecc",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 0.037381857478985016,
              "confidence": 0.9235364527170542,
              "probabilities": {
                "0": 0.9788489719466051,
                "1": 0.0076914645203663805,
                "2": 0.011592012565684312,
                "3": 0.0009638360421264545,
                "4": 0.0009037149252176615
              }
            },
            "area": {
              "type": "choice",
              "choice": "cosmetic",
              "confidence": 0.9683571266543083,
              "probabilities": {
                "logic": 0.004525778666881153,
                "security": 0.0013236387706349034,
                "data": 0.0007282499476011841,
                "concurrency": 0.000717567005818299,
                "cosmetic": 0.9927047656090644
              }
            }
          },
          "usage": {
            "input_tokens": 452,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 696.1,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.696
        },
        {
          "case_id": "c01_rename",
          "phase": "single:detail",
          "state_hash": "7654ceb4a95dd7ebb0353bddba2ca51530626be1504fc55a2cdaa72624295ecc",
          "questions_hash": "5a27944f64a3345fc7e731867818c4ecae65b93b4b67f25f649b55048a4aecd8",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.9940116714190843,
              "probabilities": {
                "old:1": 0.00024110446373122824,
                "old:2": 0.0001455688376673561,
                "old:3": 1.4678078585574746e-05,
                "new:1": 0.0004813144104091041,
                "new:2": 0.00024744066433158494,
                "new:3": 0.00013455912514271747,
                "none": 0.9987353344201324
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.9995878408808333,
              "probabilities": {
                "off_by_one": 9.032732924694598e-06,
                "inverted_condition": 3.967353271707083e-06,
                "injection": 1.716674221161874e-06,
                "shared_state": 2.6614116853620515e-06,
                "unit_mismatch": 7.44112639829056e-06,
                "error_handling": 1.6336624627756862e-06,
                "null_handling": 3.8301622437843324e-05,
                "wrong_variable": 1.2606486924939728e-05,
                "concurrency": 1.0907399963521629e-06,
                "wrong_operator": 3.090554602250037e-06,
                "none": 0.9999184576350746
              }
            },
            "failure": {
              "type": "noul",
              "noul": 1.9883574750876504e-06
            },
            "severity": {
              "type": "score",
              "score": 0.0014823611377234851,
              "confidence": 0.9958135094614092,
              "probabilities": {
                "0": 0.9992650334201134,
                "1": 0.00045040167217259033,
                "2": 3.5149442666225756e-05,
                "3": 3.600127997256277e-05,
                "4": 0.00021341418507518872
              }
            }
          },
          "usage": {
            "input_tokens": 826,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 794.1,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.794
        },
        {
          "case_id": "c05_param",
          "phase": "staged:risk",
          "state_hash": "9455852d920eb4d0eeec9662519bb4768f350ae06120535abebe5f2c51902432",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 0.030362331346991584,
              "confidence": 0.9250575300014177,
              "probabilities": {
                "0": 0.9784366056130636,
                "1": 0.013556253720277599,
                "2": 0.0074742250095723994,
                "3": 0.0002740350207769522,
                "4": 0.00025888063630958213
              }
            },
            "area": {
              "type": "choice",
              "choice": "security",
              "confidence": 0.5930523558081426,
              "probabilities": {
                "logic": 0.004383567394521977,
                "security": 0.7001564702666654,
                "data": 0.002238800185391138,
                "concurrency": 0.001272151547328895,
                "cosmetic": 0.29194901060609263
              }
            }
          },
          "usage": {
            "input_tokens": 447,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 349.1,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.349
        },
        {
          "case_id": "c05_param",
          "phase": "single:detail",
          "state_hash": "9455852d920eb4d0eeec9662519bb4768f350ae06120535abebe5f2c51902432",
          "questions_hash": "70f392165cb31353efb397bfa3cb7f0f43ec6ca3c9d03310ee2d96ceb29f2903",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "new:2",
              "confidence": 0.997326367361872,
              "probabilities": {
                "old:1": 1.6301488825761782e-05,
                "old:2": 2.8903716111163313e-05,
                "new:1": 0.0001405990230449355,
                "new:2": 0.9995563476831592,
                "none": 0.00025784808885894177
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.9995115765763158,
              "probabilities": {
                "off_by_one": 1.0560815712621566e-05,
                "inverted_condition": 4.945367393587614e-06,
                "injection": 8.483166206230148e-06,
                "shared_state": 4.240189546598831e-05,
                "unit_mismatch": 2.1266775260431253e-05,
                "error_handling": 2.1586209858339007e-06,
                "null_handling": 3.707343038958222e-06,
                "wrong_variable": 1.531217700408685e-06,
                "concurrency": 1.627794711113715e-06,
                "wrong_operator": 1.4980690010552255e-06,
                "none": 0.9999018189345237
              }
            },
            "failure": {
              "type": "noul",
              "noul": 1.5265075182247703e-05
            },
            "severity": {
              "type": "score",
              "score": 0.005809033303173297,
              "confidence": 0.9871685732644986,
              "probabilities": {
                "0": 0.997399740368678,
                "1": 0.0013997085420976551,
                "2": 0.00014379322188383774,
                "3": 0.00010529315205419661,
                "4": 0.0009514647152863441
              }
            }
          },
          "usage": {
            "input_tokens": 796,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 411.4,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 0.412
        },
        {
          "case_id": "c08_lockctx",
          "phase": "staged:risk",
          "state_hash": "d3e2f8a000838b129b13933fcb706c778420d9dc7d9518c49b51a98dce0e60e0",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "status": "failed",
          "reason": "connection_error",
          "elapsed_s": 30.156
        },
        {
          "case_id": "c08_lockctx",
          "phase": "staged:risk",
          "state_hash": "d3e2f8a000838b129b13933fcb706c778420d9dc7d9518c49b51a98dce0e60e0",
          "questions_hash": "8e98c7860cc21f2a61de13565266b0754c8bb08330da9844ca4d4cf4b57148a0",
          "question_ids": [
            "risk",
            "area"
          ],
          "answers": {
            "risk": {
              "type": "score",
              "score": 0.013245426753438337,
              "confidence": 0.9686548785975609,
              "probabilities": {
                "0": 0.9923374225715086,
                "1": 0.0023044111447737,
                "2": 0.005204871406386306,
                "3": 8.190671343373185e-05,
                "4": 7.138816389770739e-05
              }
            },
            "area": {
              "type": "choice",
              "choice": "concurrency",
              "confidence": 0.950434521126073,
              "probabilities": {
                "logic": 0.004825729698894005,
                "security": 0.0006568945977642686,
                "data": 0.00027268170016102,
                "concurrency": 0.9873304782973126,
                "cosmetic": 0.006914215705868099
              }
            }
          },
          "usage": {
            "input_tokens": 463,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 50440.9,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 50.441
        },
        {
          "case_id": "c08_lockctx",
          "phase": "single:detail",
          "state_hash": "d3e2f8a000838b129b13933fcb706c778420d9dc7d9518c49b51a98dce0e60e0",
          "questions_hash": "9e2d119f23ffc1e7cab6811e8445a2f8e78cc89e5ce93282faaeea3a055b3843",
          "question_ids": [
            "line",
            "mechanism",
            "failure",
            "severity"
          ],
          "answers": {
            "line": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.7418143490209586,
              "probabilities": {
                "old:1": 0.0007046326147633578,
                "old:2": 0.000530727065148896,
                "old:3": 3.717582520561653e-05,
                "old:5": 0.0004950886481714316,
                "old:6": 9.536770161081209e-05,
                "old:7": 8.83714508226666e-05,
                "old:8": 3.422652426780519e-05,
                "old:9": 4.844248891911278e-05,
                "new:1": 0.0005849369959936748,
                "new:2": 0.00015376714111730962,
                "new:3": 0.05288289504955702,
                "new:5": 0.00035293556725299606,
                "new:6": 2.9927389245957633e-05,
                "new:7": 0.19348464269279575,
                "new:8": 0.00028460477277343594,
                "none": 0.7501922580723541
              }
            },
            "mechanism": {
              "type": "choice",
              "choice": "none",
              "confidence": 0.9990198294776098,
              "probabilities": {
                "off_by_one": 4.693140085654e-05,
                "inverted_condition": 1.0808123154510084e-05,
                "injection": 5.0891713458793736e-06,
                "shared_state": 2.4734753569203597e-05,
                "unit_mismatch": 8.427978876956544e-06,
                "error_handling": 2.5658673652235383e-06,
                "null_handling": 6.50701618000629e-06,
                "wrong_variable": 3.1956579966136392e-06,
                "concurrency": 8.161913437468063e-05,
                "wrong_operator": 1.9112471273396436e-05,
                "none": 0.999791008425007
              }
            },
            "failure": {
              "type": "noul",
              "noul": 3.6727149526330983e-06
            },
            "severity": {
              "type": "score",
              "score": 0.0016894771913278472,
              "confidence": 0.9939302159369586,
              "probabilities": {
                "0": 0.9988306319304545,
                "1": 0.0009659915733123775,
                "2": 2.9856961788638962e-05,
                "3": 3.0306443339281733e-05,
                "4": 0.00014321309110508664
              }
            }
          },
          "usage": {
            "input_tokens": 971,
            "output_tokens": 0
          },
          "model": "openjev-0.1",
          "mode": "live",
          "provider": "codiv",
          "label": "openjev (Codiv free hosted) - NOT JEV",
          "latency_ms": 14218.2,
          "cached": false,
          "reported_cost_usd": null,
          "status": "ok",
          "elapsed_s": 14.219
        }
      ]
    }
  ],
  "fixtureSourcePath": "samples/review-triage/fixtures/diffs.jsonl",
  "fixtureSha256": "bf238e5943e7d134694f6b594c7f770bc44c355cff1d407b453777df46f742e4"
}