{
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cc -O2 -Wall -o /tmp/df3227/df3227 /tmp/poc-src/DF-3227/df3227.c -lpthread",
    "run": "kldload fuse && /tmp/df3227/df3227 0 ; kill $(pgrep df3227) ; umount /mnt/df3227",
    "expected": "mode0 summary: blind_ok=41 ... SIG1_zero_byte_reads=6-7 ; read() returning 0 bytes (SIG-1) ; at teardown (after ~35-40s of fuse_ipc_wait timeouts) panic: Bad tailq NEXT(0x...->tqh_last) != NULL in fuse_ipc_tx <- fuse_unmount ; guest down in DDB"
  },
  "kernel_refs": [
    "sys/vfs/fuse/fuse_device.c:191",
    "sys/vfs/fuse/fuse_device.c:205",
    "sys/vfs/fuse/fuse_device.c:219",
    "sys/vfs/fuse/fuse_ipc.c:100",
    "sys/vfs/fuse/fuse_ipc.c:258",
    "sys/vfs/fuse/fuse_ipc.c:266",
    "sys/vfs/fuse/fuse_ipc.c:110",
    "sys/sys/queue.h:516"
  ],
  "artifacts": [
    "df3227.c", "build.sh", "run.sh", "build.log", "run.log",
    "daemon_mode0.log", "run2_summary.txt", "serial_run2.txt",
    "panic.txt", "serial_full.txt", "env.txt",
    "fix.diff", "fix_run.log", "fix_run2.log",
    "verdict.json", "manifest.json", "VERDICT.md"
  ]
}