The contract doesn't invalidate their obligations as a registrar.
"All ICANN-accredited registrars are required to allow registrants to transfer domain names to another registrar."
"All ICANN-accredited registrars are required to allow registrants to transfer domain names to another registrar."
Now as the registrant you have right to redeem the domain so you could recover via that route. So the domain CAN be saved.