{
  "finding_id": "DF-4172",
  "verdict": "untested",
  "impact": "none",
  "reason": "hardware-gated: device-fed completion index; guest has no iir controller",
  "reproduce": {
    "build": "none (no userland trigger exists)",
    "run": "sh gate_check.sh  # documents absent iir hardware on this guest",
    "expected": "on hardware-less guest: 'no iir/isp PCI device present'; on hostile-controller host: OOB access at iir.c:1580"
  },
  "kernel_refs": [
    "sys/dev/raid/iir/iir.c:1580",
    "sys/dev/raid/iir/iir.c:250",
    "sys/dev/raid/iir/iir.c:256",
    "sys/dev/raid/iir/iir.c:1583",
    "sys/dev/raid/iir/iir.c:661",
    "sys/dev/raid/iir/iir.c:1715",
    "sys/dev/raid/iir/iir_pci.c:406",
    "sys/dev/raid/iir/iir_pci.c:418",
    "sys/dev/raid/iir/iir.h:77"
  ],
  "artifacts": ["README.md", "VERDICT.md", "gate_check.sh", "gate_check.log", "fix.diff", "manifest.json", "verdict.json"]
}