{
 "finding_id": "DF-4056",
 "verdict": "reproduced",
 "impact": "panic",
 "reproduce": {
  "build": "sh /root/dfet/build.sh (guest, root)",
  "run": "TX: sh /root/dfet/run.sh 2  (EXPECT panic 'tbd_used > 0'); RX: sh /root/dfet/run.sh 3 &  then sysctl kern.dfet.stats twice",
  "expected": "TX: guest panics at et_txeof if_et.c:2050. RX: go=3 sysctl never returns; ierrors grows ~11.5M/s; grab probe blocks; guest must be force-reset."
 },
 "kernel_refs": [
  "sys/dev/netif/et/if_et.c:1851",
  "sys/dev/netif/et/if_et.c:2029",
  "sys/dev/netif/et/if_et.c:2050",
  "sys/dev/netif/et/if_etreg.h:139",
  "sys/dev/netif/et/if_etvar.h:107",
  "sys/dev/netif/et/if_etvar.h:42",
  "sys/dev/netif/et/if_etvar.h:45"
 ],
 "artifacts": [
  "dfet_poc.c",
  "Makefile",
  "build.sh",
  "run.sh",
  "run_tx.sh",
  "run_rx.sh",
  "s3_evidence.sh",
  "panic_tx.txt",
  "run_rx_livelock.log",
  "fix.diff",
  "fix_build.log",
  "fix_run_s2.log",
  "fix_run_s2_dmesg.txt",
  "fix_run_s3.log",
  "VERDICT.md",
  "env.txt",
  "verdict.json",
  "manifest.json"
 ]
}