I've been thinking about autoformalizing local laws using agents into TLA+ or something, but it's sufficiently past enough my actual skillset that I'm pretty sure I'd just end up wrestling with slop like a pig in the mud. It's a shame though, I consider law to be just kind of a shitty codebase, with natural language being tortured into cooperating, so it's a really natural fit.

I'll probably yield to my temptations eventually and proceed anyways. Lord help me from all the creative but completely detached interpretations I'll land on.