Guest: 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
Compiler: cc 8.3 [DragonFly] Release/2019-02-22 (gcc 8.3)
Kernel config: X86_64_GENERIC
PCMCIA/PC-card bridge hardware: NOT PRESENT in the QEMU guest -- the kernel CIS
  path cannot be entered at runtime; per pass-2 tasking the verification is
  static line-accurate evidence plus a deterministic userland model of the
  exact parse/consume chains executed on the guest toolchain (DF-5355 pattern).
Model: poc_pccard_cis2.c  (mirrors pccard_cis.c:100-444 walk, :612-1260
  handlers, decode_funce :1262-1294, and the pccard.c:429-474 consumer loops;
  bus space = 16KB attr/common buffers, of which 4096 bytes = the mapping the
  kernel allocates at pccard_cis.c:62,129-131)
sha256(poc_pccard_cis2.c) = 8e2bc6a40bc89ac989f57c3b43ed66138d8f5236877f64149fe2ca53df1e3e47