I am not sure if you merely wish politics could be like that or if you actually consider a move towards formal verification in society to be actually possible b

I am not sure if you merely wish politics could be like that or if you actually consider a move towards formal verification in society to be actually possible but probably daunting. If the latter you are one of the very few people I have communicated with who can also see the myriad advantages of formal verification in democracy, daily life, or perhaps even courts. Consider things like due process, it may seem like a pedantic thing and overly paranoid to demand we have formally verifiable due process, so that anyone verify due process at home. But its much more than that. Institutional buildings are heavily protected assets, which cost a lot of money to protect. When a fraction of the populace storms such an asset, it costs lives and limbs, it costs a lot of money to permanently guard it, it will cost a lot of money and attention in processing the consequences etc... If the capitol was entirely virtual there would be nothing to storm and all these costs in life, limb, taxpayer dollars and time and attention of both the legal system and the population as audience would have avoided.