Guest (audit target): 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

Environment facts decisive for verification scope (checked 2026-09-16):
  - pciconf -l | grep -ci "isp|qlogic"  -> 0   (no QLogic HBA; isp(4) paths untriggerable)
  - dmesg | grep -i "drm0|i915"         -> empty (no Intel GPU; i915 never attaches; QEMU std VGA)
  - guest state after this run: up, clean (only /tmp files written: /tmp/vpidx{,.c})

Consequence:
  - DF-3809 / DF-3810 / DF-3811 (intel_ddi.c): untested - no trigger hardware on guest.
  - DF-3812 (isp_library.c): inconclusive - source-certain; only the userland offset
    demonstrator could be executed (see build.log).