{
  "finding_id": "DF-3974",
  "verdict": "inconclusive",
  "impact": "none (demonstrated); real = wild-read panic on target hw",
  "reproduce": {
    "build": "n/a — hardware-gated",
    "run": "n/a",
    "expected": "kernel page fault reading eg_pi->vddci_voltage_table.entries[0xFFFFFFFF] during first power-state change"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/btc_dpm.c:1293",
    "sys/dev/drm/radeon/btc_dpm.c:1302",
    "sys/dev/drm/radeon/btc_dpm.c:1317",
    "sys/dev/drm/radeon/btc_dpm.c:2233",
    "sys/dev/drm/radeon/radeon_atombios.c:3789",
    "sys/dev/drm/radeon/cypress_dpm.c:1497",
    "sys/dev/drm/radeon/radeon_mode.h:681"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json", "fix.diff"]
}