{
  "finding_id": "DF-4788",
  "verdict": "untested",
  "impact": "none",
  "confidence": "likely",
  "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:190", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:202", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:213", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:233", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:254", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:263", "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:267", "sys/dev/drm/amd/display/dc/gpio/dce110/hw_factory_dce110.c:148"],
  "artifacts": ["README.md", "VERDICT.md", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}