== kernel ==
DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #1: Thu Sep 10 20:30:33 UTC 2026  root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64
== pre counters ==
		1 discarded for bad header offset field
		1 discarded because packet too short
== PoC A: gif_ihl15 (baseline: panic total length incl header) ==
rc=0 guest still up
== PoC B: gif_tcp_off15 (baseline: panic bad TCP data offset) ==
rc=0 guest still up
== post counters ==
		2 discarded for bad header offset fields
		2 discarded because packet too short
	0 with bad options
== serial console tail ==
Module if_gif failed to register: 17
module_register: module if_gif already exists!
Module if_gif failed to register: 17

# [earlier same-kernel runs, from the ssh transcript]
# built: gif_ihl15 gif_tcp_off15
# ---RUN-A---  sh run.sh gif_ihl15
#   gif0: flags=808051<UP,POINTOPOINT,RUNNING,MULTICAST,PROXY> metric 0 mtu 1280
# 	    tunnel inet 10.99.0.1 --> 10.99.0.2
#   wrote 102/102 bytes to tap0 (expect panic: "total length incl header" at ip_input.c:575)
#   RC-A=0  GUEST-UP
# ---RUN-B---  sh run.sh gif_tcp_off15
#   wrote 74/74 bytes to tap0 (expect panic: "bad TCP data offset 60 (tlen 20)" in tcp_input via gif decap)
#   GUEST-UP
#   1 discarded for bad header offset field / 1 discarded because packet too short
#
# Kernel build: cd /usr/src && make -j 8 nativekernel KERNCONF=X86_64_GENERIC
#   >>> Kernel build for X86_64_GENERIC completed on Thu Sep 10 20:33:29 UTC 2026
#   + make installkernel KERNCONF=X86_64_GENERIC -> /boot/kernel/kernel Sep 10 20:42
#   reboot -> #1: Thu Sep 10 20:30:33 UTC 2026