> The very mechanical understanding of a contract means that we cannot tell the difference between a transaction that abides by the rules and one that exploits a bug in the system, respecting the letter of the law but not its spirit. This is really the key issue, which is difficult to change. I can't think of many important systems where we wouldn't expect human intervention if something goes wrong.
Basically while code is law for these blockchains, human attention and usage still dictates the value.