{
  "finding_id": "DF-4333",
  "title": "hptmv hpt_add_disk_to_array divides by (bArnMember-1) unchecked (sibling of DF-1682)",
  "verdict": "inconclusive",
  "impact": "none",
  "reproduce": {
    "build": "n/a - requires HighPoint hardware + degraded 1-member RAID1/5 array",
    "run": "on real HW: CREATE_ARRAY nDisk=1 -> drive failure sets rf_broken -> HPT_IOCTL_ADD_DISK_TO_ARRAY",
    "expected": "Fatal trap 18 integer divide fault (div by 0)"
  },
  "kernel_refs": ["sys/dev/raid/hptmv/gui_lib.c:935", "sys/dev/raid/hptmv/gui_lib.c:915"],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json", "env.txt"]
}