Coverage Validation

What's possible

Build government systems on the law

Check a workflow Reconcile primary sources

Ground AI models in citable law

Get accurate answers

Power products on rules you don't rebuild

Simulate policy on real rules

Explore benefits cliffs Simulate household impacts

Blog About Team Get started

loading…

Computable law for all.

Open, machine-readable encodings of the world's rules — starting with tax and benefit policy.

Product

Axiom platform
Demos
Coverage
Validation
Documentation

Foundation

About
Team
Blog
Privacy

Connect

Contact
Get updates
hello@axiom.org

© 2026 Axiom Foundation · Doing the public-interest work

Open infrastructure for encoded law

Axiom
US Federal
Statutes

Aliens And Nationality

3 sections · ∀ 3 with encodings

Limited eligibility of qualified aliens for certain Federal programs∀ 1 / 2
Five-year limited eligibility of qualified aliens for Federal means-tested public benefit∀ 1 / 4
Definitions∀ 2 / 3