== DF-5502 verification environment ==
-- stock (INVARIANTS) kernel --
-- NOINV production-behaviour kernel (X86_64_GENERIC minus options INVARIANTS; stock GENERIC ships without INVARIANTS) --
DragonFly 6.5-DEVELOPMENT #0: Tue Oct  6 12:48:45 UTC 2026
root@dfbsd:/usr/obj/usr/src/sys/X86_64_NOINV
-- NOINV+fix kernel (same + fix.diff) --
DragonFly 6.5-DEVELOPMENT #0: Tue Oct  6 13:20:55 UTC 2026
root@dfbsd:/usr/obj/usr/src/sys/X86_64_NOINV

QEMU: qemu-system-x86_64 -enable-kvm -m 4096 -smp 6 (host kernel supplies 6 vCPUs; crafted MADT boots declare 2)
Injection: -device loader,file=<blob>,addr=0x40000000,force-raw=on + loader.conf hint.acpi.0.rsdp=0x40000000 (DF-5431 rig model)
Build: guest cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_NOINV && make installkernel KERNCONF=X86_64_NOINV
Rig artifact: minimal table set has no DSDT, so every boot that survives the ioapic stage stops later in AcpiTbLoadNamespace (kernel page fault, DDB) -- identical in control and fixed runs; all ioapic evidence precedes it.

-- stock INVARIANTS kernel banner (from run_negwrite.log) --