# DF-4336 — evidence pack manifest
finding_id: DF-4336
file: sys/dev/raid/twa/tw_cl_io.c
verdict: untested (requires 3ware hardware; audit guest has none)
impact_class: dos (reset-state-machine race)
severity: Low

reproduce:
  build: "n/a — code-trace verdict (no software entry point without hardware)"
  run: "n/a"
  expected: "n/a"

kernel_refs:
  - sys/dev/raid/twa/tw_cl_io.c:1049-1130  # tw_cl_reset_ctlr (no entry guard)
  - sys/dev/raid/twa/tw_cl_io.c:1060       # sets reset_in_progress, never checks
  - sys/dev/raid/twa/tw_cl_io.c:1123-1124  # flags cleared at END only
  - sys/dev/raid/twa/tw_cl_io.c:1208-1213  # single firmware phase-1 notification raced
  - sys/dev/raid/twa/tw_osl_freebsd.c:422-424 # MPSAFE watchdog callouts
  - sys/dev/raid/twa/tw_osl_freebsd.c:469-477 # watchdog calls reset_ctlr unconditionally once flagged
  - sys/dev/raid/twa/tw_osl_freebsd.c:1005-1011 # passthru timeout thread calls reset_ctlr

artifacts:
  - README.md
  - VERDICT.md
  - manifest.json
  - verdict.json