{
  "finding_id": "DF-4581",
  "verdict": "not_reproduced",
  "impact_class": "latent race-grade GPU memory corruption (upstream-live; DF-latent until GFP_KERNEL NULL semantics exist)",
  "reproduced": 0,
  "reproduce": {
    "build": "n/a — code-level defect",
    "run": "n/a — needs radeon GPU (USE_VM CS under kvmalloc failure)",
    "expected": "n/a — see VERDICT.md trace"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_cs.c:190",
    "sys/dev/drm/radeon/radeon_cs.c:196",
    "sys/dev/drm/radeon/radeon_cs.c:427",
    "sys/dev/drm/radeon/radeon_cs.c:565",
    "sys/dev/drm/radeon/radeon_vm.c:135",
    "sys/dev/drm/radeon/radeon_vm.c:147"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "DF-4581-trace.c",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}