{
  "finding_id": "DF-5148",
  "title": "AUX completion poll off-by-one: transfer completing on the 1001st poll is misreported as -EIO (counter-keyed timeout gate)",
  "severity": "Info",
  "bucket_hint": "base:drm",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "sh build.sh",
    "run": "sh run.sh",
    "expected": "harness exit 1 with 'BUG: completed xfer misreported as -EIO' on the DONE-on-1001st-poll stimulus; fixed-gate column correct for all stimuli (see run.log)"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_dp_auxch.c:66",
    "sys/dev/drm/radeon/radeon_dp_auxch.c:152",
    "sys/dev/drm/radeon/radeon_dp_auxch.c:158",
    "sys/dev/drm/radeon/radeon_dp_auxch.c:160",
    "sys/dev/drm/radeon/radeon_dp_auxch.c:194",
    "sys/dev/drm/include/linux/delay.h:55"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "loop_offbyone.c", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}