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/form/irs/ty2025/i1040gi/block-81 — Line 6c · Axiom

loading…

Axiom
US Federal
Form
IRS
Ty2025
I1040gi
Block 81

Line 6c

Official source

Check the box on line 6c if you elect to use the lump-sum election method for your benefits. If any of your benefits are taxable for 2025 and they include a lump-sum benefit payment that was for an earlier year, you may be able to reduce the taxable amount with the lump-sum election. See Lump-Sum Election in Pub. 915 for details.

← Social Security Benefits Worksheet—Lines 6a and 6b Line 6d →

in view

Whole section