{
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "sh findings/poc/DF-4652/build.sh  (guest: cc -Wall -Wextra -O2 compile-check of the documented sink state machine)",
    "run": "sh findings/poc/DF-4652/run.sh  (guest probe: AMD 0x1002 PCI devices absent -> hardware-gated)",
    "expected": "HARDWARE REQUIRED: amdgpu GPU + crafted DP sink (never CR_DONE, alternating ADJUST_REQUEST voltage 0<->1, DPCD[0x0E]=0) + any modeset -> issuing task spins forever in amdgpu_atombios_dp_link_train_cr holding mode_config.mutex; no 'clock recovery tried 5 times' in dmesg; all further DRM ioctls on the card block. On the audit guest: guest probe reports NO AMD GPU (Bochs 0x1234:0x1111 only)."
  },
  "kernel_refs": [
    "sys/dev/drm/amd/amdgpu/atombios_dp.c:605",
    "sys/dev/drm/amd/amdgpu/atombios_dp.c:614",
    "sys/dev/drm/amd/amdgpu/atombios_dp.c:620",
    "sys/dev/drm/amd/amdgpu/atombios_dp.c:628",
    "sys/dev/drm/amd/amdgpu/atombios_dp.c:634",
    "sys/dev/drm/amd/amdgpu/atombios_dp.c:685",
    "sys/dev/drm/amd/amdgpu/atombios_encoders.c:1441",
    "sys/dev/drm/amd/amdgpu/atombios_encoders.c:1477",
    "sys/dev/drm/drm_dp_helper.c:121"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.c", "build.sh", "run.sh",
    "build.log", "run.log", "guest_probe.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}
