[reductors] more work on reduce_residual