{
  "finding_id": "DF-4789",
  "verdict": "untested",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {"build": "n/a (hardware-gated; see README.md)", "run": "n/a", "expected": "n/a"},
  "kernel_refs": ["sys/dev/raid/mpr/mpr_table.c:547", "sys/dev/raid/mpr/mpr_table.c:555", "sys/dev/raid/mpr/mpr_table.c:557", "sys/dev/raid/mpr/mpr_table.c:568", "sys/dev/raid/mpr/mpr_table.c:581", "sys/dev/raid/mpr/mpr_sas.c:2814"],
  "artifacts": ["README.md", "VERDICT.md", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}