: As the comments suggest, it's not a bug, but just the best we can do : for now since our priority queues don't support removal of arbitrary
FYI: I updated the DistributedSearch wiki to be more clear about this -- it previously didn't make it explicitly clear that docIds were suppose to be unique across all shards, and suggested that there was specific well definied behavior when they weren't. -Hoss