It's notable that after hundreds of years of experience in writing contracts, real world legal systems still rely on courts to interpret them in a reasonable and equitable manner because we cannot possibly anticipate every edge case and build in every rescue mechanism.

Smart contracts really shouldn't be called contracts - it's a misleading analogy.