I'm not sure I quite understand your proposal. You talk about a congress network making decisions, but
1) how are those decisions audited? Tezos decisions can be audited and verified unambiguously on its blockchain.
2) how are those decisions enforced? Tezos upgrades are automatic, if a protocol upgrade is approved, it is enforced on chain. This isn't just people making a decision and then clients choosing to follow it, this has the full force of a smart contract.
3) how you enforce meta-rule? This is constitutionalism. Can you programmatically constraint the type of protocols that your congress network is allowed to pass? If not you don't have consitutionalism.
Tezos does all of those things, and it is a hard engineering challenge to do it, but ultimately worth it. If we only wanted to have a simple vote, we'd have released two years ago.
Hi Arthur!
Q1. How are proposal contracts audited?
=> Proposals are based on the ontological language OWL. By using an inference engine, we are able to validate the logic of the contracts. This would mean we can pre-audit contracts for logical errors before they are uploaded
on to the blockchain. We also applied timed-automata limitation property for our domain specific language.
Q2. How are decisions enforced? Tezos upgrades are automatic.
=> BOScoins upgrades are also automatic. When a proposal(Trust Contract) passes the voting process, this is assumed to be a social consensus and the changes are applied automatically to the network. This is possible because we structured the platform on OWL ontologies.
Q3. How do we enforce meta-rules(constitutionalism)?
=> I dont know if this is what you mean exactly by constitutionalism, but there are certain ontologies that are more fundamental than other higher level ontologies in the BOS platform. Also these fundamental ontologies have been used and tested in many domains for more than ten years.
Thanks for your questions! It looks like you put a lot of time and thought and energy into your project and into governance in decentralized systems.