> I don't think it makes sense to let the thief get away with the money either. I know in some sense there is a philosophical problem that the 'code is the contract' and the 'contract is the law' and therefore the code is the law, for better or worse.
You haven't explained how you solve the contradiction.
Primarily in the fact that in the same sense that 'the code is the law', the code also is known to have this property that it is vulnerable to collective human intervention. You can argue that that is in inseparable property of the code itself.
You haven't explained how you solve the contradiction.