{
  "finding_id": "DF-4790",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {"build": "n/a (hardware-gated; see README.md)", "run": "n/a", "expected": "n/a"},
  "kernel_refs": ["sys/dev/raid/mpr/mpr_table.c:63", "sys/dev/raid/mpr/mpr_table.c:72", "sys/dev/raid/mpr/mpr_table.c:412", "sys/dev/raid/mpr/mpr_table.c:457", "sys/dev/raid/mpr/mpr_sas_lsi.c:967"],
  "artifacts": ["README.md", "VERDICT.md", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}