Repository navigation
Apply Iowa, Kansas, Louisiana and Maryland rules for a filer who can be claimed as a dependent - #10045
Draft
MaxGhenis wants to merge 5 commits into
Draft
Apply Iowa, Kansas, Louisiana and Maryland rules for a filer who can be claimed as a dependent#10045MaxGhenis wants to merge 5 commits into
MaxGhenis wants to merge 5 commits into
Conversation
…endent
A return on which the filer (or, if joint, either spouse) can be claimed as a
dependent has no dependents (IRC 152(b)(1)), and these states never applied
that or their own rules for such a filer. Now:
- Iowa: no $40 dependent credits (the personal credits stay, "even if you are
claimed"); a claimed single filer is exempt from tax only with income below
$5,000, a joint return with a claimed spouse is not exempt, and the single
tax reduction worksheet excludes a claimed filer.
- Kansas: a claimed filer has no exemptions in 2021-2023 ("enter '0' in the
Total Kansas exemptions box"); from 2024 the filing-status allowance stays
and dependents are zero; the food sales tax credit counts exemptions the
same way and has no child route.
- Louisiana: no dependent exemption (2021-2024).
- Maryland: no own exemption for a filer who can be claimed (filing status 6)
and no dependent or aged-dependent exemptions; no child tax credit; no
childless EITC on the pro forma federal credit without the minimum age; the
poverty line credit is barred for a claimable filer and, on a joint return,
kept for the other spouse on that spouse's earnings with the poverty level
for the exemptions that spouse may claim (10-709(a)(2)).
The Iowa, Kansas and Maryland dependent-exemption contrib reforms and the
state dependent exemption repeal keep these rules.
Kentucky needs no change: its care and tuition credits read the federal
credits the base branch already corrects; YAML cases pin that.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Tax-General 10-211(c) limits "the amount allowed for each exemption under subsection (b)(1) or (2)" once federal AGI exceeds $100,000 ($150,000 joint, head of household or surviving spouse), and the Resident Booklet's chart says "This reduction applies to the additional dependency exemptions as well". The aged dependent exemption ((b)(2)) was a flat $3,200 at any income; it now takes the same per-exemption amount as the personal exemption. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…claimable-filer-ia-ks-ky-la-md
#10024 now separates claimability (`claimable_as_dependent_on_another_return`) from an actual claim (`claimed_as_dependent_on_another_return`) and adds the claimant filing exception. Each rule now reads the fact its law names: - IRC 152(b)(1) "no dependents" rules (Iowa dependent credit, Kansas dependents and food sales tax credit child, Louisiana dependent exemption, Maryland dependents, aged dependents and CTC, and the childless pro forma EITC) read `head_or_spouse_is_dependent_elsewhere_without_filing_exception`, as the federal formulas do. - Rules whose text says "claimed" read the claim: Iowa's low-income exemption and tax reduction ("not claimed as a dependent on another person's Iowa return") and Kansas's 2021-2023 zero exemptions ("If you are claimed as a dependent"). - Maryland's filing status 6 ("Any person who can be claimed") keeps reading claimability for the own exemption and the poverty line credit. Maryland now counts its own exemptions in `md_personal_exemptions_count` instead of reading federal `exemptions_count`, so a federal-only reform of that count no longer changes Maryland's exemptions (review r1 finding 1). The changelog names the aged dependent AGI limit (r1 finding 2). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
YAML cases for a filer who can be claimed but is not claimed (Iowa exemption and tax reduction, Kansas 2021-2023 exemptions) and for a claimant who meets the filing exception (Iowa dependent credit, Kansas 2024 dependent exemption, Louisiana dependent exemption, Maryland exemption count, CTC and pro forma EITC, and the poverty line credit, which the exception does not restore). New md_personal_exemptions_count.yaml. The property test now draws claimable, claimed and filing-exception patterns, checks the unchanged-when-nobody-is-claimable identities (review r1 finding 3) and adds a filing-exception scope test. Also: the 2021 Iowa exemption anchor is page 38, not 37; Louisiana's 2023 instructions are cited; 422.13(1)(a) is labelled as the filing requirement. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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
Iowa, Kansas, Louisiana and Maryland each have rules for a filer who can be claimed as a dependent on another return that the model never applied. A return on which the filer (or, if joint, either spouse) can be claimed has no dependents unless the would-be claimant meets the filing exception (IRC 152(b)(1); Publication 501: "you and your spouse can't claim any dependents on your joint return"), and these states also have their own rules for the claimable or claimed filer. This PR applies the ones the federal fixes do not already cover. Each rule is symmetric between head and spouse and reads the fact its law names, using #10024's split inputs:
head_or_spouse_is_dependent_elsewhere_without_filing_exception, as the federal formulas do.claimed_as_dependent_on_another_return).It also fixes one related error in the same formulas (last row of the table). Kentucky needs no code change.
Stacked on the federal claimable-filer PR #10087 (
claimable-filer-federal, merged in at 35a2cbc) and on #10024. The 2026-10-09 audit (Subfleet research,sweep_s2) was written before those changes. The rows they already fix are listed below, with the YAML cases that now pin them.ia_exemption_creditia_is_tax_exempt(+ new parameterstax_exempt/dependent/income_limit,income_sources)ia_reduced_taxks_count_exemptions(2021-2023)ks_exemptions(2024+)ks_fstc(2021-2024)la_dependents_exemption(2021-2024)md_personal_exemptions_count(new),md_total_personal_exemptionsexemptions_countmd_aged_dependent_exemptionfederal_eitc_without_age_minimumeitc_demographic_eligiblemd_ctc,md_ctc_eligibleis_eligible_md_poverty_line_credit,md_poverty_line_credit_potential,md_local_poverty_line_credit(+ newmd_poverty_line_credit_earned_income,md_poverty_line_credit_income_level)md_aged_dependent_exemption(related fix)The Iowa, Kansas and Maryland dependent-exemption contrib reforms and the state dependent exemption repeal keep these rules (YAML cases added). In
repeal_state_dependent_exemptions.pythis PR changes only the Maryland and Kansas entries and lands first in that file's order: this PR, then #10043, then #10053.Audit rows already fixed by #10024 or the federal branch (not changed here)
eitc) and care credit (cdcc_potential). Pinned inia_eitc.yamlandia_cdcc.yaml.eitc) and care credit (cdcc). Pinned inks_total_eitc.yamlandks_cdcc.yaml.cdcc, and from 2026pre_obbba_cdcc. Both are built oncdcc_relevant_expenses, which now readscdcc_qualifying_childcare_expenses, capped bycdcc_limitfromcapped_count_cdcc_eligible. Pinned inky_cdcc_potential.yaml.eitc), refundable and nonrefundable care credits (cdcc_potential,cdcc), and through them the school readiness credit. Pinned inla_eitc.yamlandla_refundable_cdcc.yaml.cdcc), dependent care subtraction (count_cdcc_eligible,cdcc_relevant_expenses) and local EITC (eitc). The subtraction is pinned inmd_dependent_care_subtraction.yaml.Each claim was verified by reading the formula on this branch. No tax formula in these five states reads raw childcare expenses; the raw-expense readers are the CCAP and TANF benefit programs.
Maryland's separate returns: how far this models them
Maryland requires a married filer who can be claimed to file separate Maryland returns (filing status 6 for that spouse). The model keeps the federal joint tax unit and applies each rule per filer where the rule is per filer:
It does not compute two separate Maryland returns. These still use the joint unit:
A married person can be claimed only if the couple's joint return is "filed only to claim a refund of withheld income tax or estimated tax paid" (Publication 501), so these are low-income couples. From 2025 the two separate flat standard deductions sum to the joint one ($3,350 x 2 = $6,700), but the separate rate schedules can still give a different tax. Computing the two returns needs each spouse's income as on a separate federal return (Instruction 8), a split the Maryland model does not have.
Review r1 (Sol, at 704a604): responses
md_personal_exemptions_count, with the same rule as the federal count, and bothmd_total_personal_exemptionsandmd_poverty_line_credit_income_levelread it. The federalrepeal_dependent_exemptionsreform no longer reaches Maryland.max_exampleswas 2. The property test now checks the nobody-claimable identities: the Maryland count equalstax_unit_size, the poverty earned income equalseitc_earned_income, the poverty level equalstax_unit_fpg, and Louisiana pays $1,000 per dependent.max_examplesis now 3, and a filing-exception scope test is added. The microsim diff covers the rest.eitc_earned_income. Sharing the list would mean changing the federal variable.Readings for Max (for the US + core hub to batch)
exemptions_count) and drops a claimable-but-unclaimed filer's own.Not modeled (listed, not implemented)
Other findings (not fixed here)
ks_fstc2021-2023 leaves out the head of household extra exemption that K-40 Line E ("total number of exemptions") would include. The 2024 instructions exclude it explicitly: "Head of Household is not allowed an additional exemption for food sales tax credit".federal_eitc_without_age_minimumomits the federal separate-filer and section 911 conditions thateitc_eligibleapplies.repeal_state_dependent_exemptions, the overrides for other states (HI, OH, RI, VT, VA, WV and others) are left to the hub'srepeal-state-dep-exemptions-claimable-filerbranch, Apply New Jersey, North Dakota, Ohio, Oklahoma and Pennsylvania rules for a filer who can be claimed as a dependent #10043 and Apply Arizona, Arkansas and California rules for a filer who can be claimed as a dependent #10053.Invariants
Swap invariance. Every changed output, and each of the five states' income taxes, is the same under either head/spouse labelling.
Monotonicity. Marking another filer as claimed never raises:
Left out by design:
The poverty earned income holds only for non-negative self-employment income. On separate returns a claimable spouse's loss no longer offsets the other's earnings, which is intended.
Identities. With a filer claimable outside the filing exception: no Louisiana dependent exemption, no Maryland aged dependent exemption or CTC, and no pro forma EITC without a child. With every filer claimable: no poverty line credit.
Differential. Wherever the federal EITC's eligibility holds, Maryland's
federal_eitc_without_age_minimumequals the federal credit before take-up and filing.Unchanged when nobody can be claimed. The Maryland count equals
tax_unit_size. The poverty earned income and poverty level equaleitc_earned_incomeandtax_unit_fpg. Louisiana pays $1,000 per dependent. The microsim diff covers the rest; the only exception is the aged dependent AGI fix.Filing-exception scope. The exception never lowers the 152(b)(1) amounts. It does not change Iowa's exemption (an actual-claim rule) or Maryland's poverty earned income (a claimability rule).
Tests
YAML. Variable-named cases cover every changed formula and the inherited state readers above:
Expected values are computed from the law and the repository parameters, with the arithmetic in each case's comments. Results: pending (queued behind the shared heavy lock).
Property test.
policyengine_us/tests/core/test_claimable_filer_ia_ks_ky_la_md_invariants.pychecks invariants 1-6 with Hypothesis (claimable, claimed and filing-exception draws), a seeded population in the five states for 2022, 2024 and 2026, and an exception-scope population for 2022 and 2025. Results: pending.Microsimulation impact
Pending: default dataset, 2025 and 2026,
claimable-filer-federal(35a2cbc) vs this branch. The dataset sets the dependency flags for nobody, so only the Maryland aged dependent AGI limit can move totals.axiom: Iowa Code 422.12(1)(a),(2)(a)(3), 422.5(2)(a),(3)(a), 422.13(1)(a) queued (draft IA1) | K.S.A. 79-32,121, 79-32,121b queued (draft KS1) | K.S.A. 79-32,271 n/a: expired after 2024 and unencoded | Louisiana 2021-2024 dependent exemption n/a: expired and unencoded | Md. Tax-General 10-211, 10-704(c)(3), 10-709, 10-751 queued (draft MD1) | IRC 32 childless pro forma path queued (draft F1 addendum) | state readers of the federal EITC and CDCC (Iowa 422.12B/C, Kansas EITC/CDCC, KRS 141.067/.069, R.S. 47:297.4/.8 and 47:6104, Md. 10-716/10-208(e)) queued as F1 downstream companions | contrib reforms n/a: PE-only reform. Drafts held for Max's go, not filed (
claimable-filer-rules/axiom/axiom-parity-ia-ks-ky-la-md.mdplus the split-input addendum). No module on rulespec-us origin/main (16a6677190) derives claimability or tests a claimable filer.🤖 Generated with Claude Code