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 27 commits into
Draft
Apply Iowa, Kansas, Louisiana and Maryland rules for a filer who can be claimed as a dependent#10045MaxGhenis wants to merge 27 commits into
MaxGhenis wants to merge 27 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>
…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>
- 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-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 The testedla_dependents_exemptionamount is $1,000 per dependent.max_examplesis now 3, and a filing-exception scope test is added. The pending hub microsimulation will check the remaining outputs.eitc_earned_income. Sharing the list would mean changing the federal variable.Response to the independent review
The supplied review examined
704a604a29; the assigned head228b34ad938e9773c1a76bf02ffd0f9e75f948bealready contains the six implementation/documentation responses above. This follow-up independently rereads the cited primary passages and adds the missing reform regression, rather than repeating those fixes.md_personal_exemptions_countin both consumers; add registered federal-repeal cases proving that four Maryland exemptions remain $12,800 and that the filing-exception poverty level remains $21,150 under both spouse labellings.eitc_earned_incomeexactly and the comment points there. A shared tax-unit calculation cannot supply the per-person allocation required here.Partial validation results from the direct foreground file runs are appended below. No microsimulation is run in this follow-up.
Readings for Max (for the US + core hub to batch)
These preserve the PR's existing choices. Items 3 and 6 identify missing inputs/return representation rather than discretion to ignore an explicit legal requirement. Amounts below illustrate the rule at issue, before unrelated tax limits unless stated.
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. The testedla_dependents_exemptionamount is $1,000 per dependent. The pending hub microsimulation will check the remaining outputs; 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. Current-checkout results are in the partial verification table below; the remaining required file runs were not completed.
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: 6 cases pass in the direct foreground file run, recorded below.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
Merge with main after #10087
Merged main (
6989afda4698d6c643f5dd0ef7ad19aff9f769b8) after #10087 squash-merged. Resolvednm_medical_expense_credit.py, its YAML test, andca_cdcc_relevant_expenses.yamlwith main verbatim because this PR did not change them against its federal base. Forks_cdcc.yaml, retained main's unrelated 2021 increased federal dependent-care exclusion regression and appended this PR's six 2024 claimable/nonclaimable cases unchanged. Removed two inherited federal/#10024 changelog fragments already consumed by releases on main.The resulting 51-file diff preserves this PR's original changes against
35a2cbcbb9. Only the context around the Kansas test additions differs, because main's new regression case is retained before those additions; no inherited federal changes remain.Verification refresh (2026-10-16): main advanced to
1ef55c1197c6b466912e2f081d548d277e04e360with the North Carolina and Nevada supplementation changes and their release updates. Merged that main into the pushed18240a3755as228b34ad938e9773c1a76bf02ffd0f9e75f948be, without conflicts or history rewriting. Those upstream changes touch none of this PR's 51 paths. The direct diff against the refreshed main still has exactly those 51 paths and identical added/deleted lines to35a2cbcbb9..5459eee8f8; only the Kansas unchanged context differs. All 26 changed test files are unchanged by this refresh.Historical verification at
228b34ad938e9773c1a76bf02ffd0f9e75f948beonly (not validation of the current follow-up head): all 26 changed test files passed (288 cases). Reused the 24 completed files / 267 passes recorded at18240a3755; reran the Kansas (9 passes) and Maryland (12 passes) dependent-exemption contrib files at228b34ad938e9773c1a76bf02ffd0f9e75f948be, one foreground process per file with all requested thread caps. Ruff 0.15.5format --checkandcheckpass on all 23 changed Python files;make formatalso passes with all 6,993 Python files unchanged. No conflict markers or whitespace errors remain. The PR remains a draft.Independent review partial verification (2026-10-16 21:44 UTC)
RESULT: BLOCKED. The required current-checkout rerun remains unfinished: 12/27 changed files completed successfully, 122 actual passed cases; 15 file runs not completed. The prescribed foreground rerun could not finish within the six-hour job limit; the active test process was stopped and joined before the deadline. This is an incomplete validation result, not an assertion that every changed file passes.
HEAD:
594045e742dce9567926b96e8e852a4ebb70260c. Current main95ac9bd01ce349bd388f3fd77c15f40bcb31d165was merged without history rewriting after confirming the assigned PR head228b34ad938e9773c1a76bf02ffd0f9e75f948be. The PR remains a draft. The historical 288-pass paragraph above describes the old assigned head only; those old runs are not included in the current totals below.Primary passages were independently reread; the existing policy readings are retained and all eight alternatives with citations and worked numbers remain in Readings for Max above. Finding dispositions:
eitc_earned_income.Fail before: temporarily replayed only the two consumer formulas from reviewed commit
704a604a29, then restored the current formulas in afinallyblock. The new exemption case calculated $6,400 instead of $12,800. Both poverty-threshold spouse-label cases calculated $15,650 instead of $21,150. All three failures were calculation failures, not import or collection failures.Pass after: the three new regressions pass in completed direct file runs: the seven-case Maryland total-personal-exemption file and both new poverty-threshold cases. All 12 successful current file runs / 122 passed cases below used the prescribed interpreter and direct single-file CLI (or
python -m pytest -qfor the Python file), one foreground process at a time,PYTHONPATHset to this checkout, all requested numerical thread caps set to four, andOMP_WAIT_POLICY=PASSIVE. No preload/fork alternative was used. No folder runs, full suites, or microsimulations were run in this follow-up.Ruff 0.15.5
formatandcheckandmake formatpassed, as recorded in the evidence logs. These formatting results and the three new regression passes do not substitute for the remaining required file runs.Only full successful records supported by their actual pass logs contribute to the completed count. Expected cases in uncompleted files are planning counts, not passes, and do not contribute to the total.
policyengine_us/tests/)core/test_claimable_filer_ia_ks_ky_la_md_invariants.pypolicy/baseline/gov/states/md/tax/income/exemptions/md_aged_dependent_exemption.yamlpolicy/baseline/gov/states/md/tax/income/credits/poverty_line/md_poverty_line_credit_earned_income.yamlpolicy/baseline/gov/states/md/tax/income/exemptions/md_personal_exemptions_count.yamlpolicy/baseline/gov/states/la/tax/income/exemptions/personal/la_dependents_exemption.yamlpolicy/baseline/gov/states/ia/tax/income/ia_cdcc.yamlpolicy/baseline/gov/states/ia/tax/income/ia_eitc.yamlpolicy/baseline/gov/states/ia/tax/income/ia_exemption_credit.yamlpolicy/baseline/gov/states/ia/tax/income/ia_income_tax_before_refundable_credits.yamlpolicy/baseline/gov/states/ia/tax/income/ia_is_tax_exempt.yamlpolicy/baseline/gov/states/ks/tax/income/exemptions/ks_count_exemptions.yamlpolicy/baseline/gov/states/ks/tax/income/exemptions/ks_exemptions.yamlpolicy/baseline/gov/states/ks/tax/income/ks_cdcc.yamlpolicy/baseline/gov/states/ks/tax/income/ks_fstc.yamlpolicy/baseline/gov/states/ks/tax/income/ks_total_eitc.yamlpolicy/baseline/gov/states/ky/tax/income/credits/dependent_care_service/ky_cdcc_potential.yamlpolicy/baseline/gov/states/la/tax/income/credits/cdcc/la_refundable_cdcc.yamlpolicy/baseline/gov/states/la/tax/income/credits/la_eitc.yamlpolicy/baseline/gov/states/md/tax/income/agi/md_dependent_care_subtraction.yamlpolicy/baseline/gov/states/md/tax/income/credits/ctc/md_ctc.yamlpolicy/baseline/gov/states/md/tax/income/credits/eitc/federal_eitc_without_age_minimum.yamlpolicy/baseline/gov/states/md/tax/income/credits/poverty_line/md_poverty_line_credit_income_level.yamlpolicy/baseline/gov/states/md/tax/income/exemptions/md_total_personal_exemptions.yamlpolicy/contrib/state_dependent_exemptions/repeal_state_dependent_exemptions.yamlpolicy/contrib/states/ia/dependent_credit_reform_test.yamlpolicy/contrib/states/ks/dependent_exemption_reform_test.yamlpolicy/contrib/states/md/dependent_exemption_reform_test.yamlThe property/invariant file completed with 6 actual passed cases.
Required next step: complete every file marked not completed using the same direct one-file foreground process and thread caps before treating this follow-up as fully verified.