{
  "finding_id": "DF-4016",
  "status": "untested",
  "attempts": 0,
  "reproduced": 0,
  "confidence": "certain",
  "impact": "mps_user_btdh off-by-one: target > max_devices lets TargetID==max_devices read mapping_table[max_devices] one 24-byte element past the heap allocation, disclosing a garbage u16 DevHandle to the operator-group caller. mpr twin at mpr_user.c:2240.",
  "verdict": "source-verified; HW-gated",
  "exploit_chain": [],
  "evidence": "source-only; path:line citations in pass-2 result block",
  "kernel_refs": [
    "sys/dev/raid/mps/mps_user.c:2021",
    "sys/dev/raid/mps/mps_user.c:2026"
  ],
  "guest_uname": "",
  "code_hash": "",
  "artifact_dir": "findings/poc/DF-4016/",
  "fix_status": "not_testable",
  "fix_baseline_reproduced": 0,
  "fix_patched_reproduced": 0,
  "fix_verdict": "change the check to target >= sc->max_devices (and fix the mpr twin)",
  "fix_evidence": "source-only"
}