The MPS keeps a list of results that it finds during the trial phase. When a document is deleted (in mmapv1) and invalidate() is called, it never removes the deleted document from this list.

CC david.storch since we thought this was suspicious when I was at your desk the other day.

(Edited after I realized this is probably way less serious than I thought).