{
  "finding_id": "DF-4943",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "cd findings/poc/DF-4943 && ./build.sh",
    "run": "./run.sh",
    "expected": "T1: three DDC offsets return true with *id left at the poison value (uninitialized-output contract violation); T5: id_to_offset(HPD,en=6)=false"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/gpio/dce80/hw_translate_dce80.c:172",
    "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:148",
    "sys/dev/drm/amd/display/dc/gpio/dce80/hw_factory_dce80.c:143"
  ],
  "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"
  ]
}