Missing 15 spells in the library

I’m missing 15 spells in the spell library, which seems to imply they’re the Grimoires’ exclusive spells, but they don’t get added to the library even if I use them in battle. I’ve also done the mage mission hundreds of times with a “very high” team and no exclusive gems appeared, though something else did 8).