Repository navigation
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>
…ho can 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)). - Colorado: the ITIN and under-25 EITC routes pay the credit the filer "would have been allowed" (C.R.S. 39-22-123.5(2.5), (2.7)), so they keep the bar; the child tax credit (both regimes), the family affordability credit and the low-income child care credit count no child on such a return. - Connecticut: the 2017-2021 property tax credit's dependent route and the 2022 child tax rebate need a validly claimed dependent. - Illinois: the dependent exemption, the ITIN and age-18 EITC extension, the child tax credit and the 2022 rebate (P.A. 102-0700 sec. 212.1) apply the bar. - Indiana: each filer keeps the $1,000 exemption; dependent, additional, adoption exemptions and the nonpublic school deduction do not apply. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…operty test Section 212.1(a) (P.A. 102-0700) makes a taxpayer "who is claimed as a dependent on another individual's return for that year" ineligible. The exclusion is per taxpayer, so a joint return keeps the $100 joint amount while one spouse is not claimed; such a return claims no dependents (IRC 152(b)(1)), so it gets no per-dependent amount. The property test checks swap invariance and monotonicity of the changed Colorado, Connecticut, Illinois and Indiana outputs on Hypothesis and seeded couples, and that Indiana keeps $1,000 per filer on a claimable return. 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>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…L CTC follows the IRC 152 qualifying child; CO low-income care credit keeps the IRC 21 disability exception - The Illinois and Indiana dependent exemption reforms replace the fixed formulas; at their defaults they now match the baseline for a claimable filer (Indiana's older-dependent count no longer moves a barred child into the personal portion). Default-reform cases cover both joint labellings. - Illinois child tax credit: 35 ILCS 5/244(d) gives "qualifying child" its IRC 152 meaning, and the 2026 draft instructions say "at least one qualifying child", so a claimable filer keeps the credit for their own qualifying child (the 2024-2025 instructions said "child that is your dependent"). - Colorado low-income child care credit: C.R.S. 39-22-119.5(3)(a)(III)-(IV) need a dependent under 13 for whom the federal IRC 21 credit would be allowed, so the child test is now the federal qualifying-person test, which keeps a child incapable of self-care (IRC 21(b)(1)(B)). - One IRC 32 reference per document; Colorado's child definition anchor is HB23-1112 page 4; the property test also checks the rebate eligibility. 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-co-ct-il-in
…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
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)). Colorado, Connecticut, Illinois and Indiana build credits, exemptions and deductions on those rules, but their formulas never read
claimed_as_dependent_on_another_return.Stacked on the federal claimable-filer PR #10087 (
claimable-filer-federal, head 35a2cbc, itself stacked on #10024); base this PR onclaimable-filer-federaluntil both merge, and land it after #10051. The rules read the federal branch's inputs the way its own formulas do: "no dependents" (IRC 152(b)(1)) and the childless EITC bar readhead_or_spouse_is_dependent_elsewhere_without_filing_exception, so the Publication 501 exception (the would-be claimant is not required to file and files at most for a refund) restores the dependents; rules that turn on an actual claim readclaimed_as_dependent_on_another_return. A companion PR applies the same rules in DC, Georgia and Idaho: #10050.co_eitc(ITIN and under-25 routes)co_ctc_qualifying_child(2022-2023),co_ctc_eligible_child(2024+)co_family_affordability_creditco_low_income_cdccct_property_tax_credit_eligiblect_child_tax_rebateil_dependent_exemptionil_eitc(ITIN and age-18 extension)il_ctcil_income_tax_rebate_eligible,il_income_tax_rebate(2022 rebate on 2021 returns)in_base_exemptionsin_is_qualifying_dependent_child(additional and adoption exemptions)in_nonpublic_school_deductionThe contributed Illinois and Indiana dependent exemption reforms replace two of these formulas; at their default parameters they now match the baseline for a claimable filer (Indiana's reform also stops moving a barred child into its personal portion), with regression cases under both joint labellings.
Rows from the audit that need no change here:
co_cdccreads the federal credit), Connecticut's and Indiana's EITCs (they match federaleitc, gated in Make rules for a filer claimed elsewhere independent of which spouse is labelled head #10024), and the federal student loan interest deduction that all four states start from. YAML cases here confirm the first three.age_thresholddrops to 0 in 2022, so every filer qualifies, which matches 12-704c(b)(2)'s "2017, to January 1, 2021, inclusive". No bug.Not modeled (no new programs here): Colorado's property tax, rent and heat rebate (separate application, "Were you claimed as a dependent"), and Indiana's $200 fallback automatic refund (IC 4-10-22-4.5, actually claimed for 2022).
Readings for Max (queue via the US + core hub)
Invariants
Tests
policyengine_us/tests/core/test_claimable_filer_co_ct_il_in_invariants.pyreusescheck_swap/check_monotonefrom the federal invariants test in the four states for 2021, 2023, 2025 and 2026: Hypothesis batches check invariants 1 and 3; a seeded population checks 1-3. It covers tax-unit outputs (the person-level family affordability credit only throughco_refundable_credits, for swaps), and its generator sets no nonpublic-school attendance, so that deduction is covered by YAML only. It caught a person/tax-unit broadcast inco_low_income_cdccthat one-return YAML cases cannot. PROPERTY_PLACEHOLDERMicrosimulation impact
MICROSIM_PLACEHOLDER
Follow-ups
axiom: CO1 (EITC routes, child tax credit, family affordability credit, low-income child care), IL1 (dependent exemption, EITC, child tax credit) and IN1 (exemptions, nonpublic school deduction) queued as dispatch-ready drafts, not yet filed (d1247; the US hub files parity issues under d1142), in
~/reviews/us-hub/claimable-filer-rules/s1/axiom/out_co_ct_il_in.mdwith the 2026-10-11 addendum; CT 12-704c(b)(2) 2017-2021 gate n/a: expired and unencoded; CT P.A. 22-118 sec. 411 rebate n/a: expired and unencoded; IL sec. 212.1 rebate n/a: expired and unencoded; none encoded-correct🤖 Generated with Claude Code
Merge with main after #10087
Merge commit
29a702c5f546338a6c350ec335aafee9d479d70aincorporates main after #10087 squash-merged as2daebf2ca8, with main at1ef55c1197c6b466912e2f081d548d277e04e360. Conflicts innm_medical_expense_credit.py,nm_medical_expense_credit.yaml, andca_cdcc_relevant_expenses.yamltake main's reviewed versions because this PR left all three unchanged from its federal base. Removed the obsolete federal changelog fragmentsclaimable-filer-federal.fixed.mdandhead-dependent-elsewhere-swap.fixed.md. The exact replay check passes: the diff against main is byte-for-byte identical togit diff 35a2cbcbb9 3ebbde6840, preserving all 37 paths in this PR's original patch with no unrelated changes. No YAML syntax repair was needed.