However i cant think of a non-contrived example where that is true. Real agreements involve real things in the real world, outside of the reach of automated compliance checking, and you're back at square one.

Perhaps you could say that the formalized computer language helps disagreements, but lawyers already have formalized language for this, and i suspect legaleze is better for making human-agreements than some turing complete language ever would be.