Comment by DoctorOetker

> No formulation of the law will solve this.

It's a tall claim, given a proper formalization (say under democratic control), malicious counterparty just can't force the national formal verifier to pronounce this or that if it doesn't follow.