{
  "finding_id": "DF-5631",
  "file": "sys/platform/vkernel64/platform/kqueue.c",
  "pass": 2,
  "verdict": "untested",
  "impact": "none",
  "confidence": "likely",
  "severity": "Low",
  "bucket": "base:hw",
  "title": "kqueue_del() latent API hazards: close-before-delete EV_DELETE-ENOENT panics the vkernel; delete-vs-dispatch kfree races kqueue_intr()'s in-flight udata call (zero in-tree callers today)",
  "reason_untested": "dead code — no caller of kqueue_del exists anywhere in sys/; a trigger would require modifying the read-only sys/ tree",
  "reproduce": {
    "build": "n/a — no runnable trigger exists in-tree",
    "run": "static verification: rg -n 'kqueue_del' sys/  (definition + prototype only); sed -n '157,196p' sys/platform/vkernel64/platform/kqueue.c",
    "expected": "n/a"
  },
  "kernel_refs": [
    "sys/platform/vkernel64/platform/kqueue.c:157-169",
    "sys/platform/vkernel64/platform/kqueue.c:187-195",
    "sys/platform/vkernel64/platform/kqueue.c:84-87",
    "sys/platform/vkernel64/x86_64/exception.c:144-163",
    "sys/platform/vkernel64/platform/machintr.c:154-157",
    "sys/platform/vkernel64/platform/console.c:114-117",
    "sys/platform/vkernel64/include/md_var.h:133"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}