{
  "finding_id": "DF-4673",
  "verdict": "reproduced",
  "impact": "leak",
  "reproduce": {
    "build": "cc -O2 -Wall -o poc_stalebuf poc_stalebuf.c ; cc -O2 -Wall -o spray spray.c ; (KLD rig per DF-4672)",
    "run": "./run.sh   (precondition: reserve drained by a DF-4672 grow storm; root sprays 2600 MiB marked pages and exits; maxx grows+mmaps+scans)",
    "expected": "scan-path buffers: 14,117 of 16,444 mapped pages carry ROOT-spray markers (magic 'ROOTSECR', tag, spray page index); control rounds with reserve intact: all-zero"
  },
  "kernel_refs": [
    "sys/dev/video/bktr/bktr_core.c:1667",
    "sys/dev/video/bktr/bktr_core.c:432",
    "sys/dev/video/bktr/bktr_os.c:403",
    "sys/dev/video/bktr/bktr_os.c:680",
    "sys/dev/video/bktr/bktr_os.c:683",
    "sys/vm/vm_contig.c:308",
    "sys/vm/vm_contig.c:398",
    "sys/vm/device_pager.c:348"
  ],
  "artifacts": [
    "poc_stalebuf.c", "spray.c", "bktrig2.c", "run_4673b.sh",
    "build.sh", "run.sh",
    "run.log", "control_rounds.log", "fix_run.log", "fix.diff", "env.txt",
    "VERDICT.md", "README.md", "manifest.json", "verdict.json"
  ]
}