Repository navigation
Conversation
26 CFR 1.36B-1(e)(1)(ii) and 42 CFR 435.603(d)(2) count another family member's modified AGI in household income only if that member is required to file. medicaid_magi (which aca_magi adds) added every member's tax-exempt interest and all of a dependent's Social Security, and none of a dependent's AGI. It now adds the filers' MAGI plus the whole MAGI of each dependent who is required to file. The MAGI additions now take each person's own tax-exempt Social Security (tax_exempt_social_security_person), so medicaid_magi_person no longer gives a child's benefits to the parent. medicaid_irs_gross_income counts a dependent's taxable benefits, figured on their own return, toward the filing threshold. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Property-based and seeded-population checks: a Form 8962 differential for medicaid_magi, the exclusion of dependents who need not file, the Social Security identities, the unchanged formula without dependents, and agreement with the person-level Medicaid household income on the tax-filer route. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 11, 2026
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
WIP. Local YAML batches, microsims (2025 and 2026), invariant tests, Axiom parity and an independent review are still to come.
What's wrong on main
Both the premium tax credit and Medicaid count another family member's modified AGI only if that member is required to file:
On main:
medicaid_magi(whichaca_magiadds) is tax-unit AGI plusadd(tax_unit, modification). That adds every member'stax_exempt_interest_incomeandtax_exempt_social_security, and the latter includes all of a dependent's Social Security. It never adds a dependent's AGI. So a child's survivor benefits or tax-exempt interest raise household income, and a teen who must file because of wages adds nothing.medicaid_magi_persongives the tax unit'stax_exempt_social_security, the child's benefits included, to the head and spouse. So Medicaid household income (medicaid_household_income) puts a child's benefits in the parent's MAGI even when 435.603(d)(2)(i) excludes the child's income.Fix
tax_exempt_social_security_person(new): each person's own benefits that section 86 leaves out of gross income. For the head and spouse it is their share of their return's taxable amount. A dependent's benefits are taxed on the dependent's own return (Pub. 915 (2025), "Who is taxed"). It replacestax_exempt_social_securityingov.hhs.medicaid.income.modification.medicaid_magi: the head's and spouse's MAGI, with person-level additions summed over them only, plus the whole MAGI of each tax unit dependent withmedicaid_person_is_required_to_file, floored at zero. The helpermagi_household_income(tax_unit, period, parameters, counted_dependents)returns the unfloored sum. Keep a filer who can be claimed as a dependent out of the premium tax credit family, and apply each state premium program's rule #10041 can then passrequired_to_file & is_aca_tax_family_memberrather than subtract after the floor.medicaid_magi_person: classifies additions by entity, so each person keeps their own benefits.medicaid_irs_gross_income: addsdependent_taxable_social_security. A dependent's Social Security counts toward the filing threshold only to the extent it is taxable (Pub. 501 (2025), Table 2).Examples (2025, parent with $40,000 of wages)
medicaid_magion mainCoordination
medicaid_magi_personand the Medicaid household income files. Its entity-based loop already handles a person-level Social Security addition. Whichever lands second takes Net household members' Medicaid MAGI before the zero floor, and give each spouse their own deductions #9860'smedicaid_magi_person.medicaid_magi. After this PR,medicaid_magiadds those amounts only for dependents who must file. Its own test, which expectsaca_magi: 40_000for a child with $20,000 of tax-exempt interest, becomes 20,000 under this rule.🤖 Generated with Claude Code