{
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "git apply --check findings/poc/DF-3643/fix.diff",
    "run": "sh findings/poc/DF-3643/trace.sh",
    "expected": "trace.log shows the five unchecked-read clusters (e1000_ich8lan.c:959, 1617-1626, 1765-1772, 2771-2773, 2837-2859) with their uninitialized declarations (909, 1552, 2761) and the identical pattern at FreeBSD HEAD. Runtime manifestation needs Intel GbE PHY hardware with failing MDIO reads; absent on the QEMU guest."
  },
  "kernel_refs": [
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:959",
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:1617",
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:1765",
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:2771",
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:2837"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trace.sh", "trace.log", "guest_env.txt",
    "fix.diff", "verdict.json", "manifest.json"
  ]
}