I think law as code or the "legal code" as code is a proposition that hasn't been fully imagined. There are a few other cs-language projects to describe tax law as code and some of them have some traction, but if law were immersed more in code, we could test it better and reason about its effects with more context.

If you pass a law to reduce theft, you could include tests based on official statistics about whether or not theft is going down, and with some scientific rigor (CBO is usually quite reliable for instance), the law could "amend itself" either by sunsetting itself, if it isn't measuring up to expectations, or have an automatic budget increase if it's succeeding.

It's a bit far-fetched, given how indeterminate most government programs' intentions actually are (e.g. just hand out billions for "healthcare" and allow untold fraud to proliferate because it benefits our donors and voters), but every law should serve a purpose and we should automate its evaluation.