Statutes, regulations, and policy rules turned into machine-readable encodings — cited, time-aware, executable — so anyone can run, audit, or reform them.
Statute, household, computed — one source of truth
Every benefit calculator, tax program, and policy assistant has to translate the law from human prose into something a machine can run. Most do it from scratch. Most do it differently. Most do it out of public view, making it hard to verify and harder to fix.
There is no shared layer to point at. No canonical source for what the Earned Income Tax Credit actually computes, or how the SNAP standard medical deduction should treat a 2024 medical expense in Tennessee. The text exists. The closed interpretation does too. The connection between them does not.
Axiom Foundation publishes that layer — statute by statute, citation by citation as rules as code — in the open, free for anyone to use.
Source documents anyone can fetch and cite, plus the encodings that make those rules computable, time-aware, and verifiable.
Federal statutes, federal regulations, IRS guidance, and state tax law — fetched from official sources, addressable by citation, served with provenance and point-in-time metadata. One consistent shape across jurisdictions, free to use, openly licensed.
The same rules turned into machine-readable form — every value cites a section, every clause is dated, formulas are executable. Compiles to native code; runs anywhere.
The same statute — 26 USC § 36B(b)(3) — computes three different answers depending on when you ask.
Same code, three answers. Pass a date, get the rule that applied.
An AI-driven pipeline reads a statute, encodes it section by section, and runs the result against PolicyEngine and TAXSIM before any human signs off.
Pull the statute. Walk the subsection tree. Plan the dependency graph between siblings.
An agent per subsection drafts the encoding, citing the section it came from. Conflicts and re-tries are logged.
CI checks, oracle comparison against PolicyEngine and TAXSIM, reviewer agents that explain any discrepancy.
Every encoding decision is logged. Disagreements get explained, not erased.
The point of doing this once, openly, is so it stops having to be done a thousand times in private — wrongly, expensively, and out of sight.
Tax software, benefit estimators, eligibility tools — all running off the same encoding, all able to point at the statute behind any number.
Models keep getting asked policy questions. RuleSpec gives them a key — verifiable answers grounded in actual statute, useful for both training and inference.
Change a parameter, re-run the calculation. Compare current law against any proposed amendment without touching the surrounding rules.
Every value cites its source. Every formula is open. Anyone can read the law, run it, and check that the answer follows.
Axiom Foundation is a nonprofit. Open code, open data, open governance. The infrastructure is meant to outlast any single project that builds on it.
Start with a single statute. The encoder pipeline does the heavy lifting; reviewers stand in for a stable bar.
Open the contributor guideEvery encoding is open and cross-checked. Find a discrepancy and we’ll explain why — or fix it.
Browse open issuesEncoded law belongs in the public domain. If you’d like to help keep it there, we’d like to talk.
hello@axiom-foundation.org