{
  "finding_id": "DF-5047",
  "title": "idad_dump reports fake success for controller-rejected/failed dump writes — ida_command discards the controller error status (DF-5027 pattern)",
  "verdict": "untested (hardware-gated)",
  "impact": "none demonstrated (silent crash-dump corruption; panic-time integrity loss)",
  "reproduce": {
    "build": "n/a — hardware-gated (needs IDA controller as dumpdev)",
    "run": "on hardware: configure dumpdev on idad, fail the controller write path, panic; dumpsys prints ok/Dump complete while writes failed",
    "expected": "savecore yields corrupt/short dump despite 'Dump complete'; on the audit guest: impossible — no 0x0e11 device (env.txt)"
  },
  "kernel_refs": [
    "sys/dev/raid/ida/ida_disk.c:191-211",
    "sys/dev/raid/ida/ida.c:317-362",
    "sys/dev/raid/ida/ida.c:442-468",
    "sys/dev/raid/ida/ida.c:498-537",
    "sys/platform/pc64/x86_64/dump_machdep.c:152-208"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "env.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}