{
  "finding_id": "DF-3711",
  "status": "untested",
  "reproduced": 0,
  "impact": "detach-order UAF + IRQ resource leak",
  "confidence": "certain",
  "verdict": "Low - verification skipped per contract (root-only kldunload trigger, hardware-gated driver). Source-certain: free_resource ordering at :4893-4902 and commented-out irqres[] release at :4636-4638 directly visible.",
  "attempts": 0,
  "guest_dirty": 0,
  "runner": "df-bsd-reviewer"
}