Great points, and importantly, this doesn't require a hardfork :) Instantiating something like this in the blockchain guarantees that we will either be stuck with the errors, or stuck wasting valuable engineering bandwidth fixing the mistakes that will inevitably be in it. There are plenty of features already baked into the BC that can be leveraged to solve problems like this.