Repository navigation
Use the OBBBA federal credit for Kentucky's 2026 dependent care credit - #10267
Conversation
KRS 141.067 sets Kentucky's household and dependent care service credit at 20% of the federal credit allowed under IRC section 21, and KRS 141.010(21) fixes that Code at a reference date. 2026 Ky. Acts ch. 161, sec. 6 moved the date from December 31, 2024 to December 31, 2025 for tax years beginning on or after January 1, 2026, so Kentucky adopts the One Big Beautiful Bill Act's section 21 rate increase from 2026. The model still read the pre-OBBBA credit through a hard-coded 2026 year check. - Add gov.states.ky.tax.income.irc_conformity.obbba (false through 2025, true from 2026) and branch ky_cdcc_potential on it. - Make the pre_obbba_cdcc mirrors equal their live variables in years the Act does not change section 21 (including 2021's refundable credit), so a state can read them through a conformity parameter in any year without changing pre-2026 results or ignoring cdcc inputs. - YAML cases for 2025 and 2026 (the reviewer's household, the liability cap, both phase-downs) and a Hypothesis property test of the 20% match. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…YAML Review round 1 (GPT-6.1 Sol) on 9d2bdde: - The mirrors read gov.irs.credits.cdcc.phase_out.amended_structure.applies as the years the Act changes section 21, but that is a policy lever: a reform switching it off in 2026 kept the 50%/35% rates and made the mirrors live ($200 -> $350). Key them on P.L. 119-21 sec. 70405(b)'s effective date (taxable years beginning after December 31, 2025) instead, and add a YAML case for that reform. - YAML accepts parameter inputs, so test the Kentucky conformity lever there (2026 off -> $40; 2025 on -> unchanged) and drop the reformed system from the property test. Invariant 6 now checks the effective date against the baseline schedule. - Fix the stale comment in pre_obbba_cdcc.yaml ($50,000 is past the first phase-out start; the 2025 rate is the 20% floor). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Review round 2 nit: 2021's American Rescue Plan Act rates also differ from the frozen snapshot, so "the first year the schedule departs" needs the range the assertions cover. Docstring only. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Hand-off to the US + core hubHead: Independent review (briefs, outputs and staged primary sources in
Rounds 2-4 agree on the code: Passed locally, one file per process:
On CI at hand-off (run 39173805147): 12 pass, 5 pending (Baseline contrib-hhs, reform, ssa-usda; Microsimulation; Rest Python shard 1), none failing. Rest Python shard 2, which holds the new test's Pending / owed:
Depends on: none. Decision: none; the only reading is the existing one ("federal credit allowed" = Follow-ups (proposed as session cards; notes in the shared side-session folder
🤖 Generated with Claude Code |
|
US + core hub merge audit, us#10267 at
|
Summary
Kentucky's household and dependent care service credit is 20% of "the federal credit allowed under Section 21 of the Internal Revenue Code" (KRS 141.067). KRS 141.010(21) fixes that Code at a reference date. 2026 Ky. Acts ch. 161 (HB 757), sec. 6 moved the date from December 31, 2024 to December 31, 2025, for taxable years beginning on or after January 1, 2026. The One Big Beautiful Bill Act (P.L. 119-21) was enacted on July 4, 2025, so Kentucky's 2026 Code includes its section 21 rate increase. The same Kentucky act's changes to KRS 141.019 (sec. 7) and 141.0101 (sec. 55) do not decouple section 21, and KRS 141.067 is unchanged.
The model still read the pre-OBBBA federal credit from 2026, through a hard-coded
period.start.year >= 2026branch added in #8933 (when the reference date was still December 31, 2024). A 2026 single parent with $50,000 of earnings and $1,000 of care for a child of five got $40; the law gives $70. Found by the hub's review of #10045 (should-fix 3).Kentucky's reference date by tax year
Read from each amending Act (each is the KRS 141.010 definition of "Internal Revenue Code"):
Only the 2026 date includes the Act.
Changes
gov.states.ky.tax.income.irc_conformity.obbba: Kentucky adopts the Act's Code amendments if true. False from 2018, true from 2026. It cites KRS 141.010(21) and both Acts, and notes that Kentucky's specific decouplings (KRS 141.019 and 141.0101, such as sections 174A, 224 and 225) are outside it.ky_cdcc_potentialreadscdccwhen the parameter is true andpre_obbba_cdccotherwise, replacing the hard-coded year.pre_obbba_cdcc_potential,pre_obbba_cdcc,pre_obbba_capped_cdccnow return their live variables (cdcc_potential,cdcc,capped_cdcc) for tax years before the Act's section 21 amendment applies. Before, they applied the 2025 rate schedule to any year, which was wrong for 2021 (the refundable American Rescue Plan Act credit) and ignoredcdccinputs.OBBBA_SECTION_21_EFFECTIVEbeside the existing frozen-schedule instant.cdccinput still flows through (the existing 2023ky_cdcc.yamlcase and the 2025integration.yamlcase).Audit of Kentucky's other federal-conformity readers
I grepped Kentucky's variables and parameters for frozen or year-gated federal reads (
pre_obbba,period.start.year, parameter instants,frozen).ky_cdcc_potentialwas the only one. Every other Kentucky reader of federal law reads the live federal variables, so none is pinned to a stale Code. Some have their own gaps (below):ky_itemized_deductions_unitaddsitemized_deductions_less_saltand subtractsmedical_expense_deduction. So from 2026 it includes the Act's 0.5% charitable floor, which Kentucky now adopts (KRS 141.019(2) allows Chapter 1 deductions "except" a list that doesn't name section 170). It also has existing gaps unrelated to the reference date. Mortgage interest on a second home passes through, though KRS 141.019(2)(j) limits it to one principal residence from 2026 (Cap Kentucky qualified residence interest at principal-residence interest from 2026 #10003 handles that). Non-wagering casualty losses pass through, though KRS 141.019(2)(b) excludes section 165 losses other than wagering losses. The review also notes that wagering losses are not in the imported list; I have not verified that.ky_tuition_tax_credit_potentialis 25% of the live American Opportunity and Lifetime Learning credits.ky_agistarts from federal AGI._ky_combined_separate.py) readsky_cdcc_potential, so it picks up the fix.No other provision changes output with the new reference date, so the "another affected provision" tests are downstream ones:
ky_income_taxfor the reviewer's household, and the federal mirror in 2021.Before and after
YAML expectations are hand-computed from IRC 21(a)(2), IRC 26 and KRS 141.067. On unchanged main (
fab18b7d6b), the first column fails where it differs.ky_cdcc.yamlunless noted)ky_cdcc_potentialky_income_taxpre_obbba_cdcc.yaml: 2026 single parent, reform: amended second phase-out offpre_obbba_cdcc.yaml: 2021 joint, $50,000, two children, $6,000New-case results: 3 of the 7 baseline
ky_cdcc.yamlcases and the 2021pre_obbba_cdcc.yamlcase fail on main (the two Kentucky reform cases need the new parameter, so they can't run there); all 9 and all 4 pass here. The amended-phase-out reform case fails at the round-1 head (9d2bddeb60) with $350, as the review predicted, and passes now.Invariants
Stated in
test_ky_cdcc_federal_match.py's docstring and checked there on a 16-unit boundary grid and 10 Hypothesis batches of up to 20 Kentucky tax units (the reform lever is in YAML):ky_cdcc_potential = 0.2 * cdccin 2025, 2026 and 2027.cdcc >= pre_obbba_cdccandcdcc_potential >= pre_obbba_cdcc_potential: the Act never lowers the credit, so conformity never lowers Kentucky's.cdcc_potentialequals an independent reference written from IRC 21(a)(2), and from 2026 the Act's schedule, times the relevant expenses (a differential test of the federal schedule Kentucky now inherits).0 <= ky_cdcc <= ky_cdcc_potential.amended_structure.applies.The conformity lever is checked in
ky_cdcc.yaml. With the parameter off in 2026, Kentucky gets 20% ofpre_obbba_cdcc($40); with it on in 2025, nothing changes. Invariant 3 shows conformity never lowers the credit.Mutation checks (local), each made and reverted:
ky_cdcc_potentialalways readpre_obbba_cdcc(the old behaviour) fails invariant 1.amended_structure.applies) fails the amended-phase-out reform case inpre_obbba_cdcc.yaml.Test cost
The hub asked for a property test of the 20% match. Python is needed for the Hypothesis generator, and for a reference rate written from the statute rather than from the model's parameters. The reform lever needs no Python: YAML parameter inputs cover it.
Simulationholding all four years, and no reformed system is built in Python./usr/bin/time -l, thread caps 4):test_ky_non_refundable_credit_order.pyalone: 19.0 s wall, 1.50 GiB peak.Simulationis freed. Other tests in a CI process warm those years too, so the in-group increment should be smaller still.ky_cdcc.yamlwent from 8.3 s to 25.5 s andpre_obbba_cdcc.yamlfrom 9.3 s to 17.3 s locally, in the state and IRS YAML shards.policy. In CI run 39155269843 (2026-10-18) that group took 7:40 at an 11.03 GiB peak (rest-python-policy-resources.txt). At this head, CI run 39173805147 put the same group at 9:16.50 and an 11.09 GiB peak (11,632,368 KB), about 0.06 GiB (0.5%) above that baseline. These are Linux CI numbers, separate from the local ones above.Known gaps (not changed here)
ky_cdcc_potentialsays so. Separate follow-up.ky_itemized_deductions_unitapplies no section 68 reduction. I have not checked how Kentucky's forms apply it (no 2026 Schedule A exists yet), so this needs its own check. Separate follow-up.cdcc_relevant_expenses, so their expense base reflects the Act. Example: a 2026 joint couple with $50,000 of wages each, two qualifying children aged 3 and 6, $6,000 of care and $6,000 of employer benefits gets a $0 mirror credit, against $200 with the pre-Act $5,000 cap ($6,000 less $5,000, at 20%). This affects eligible filers with more than $5,000 of employer benefits. Married couples filing separately can't claim the credit unless treated as unmarried, and then use the $5,000 single cap. It reaches Maine and Vermont, whose static conformity reads the mirrors, and the Kentucky conformity-off reform, but not Kentucky's baseline, which reads the live credit from 2026. It goes to the Maine and Vermont follow-up.Methodology choices
None new. One existing reading stays: "the federal credit allowed" is
cdcc, the section 21 credit after the IRC 26 limit (the smaller of the computed credit and the Form 2441 Credit Limit Worksheet amount), as before this PR.Hub microsimulation impact (current head)
A real microsimulation on the default dataset, main at the merge base
fab18b7d6bagainst this PR's headf78b6e0d97, for 2025 and 2026. The runs went one at a time under the shared heavy-job lock. Sums are weighted.ky_cdccky_income_taxky_non_refundable_creditscdccstate_income_taxincome_taxhousehold_net_incomehousehold_benefits2025 shows no change, as expected: Kentucky's conformity date moves for 2026 only.
Comparison files are in
fixes/10267-impact/on the hub host.Impact
The hub runs the microsimulation impact. From 2026 the Kentucky credit rises for filers whose federal credit allowed rises: a 2026 section 21 rate above 20%, and federal liability above the pre-OBBBA credit. For example, a joint couple with $30,000 of wages, two children and $6,000 of care has a 42% rate but no federal liability, so both credits stay $0. 2018-2025 are unchanged.
Review round 1
GPT-6.1 Sol reviewed
9d2bddeb60and requested changes. It confirmed the law, every reference date and anchor, and every YAML expectation; 50 tests passed. Responses:ky_cdcc.yaml, the Python reformed system is gone, and the justification above is corrected.queuedlacked a blocker and corpus check (should-fix): rulespec-us#1793 now records the blocker (signed, billed encoder runs dispatched by the Axiom eng hub after production-signing approval, d1142/d1159) and the corpus facts. The KRS 141.010 source in scope2026-09-14-income-tax-chapteris byte-identical to the official PDF. The union release lineage fromus-rulespec-2026-09-14-wave4-unionthroughus-rulespec-2026-10-13-w7-bundle-gaps-unioncarries that scope; four later releases do not, so the issue names them and asks for a compatible release to be pinned at dispatch. The citation path at dispatch is left as a stated check.Review round 2
GPT-6.1 Sol approved
338fd8db43(~/reviews/us-hub/reviews-gen/us-10267/review-r2.md): every round-1 finding fixed or answered, all 13 YAML cases agree with hand arithmetic, and the new reform case fails against the round-1 code as intended. It left three nits, all addressed:f78b6e0d97, docstring only).Review round 3 (delta)
A delta review (Opus 5.5,
~/reviews/us-hub/reviews-gen/us-10267/review-r3.md) approved the code atf78b6e0d97: docstring only, matching the test, ruff clean. It ran the head and found two body claims still too strong, both fixed above with no code change:It also tightened the invariant 6 and release-lineage wording. A read-only confirmation (GPT-6.1 Sol,
review-r4.md) verified those fixes and asked for one more precision fix to the section 129 example (the household's children and wages, and the married-filing-separately case), applied here.axiom: us-ky/statute/krs/141.010 (KRS 141.010(21) composed into us-ky/statutes/11/141/067) TheAxiomFoundation/rulespec-us#1793 queued. The 141.067 module computes 20% of a caller-supplied federal credit, and no module encodes the reference date or connects
us:statutes/26/21#cdcc; the issue is dispatch-ready under d1142 with companion tests from the same statute arithmetic as the YAML.🤖 Generated with Claude Code