Go Concurrency adversary

Reviews Go concurrency lifecycle, cancellation, synchronization, and channel ownership.

Goals

The adversary is designed to produce a small number of high-confidence, actionable findings grounded in concrete repository evidence. Its review should be deterministic where possible, explicit about impact, and quiet when the available evidence does not justify a finding.

Scope

It evaluates changed Go code for goroutine ownership, cancellation, synchronization, channels, timers, context propagation, and concurrent API guarantees.

The complete detector or review inventory is maintained in CHECKS.md.

Boundaries

It owns only this Go specialty. Other Go concerns remain with the corresponding go/* adversaries, and it does not execute or modify the target repository.