{
  "finding_id": "DF-5048",
  "title": "Bios submitted to a wedged IDA controller park forever — unkillable D-state issuers and unbounded bio_queue (DF-5026 pattern)",
  "verdict": "untested (hardware-gated)",
  "impact": "none demonstrated (system-wide hang/livelock class)",
  "reproduce": {
    "build": "n/a — hardware-gated (needs a physically wedged SMART/IDA controller)",
    "run": "on hardware: issue I/O on an idad volume after the controller stops completing; every issuer parks in unkillable D-state",
    "expected": "unkillable D-state processes, hung mounts, unbounded bio_queue growth until reboot; on the audit guest: impossible — no 0x0e11 device (env.txt)"
  },
  "kernel_refs": [
    "sys/dev/raid/ida/ida_disk.c:144-189",
    "sys/dev/raid/ida/ida.c:364-370",
    "sys/dev/raid/ida/ida.c:372-417",
    "sys/dev/raid/ida/ida.c:498-537",
    "sys/dev/raid/ida/idavar.h:93"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "env.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}