{
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "speculative",
  "reproduce": {
    "build": "cc -O2 -o vkbd_wedge vkbd_wedge.c",
    "run": "kldload vkbd && ./vkbd_wedge",
    "expected": "A round eventually reports a child stuck in close() >40s and system-wide non-MPSAFE device stalls; never observed in ~90k cycles."
  },
  "kernel_refs": ["sys/dev/misc/vkbd/vkbd.c:307", "sys/dev/misc/vkbd/vkbd.c:629"],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}