For this spec, safety is exactly same as L1 if users are online.
Liveness is not same as L1. That’s the difference.
Users don’t lose their money, and users don’t have double spend as far as L1 is not 51% attacked.
This is safety.
All assets can be exit since all of them are in “user state”.
Commonly shared storage should not describe the assets, and that’s why this spec separates these.
So, when “commonly shared storage” can not be recovered, safety will be fine. Liveness dies.