{
 "finding_id": "DF-4305",
 "file": "sys/dev/netif/bfe/if_bfe.c",
 "verdict": "not_reproduced (source-certain; hardware-gated path)",
 "impact_class": "none (driver runtime gated) - interrupt-context sleep / interface stall on real bfe(4) hardware",
 "reproduce": {
  "build": "(none - hardware-gated path)",
  "run": "vm.sh run_root 'pciconf -l | grep -i -E \"14e4|broadcom\" || echo NO_BROADCOM_PCI; sysctl hw.bfe'",
  "expected": "Presence probes confirm the bfe driver cannot attach on this guest (NO_BROADCOM_PCI, unknown oid hw.bfe); the M_WAITOK-in-ithread path is proven from source only (VERDICT.md trace)."
 },
 "kernel_refs": [
  "sys/dev/netif/bfe/if_bfe.c:1186",
  "sys/dev/netif/bfe/if_bfe.c:1368",
  "sys/dev/netif/bfe/if_bfe.c:565",
  "sys/dev/netif/bfe/if_bfe.c:1480"
 ],
 "artifacts": [
  "README.md",
  "VERDICT.md",
  "env.txt",
  "fix.diff",
  "manifest.json",
  "verdict.json"
 ]
}