Repository navigation
Apply District of Columbia, Georgia and Idaho rules for a filer who can be claimed as a dependent - #10050
Draft
MaxGhenis wants to merge 28 commits into
Draft
Apply District of Columbia, Georgia and Idaho rules for a filer who can be claimed as a dependent#10050MaxGhenis wants to merge 28 commits into
MaxGhenis wants to merge 28 commits into
Conversation
The federal standard deduction and 17 state formulas read only whether the tax-unit head is claimed elsewhere, so a joint return where one spouse can be claimed was taxed differently depending on which spouse was labelled head. Each formula now applies its jurisdiction's rule for that case (either spouse, single filers only, per spouse, or only when every filer is claimed), using two new label-independent helpers. Adds swap-pair YAML cases and a Hypothesis property test. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… barred The New Mexico, Maine and Hawaii renters gates counted filers who are not claimed elsewhere, so a tax unit with neither a head nor a spouse (252 in the default dataset) looked like one whose every filer was claimed. A new helper, every_filer_is_dependent_elsewhere, requires a claimed filer and no unclaimed one. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ss EITC - Hawaii's dependent standard deduction uses earned income net of the deductible part of self-employment tax, as the N-11 worksheet does. - New Mexico's medical care credit needs a filer who is both 65 or older and not a dependent when a filer is a dependent elsewhere (NMSA 7-2-18.13). - The federal EITC without a qualifying child requires that no filer can be claimed as a dependent (IRC 32(c)(1)(A)(ii)(III), Publication 596), so Missouri's working family credit no longer reaches such a couple. - Hawaii's food/excise credit keeps minor children receiving public support (HRS 235-55.85(c)) on a joint return where one spouse can be claimed. - Comments label the readings the law does not settle, and the property test covers the EITC and the food/excise exemption amount. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… meaning - The federal and Oregon dependent worksheets use earned income net of the deductible part of self-employment tax, as Hawaii's now does. - Hawaii's food/excise minor-child count excludes children who can be claimed by another taxpayer and the filers themselves (Form N-311 line 3). - claimed_as_dependent_on_another_return documents what it stands for: a §151 deduction for the person is allowable to another taxpayer, so a person whose would-be claimer files only for a refund is not one (Publications 501 and 596); rules on actually being claimed read it too. - Hawaii's renters comment labels the mixed joint reading as an inference; the Hawaii dependent threshold cites HRS 235-2.4(a)(3) on its page. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
A filer who can be claimed on another return is treated as having no dependents (IRC 152(b)(1); on a joint return either spouse counts) and has no personal exemption (IRC 151(d)(2)); one who is claimed gets no education credits (25A(g)(3)), student loan interest deduction (221(c)) or recovery rebate (6428(d)(2), 6428A(d)(2), 6428B(c)(2)). The model read none of these. Now the child tax credit and credit for other dependents, the under-13 child and dependent care qualifying person, exemptions_count and its RI, DE, OH, OR, WI, HI and NM readers, the recovery rebates, the education credits and the student loan interest deduction apply them symmetrically for joint returns. Georgia keeps its own counts; the HI, WI and Treasury exemption reforms follow the corrected count. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…an be claimed as a dependent A return on which the filer, or on a joint return either spouse, can be claimed as a dependent has no dependents (IRC 152(b)(1)), and a childless filer who can be claimed gets no EITC (IRC 32(c)(1)(A)(ii)(III)). - DC: the Schedule H property tax credit needs a claimant who was not a dependent or is 65 or older (D.C. Code 47-1806.06(k)); one claimant per tax filing unit, so the other spouse can claim it. The childless EITC keeps the IRC 32 bar; the keep child care affordable credit and the child tax credit count no child on such a return. - Georgia: no dependent exemption on such a return (the 2021-2023 personal exemption stays); no low income credit when either filer can be claimed (O.C.G.A. 48-7A-3); the HB 162 surplus refund excludes a filer claimed for 2021 unless that filer had earned income (48-7-20.2(a)). The 2026 child credit keeps its IRC 24(c) child test. - Idaho: the food tax credit leaves out a filer who can be claimed and, on such a return, the dependents (63-3024A); the household and dependent care deduction needs an IRC 21(b)(1) qualifying individual (63-3022D); the 2022 rebate counts each taxpayer but no dependents on such a return. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…HB 162 refund; add the property test O.C.G.A. 48-7A-3(a) lets "each resident taxpayer ... who is not claimed or is not otherwise eligible to be claimed as a dependent" claim the low income credit and deems each joint spouse a unit "for purposes of such joint return", so a joint return keeps both spouses' units while one spouse qualifies; such a return still counts no dependents (IRC 152(b)(1)). The HB 162 refund is credited to each qualified taxpayer (48-7-20.2(a), (b)), so a joint return gets the joint amount while one spouse qualifies. The property test checks swap invariance and monotonicity of the changed DC, Georgia and Idaho outputs on Hypothesis and seeded couples. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The flag is a tax-unit array and ages are per person; one-return YAML cases broadcast, but a vectorized simulation with several returns does not. Adds a two-return YAML case. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…rty tax and KCCATC reforms; fix test fixtures - Georgia's dependent exemption reform, DC's property tax credit reform (both branches) and the DC KCCATC reform's inactive fallback replace the fixed formulas; each now keeps the baseline rule for a claimable filer, with regression cases. The Schedule H claimant rule moves into `dc_ptc_has_eligible_claimant`, shared by the baseline and the reform. - Idaho food tax credit cases set twelve qualified months (low incomes made the household SNAP-eligible, which zeroed every case). - Schedule H cases put the rent on the spouse who can be the claimant, so they hold whether rent is pooled or limited to the claimant's own payments. - The HB 162 refund documents that the single flag stands in for "was claimed". Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Child and dependent care: childcare expenses do not count on a return with a claimable filer unless a child under 13 still qualifies (IRC 21(b)(2)(A)(ii)). - Tuition and fees deduction: not allowed to a filer who can be claimed (IRC 222(c)(3)), so the education credit bar no longer makes such a filer eligible. - Recovery rebates: the Armed Forces exception waives the identification rule only, not the exclusion of a spouse who is another taxpayer's dependent. - Georgia: the contributed refundable credit and SB 520 reforms count the same children as ga_ctc_potential through a new ga_ctc_eligible_child. - Education credits and student loan interest read the claimed input directly, since IRC 25A(g)(3) and 221(c) turn on an actual claim. - One reference per source document; quote IRC 24(h)(4)(A) exactly. - Tests: mixed-recipient care, tuition deduction, military rebates, Georgia refund cap, and the swapped New Mexico rebate case; the property test now covers the state readers of the exemption count. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
# Conflicts: # policyengine_us/tests/policy/baseline/gov/states/oh/tax/income/exemptions/personal/oh_personal_exemptions_eligible.yaml
#10024 now separates three facts: is claimed, can be claimed, and the would-be claimant's filing exception. - IRC 152(b)(1) gates (child tax credit, credit for other dependents, under-13 care child and its expenses, dependents in exemptions_count, ARPA dependents, Ohio dependents, the Hawaii and Wisconsin reforms) read head_or_spouse_is_dependent_elsewhere_without_filing_exception, so a filer within the Publication 501 exception keeps their dependents. - Own exemptions, recovery rebates and the tuition deduction read claimability. - Education credits and student loan interest keep reading the claimed input. - Tests: the filing exception and a filer who can be claimed but is not. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
#10024's food/excise credit, Act 115 rebate and renters credit took claimable filers off exemptions_count themselves. exemptions_count now leaves them out (and, outside the filing exception, the return's dependents), so those credits read it as it is; the filing-exception cases were one exemption short. The renters credit also leaves out a dependent who can be claimed by another taxpayer (Schedule X counts only people who cannot be), as the food/excise credit already did. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Education credits: a dependent student is not eligible on a return whose filer can be claimed outside the filing exception (IRC 25A(f)(1)(A)(iii), 152(b)(1)); the filer's own eligibility still turns on an actual claim. - Recovery rebates: no credit when every filer is a dependent of another taxpayer (IRC 6428B(a)); the CARES and CAA child prerequisite is a spouse with a valid SSN, whether or not that spouse is an eligible individual. - Child and dependent care: cdcc_qualifying_childcare_expenses holds the expense rule, and the single-parent work requirement reform and California's expenses read it. - References: Georgia HB 136 page 3; one entry per recovery rebate statute; quote IRC 24(h)(4)(A) exactly in the test comment. - Tests: dependent students, the two rebate cases, the reform and California expenses, and the Hawaii, Wisconsin and Treasury reforms with a claimable filer under both labellings. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Education credits: is_barred_from_education_credits_by_dependency holds the claimed-filer and dependent-student rules; both eligibility formulas and the reconciliation SSN reform's Lifetime Learning Credit read it, so the reform no longer turns a barred student's tuition into that credit. - Child and dependent care: childcare counts when any child under 18 is still a qualifying individual, so an incapacitated child aged 13 to 17 keeps it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Setting meets_eitc_identification_requirements on one person made it an input for every person, so the other spouse lost their SSN too. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…claimable-filer-dc-ga-id
…anch The federal branch (#10087) now separates whether another taxpayer can claim a filer (`claimable_as_dependent_on_another_return`) from an actual claim (`claimed_as_dependent_on_another_return`), and adds the Publication 501 filing exception for the Dependent Taxpayer Test (`head_or_spouse_is_dependent_elsewhere_without_filing_exception`). - Rules that a return has no dependents (IRC 152(b)(1)) and the childless EITC bar read the filing-exception helper, as the federal formulas do. - Rules that turn on an actual claim read the claim input: Illinois' 2022 rebate (sec. 212.1, "who is claimed") and Georgia's HB 162 refund ("who was claimed"). - Rules that turn on being claimable read claimability: Georgia's low income credit ("claimed or ... eligible to be claimed") and Idaho's food tax credit ("can claim you"). DC Schedule H's "was a dependent" reads the person-level filing-exception helper. - New cases for a filer who can be claimed but is not, and for the filing exception. 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.
Summary
Outside the federal filing exception, a return on which the filer, or on a joint return either spouse, can be claimed as a dependent on another return has no dependents (IRC 152(b)(1); Publication 501, Dependent Taxpayer Test), and a childless filer who can be claimed gets no EITC (IRC 32(c)(1)(A)(ii)(III)). The District of Columbia, Georgia and Idaho also have their own claimable-filer rules. Georgia's HB 162 rebate and low-income credit read
claimed_as_dependent_on_another_return; other dependency gates use claimability and the federal filing-exception helpers as described below.Originally stacked on federal claimable-filer PR #10087 (
claimable-filer-federal, head 35a2cbc, itself stacked on #10024). Those changes are now onmain, this PR targetsmain, and the landing dependency on #10051 remains. The rules read the federal branch's inputs by the law's wording: "no dependents" (IRC 152(b)(1)) and the childless EITC bar readhead_or_spouse_is_dependent_elsewhere_without_filing_exception(the Publication 501 exception restores the dependents); "was claimed" readsclaimed_as_dependent_on_another_return(Georgia HB 162); "can claim you" readsclaimable_as_dependent_on_another_return(Idaho's food credit); Georgia's low income credit reads both claimability and actual claim because its exclusion covers either; DC's "was a dependent" readsis_dependent_elsewhere_without_filing_exception. A companion PR applies the same rules in Colorado, Connecticut, Illinois and Indiana: #10049. The federal branch left Georgia's low income credit and 2026 child credit unchanged for this PR to decide; both are decided below.dc_ptc(Schedule H)ptc/dependent_claimant_min_age(65), distinct from the age-70 elderly rate, and new variabledc_ptc_has_eligible_claimant.dc_eitc_without_qualifying_childdc_kccatcdc_ctc_eligible_childga_exemptionsga_low_income_credit_potentialga_surplus_tax_rebate(HB 162, 2021 returns)id_grocery_creditid_household_and_dependent_care_expense_deductionid_2022_rebate_floor(2022 rebate on 2020 returns)Three contributed reforms replace changed formulas and now keep the same rule, with regression cases: Georgia's dependent exemption reform (at its defaults it matches the baseline), DC's property tax credit reform (both branches keep the Schedule H claimant bar), and the DC KCCATC reform's inactive fallback.
Rows from the audit that need no change here:
Not modeled (no new programs here): Georgia's HB 1302, HB 112 and HB 1000 surplus refunds (actual-claim exclusions for 2020, 2023 and 2024), Idaho's Parental Choice credit and actual-food-tax option, Idaho's 2021 rebate, and DC's Schedule L.
Readings for Max (queue via the US + core hub)
Invariants
head_or_spouse_is_dependent_elsewhere_without_filing_exceptionis true, a return has no DC keep child care affordable credit or child tax credit and at most one filer's Idaho food tax credit. The federal filing exception can restore dependent children, so the DC zero identities and Idaho one-person ceiling do not apply when that helper is false; explicit cases cover both head/spouse labellings, including Idaho's $310 spouse-plus-child credit. A return on which every filer can be claimed has no Georgia low income credit.Tests
count_cdcc_eligible: 1, since the statute needs a qualifying individual; no expected value changed. All 233 cases in the 17 changed YAML files pass; counts are recorded below.policyengine_us/tests/core/test_claimable_filer_dc_ga_id_invariants.pyreusescheck_swap/check_monotonefrom the federal invariants test in DC, Georgia and Idaho for 2021, 2023, 2025 and 2026: Hypothesis batches vary claimability, actual claim and the filing exception independently while checking invariants 1 and 3; a seeded population checks 1-3. Explicit filing-exception cases cover both adult labellings. It caught a person/tax-unit broadcast indc_kccatcthat one-return YAML cases cannot. All 7 cases pass; the original 5-case baseline and added-case resource measurements are recorded below.Microsimulation impact
Not run in review r1; microsimulation remains with the US + core hub.
Follow-ups
ga_itemizer_credit_potentialcites O.C.G.A. 48-7-29.23, which is the teacher recruitment credit; the itemizer credit is 48-7-27.1 (citation only; the formula matches it).axiom: TheAxiomFoundation/rulespec-us#1701 queued (DC1: Schedule H claimant, childless EITC, KCCATC, child tax credit child) | TheAxiomFoundation/rulespec-us#1702 queued (GA1: dependent exemption, low income credit, IRC 24(c) 2026 child credit) | TheAxiomFoundation/rulespec-us#1703 queued (ID1: food tax credit, household and dependent care deduction) | GA HB 162 refund n/a: expired and unencoded | ID 2022 rebate n/a: expired and unencoded; none encoded-correct
Merge with main after #10087
Merged
mainafter #10087's squash merge, preserving this PR's District of Columbia, Georgia and Idaho changes.ca_cdcc_relevant_expenses.yaml,nm_medical_expense_credit.py,nm_medical_expense_credit.yaml,va_low_income_tax_credit_eligible.py,va_low_income_tax_credit_eligible.yaml, andpolicy/contrib/states/hi/dependent_exemption_reform_test.yaml; these files were unchanged by this PR against its federal base.ga_ctc_eligible_child.py,ga_low_income_credit_potential.py, andga_ctc.yaml; main matched the federal base in these files.dc_cdcc.yaml,ga_cdcc.yaml, andid_household_and_dependent_care_expense_deduction.yaml, including main's corrected Idaho $14,000 expectation and ARPA cases.claimable-filer-federal.fixed.mdandhead-dependent-elsewhere-swap.fixed.mdchangelog fragments.That merge retained the original 35 changed paths. For review r1, merged main again at
f9b55fc4dd05f1bed921a4dd06cb8c81f6ceb2c7without conflicts; the Idaho correction and review changes remain within those paths.Review r1: responses
cdcc_qualifying_childcare_expensesplus adult-care expenses. The new student-filer case has $20,000 earnings, a five-year-old child, a qualifying disabled adult, $10,000 child-only daycare and $1,000 adult care; its deduction is $1,000.head_or_spouse_is_dependent_elsewhere_without_filing_exception; vary claimability, actual claim and the exception independently, and pin restored-dependent cases under both adult labels.REVIEW_R1_TEST_All 233 cases in the 17 changed YAML files pass; counts are recorded below.
This PR remains a draft.
🤖 Generated with Claude Code