# DF-0105 — REPRODUCED (source-only, race)

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

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

## Expected
none (race) on the unfixed kernel; after applying `fix.diff` the cited defect is closed.
This finding was verified by source-tracing `sys/kern/subr_taskqueue.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
taskqueue_enqueue_timeout: DT_CALLOUT_ARMED flag set + tq_callouts++ under TQ_LOCK (:359-360), then TQ_UNLOCK (:362) BEFORE callout_reset (:363). taskqueue_cancel_timeout does callout_stop BEFORE TQ_LOCK (:475) then clears DT_CALLOUT_ARMED (:478-481); race window between unlock and callout_reset/callout_stop can desync tq_callouts.