{
  "verdict": "untested (hardware-gated)",
  "impact": "unbounded interrupts-disabled ready-wait loop fed only by HBA register values \u2192 attach-time kernel hang",
  "reproduce": {
    "build": "n/a \u2014 requires DPT SmartRAID hardware",
    "run": "n/a \u2014 requires DPT SmartRAID hardware",
    "expected": "Kernel-level trigger impossible in this guest: no DPT HBA (see env.txt)."
  },
  "kernel_refs": [
    "sys/dev/raid/dpt/dpt_scsi.c:505-520"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "env.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}