Earlier quoted context omitted.
And so the next step would be to actually throw out the written word and replace it with actual code. I'm serious. Why let "government code" be subject to all the shortcomings and pitfalls of natural language when you could just use cold hard logic and exact math instead? Natural language is just programming for humans, anyways.
That would be a very wrong move. I'm serious. This unreliability that comes from agency of the individual compute nodes has some very important benefits: the system is much more resistant to bugs in code[0], and much more humane . Software, as it is today, doesn't understand morality. That's e.g. you wouldn't want to automate away judges in the justice system - the law is code, but it's buggy, and isn't complete enou…
Allow the benefit of doubt that a "software-based" system would only be implemented, if it were superior in such a way, that such a situation doesn't even occur in the first place. That is the benefit. It alleviates the necessity for the "human-wiggling-around-laws-that-actually-make-it-illegal-what-you're-doing,-but-those-laws-are-stupid,-so-whatever,-we-don't-care-about-that-specific-law".
It's most likely a very unknown concept for anyone presently, since it doesn't yet exist, but I believe, if human civilization works more on the aspect of creating a universal law that is language-agnostic, we would have a better solution than the ones we currently have.
Also, tax filings and the like are basically automated. It's just about expanding such automated concepts for more efficiency as well as removing the language-bias laws exhibit. I'm fully aware of the shortcomings of automation, and also do believe that a human "arbitrator", or judge, is required and preferred.
But in essence, my goal in stating my opinion was to plant the idea of language-agnostic law, for which maths, code and logic can form a solution. It's philosophical pondering towards a global government policy in a very long-run.