DF-4024 / env.txt
Guest (pre-reset capture, then reset with-src; wedge test was DF-4025's):
DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64
NIC: virtio_pci0@pci0:0:3:0 chip=0x10001af4 (virtio-net); ifconfig -l -> vtnet0 lo0
pciconf -lv | grep -ci realtek -> 0 ; sysctl hw.re -> unknown oid (if_re never attached)
Guest source /usr/src/sys/dev/netif/re/if_re.c md5 = ea743c5c903e5574c26f0d9cb83f7396
Audited tree sys/dev/netif/re/if_re.c md5 = ea743c5c903e5574c26f0d9cb83f7396 (MATCH)
=> re_rxeof is unreachable on this guest (no RTL8169/8168/8101E/8125 device);
trigger.c (geometry model) builds and runs: run.log (RC=0, extents printed).