Cross-Chain Systems Do Not Fail Gracefully

They Fail According to Their Specification