{
  "finding_id": "DF-4563",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cc -O2 -pthread -o stall stall.c",
    "run": "./stall 800",
    "expected": "panic: assertion \"(sr->flags & SRF_PUTAWAY) == 0\" failed in sysref_put; backtrace release_dev -> devfs_destroy_dev_worker -> devfs_destroy_related_worker (devfs_msg_core). Patched kernel: DONE n=800 without panic."
  },
  "kernel_refs": [
    "sys/dev/disk/vn/vn.c:455-477",
    "sys/dev/disk/vn/vn.c:169-189",
    "sys/kern/subr_disk.c:1126-1161",
    "sys/kern/subr_disk.c:527-555",
    "sys/vfs/devfs/devfs_core.c:1440-1460"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "stall.c", "vn_race.c", "vn_race.deploy.sh",
    "build.sh", "run.sh", "run.log", "run.2.log", "panic.txt", "panic.2.txt",
    "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}