{
  "finding_id": "DF-5213",
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "(nothing to build - no userspace trigger exists for an init-path vtable gap)",
    "run": "sh trigger.sh   (source-trace proof + AMD hardware probe)",
    "expected": "the trace sections show df_v3_6_funcs initializing 6 of 7 ops and the sole VEGA10-gated call site; on this guest the probe shows no AMD PCI device at all (nothing can manifest). On a Vega20 board with a widened asic gate: boot-time NULL-deref panic."
  },
  "kernel_refs": [
    "sys/dev/drm/amd/amdgpu/df_v3_6.c:108-116",
    "sys/dev/drm/amd/amdgpu/amdgpu.h:771-783",
    "sys/dev/drm/amd/amdgpu/gmc_v9_0.c:753-759",
    "sys/dev/drm/amd/amdgpu/soc15.c:519-522",
    "sys/dev/drm/amd/amdgpu/df_v1_7.c:105-119"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.sh", "run.log", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}