Of course they do, every large search implementation has done that if a node times out, since the 90's. Something unusual about this query evidently triggered

Of course they do, every large search implementation has done that if a node times out, since the 90's. Something unusual about this query evidently triggered a bug in the somewhere. We will probably never know the specifics.