{
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "cc -O2 -Wall -o /tmp/df3228 /tmp/poc-src/DF-3228/df3228.c",
    "run": "kldload fuse && vmstat -m | grep temp && /tmp/df3228 100000 && vmstat -m | grep temp",
    "expected": "M_TEMP 'temp' row grows ~256 B per open+close cycle (e.g. 472 allocs/335K -> 46.1K/20.3MB); fixed kernel: identical before/after"
  },
  "kernel_refs": [
    "sys/vfs/fuse/fuse_device.c:38",
    "sys/vfs/fuse/fuse_device.c:53",
    "sys/vfs/fuse/fuse_device.c:57",
    "sys/vfs/fuse/fuse_device.c:84",
    "sys/vfs/fuse/fuse_device.c:313"
  ],
  "artifacts": [
    "df3228.c", "build.sh", "run.log", "fix_run.log", "fix_run2.log",
    "env.txt", "fix.diff", "verdict.json", "manifest.json", "VERDICT.md"
  ]
}