# DF-3299 -- VERDICT

**NOT REPRODUCED** (impact=none, confidence=likely)
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

## Summary
carp_group_demote_adj (ip_carp.c:2765-2781) does an unlocked RMW on ifg_carp_demoted and an unlocked group walk, and carp_send_ad_all runs in the caller context; the cross-CPU callers are pfsync_input (any netisr CPU, if_pfsync.c:985) vs pfsyncioctl (user thread, :1162). The demote counter is not exposed to userspace and pfsync was not configured, so no manifestation could be driven or observed; mechanism line-confirmed only (NOTES.md folded in).

## How it was verified
- Method: Code-line analysis + attempted live reproduction
- Kernel references: sys/netinet/ip_carp.c:2765-2781, sys/net/pf/if_pfsync.c:985, sys/net/pf/if_pfsync.c:1162
- Evidence: NOTES.md (prior static analysis) + ip_carp.c:2765-2781 excerpt in VERDICT.md
- Reachability: local-unpriv where noted in the summary; root-config for tun/lagg/carp/ipfw3/gre items; remote-facing for the packet parsers (wlan harnesses model the RX/TX path verbatim because the guest has no 802.11 hardware; precedent DF-0393/DF-0594/DF-0621/DF-0350).
- Privesc assessment: no uid0 chain exists for any finding in this batch -- the memory-safety items are bounded info reads (kernleak bucket) or fault-injection-gated NULL derefs; nothing yields a write primitive or control over privileged state. The one panic-class live item (DF-3414) is root-only (SIOCIFDESTROY).

## Fix
fix_status: not_testable -- Fix: netisr0-dispatch carp_group_demote_adj/carp_send_ad_all + token-protected group walk; needs a pfsync rig to A/B.



## 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.

(No fix.diff for this item: documented recommendation only - see Fix above.)