Obviously a formal verifier metamath, and a corresponding database like set.mm but law.mm containing all the normative statements etc would have to be supported by an ecosystem, such an ecosystem should reward finding inconsistencies, since if we tolerate just one inconsistency (which would correspond to true == false) then every statement provably true can be proven false and vice versa, this is the principle of explosion: a formal system loses every meaning when an inconsistency is present, hence an ecosystem maintaining the law would encourage finding inconsistencies instead of swiping the arbitrarianism under the rug.

It can't be completely self and cross consistent, it's not possible. But that is exactly the goal, we just can't achieve it.

How do you know if you are breaking the law or not if it's inconsistent? And like the sibling points out, any inconsistency can be abused to declare you guilty or innocent on any behavior depending on the partisanship and interests of the judge.