I don't get upset. I just know that you have no idea what you're talking about. Talk to some tech native, smart, practicing lawyers for an hour about this.
If you are able to arrange such a discussion, I am genuinely interested!
Sorry, a random stranger on the internet is not going to spoonfeed you. You need to do the work to enlighten yourself.
You don't need a lawyer "well versed in metamath". You're being elitist and dismissing perfectly competent experts who know more than enough to demolish your ideas.
Parties can agree to some contract and settle any potential future issues in a predetermined specific court of their choice.
Tech companies might prefer the legal certainty formal verification systems provide vis-a-vis human-run courts.
As their use expands, the necessary definitions and normative axioms evolve, until normal companies and then normal people start using it.
The act of formalization from natural language law to metamath database, could probably be done by swarms of agents, resulting in multiple competing formalizations from which competing human subfactions select and promote.