It's surprising none mentioned Akoma Ntoso here.

It's a bad format for the imaginary problem but it shows that government action can actually force a change in workflows in the legal profession.

Akoma Ntoso has been pushed onto legislative bodies and by extension onto most of the legal profession in the EU and in many 3rd world countries. It does not solve the diff problem but it kind of solves the machine-readable storage of laws.