{
  "finding_id": "DF-4288",
  "verdict": "inconclusive",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "n/a (code-trace only; guest has no AMD dGPU — no powerplay attach path)",
    "run": "n/a; on hardware: VBIOS with VRAM_Info absent / usMemClkPatchTblOffset past table end / usRegDataBlkSize=0 with mismatched tmem_id, then kldload amdgpu",
    "expected": "Fatal trap 12 (NULL deref), attach-thread hard hang (stride 0), or OOB read walk; none demonstrable on this guest"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/powerplay/hwmgr/ppatomctrl.c:148",
    "sys/dev/drm/amd/powerplay/hwmgr/ppatomctrl.c:157",
    "sys/dev/drm/amd/powerplay/hwmgr/ppatomctrl.c:55",
    "sys/dev/drm/amd/powerplay/hwmgr/ppatomctrl.c:60",
    "sys/dev/drm/amd/powerplay/hwmgr/ppatomctrl.c:84",
    "sys/dev/drm/amd/powerplay/hwmgr/smu_helper.c:660",
    "sys/dev/drm/amd/amdgpu/atom.c:1384"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json", "env.txt"]
}