{
  "finding_id": "DF-3654",
  "verdict": "inconclusive",
  "impact": "none",
  "reproduce": {
    "build": "cc -O2 -Wall -o harness harness.c",
    "run": "./harness",
    "expected": "prints the handle_hpd_rx_irq lock-pairing matrix with the two unbalanced cells (STRANDED LOCK / UNLOCK WITHOUT HOLD) and their dc_link.c causes"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:1209",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:1232",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:1251",
    "sys/dev/drm/amd/display/dc/core/dc_link.c:528",
    "sys/dev/drm/amd/display/dc/core/dc_link.c:569",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:1083",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:3940",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm_irq.c:334"
  ],
  "artifacts": [
    "harness.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt",
    "VERDICT.md", "fix.diff", "manifest.json", "verdict.json", "README.md"
  ]
}