Guest environment for DF-3379 / DF-3380 verification (both boots)
=================================================================
uname -a (stock kernel #0, baseline panic):
  DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026
  root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64

uname -a (patched kernel #1, fix validation + DF-3379 decisive run):
  DragonFly dfbsd 6.5-DEVELOPMENT #1: Fri Sep 11 21:24:50 UTC 2026
  root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64

Kernel config: X86_64_GENERIC with `options INVARIANTS` (verified:
  grep INVARIANTS /usr/src/sys/config/X86_64_GENERIC -> `options INVARIANTS`
  /usr/obj/usr/src/sys/X86_64_GENERIC/opt_global.h -> `#define INVARIANTS 1`)

Modules: pf.ko (/boot/kernel/pf.ko, kldload'ed for all runs; contains if_pfsync.c per
  sys/conf/files:1574 `net/pf/if_pfsync.c optional pf`)
NICs: vtnet0 (10.0.2.15/24, virtio, UP MULTICAST), lo0, tap0 (created during runs)
Compiler: cc (gcc80) as reported by nativekernel build log
No SMAP/SMEP/KASLR hardening assumptions were needed; no ASLR bypass required.