[dgreisen]

This is one of the tools we are building at Open Law Library. Open Law Draft is a linter that finds common errors in draft bills right in Word as they are being drafted. Fixing the error before the bill becomes law is much easier than having to pass another law to fix it. Extending the analogy, Open Law Codify is essentially our compiler. We will be integrating the two so we can find more complex errors at the drafting stage rather than having to wait for the codification stage, as we do now.

Unlike what I think you are proposing though, our system must work with any law that is passed, not just laws we deem "correct". We simply write software that helps legislative bodies pass laws that are as close to what they deem correct as possible.