Coverage Validation

What's possible

Build government systems on the law

Check a workflow Reconcile primary sources

Ground AI models in citable law

Ask about benefits and taxes

Power products on rules you don't rebuild

Simulate policy on real rules

Explore benefits cliffs Simulate household impacts

Axiom Citations Slides

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
Citations
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

us/regulation/42/423/subpart-B — Subpart B - Eligibility and Enrollment · Axiom

Axiom
US Federal
Regulations
Title 42
Part 423

Subpart B - Eligibility and Enrollment

10 sections

Eligibility and enrollment
Enrollment process
Enrollment of low-income subsidy eligible individuals
Disenrollment process
Enrollment periods
Effective dates
Involuntary disenrollment from Part D coverage
Late enrollment penalty
Information about Part D
Procedures to determine and document creditable status of prescription drug coverage