=== DF-0243 verify-run environment (2026-10-12) ===

--- BASELINE kernel (unpatched, decisive run) ---
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
kern.version: DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026
guest source /usr/src/sys/kern/imgact_shell.c:126 confirmed UNPATCHED ("offset -= length")
run as unprivileged user: maxx

--- SINGLE-FIX kernel (fix.diff applied, behavior-comparison run) ---
DragonFly 6.5-DEVELOPMENT #1: Mon Oct 12 06:41:45 UTC 2026
built: make -j6 nativekernel KERNCONF=X86_64_GENERIC  (rc=0, completed Mon Oct 12 06:44:49 UTC 2026)
install: make installkernel (rc=0, completed Mon Oct 12 06:45:58 UTC 2026)
/usr/src/sys/kern/imgact_shell.c contains "if (offset >= length)" (patch active)

--- toolchain / limits ---
cc 8.3 [DragonFly] Release/2019-02-22
kern.argmax: 262144

--- end state ---
vm.sh reset with-src performed; guest back on #0 with pristine /usr/src.