# DF-0233 -- Low

## Verdict: REPRODUCED (source-confirmed)

REAL: net_add_domain mutates the domain list under crit_enter() only (per-CPU); readers pffindtype/pffindproto/kpfctlinput traverse with no sync. On DragonFly the net stack is serialized so a reader sees at worst a stale-but-valid dom_next. Latent defense-in-depth.

## Impact ceiling
none

## Cited refs
- sys/kern/uipc_domain.c:137
- sys/kern/uipc_domain.c:158

## Fix
Documented the reader/writer race; full fix needs a token around the readers. Comment-only (compiles).

## Validation
Combined 60-finding fix kernel (findings/poc/_low_merged.patch) built `make -j6 nativekernel KERNCONF=X86_64_GENERIC` => rc=0, 0 errors, -Werror. fix_status=not_testable.