{
  "finding_id": "DF-4787",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {"build": "n/a (hardware-gated; see README.md)", "run": "n/a", "expected": "n/a"},
  "kernel_refs": ["sys/dev/drm/amd/display/dc/gpio/gpio_service.c:245", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:250", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:258", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:276", "sys/dev/drm/amd/display/dc/gpio/dce110/hw_factory_dce110.c:110", "sys/dev/drm/amd/display/dc/gpio/dce110/hw_factory_dce110.c:135", "sys/dev/drm/amd/display/dc/gpio/hw_ddc.c:224", "sys/dev/drm/amd/display/dc/gpio/hw_hpd.c:158"],
  "artifacts": ["README.md", "VERDICT.md", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}