== DF-1927 FIXED model run (synchronous kthread_park, upstream Linux semantics) ==
Built with: cc -O2 -g -Wall -pthread -DFIXED_KTHREAD_PARK -o df1927_race_fixed df1927_race.c
Run on:     DragonFly 6.5-DEVELOPMENT #1 (single-fix kernel built from fix.diff)

==== FIXED_KTHREAD_PARK (synchronous, matches upstream Linux) ====
race tripped in 0/100 iterations
  Race A (spsc_queue double-pop / job UAF):       0 events total
  Race B (dma_fence_put kref underflow):          0 events total
  Race B' (dma_fence_put use-after-free):         0 events total