First, this discussion is good and made realize there are a few different ideas going on here. I’ve also realized that Anki and spaced repetition tools are better described as tools for “not forgetting” than they are as tools for memorization. I would describe memorization as a type of “learning”, in a broad sense of the term. I’ll address your points before putting down the updated version of my own thinking.