GEDot3 forms one term per lane and sums across the lanes, about 1.5-2x as fast as the scalar GEDot. Adds Vec4S32::GetLane. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>