Axiom Foundation — Computable law for all
Computable law for all.<br>Open, machine-readable encodings of the world's rules — starting with tax and benefit policy. Cited, time-aware, and executable, so anyone can run, audit, or reform them.<br>Explore the lawSee the encoder run
26 USC § 24·Child Tax Credit<br>26 USC § 32·Earned Income Credit<br>7 USC § 2017·SNAP allotment<br>26 USC § 1411·Net Investment Income Tax<br>42 USC § 1382·Supplemental Security Income<br>26 USC § 36B·ACA Premium Tax Credit<br>26 USC § 63·Standard Deduction<br>UKSI 2013/376 reg 22·Universal Credit elements<br>26 USC § 3101·OASDI payroll tax<br>26 USC § 401(k)·Cash or deferred arrangements<br>20 CFR § 416.1110·SSI earned-income exclusion<br>26 USC § 24·Child Tax Credit<br>26 USC § 32·Earned Income Credit<br>7 USC § 2017·SNAP allotment<br>26 USC § 1411·Net Investment Income Tax<br>42 USC § 1382·Supplemental Security Income<br>26 USC § 36B·ACA Premium Tax Credit<br>26 USC § 63·Standard Deduction<br>UKSI 2013/376 reg 22·Universal Credit elements<br>26 USC § 3101·OASDI payroll tax<br>26 USC § 401(k)·Cash or deferred arrangements<br>20 CFR § 416.1110·SSI earned-income exclusion
§I · The gapLaw for the digital era
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.<br>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.<br>The Axiom Foundation publishes that layer — statute by statute, citation by citation as rules as code — in the open, free for anyone to use.
Today<br>Each system reimplements the law<br>Numbers without citations<br>No shared way to verify
Encoded<br>One source of truth<br>Every value cites a statute<br>Anyone can run, audit, or reform
Why now<br>AI needs ground truth<br>People are asking models policy questions<br>There has to be an answer key
§II · What we publishTwo layers, both in the open<br>Source documents anyone can fetch and cite, plus the encodings that make those rules computable, time-aware, and verifiable.
The source corpus<br>The primary text, gathered and addressable<br>We gather national statutes, regulations, agency guidance, and state law from official sources — openly licensed, version-controlled, and addressable by citation. The primary text every encoding points back to.<br>· United States Code (national statutes)<br>· Code of Federal Regulations<br>· IRS revenue procedures, rulings, and notices<br>· State codes and tax law
Encodings<br>Encoded so anyone can compute them<br>We turn the same rules into machine-readable form — every value cites a section, every clause is dated, formulas are executable. Compiles to native code; runs anywhere.<br>· Cited — every value traces to a statute<br>· Time-aware — effective dates on every clause<br>· Composable — reform a parameter without rewriting<br>· Verified — cross-checked against independent engines
§III · The encoderStatutes encoded and verified<br>An AI-driven pipeline reads a statute, encodes it section by section, and runs the result against oracles like PolicyEngine and TAXSIM.
The encoder logs every decision. Disagreements get explained, not erased.<br>Explore the encodings
§IV · What it powersOne encoding. Many places to use it.<br>Encode a rule once, in the open, and everyone can build on it — correctly, affordably, and in plain sight.
for builders01<br>Calculators that audit themselves<br>Tax software, benefit estimators, eligibility tools — all running off the same encoding, all able to point at the statute behind any number.<br>Explore<br>for AI labs02<br>Ground truth for AI<br>People keep asking models policy questions. The Axiom Foundation gives them a key — verifiable answers grounded in actual law, useful for both training and inference.<br>Explore<br>for analysts03<br>Reform without rewriting<br>Change a parameter, re-run the calculation. Compare current law against any proposed amendment without touching the surrounding rules.<br>Explore<br>for the public04<br>Government in plain sight<br>Every value cites its source. Every formula is open. Anyone can read the law, run it, and check that the answer follows.<br>Explore
Open the full demo gallery
§Coda · The foundationDoing the public-interest work<br>Everything we publish — code, data, and the decisions behind them — is open. Encoded law belongs in the open.
Get in touchStay updated