Whichever jurisdiction it’s operating in, it compiles it into whatever the most concise way, treating jurisdictions as essentially different machine types and then compile the contract, which is code-defined, into whatever contract law that’s currently in operation.