{
  "finding_id": "DF-3556",
  "status": "reproduced",
  "reproduced": 1,
  "impact": "none (unbuildable dead code)",
  "confidence": "certain",
  "verdict": "Platform fact proven on the guest: bsd.kmod.mk build of the unmodified file dies with ng_ipfw.c:44:10: fatal error: netinet/ip_fw.h: No such file or directory; module absent from Makefile SUBDIR, /boot/kernel, and no kernel config enables NETGRAPH7_IPFW. DF-0735/DF-0736 annotated latent/unreachable.",
  "evidence": "findings/poc/DF-3556/build.log + README.md (grep results for SUBDIR/options/ipfw consumer)",
  "attempts": 1,
  "guest_dirty": 0,
  "runner": "df-bsd-reviewer"
}