I have not followed this debate at the time but breaking the written contract (the code) because of a human error is not really how 'decentralised' and 'rules based' is supposed to work.

But Mr Market does not seem to care.