Whenever you format, a different ticket.db is created, and yes, it will be different than before you formatted, so things like eshop downloads will likely have to be redownloaded, and each nand dump is essentially like a new system in a way. You should be able to format without it updating, yes...