Have fun keeping this up to date.

Why? These rules are written down somewhere. Looks like the spec was created by pointing the model at irs.gov and/or the Federal Register itself and telling it something like, "Create a specification for a verifiable tax model and the tools to verify it."

Next year, all the maintainer has to do is issue the same prompt, no?