{
  "finding_id": "DF-4114",
  "file": "sys/dev/netif/nge/if_nge.c",
  "verdict": "untested",
  "impact_class": "none",
  "reproduce": {
    "build": "(none - hardware-gated)",
    "run": "vm.sh run_root 'ifconfig -l; pciconf -l | grep 0x0022100b'  # -> NGE_ABSENT (no TBI board)",
    "expected": "Hardware-gated: TBI-mode DP83820 + root required (kldunload if_nge -> recursive nge_detach panic; boot-time IRQ failure -> kobj_delete of live device). Source-level certainty."
  },
  "kernel_refs": [
    "sys/dev/netif/nge/if_nge.c:864",
    "sys/dev/netif/nge/if_nge.c:941",
    "sys/kern/subr_bus.c:1292",
    "sys/kern/subr_bus.c:1306"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "presence_probe.sh",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}