Two-step design (per-k contribution then K-element reduce) avoids atomicAdd per feedback_no_atomicadd.md. Tests verify CPU reference match and uniform-gate minimum (loss = λ). Backward gradient lands in Phase 3 (wire-up). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>