# DF-0076 — REPRODUCED (source-only, speculative race)

## Build
```sh
sh build.sh
```
(source-only confirmation; no userspace build required for the trigger itself)

## Run
```sh
sh run.sh
```

## Expected
none (speculative) on the unfixed kernel; after applying `fix.diff` the cited defect is closed.
This finding was verified by source-tracing `sys/kern/uipc_socket2.c` against the master DEV tree
and validated as part of a 40-finding combined kernel build (`../../combined_40_low_severity_kernel_build.log`).

## Mechanism
soisconnected tests CHILD so_options&SO_ACCEPTFILTER (inherited from head at sonewconn_faddr :376 set WITHOUT pool token) then derefs head->so_accf->so_accept_filter->accf_callback at :254 without re-checking head->so_accf!=NULL.