{
  "finding_id": "DF-2804",
  "verdict": "reproduced",
  "impact": "leak",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -Wall -o harness harness.c -lprop && cc -O2 -Wall -o churn churn.c",
    "run": "sh /tmp/df2804_run.sh   (root; churn runs as user maxx)",
    "expected": "propdict in-use 333 -> 58.8K (11.0M) after cycle-1 close-without-read; identical after 10s idle; 117K (22.0M) after cycle 2 (~2x monotone); active-drain control flat at 117K"
  },
  "kernel_refs": [
    "sys/kern/kern_udev.c:508-512",
    "sys/kern/kern_udev.c:571",
    "sys/kern/kern_udev.c:534-545",
    "sys/kern/kern_udev.c:709-744",
    "sys/kern/kern_udev.c:721-726",
    "sys/vfs/devfs/devfs_core.c:1428",
    "sys/vfs/devfs/devfs_core.c:1451"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "harness.c", "churn.c", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}