{
  "verdict": "reproduced",
  "impact": "dos",
  "finding_id": "DF-5017",
  "reproduce": {
    "build": "kldload drm && cd /tmp/df5017 && make   (df5017.c + Makefile in this pack)",
    "run": "kldload /tmp/df5017/df5017.ko ; dmesg | grep DF5017   (~30s, module self-unloads tests)",
    "expected": "TEST A baseline ret<0:399/400 (contract 0); TEST B baseline ret≈LONG_MAX via tick-poll; TEST E 52 wakeups/s for (int)MAX_SCHEDULE_TIMEOUT; fixed columns clean (0/400, ret=1). First-session run.log adds TEST C trial 4 'WAKEUP LOST' (slept 100 ticks despite immediate wakeup)."
  },
  "kernel_refs": [
    "sys/dev/drm/linux_fence.c:206-215",
    "sys/dev/drm/include/linux/sched.h:78",
    "sys/kern/kern_timeout.c:968-970",
    "sys/kern/kern_synch.c:575-577",
    "sys/dev/drm/amd/amdgpu/amdgpu_sa.c:322",
    "sys/dev/drm/amd/amdgpu/amdgpu_cs.c:1560",
    "sys/dev/drm/amd/amdgpu/amdgpu_gem.c:414-415"
  ],
  "artifacts": [
    "df5017.c", "Makefile", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "env.txt",
    "fix.diff", "fix_build.log",
    "README.md", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}