Guest: 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
hw.ncpu: 6
Interfaces: vtnet0 lo0
PCI: no Marvell (11ab) devices (NO_MARVELL_PCI)
Driver module file only: /boot/kernel/if_msk.ko (not loaded; no hardware)
Audited-tree check: md5 /usr/src/sys/dev/netif/msk/if_msk.c = 13e37c4beeae9ccf098991bd1731f667 == audited tree
Callout semantics (this kernel): callout_stop() sync
  (sys/kern/kern_timeout.c:1091 -> _callout_cancel_or_stop(..., sync=1); ssleep "costp" :923)
Verification artifacts: build.log, run.log (session transcript incl. tsleep-orchestration
  cascade from attempt 1), wedge.log (D0 costp + B1 slize capture)
Guest state after run: wedged by design during the positive test; recovered with
  `vm.sh reset with-src`; post-reset state verified clean (vtnet0 lo0, base klds only).