{
  "verdict": "untested",
  "impact": "mapping-table corruption (logic; feeds DF-1375 paths)",
  "confidence": "certain",
  "reproduce": {
    "build": null,
    "run": null,
    "expected": "n/a - hardware-gated logic class"
  },
  "kernel_refs": [
    "sys/dev/raid/mps/mps_mapping.c:802",
    "sys/dev/raid/mps/mps_mapping.c:808",
    "sys/dev/raid/mps/mps_mapping.c:829",
    "sys/dev/raid/mps/mps_mapping.c:847",
    "sys/dev/raid/mps/mps_mapping.c:862"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ],
  "finding_id": "DF-4088"
}