Skip to content

Apply Colorado, Connecticut, Illinois and Indiana rules for a filer who can be claimed as a dependent - #10049

Draft
MaxGhenis wants to merge 25 commits into
mainfrom
claimable-filer-co-ct-il-in
Draft

MaxGhenis wants to merge 25 commits into
mainfrom
claimable-filer-co-ct-il-in

Conversation

@MaxGhenis

@MaxGhenis MaxGhenis commented Oct 10, 2026 •

Copy link
Copy Markdown
Contributor

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 on claimable-filer-federal until 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 read head_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 read claimed_as_dependent_on_another_return. A companion PR applies the same rules in DC, Georgia and Idaho: #10050.

Formula Rule now Source
co_eitc (ITIN and under-25 routes) No childless credit when either filer can be claimed; a claimable filer with a qualifying child keeps it C.R.S. 39-22-123.5(2.5) pays the credit the filer "would have been allowed, but for" a missing SSN; (2.7) pays the credit "allowed under section 32 (n)(1)" (HB23-1112, p.2-3). Neither waives the dependency bar.
co_ctc_qualifying_child (2022-2023), co_ctc_eligible_child (2024+) No child on such a return 2022-2023: a share of the federal credit "a resident individual who claims a federal child tax credit" (HB23-1112, p.4). 2024+: the Department says the child "generally must meet the requirements for the federal child tax credit" (January 2026 guidance, p.2); see reading 1.
co_family_affordability_credit No child on such a return Same child test (January 2026 guidance); see reading 1
co_low_income_cdcc Counts only children under 13 who are federal child care qualifying persons: none on such a return, except a child incapable of self-care C.R.S. 39-22-119.5(3)(a)(III)-(IV): care for "a dependent of the taxpayer who is less than thirteen years old", and the individual "would be allowed a credit for the expenses under section 21" with enough liability. IRC 21(b)(1)(A) needs a dependent (none on such a return); 21(b)(1)(B) keeps a dependent incapable of self-care "without regard to subsections (b)(1)". See reading 6.
ct_property_tax_credit_eligible Through 2021, the under-65 route needs a dependent the return can validly claim C.G.S. 12-704c(b)(2): "for the taxable years commencing January 1, 2017, to January 1, 2021, inclusive", only a resident 65 or older or one "validly claiming one or more dependents"
ct_child_tax_rebate No child on such a return P.A. 22-118 sec. 411: a child claimed as a dependent on the 2021 federal return (TSSB 2022-5)
il_dependent_exemption None on such a return 35 ILCS 5/204(c): one for each exemption "allowable ... under Section 151"
il_eitc (ITIN and age-18 extension) No childless credit when either filer can be claimed 35 ILCS 5/212; 2025 Schedule IL-E/EITC instructions, p.5, question 6: "Can you be claimed as a dependent ... Yes. STOP"
il_ctc Unchanged in behavior: a claimable filer keeps the credit for their own IRC 152 qualifying child (references and comment corrected to section 244) 35 ILCS 5/244(d): "qualifying child" has its IRC 152 meaning, which needs no allowable dependency; the 2026 draft instructions, p.2 say "at least one qualifying child"; see reading 2
il_income_tax_rebate_eligible, il_income_tax_rebate (2022 rebate on 2021 returns) A filer actually claimed elsewhere is ineligible (reads the claim input, so a filer who can be claimed but is not keeps it); a joint return keeps $100 while one spouse is not claimed; no per-dependent amount on a return with a claimable filer P.A. 102-0700 sec. 212.1(a), p.131-132: a taxpayer "who is claimed as a dependent on another individual's return for that year, is ineligible"; see reading 3
in_base_exemptions Each filer keeps $1,000; dependents count only when no filer can be claimed Information Bulletin 117, p.2: the own exemption stays "even if the individual can be claimed as a dependent"; 2025 IT-40 instructions, p.24 (state-authored copy; forms.in.gov blocks scripted downloads): "Could you, or your spouse if filing jointly, be claimed as a dependent on someone else's tax return? ... Yes. STOP. You cannot claim any dependents."
in_is_qualifying_dependent_child (additional and adoption exemptions) No child on such a return Same
in_nonpublic_school_deduction None on such a return Information Bulletin 107, p.1: a child who "qualifies as a dependent" under IRC 152

