{
  "finding_id": "DF-5486",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cd /root/df5486 && make -m /usr/src/share/mk",
    "run": "kldload -v ./cue_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: 'cue_poc: SURVIVED uether_ifdetach()', KLDLOAD_RC=0, guest alive"
  },
  "kernel_refs": [
    "sys/bus/u4b/net/if_cue.c:402",
    "sys/bus/u4b/net/if_cue.c:405-410",
    "sys/bus/u4b/net/if_cue.c:412-416",
    "sys/bus/u4b/net/if_cue.c:418-427",
    "sys/bus/u4b/net/if_cue.c:430-441",
    "sys/bus/u4b/net/if_cue.c:436-437",
    "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/kern/subr_bus.c:1953"
  ],
  "artifacts": [
    "cue_attach_poc.c", "Makefile", "build.log", "panic.txt", "run.log",
    "fix_uether_build.log", "fix_if_cue_build.log", "env.txt", "fix.diff",
    "VERDICT.md", "README.md", "manifest.json", "verdict.json"
  ]
}