# DF-3013 verification

Kernel: 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

90-second hammer stress on a fresh HAMMER1 volume: 4 writer threads (create/write/fsync/unlink, 130,347 ops) racing 4 readdir threads with 5 concurrent hammer reblock+prune passes. No panic; clean unmount. The EDEADLK-during-reseek window is real in the code (hammer_object.c:1493 KKASSERT(error==0) after _hammer_ip_seek_btree) but was not crossed under this load on a 6-vCPU INVARIANTS guest.

## Kernel references
- sys/vfs/hammer/hammer_object.c:1493
- sys/vfs/hammer/hammer_btree.c:869
- sys/vfs/hammer/hammer_object.c:1568

## Fix
See fix.diff.

## Fix status (batch validation)
Applied with the 36 sibling fix.diffs of this batch in findings/poc/_batch41/all_fixes.patch; single in-guest `make -j6 nativekernel KERNCONF=X86_64_GENERIC` completed RC=0 with zero errors under -Werror (full log: findings/poc/_batch41/fix_build8.log). Behavior A/B intentionally skipped for this Info-tier item.