“The Motoko framework guarantees that no data will be accidentally lost during an application upgrade by rejecting any update where the migration logic does not account for all existing data structures.”