{
  "finding_id": "DF-4518",
  "poc_id": "DF-4518",
  "status": "untested",
  "reproduced": 0,
  "impact": "Unprivileged guest user permanently wedges the entire vkernel (ifconfig never returns; serializer held forever); vkernel-internal only, no host-kernel impact",
  "confidence": "likely",
  "attempts": 0,
  "guest_uname": null,
  "code_hash": null,
  "exploit_chain": [],
  "evidence": "done-fifo full-wait never checks the exit flag and once exit is set tx_intr refuses to drain, so cothread_deletes pthread_join blocks while holding if_serializer. Exit-aware wait + drain-before-free fix.",
  "kernel_refs": [
    "sys/dev/virtual/vkernel/net/if_vke.c:174",
    "sys/dev/virtual/vkernel/net/if_vke.c:590",
    "sys/dev/virtual/vkernel/net/if_vke.c:713"
  ],
  "verdict": "not_run: nested vkernel disproportionate for a Low vkernel-internal finding; logic source-complete",
  "fix_status": "not_testable",
  "fix_baseline_reproduced": 0,
  "fix_patched_reproduced": 0,
  "fix_verdict": "not_testable: no DRM device / vkernel disproportion",
  "fix_evidence": "fix in finding markdown"
}