{
  "verdict": "reproduced (deterministic leak) / impact none observable (latent)",
  "impact": "none (dormant p_lock flag corruption on proc0)",
  "reproduce": {
    "build": "cc -O2 -o df5824_leak df5824_leak.c",
    "run": "./df5824_leak 10000000 && ./df5824_leak 300000000",
    "expected": "100% ESRCH returns (~1.54M/s); after 2^28 total calls the PLOCK_WAITRES bit is set in proc0's p_lock; guest stays healthy (dormant corruption)"
  },
  "kernel_refs": [
    "sys/kern/kern_proc.c:477-481",
    "sys/kern/kern_proc.c:339-342",
    "sys/kern/kern_proc.c:263-266",
    "sys/kern/kern_prot.c:372"
  ],
  "artifacts": [
    "df5824_leak.c",
    "build.sh",
    "run.sh",
    "run.log",
    "README.md",
    "VERDICT.md",
    "verdict.json",
    "fix.diff",
    "manifest.json"
  ]
}