Forgive my ignorance, since I am only superficially knowledgeable about this, but how are you certain that it "completely forgot" as opposed to the knowledge still being encoded but 800 inferences was not enough to probabilistically trigger it? Like hunting down a race condition that happens rarely enough that it may not surface in 800 runs of the program.