{
  "finding_id": "DF-4942",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "cd findings/poc/DF-4942 && ./build.sh",
    "run": "./run.sh",
    "expected": "T2: offset_to_id(mmGPIOPAD_A,1<<20) = true id=GPIO_ID_GPIO_PAD(4) en=20 -> BUG(DF-4942) ... ddc_data_regs[20] OOB; after fix (fixrun.log): consumer guard rejects, 0 regressions"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/gpio/dce80/hw_translate_dce80.c:164",
    "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:418",
    "sys/dev/drm/amd/display/dc/gpio/dce80/hw_factory_dce80.c:122",
    "sys/dev/drm/amd/display/dc/core/dc_link_ddc.c:272",
    "sys/dev/drm/amd/display/dc/bios/bios_parser.c:1881"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "harness_dce80.c", "harness_fixed.c",
    "build.sh", "run.sh", "build.log", "run.log", "fixrun.log",
    "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}