I’m confused by your comment, because it doesn’t seem like we’re disagreeing. The end result of Grover’s algorithm is that a 2^N keyspace can be searched in a worst case of 2^N/2 steps instead of 2^N steps. So yes, it does halve the number of items to be searched.