{
  "finding_id": "DF-3758",
  "title": "tulip_rx_intr() RX-replenish path panics on bus_dmamap_load_mbuf failure instead of backing off",
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "no build (shell evidence collector)",
    "run": "sh panic_path_evidence.sh",
    "expected": "panic string 'tulip_rx_intr' found in /boot/kernel/kernel; source excerpt of if_de.c:3134-3140; driver compiled in (kldstat) with 0 attached instances (hw.de.* count 0)"
  },
  "kernel_refs": [
    "sys/dev/netif/de/if_de.c:3134-3140",
    "sys/dev/netif/de/if_de.c:3106-3122",
    "sys/dev/netif/de/if_de.c:3945-3947",
    "sys/dev/netif/de/if_de.c:3806-3807"
  ],
  "artifacts": [
    "panic_path_evidence.sh",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "env.txt",
    "fix.diff",
    "VERDICT.md",
    "manifest.json",
    "verdict.json"
  ]
}