{
  "finding_id": "DF-5453",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cd /root/df5453 && make -m /usr/src/share/mk",
    "run": "kldload -v ./kue_poc.ko",
    "expected": "3 marker lines then 'Fatal trap 12: page fault while in kernel mode, fault virtual address = 0x0 ... Stopped at lockmgr_exclusive+0x5d: orl (%r14),%esi' — guest dead in DDB (baseline); with fix.diff modules: 'kue_poc: SURVIVED uether_ifdetach()', KLDLOAD_RC=0, guest alive"
  },
  "kernel_refs": [
    "sys/bus/u4b/net/if_kue.c:481-486",
    "sys/bus/u4b/net/if_kue.c:488-493",
    "sys/bus/u4b/net/if_kue.c:495-499",
    "sys/bus/u4b/net/if_kue.c:501-510",
    "sys/bus/u4b/net/if_kue.c:513-525",
    "sys/bus/u4b/net/usb_ethernet.c:61",
    "sys/bus/u4b/net/usb_ethernet.c:133-137",
    "sys/bus/u4b/net/usb_ethernet.c:267-305",
    "sys/bus/u4b/usb_process.c:397-410",
    "sys/bus/u4b/usb_transfer.c:1030-1053"
  ],
  "artifacts": [
    "kue_attach_poc.c", "Makefile", "build.sh", "build.log", "panic.txt",
    "run.log", "fix_build.log", "env.txt", "fix.diff",
    "VERDICT.md", "README.md", "manifest.json", "verdict.json"
  ]
}