{
  "verdict": "not_reproduced (runtime) / race statically certain",
  "impact": "none observed",
  "reproduce": {
    "build": "cc -O2 -o df5823_churn df5823_churn.c",
    "run": "./df5823_churn 180",
    "expected": "17M scanner iterations (~95k/s), no panic, guest stays up; a kernel panic during the run would upgrade the finding (wild hop through freed pgrp/session chunk)"
  },
  "kernel_refs": [
    "sys/kern/kern_proc.c:1736",
    "sys/kern/kern_proc.c:1741-1747",
    "sys/kern/kern_proc.c:814-826",
    "sys/kern/kern_proc.c:859-872",
    "sys/kern/kern_proc.c:643-690",
    "sys/sys/proc.h:344"
  ],
  "artifacts": [
    "df5823_churn.c",
    "build.sh",
    "run.sh",
    "run.log",
    "VERDICT.md",
    "verdict.json",
    "fix.diff",
    "manifest.json"
  ]
}