{
  "finding_id": "DF-5515",
  "pack": "findings/poc/DF-5515/",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "evidence_class": "KLD harness, production ubser.c included verbatim + real usb_process machinery; modeled EP0 sink (no QEMU BWCT device)",
  "reproduce": {
    "build": "sh /root/df5515/src/build.sh (in-tree kmod, md5-gated, -Werror clean)",
    "run": "sh /root/df5515/src/run.sh (kldload; ~10 s; dmesg | grep UB5515)",
    "expected": "phase A closer ELAPSED ~914 ms behind ONE stalled 1000 ms break request; phase B 5 requests / ~5.7 s continuous taskqueue occupancy; fixed build ELAPSED 91 ms"
  },
  "kernel_refs": [
    "sys/bus/u4b/serial/ubser.c:462-487",
    "sys/bus/u4b/serial/ubser.c:480-485",
    "sys/bus/u4b/serial/ubser.c:175-184",
    "sys/bus/u4b/serial/usb_serial.h:220-221",
    "sys/bus/u4b/serial/usb_serial.c:322",
    "sys/bus/u4b/serial/usb_serial.c:671-672",
    "sys/bus/u4b/serial/usb_serial.c:394",
    "sys/bus/u4b/serial/usb_serial.c:1190-1214",
    "sys/bus/u4b/serial/usb_serial.c:1356-1421",
    "sys/bus/u4b/usb_request.c:760-790",
    "sys/bus/u4b/usb_process.c:94",
    "sys/bus/u4b/usb_process.c:364-393"
  ],
  "artifacts": [
    "ub5515stall_harness.c", "Makefile", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "run.fixed.log", "fix_build.log",
    "env.txt", "fix.diff", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}