eth's coordination is over the blockchain only, and that's part of their limitation. it's "code inside blockchain", not "blockchain inside code". on tau, it gives rise to reason over the network as a whole. in other words, if eth would replace the contract language to decidable one, they still cannot assert that the contract won't break the global eth network/economy.
feel free to discuss machine learning or blockchain stuff with me, here or in any other media
So if I understand your approach correctly, you want to do something like Tezos (i.e Nomic), where all rules are immutable?
That's an interesting research idea, but I'll watch the area to see how it progresses.
I don't know yet if I need that kind of P2P network, but we shall see.