{
  "001": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/001/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "002": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/002/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "003": {
    "status": "triaged",
    "opportunities": [
      "016"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/003/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "004": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/004/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "005": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/005/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "006": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/006/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "007": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/007/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "008": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/008/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "009": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/009/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "010": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/010/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "011": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/011/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "012": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/012/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "013": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/013/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "014": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/014/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "015": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/015/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "016": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/016/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "017": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/017/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "018": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/018/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "019": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/019/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "020": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/020/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "021": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/021/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "022": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/022/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "023": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/023/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "024": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/024/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "025": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/025/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "026": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/026/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "027": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/027/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "028": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/028/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "029": {
    "status": "triaged",
    "opportunities": [
      "016"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/029/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "030": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/030/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "031": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/031/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "032": {
    "status": "triaged",
    "opportunities": [
      "002"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/032/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "033": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/033/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "034": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/034/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "035": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/035/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "036": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/036/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "037": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/037/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "038": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/038/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "039": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/039/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "040": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/040/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "041": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/041/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "042": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/042/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "043": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/043/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "044": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/044/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "046": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/046/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "047": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/047/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "048": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/048/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "049": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/049/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "050": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/050/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "051": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/051/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "052": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/052/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "053": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/053/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "054": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/054/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "055": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/055/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "056": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/056/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "057": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/057/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "058": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/058/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "059": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/059/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "060": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/060/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "062": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/062/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "063": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/063/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "064": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/064/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "065": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/065/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/065/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "066": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/066/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "067": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/067/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "068": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/068/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "069": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/069/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "071": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/071/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "072": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/072/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "073": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/073/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "074": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/074/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "075": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/075/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "076": {
    "status": "triaged",
    "opportunities": [
      "035"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/076/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "077": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/077/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "078": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/078/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "079": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/079/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "080": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/080/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "081": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/081/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "082": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/082/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "083": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/083/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "084": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/084/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "085": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/085/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "086": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/086/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "087": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/087/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "088": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/088/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "089": {
    "status": "triaged",
    "opportunities": [
      "024"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/089/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "090": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/090/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "091": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/091/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "092": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/092/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "093": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/093/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "094": {
    "status": "triaged",
    "opportunities": [
      "025"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/094/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "095": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/095/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "096": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/096/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "097": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/097/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "098": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/098/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "099": {
    "status": "triaged",
    "opportunities": [
      "008",
      "025"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/099/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "100": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/100/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "101": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/101/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "102": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/102/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "103": {
    "status": "triaged",
    "opportunities": [
      "020"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/103/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/103/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "104": {
    "status": "triaged",
    "opportunities": [
      "003",
      "018"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/104/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "105": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/105/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "106": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/106/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "107": {
    "status": "triaged",
    "opportunities": [
      "003",
      "020",
      "022"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/107/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "108": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/108/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "109": {
    "status": "triaged",
    "opportunities": [
      "020"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/109/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "110": {
    "status": "triaged",
    "opportunities": [
      "010",
      "020"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/110/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/110/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "111": {
    "status": "triaged",
    "opportunities": [
      "020",
      "021"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/111/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "112": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/112/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "113": {
    "status": "triaged",
    "opportunities": [
      "001",
      "006"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/113/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/113/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "114": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/114/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "115": {
    "status": "triaged",
    "opportunities": [
      "001",
      "004",
      "041"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/115/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/115/review-2026-10-09-v2.md",
      "research/snapshots/2026-10-08-baseline/families/115/review-2026-10-09-v3.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "116": {
    "status": "triaged",
    "opportunities": [
      "012"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/116/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/116/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "117": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/117/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "118": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/118/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "119": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/119/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "120": {
    "status": "triaged",
    "opportunities": [
      "007"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/120/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/120/review-2026-10-09-v2.md",
      "research/snapshots/2026-10-08-baseline/families/120/review-2026-10-09-v3.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "121": {
    "status": "triaged",
    "opportunities": [
      "008"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/121/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/121/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "122": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/122/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "124": {
    "status": "triaged",
    "opportunities": [
      "001",
      "009",
      "020"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/124/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/124/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "125": {
    "status": "triaged",
    "opportunities": [
      "011"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/125/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/125/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "126": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/126/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "127": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/127/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "128": {
    "status": "triaged",
    "opportunities": [
      "023"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/128/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/128/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "129": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/129/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "130": {
    "status": "triaged",
    "opportunities": [
      "020"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/130/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "131": {
    "status": "triaged",
    "opportunities": [
      "003",
      "005"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/131/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/131/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "132": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/132/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "133": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/133/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "134": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/134/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "135": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/135/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "136": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/136/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "137": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/137/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "138": {
    "status": "triaged",
    "opportunities": [
      "017"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/138/review-2026-10-08-v1.md",
      "research/snapshots/2026-10-08-baseline/families/138/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "139": {
    "status": "triaged",
    "opportunities": [
      "020"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/139/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "140": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/140/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "141": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/141/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "142": {
    "status": "triaged",
    "opportunities": [
      "016"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/142/review-2026-10-08-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "143": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/143/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "144": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/144/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "145": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/145/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/145/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "146": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/146/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "147": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/147/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "148": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/148/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "149": {
    "status": "triaged",
    "opportunities": [
      "002",
      "003",
      "013"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/149/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "150": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/150/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "151": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/151/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "152": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/152/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "153": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/153/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "154": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/154/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "155": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/155/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "156": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/156/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "157": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/157/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "158": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/158/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/158/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "159": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/159/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "160": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/160/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "161": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/161/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "162": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/162/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "164": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/164/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "165": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/165/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "166": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/166/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "167": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/167/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "168": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/168/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "169": {
    "status": "triaged",
    "opportunities": [
      "039"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/169/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/169/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "170": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/170/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "171": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/171/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "172": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/172/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "173": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/173/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "174": {
    "status": "triaged",
    "opportunities": [
      "024",
      "036"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/174/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/174/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "175": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/175/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "176": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/176/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "177": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/177/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "178": {
    "status": "triaged",
    "opportunities": [
      "036"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/178/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/178/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "179": {
    "status": "triaged",
    "opportunities": [
      "035"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/179/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "180": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/180/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "181": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/181/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "182": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/182/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "183": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/183/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "184": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/184/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "185": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/185/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "186": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/186/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "187": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/187/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "188": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/188/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "189": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/189/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "190": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/190/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "191": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/191/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "192": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/192/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "193": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/193/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "194": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/194/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "195": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/195/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "196": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/196/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "197": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/197/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "198": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/198/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "199": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/199/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "200": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/200/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "201": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/201/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "202": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/202/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "203": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/203/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "204": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/204/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "205": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/205/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "206": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/206/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "207": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/207/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "208": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/208/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "209": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/209/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "210": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/210/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "211": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/211/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "212": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/212/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "213": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/213/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "214": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/214/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "215": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/215/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "216": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/216/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "217": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/217/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "218": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/218/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "219": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/219/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "220": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/220/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "221": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/221/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "222": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/222/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "223": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/223/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "224": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/224/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "225": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/225/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "226": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/226/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "227": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/227/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "228": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/228/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "229": {
    "status": "triaged",
    "opportunities": [
      "032"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/229/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "230": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/230/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "231": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/231/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "232": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/232/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "233": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/233/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "234": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/234/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "235": {
    "status": "triaged",
    "opportunities": [
      "033"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/235/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "236": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/236/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "237": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/237/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "238": {
    "status": "triaged",
    "opportunities": [
      "040"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/238/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/238/review-2026-10-09-v2.md",
      "research/snapshots/2026-10-08-baseline/families/238/review-2026-10-09-v3.md",
      "research/snapshots/2026-10-08-baseline/families/238/review-2026-10-09-v4.md",
      "research/snapshots/2026-10-08-baseline/families/238/review-2026-10-09-v5.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "239": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/239/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "240": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/240/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "241": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/241/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "242": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/242/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "243": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/243/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "244": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/244/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "245": {
    "status": "triaged",
    "opportunities": [
      "038"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/245/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/245/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "246": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/246/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "247": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/247/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "248": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/248/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "249": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/249/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "250": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/250/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "251": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/251/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "252": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/252/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "253": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/253/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "254": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/254/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/254/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "255": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/255/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "256": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/256/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "257": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/257/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "258": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/258/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "259": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/259/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "260": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/260/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "261": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/261/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "262": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/262/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "263": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/263/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "264": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/264/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "265": {
    "status": "triaged",
    "opportunities": [
      "030"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/265/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "266": {
    "status": "triaged",
    "opportunities": [
      "034"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/266/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "267": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/267/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "268": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/268/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "269": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/269/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "270": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/270/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "271": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/271/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "272": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/272/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "273": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/273/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "274": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/274/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "275": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/275/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "276": {
    "status": "triaged",
    "opportunities": [
      "003",
      "019"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/276/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "277": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/277/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "278": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/278/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "279": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/279/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/279/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "280": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/280/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "281": {
    "status": "triaged",
    "opportunities": [
      "031"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/281/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "282": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/282/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "283": {
    "status": "triaged",
    "opportunities": [
      "031"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/283/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "284": {
    "status": "triaged",
    "opportunities": [
      "031"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/284/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "285": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/285/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "286": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/286/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "287": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/287/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "288": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/288/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "289": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/289/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "290": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/290/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "291": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/291/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "292": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/292/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "293": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/293/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "294": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/294/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "295": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/295/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "296": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/296/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "297": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/297/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/297/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "298": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/298/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "299": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/299/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "300": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/300/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "301": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/301/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "302": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/302/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "303": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/303/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "304": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/304/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "305": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/305/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "306": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/306/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "307": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/307/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "308": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/308/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "309": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/309/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "310": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/310/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "311": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/311/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "312": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/312/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "313": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/313/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "314": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/314/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/314/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "315": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/315/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "316": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/316/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "317": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/317/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "318": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/318/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "319": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/319/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "320": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/320/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "321": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/321/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "322": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/322/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "323": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/323/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "324": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/324/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "325": {
    "status": "triaged",
    "opportunities": [
      "001",
      "014"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/325/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/325/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "326": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/326/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "327": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/327/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "328": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/328/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "329": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/329/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "330": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/330/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "331": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/331/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "332": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/332/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "333": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/333/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "334": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/334/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "335": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/335/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "336": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/336/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "337": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/337/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "338": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/338/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "339": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/339/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "340": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/340/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "341": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/341/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "342": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/342/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "343": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/343/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "344": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/344/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "345": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/345/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "346": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/346/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "347": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/347/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "348": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/348/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "349": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/349/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "350": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/350/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "351": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/351/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "352": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/352/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "353": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/353/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "354": {
    "status": "triaged",
    "opportunities": [
      "037"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/354/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "355": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/355/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "356": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/356/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "357": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/357/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "358": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/358/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "359": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/359/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "360": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/360/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "361": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/361/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "362": {
    "status": "triaged",
    "opportunities": [
      "029"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/362/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "363": {
    "status": "triaged",
    "opportunities": [
      "029"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/363/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "364": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/364/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "365": {
    "status": "triaged",
    "opportunities": [
      "026"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/365/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "366": {
    "status": "triaged",
    "opportunities": [
      "028"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/366/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "367": {
    "status": "triaged",
    "opportunities": [
      "028"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/367/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "368": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/368/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "369": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/369/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "370": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/370/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "371": {
    "status": "triaged",
    "opportunities": [
      "029"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/371/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/371/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "372": {
    "status": "triaged",
    "opportunities": [
      "027"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/372/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "373": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/373/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "374": {
    "status": "triaged",
    "opportunities": [
      "015",
      "020"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/374/review-2026-10-09-v1.md",
      "research/snapshots/2026-10-08-baseline/families/374/review-2026-10-09-v2.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "375": {
    "status": "triaged",
    "opportunities": [],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/375/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "376": {
    "status": "triaged",
    "opportunities": [
      "002",
      "029"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/376/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  },
  "377": {
    "status": "triaged",
    "opportunities": [
      "029"
    ],
    "reviews": [
      "research/snapshots/2026-10-08-baseline/families/377/review-2026-10-09-v1.md"
    ],
    "independent_proof_verification": "not_run"
  }
}