They are definitely saved to the system NAND and the carts are immutable.

I don’t understand the second part. Game key carts physically cannot fit the game or its updates, that is the entire point of their existence (storage is expensive, keys are tiny).