{
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "git apply --check findings/poc/DF-3642/fix.diff",
    "run": "sh findings/poc/DF-3642/trace.sh",
    "expected": "trace.log shows flash_linear_addr += (j*sector_size) inside the retry do/while (e1000_ich8lan.c:4779), count never reset per sector (:4701/:4798), unconditional return E1000_SUCCESS (:4801), the attach-time reachability chain (if_em.c:781 -> e1000_api.c:1270 -> e1000_ich8lan.c:4395-4403 -> :4246), and the identical bug at FreeBSD HEAD line 4931. Runtime manifestation needs Intel PCH GbE hardware with flaky flash; absent on the QEMU guest."
  },
  "kernel_refs": [
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:4779",
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:4798",
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:4801",
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:4246",
    "sys/dev/netif/ig_hal/e1000_ich8lan.c:4395",
    "sys/dev/netif/em/if_em.c:781"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trace.sh", "trace.log", "guest_env.txt",
    "fix.diff", "verdict.json", "manifest.json"
  ]
}