I'm doing this as open source for all amendment-driven law for the world. Finnish/Estonian law basically solved now but US/UK are a lot more complex to do correctly for some reason.

Now major version coming within 1 month probably with many architectural changes. The thesis is that it's basically all doable as a compiler but there may be certain cases which are irreducibly ambiguous and need human/AI to adjudicate them. The rest must be deterministic.

https://github.com/eliask/lawvm