mine: target StackExchange.Redis (src/) — fresh async/connection-heavy repo after the Npgsql arc

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Claude-Session: https://claude.ai/code/session_01Rg8kSk1YT14x7A1vo5zgED

Author: claude

corpus/mine-target.txt

@@ -2,8 +2,9 @@
 # First non-comment line: a GitHub "owner/repo" or an https git URL. One repo/run.
 # Optional lines: ref=<branch|tag|sha>, paths=<subdir of the target to scan>.
 # Bump this file (commit + push) to kick off a mine; read the result in the run log.
-# cycle: re-mine WITH the WPF reference pack loaded (OWN_EXTRA_REF_DIRS).
-# 2026-06-17: re-mine to confirm the self-owned exemption extension (ref/out-built
-# fields + GetTemplateChild template parts) drops the OWN001 self-owned-control
-# false positives from the 123 baseline.
-NickeManarin/ScreenToGif
+# 2026-06-23: fresh target after the Npgsql arc (#88-#92). StackExchange.Redis — an async,
+# connection/socket/pooling-heavy data client — to stress flow-locals (use-after-dispose) and
+# exercise the just-merged .Close()-release / SemaphoreSlim-field fixes on new real-world code.
+# Scoped to src/ (the library) to skip test-code noise.
+StackExchange/StackExchange.Redis
+paths=src