{
 "finding_id": "DF-4075",
 "title": "mps polled-timeout lifecycle: NULL-deref panic + freed-command late completion",
 "verdict": {
  "status": "inconclusive",
  "impact": "none",
  "confidence": "certain",
  "reproduced": 0
 },
 "reproduce": {
  "build": "n/a (source-level finding)",
  "run": "n/a (hardware-gated; source-level analysis)",
  "expected": "source-level: guest-compiled struct probe proves capacities/overflow math; full trigger needs VegaM GPU / LSI mps controller (absent)"
 },
 "kernel_refs": [
  "sys/dev/raid/mps/mps.c:1724",
  "sys/dev/raid/mps/mps.c:2150",
  "sys/dev/raid/mps/mps.c:1581",
  "sys/dev/raid/mps/mpsvar.h:520"
 ],
 "artifacts": [
  "verdict.json",
  "README.md",
  "VERDICT.md",
  "fix.diff",
  "manifest.json"
 ]
}