{
  "finding_id": "DF-3800",
  "verdict": "not_reproduced",
  "impact": "none",
  "reason": "no SAS3 HBA in QEMU guest; mpr driver present but unattached",
  "reproduce": {
    "build": "n/a — firmware-facts trigger, no userland program",
    "run": "sh findings/poc/DF-3800/run.sh",
    "expected": "hardware-gate proof: NO_SAS_PCI, pci/mpr registered, no mpr scbus"
  },
  "kernel_refs": [
    "sys/dev/raid/mpr/mpr_sas.c:3911",
    "sys/dev/raid/mpr/mpr.c:632",
    "sys/dev/raid/mpr/mpr_mapping.c:2565",
    "sys/dev/raid/mpr/mpr_sas_lsi.c:908"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "run.sh",
    "env.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}