The 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:

  • Already zero through the federal branch: Colorado's regular child care credit (co_cdcc reads the federal credit), Connecticut's and Indiana's EITCs (they match federal eitc, 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.
  • Connecticut's post-2021 property credit: the audit flagged an obsolete age/dependent prerequisite from 2022, but age_threshold drops to 0 in 2022, so every filer qualifies, which matches 12-704c(b)(2)'s "2017, to January 1, 2021, inclusive". No bug.
  • Illinois' personal exemption already applies its claimable-filer rule; its K-12 education credit uses custodian status, not dependency.

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)

  1. Colorado child tax credit (2024+) and family affordability credit. The statutes define the child only as a "qualifying child, as defined in section 152(c)" (HB23-1112, p.4; HB24-1311, p.3), which does not by itself require the child to be the filer's dependent. This PR follows the Department's January 2026 guidance that the child "generally must meet the requirements for the federal child tax credit", and its filing guide's dependents table ("your dependents will generally be the same as the dependents you claimed on IRS form 1040", Book 104, p.7). The same page says a custodial parent who cannot claim the child as a federal dependent and cannot claim the federal credit "cannot claim a Colorado Child Tax Credit for that child"; applying that to a claimable filer is an inference. Alternative (recommended by the second research lane): the statutory reading pays $1,200 (CTC) and $3,273 (2025 family credit) per young child to a claimable filer.
  2. Illinois child tax credit. This PR follows 35 ILCS 5/244(d) and the 2026 draft instructions ("qualifying child"), so a claimable filer keeps the credit ($27.20 in the test household). The 2024-2025 instructions said "at least one child that is your dependent" (2025, p.1); reading that as a requirement gives $0 for 2024-2025. Section 244 itself has not changed since P.A. 103-592 (P.A. 104-417 only fixed a typo).
  3. Illinois 2022 rebate, one claimed spouse. The exclusion is per taxpayer, so this PR keeps the $100 joint amount (no dependent amount). Alternatives: $50 (the qualifying spouse alone) or $0 (the joint return as one taxpayer, since "Spouses who qualify" are treated as a single taxpayer).
  4. Childless EITC on a joint return (Colorado, Illinois). This PR bars the joint return when either spouse can be claimed, as Make rules for a filer claimed elsewhere independent of which spouse is labelled head #10024 does federally (Publication 596). Illinois' expanded worksheet skips its dependency question for joint filers; reading it literally would keep the credit.
  5. Connecticut's 2022 child rebate reads claimability, not the claim input. Its "claimed" refers to the child being claimed on the taxpayer's 2021 return; whether a taxpayer can claim any dependent is IRC 152(b)(1), which turns on being claimable (with the Publication 501 exception), not on whether someone actually claimed the taxpayer. Alternative: read it as "the taxpayer was claimed" and use the claim input.
  6. Colorado low-income child care credit for a disabled child. This PR keeps a child under 13 who is incapable of self-care, because 39-22-119.5(3)(a)(IV) imports the federal credit, which keeps such a dependent regardless of 152(b)(1) ($250 in the test household). Alternative: read Colorado's own "dependent of the taxpayer" ((2)(b): the meaning in IRC 152(a)(1)) as barred by 152(b)(1) too, giving $0.

Invariants

  1. Swap invariance. Exchanging the two adults' head/spouse labels leaves every changed output unchanged, for any combination of claimed spouses.
  2. Monotonicity. Marking another filer as claimed never raises a changed output (none of them is capped by a liability the claim can raise).
  3. Identities. A return with a claimable filer has no Illinois dependent exemption, Colorado child tax credit, or Indiana additional exemption, and its Indiana base exemptions are $1,000 per filer.
  4. Unchanged when nobody is claimed. Every changed formula reduces to its previous value when no filer can be claimed (checked by the microsimulation below).

Tests

  • YAML: variable-named cases for every changed formula: a single claimable filer, a joint return with one claimable spouse under both head/spouse labellings, both spouses claimable, and nobody claimable, plus counterexamples (a claimable filer with a qualifying child keeps the Colorado EITC; a claimable filer aged 65 keeps the Connecticut credit; a two-return household). Expected values come from the statutes and repo parameters. RESULTS_PLACEHOLDER
  • Property test policyengine_us/tests/core/test_claimable_filer_co_ct_il_in_invariants.py reuses check_swap/check_monotone from 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 through co_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 in co_low_income_cdcc that one-return YAML cases cannot. PROPERTY_PLACEHOLDER

Microsimulation 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.md with 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 29a702c5f546338a6c350ec335aafee9d479d70a incorporates main after #10087 squash-merged as 2daebf2ca8, with main at 1ef55c1197c6b466912e2f081d548d277e04e360. Conflicts in nm_medical_expense_credit.py, nm_medical_expense_credit.yaml, and ca_cdcc_relevant_expenses.yaml take main's reviewed versions because this PR left all three unchanged from its federal base. Removed the obsolete federal changelog fragments claimable-filer-federal.fixed.md and head-dependent-elsewhere-swap.fixed.md. The exact replay check passes: the diff against main is byte-for-byte identical to git diff 35a2cbcbb9 3ebbde6840, preserving all 37 paths in this PR's original patch with no unrelated changes. No YAML syntax repair was needed.

MaxGhenis and others added 12 commits October 8, 2026 11:03
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>
MaxGhenis and others added 10 commits October 10, 2026 08:23
…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>
MaxGhenis and others added 2 commits October 11, 2026 12:20
…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 branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant