{
  "finding_id": "DF-2917",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "cd /tmp/sqdemo/sqe2e && make   (see ../DF-2915/build.sh; requires a kernel with the DF-0139 mask + DF-2915 fix for the path to be reachable)",
    "run": "kldload /root/sqe2e.ko ; sleep 1 ; dmesg | tail -8",
    "expected": "unfixed: 'round1 (nowake): sleepq_wait() returned ret=0 after 0 sbticks with NO wakeup issued'; fixed (fix.diff): 'round1: sleeper STILL BLOCKED after ~200 ticks ... issuing broadcast' + 'round2 (broadcast): returned after 1 sbticks'"
  },
  "kernel_refs": [
    "sys/kern/subr_sleepqueue.c:327",
    "sys/kern/subr_sleepqueue.c:331",
    "sys/kern/subr_sleepqueue.c:336",
    "sys/kern/kern_synch.c:660",
    "sys/kern/kern_umtx.c:227"
  ],
  "artifacts": [
    "fix.diff", "run.sh", "run.log", "run.2.log",
    "kbuild3_fix2917.log", "VERDICT.md", "verdict.json", "manifest.json",
    "../DF-2915/sqe2e.c (trigger source)"
  ]
}