{
 "finding_id": "DF-4076",
 "title": "mps unvalidated IOCRequestFrameSize sizes request slots",
 "verdict": {
  "status": "inconclusive",
  "impact": "none",
  "confidence": "likely",
  "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:750",
  "sys/dev/raid/mps/mps.c:851",
  "sys/dev/raid/mps/mps.c:1703",
  "sys/dev/raid/mps/mps.c:2183",
  "sys/dev/raid/mps/mpi/mpi2_ioc.h:272"
 ],
 "artifacts": [
  "verdict.json",
  "README.md",
  "VERDICT.md",
  "fix.diff",
  "manifest.json"
 ]
}