{
 "finding_id": "DF-4306",
 "file": "sys/dev/netif/ig_hal/e1000_80003es2lan.c",
 "verdict": "not_reproduced (source-certain; hardware-gated path)",
 "impact_class": "none (driver runtime gated) - CPU livelock / interface wedge on real 80003ES2LAN hardware under a stuck SMBI semaphore",
 "reproduce": {
  "build": "(none - hardware-gated path)",
  "run": "vm.sh run_root 'sysctl hw.igb 2>&1 | head -1; ifconfig -l'",
  "expected": "Presence probes confirm no igb/80003 device on this guest (unknown oid hw.igb; vtnet0/lo0 only); the unbounded release spin is proven from source (VERDICT.md trace)."
 },
 "kernel_refs": [
  "sys/dev/netif/ig_hal/e1000_80003es2lan.c:455",
  "sys/dev/netif/ig_hal/e1000_80003es2lan.c:449",
  "sys/dev/netif/ig_hal/e1000_80003es2lan.c:223",
  "sys/dev/netif/ig_hal/e1000_mac.c:1721",
  "sys/dev/netif/ig_hal/e1000_82575.c:1110",
  "sys/dev/netif/ig_hal/e1000_i210.c:146"
 ],
 "artifacts": [
  "README.md",
  "VERDICT.md",
  "env.txt",
  "fix.diff",
  "manifest.json",
  "verdict.json"
 ]
}