{
  "finding_id": "DF-3975",
  "verdict": "inconclusive",
  "impact": "none (demonstrated); real = NULL-page read panic on target hw",
  "reproduce": {
    "build": "n/a — hardware-gated",
    "run": "n/a",
    "expected": "kernel page fault in btc_dpm_get_sclk on first bandwidth update before first power-state change"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/btc_dpm.c:2802",
    "sys/dev/drm/radeon/btc_dpm.c:2266",
    "sys/dev/drm/radeon/btc_dpm.c:2293",
    "sys/dev/drm/radeon/evergreen.c:2162",
    "sys/dev/drm/radeon/atombios_crtc.c:1448",
    "sys/dev/drm/radeon/radeon_pm.c:1080"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json", "fix.diff"]
}