{
  "verdict": "inconclusive",
  "impact_class": "stale pooled handle → wrong-command abort (logic, in-bounds)",
  "confidence": "certain",
  "reproduce": {
    "build": "n/a",
    "run": "requires MegaRAID HBA: complete/fail a RAID-map sync, let the mfi pool recycle the slot, then shutdown the controller",
    "expected": "shutdown aborts a recycled command's index/frame (bystander command aborted); unreachable on this guest (no HBA)"
  },
  "kernel_refs": [
    "sys/dev/raid/mrsas/mrsas.c:3239",
    "sys/dev/raid/mrsas/mrsas.c:2953",
    "sys/dev/raid/mrsas/mrsas.c:2960",
    "sys/dev/raid/mrsas/mrsas.c:2454",
    "sys/dev/raid/mrsas/mrsas.c:3041"
  ],
  "artifacts": ["README.md", "VERDICT.md", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}