On the other hand, if you want human arbitration of contracts, then it seems like that is already available outside the crypto space. It's not a cut-and-dried

On the other hand, if you want human arbitration of contracts, then it seems like that is already available outside the crypto space. It's not a cut-and-dried issue, but personally I do tend towards the view that interfering in contracts via hard forks undermines the credibility of the whole idea behind smart contracts. As it is, it seems smart contracts simply do not work as they should. They seem to be vulnerable to both technical and political risks, which is actually worse than a regular contract.