{
  "finding_id": "DF-3921",
  "title": "hptmv hpt_async is an unconditional panic(\"Here\") registered for AC_LOST_DEVICE - disk loss/rescan panics kernel",
  "verdict": "not_reproduced (hardware-gated; source-certain)",
  "impact_potential": "local DoS via kernel panic (hardware event or privileged camcontrol)",
  "reproduce": {
    "build": "n/a (kernel code path)",
    "run": "RR1820: remove a member disk, then camcontrol rescan / reboot rescan",
    "expected": "kernel panic 'Here' from hpt_async; NOT runnable on audit guest (no 11ab:5081)"
  },
  "kernel_refs": ["sys/dev/raid/hptmv/entry.c:2147", "sys/dev/raid/hptmv/entry.c:2071", "sys/bus/cam/cam_xpt.c:6223", "sys/bus/cam/cam_xpt.c:6384", "sys/bus/cam/cam_periph.c:1764"],
  "artifacts": ["README.md", "VERDICT.md", "trigger.sh", "fix.diff", "env.txt", "manifest.json", "verdict.json"]
}