Repository navigation
Apply SSI's spouse rules to Medicare Savings Programs when only one spouse is on Medicare - #10633
Conversation
… in MSP Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
A spouse who is aged, blind or disabled but not eligible for SSI is an ineligible spouse (20 CFR 416.1801(c), 416.1160(d)), so child allocations and the rate difference in 416.1163 decide whether their income counts. A person tested alone now gets the one-person guideline, month by month. Illinois gives one $25 when only one spouse is on Medicare (PM 15-04-03-a). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
PR Review: Apply SSI's spouse rules to Medicare Savings Programs when only one spouse is on MedicareSummaryThe PR replaces the marital-unit sums in One rule is missing. SSI deeming can never leave a person better off than their own income would (20 CFR 416.1163(e)(2)). With the new one-person guideline, deeming now raises tiers: from QI to SLMB in the PR's own Case 32, and from no tier to QI for a person with up to about $2,218 of countable income and a spouse who earns just over $497. Mutation runs also show that three new terms are unpinned. One question about the eligible-couple row needs to be recorded and ruled on. Critical (must fix)1. Deeming a spouse's income can raise the person's tier, which SSI methodology forbids ( 20 CFR 416.1163(e)(2) (eCFR): "Your SSI benefit under the deeming rules cannot be higher than it would be if deeming did not apply. Therefore, your benefit is the lesser of the amount computed under the rules in paragraph (d)(2) of this section or the amount remaining after we subtract only your own countable income from an individual's Federal benefit rate." POMS SI 01320.400 (link) says the same: the couple-computation payment "is compared to the amount the individual is due based on their own income in the budget month; the lesser amount is the payment due." 42 U.S.C. 1396d(p)(1)(B) brings that methodology into the MSPs. Texas, the state in the PR's examples, builds it into its MSP spouse-to-spouse test as a pretest (MEPD Handbook Appendix XXIX, Rev. 26-2): "Person must first be eligible based on their own income in the pretest." It continues: "If eligible on individual pretest for QMB but not eligible for QMB in the special deeming eligibility test, re-budget for SLMB or QI-1 if applicable. The minimum income requirement for SLMB or QI-1 does not apply when the applicant is ineligible due to deeming." The PR tests a deemed person only on the combined income against the two-person guideline, and never against their own income and the one-person guideline. Before this PR every married person used the two-person guideline, so the cliff couldn't arise. Now it can, and the PR body says so ("a dollar of spouse income can also raise the tier"):
Fix: when the spouse's income is deemed (the deeming row, not a combined couple), make the person's tier the less generous of two results. The first is the tier from their own countable income against the one-person limits, which Should address1. Two new guards in the eligible-couple test are unpinned ( I ran mutations against
2. Child allocations from the spouse's earned income are unpinned ( 20 CFR 416.1163(b)(3): "We first deduct the allocations from your ineligible spouse's unearned income. If your ineligible spouse does not have enough unearned income to cover the allocations we deduct the balance from your ineligible spouse's earned income." Replacing 3. The eligible-couple row for a couple with only one spouse on Medicare reads sources that disagree, and this reading isn't recorded ( The PR combines an eligible SSI couple's income, and uses the two-person guideline, even when only one spouse is on Medicare. It reads "eligible" in 20 CFR 416.1801(c) as eligible for SSI. Two sources read the couple standard differently:
Under either reading, Case 26 (TX) tests A alone: $1,380 against the one-person guideline, so SLMB. The PR gives QMB on the two-person guideline, and its own comment in that case says so. The ruled candidate Suggestions
Verified correct
Axiom line assessment
CI statusAll 34 checks pass at head Branch statusThe branch is 87 commits behind main and 4 ahead, two of them merges. Verdict: REQUEST_CHANGES |
DTrim99
left a comment
There was a problem hiding this comment.
Requesting changes: 1 critical (deeming a spouse's income can raise a person's MSP tier, which 20 CFR 416.1163(e)(2), POMS SI 01320.400 and the Texas MEPD pretest forbid; e.g. own income $2,080 alone gives no tier but a spouse earning $500 gives QI; take the less generous of the own-income one-person tier and the deemed two-person tier), 3 should (two eligible-couple guards and the child allocation are unpinned; an unrecorded source conflict on combining income when only one spouse is on Medicare). The #10632 prerequisite holds. Full report in the comment above.
…es on Medicare Deeming a spouse's income could raise a person's Medicare Savings Program tier. 20 CFR 416.1163(e)(2) says the result under the deeming rules cannot be better than the person's own income gives, so the deeming row now applies only when it is the stricter test, measured as income against its guideline. Following the project lead's ruling of 2026-11-10, spouses are tested as a couple only when both are on Medicare (HCFA memorandum of October 2, 1997; Texas MEPD Appendix IX), and nothing is deemed from a spouse who is eligible for SSI, who is not an ineligible spouse (20 CFR 416.1160(d)). Tests: Case 32 now expects QI; Cases 26 and 33 are tested alone; new cases pin the cap, the $497 boundary and the allocation taken from a spouse's wages. The ruling is recorded in source_conflicts/candidates.yaml. Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com>
…into msp-abd-spouse-income # Conflicts: # source_conflicts/candidates.yaml
Since main's PR 10141, SSI combines a couple's income by the December facility status. Case 4 of msp_fpg.yaml had the spouse in a facility from July through December, so June showed both spouses with uncapped_ssi above zero, and the Medicare Savings Program rule for a spouse who is eligible for SSI tested each of them alone. The stay now ends before December. Every expected value is unchanged. Note the limit in _msp_spouse_income.py: when a stay lasts through December, the months before it still read the spouses as eligible for SSI. Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com>
|
Ruling by the project lead, 2026-11-10. A Medicare Savings Program applicant is tested as a couple only when both spouses are on Medicare, following the HCFA memorandum of October 2, 1997 and the Texas MEPD Handbook. A spouse who is eligible for SSI is not an ineligible spouse, so nothing is deemed from that spouse. |
|
Ready for another look. Your change requests of 5 November are covered under "Changes since review, 2026-11-11" at the top of the description:
A law check on 11 November added one limit, on Texas's own deeming amounts, with no code change. This PR should merge before #10632. |
PR Review (round 2): Apply SSI's spouse rules to Medicare Savings Programs when only one spouse is on MedicareSummaryHead Two new should-address items remain, both small and neither needing a formula change. The new "spouse eligible for SSI" guard zeroes the spouse's earned and unearned income, and only the unearned half is pinned. And the PR's new Case 35 asserts QMB for a Texas household that the Texas handbook's own deeming test would make SLMB, as the PR body now says, but that disagreement between 20 CFR 416.1163 and Texas MEPD Appendix XXIX is recorded only in the PR body, not as a candidate. The change to Prior findings
New findingsCritical (must fix)None. Should address1. The earned-income half of the "spouse eligible for SSI" guard is unpinned ( The ruling's second sentence, that nothing is deemed from a spouse who is eligible for SSI, is one guard applied to two amounts. Case 33 pins the unearned one: without it person1 is 100 + 1,300 - 25 = $1,375 on the two-person guideline. Nothing pins the earned one. No case in the Medicare Savings Program test folder gives wages to a spouse who is eligible for SSI and not on Medicare (the only disabled spouses are in Add a case. Texas, 2026-01: A is 68, tax-unit head, 2. Texas's own deeming amounts disagree with 20 CFR 416.1163 for a household the PR now tests, and the conflict is recorded only in the PR body ( Texas MEPD Handbook Appendix XXIX (Rev. 26-2) uses a "program-specific living allowance" of $474 for QMB, $568 for SLMB and $639 for QI-1, where SSI uses $497, both as the threshold in steps 4a and 4b and as each ineligible child's allowance in step 3. Those three amounts are the gaps between Texas's couple and individual limits for each program ($1,804 - $1,330, $2,164 - $1,596, $2,435 - $1,796). 20 CFR 416.1163(b)(1) and (d) use "the difference between the Federal benefit rate for an eligible couple and the Federal benefit rate for an eligible individual", and the model applies that $497 in every state. In round 1 this was a suggestion because every Texas case kept its tier under either figure. That is no longer true, and the PR body says so. Case 35 (TX, 2026-01): A has $1,340 and the spouse $497. The model does not deem ($497 is not above $497): $1,320, one-person, QMB. Under Appendix XXIX, A passes the QMB pretest on $1,320, the spouse's $497 is above $474 so it is deemed, 1,340 + 497 - 20 = $1,817 is above the $1,804 couple limit, and A is re-budgeted: $497 is not above $568, so nothing is deemed for SLMB and "the minimum income requirement for SLMB or QI-1 does not apply". Texas gives SLMB. By my reading, with no ineligible children this band (spouse's unearned income above $474 and up to $497, combined income above the QMB couple limit) is the only one where the tiers differ; with children the allocations differ in both directions (Case 24: $1,532 against the model's $1,486; Case 37: $1,223.50 against $1,200.50; same tiers). The model's choice is defensible: the regulation is explicit, and for QMB the Texas amount is more restrictive than SSI methodology. But it is a choice between a regulation and the administering state's manual that changes a tier, and CONTRIBUTING.md#source-conflicts puts every such choice in Fix: add a candidate (for example Suggestions
Verified
Axiom
CIAll 36 checks pass at head BranchThe branch contains main at Sibling #10632 (head Verdict: REQUEST_CHANGES |
DTrim99
left a comment
There was a problem hiding this comment.
Requesting two small changes; neither needs a formula change.
- The earned-income half of the "spouse eligible for SSI" guard is unpinned. Case 33 pins the unearned half; no case gives wages to a spouse who is eligible for SSI and not on Medicare, so dropping the guard on wages fails nothing. A worked case is in the report above (Should Address 1).
- The Texas deeming amounts are recorded only in the description. Appendix XXIX uses $474 for QMB where 20 CFR 416.1163 uses $497, and the new Case 35 asserts QMB for a household the handbook would make SLMB. That is a regulation-versus-manual choice that changes a tier, so it needs a candidate in
source_conflicts/candidates.yaml(Should Address 2).
The round-1 critical and all three should-address findings are fixed: deeming applies only when it is the stricter test (Cases 32 and 34 fail without it), the code follows the 2026-11-10 ruling exactly, and Case 37 pins allocations from wages. The change to msp_fpg.yaml Case 4 is a legitimate workaround for the main-side problem #10820 fixes, not a hidden wrong result. CI is green at 64c82efc1f.
…owances Add Case 38 to msp_countable_income.yaml: wages of a spouse who is eligible for SSI and not on Medicare are not deemed. Add the open candidate us-tx:msp-spouse-deeming-allowance for Texas MEPD Appendix XXIX's program-specific living allowances against 20 CFR 416.1163's rate difference, and name it in Case 35. Add 20 CFR 416.1160(d) to the couple-standard candidate's sources and update the eligible-spouse candidate's example for the 2026-11-10 ruling. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
Ready for another look at
|
PR Review (round 3): Apply SSI's spouse rules to Medicare Savings Programs when only one spouse is on MedicareSummaryHead Case 38 pins the wage half of the "spouse eligible for SSI" guard: its expected values are right by hand, and three of its five outputs fail if the guard on the spouse's earned income is removed. Texas's program-specific deeming allowances are now the open candidate Nothing was run locally in this round. Each claim below says whether it rests on a hand trace, on reading the code or a source, or on CI. Prior findings
New findingsCritical (must fix)None. Should addressNone. Suggestions
Verified
Axiom
CIAll 37 checks pass at head BranchThe branch contains main at Sibling notes:
Verdict: APPROVE |
DTrim99
left a comment
There was a problem hiding this comment.
Approving. Both round-2 items are fixed: Case 38 pins the wage half of the eligible-spouse guard (right by hand, and three of its five outputs fail without the guard), and Texas's program-specific allowances are recorded as the open candidate us-tx:msp-spouse-deeming-allowance, named in Case 35 and listed in the description. Suggestions 1 to 3 are taken, and no formula changed since round 2.
Two optional suggestions on the new candidate are in the report above: its start year (the 2025 handbook revision has the same line with 2025 amounts) and adding 42 U.S.C. 1396a(r)(2)(A) for the ruling. CI is green at 51ea1b4616. This should merge before #10632.
Fixes #10628
Changes since review, round 2 (2026-11-12)
msp_countable_income.yamlCase 38. A has $300 a month of unearned income, and a disabled spouse who is eligible for SSI and not on Medicare has $1,200 of wages. Nothing is deemed, so A has $280 on the one-person guideline and QMB. Without the guard on wages, A would have $847.50 on the two-person guideline, by hand trace.us-tx:msp-spouse-deeming-allowance, and Case 35's comment names it. The model keeps SSI's $497 pending the project lead's ruling. The Texas limit added on 2026-11-11 is now the fourth item under Source conflicts.us:msp-couple-standard-one-spouse-on-medicarenow lists 20 CFR 416.1160(d), which its note relies on, among its sources. The example inus:msp-eligible-spouse-ssi-definitiongives the statute's reading as it stood when ruled and as it stands since the 2026-11-10 ruling.64c82efc1f. Commit51ea1b4616changes no variable or parameter, so those figures hold at the head.Changes since review, 2026-11-11
msp_countable_income.yamlCases 32 and 34 to 36.us:msp-couple-standard-one-spouse-on-medicare): Cases 26 and 33.23a7c9a8f4.msp_fpg.yamlCase 4 now ends its facility stay before December; the last limit below says why.What and why
On main,
msp_countable_incomecombines spouses' income only when both are on Medicare, and deems income only from a spouse who is not aged, blind or disabled (ABD). An ABD spouse not yet on Medicare fits neither branch, so none of their income counts, whilemsp_fpgstill returns the two-person guideline.42 USC 1396d(p)(1)(B) measures income "as determined under section 1382a of this title for purposes of the supplemental security income program". This PR applies SSI's spouse rules when only one spouse is on Medicare. The new variable
msp_tests_as_couple(Person, month) decides whether a person tests as a couple, andmsp_countable_incomeandmsp_fpgboth read it. The new helper module_msp_spouse_income.pyholds their shared spouse calculations.msp_fpgis now MONTH-defined and returns the monthly amount, because a facility stay can change the guideline within a year. The PR adds no parameters.The first matching row applies, separately for each person, whether or not that person is on Medicare or ABD:
ssi_claim_is_jointwithoutssi_couple_computation_appliesuncapped_ssi > 0, so is not an ineligible spouse (20 CFR 416.1160(d))The stricter test is the one with the higher income relative to its guideline: own income against the one-person guideline, or income with the spouse's remainder against the two-person guideline. Each tier is a share of the guideline, so this gives the less generous of the two tiers.
Spouse A is 68 and on Medicare in Texas in 2026. Amounts are monthly. QMB, SLMB and QI limits are $1,803.33, $2,164 and $2,434.50 for two people, and $1,330, $1,596 and $1,795.50 for one. On main, each of these couples uses the two-person guideline.
The "before" values in the first two rows come from the run on main in #10628, and the others from reading main's code.
Some couples now test on one person's income and guideline, which lowers their limits, as in rows 4, 5 and 6. Row 6 is an eligible SSI couple with one spouse on Medicare: each is tested alone, so A's $1,380 is above the one-person $1,330 and SLMB.
A dollar of spouse income cannot raise the tier. With A at $1,680, a spouse at $497 gives $1,660 on one-person limits (QI). A spouse at $498 would give $2,158 on two-person limits (SLMB), because the income rises by $498 and the 120% limit rises by $568. A's own income is the stricter test there, so A stays at $1,660 and QI. With A at $1,340, the same dollar moves A from $1,320 and QMB to $1,818 and SLMB, because there the deemed test is the stricter one.
A spouse in a facility stays separate unless both spouses are on Medicare. In that case the model still tests them together, against 20 CFR 416.414(b)(3): $2,480 and the two-person guideline for spouses with $1,000 and $1,500.
The spouse now comes from
_ssi_spouse_index. Couples on Medicare with declared marital units keep their results. When a situation omits marital units, a child's wages no longer join a couple's combined income: spouses on Medicare with $1,000 and $500 and a teen with wages get $1,480, the two-person guideline and QMB.Source conflicts:
us:msp-eligible-spouse-ssi-definition). 42 USC 1382c(b) defines an eligible spouse as "an aged, blind, or disabled individual who is the husband or wife of another aged, blind, or disabled individual", and (f)(1) deems income from a spouse who "is not an eligible spouse". 20 CFR 416.1801(c) defines an eligible spouse as a person "Who is eligible for SSI", 20 CFR 416.1160(d) defines an ineligible spouse as someone who "is not eligible for SSI benefits", and POMS SI 00501.154 A.1 applies couple computation rules if "each is eligible for benefits". The model follows the regulations for these programs. When this was ruled, the statute's reading gave $2,480 and no tier in row 3, and $2,130 and SLMB in row 4. Since the ruling of 2026-11-10 below, spouses with only one on Medicare are not tested together, so that reading would now leave A alone in both rows: $980 and QMB in row 3, $1,680 and QI in row 4. Ruled by the project lead, 2026-11-02.us:msp-couple-standard-one-spouse-on-medicare). 42 USC 1396d(p)(2)(A) sets the limit by the poverty line "applicable to a family of the size involved" and does not say who is in the family, and under 20 CFR 416.1801(c) two spouses who are each eligible for SSI are a couple whether or not both are on Medicare. The HCFA memorandum of October 2, 1997 describes the federal default: "those eligible under the various SSI-related poverty level groups were treated as individuals or, if both members of a couple were eligible, as a couple". Texas MEPD Appendix IX: "Use the individual income range to test eligibility for each spouse separately if both are not eligible." The model follows the memorandum and the Texas handbook: spouses are tested as a couple only when both are on Medicare, and nothing is deemed from a spouse who is eligible for SSI. Tested together, row 6 would be QMB. Ruled by the project lead, 2026-11-10.us-il:msp-exemption-applicant-without-income). PM 15-04-03-a says: "If the person applying for or receiving AABD Medical has no income other than SSI or contributions, and another person included in the standard has income, deduct one $25 exemption". 89 Ill. Adm. Code 120.335(a)(1) exempts "the first $25.00 of a client's earned or unearned income other than SSI income, or contributions from a spouse or other individual" and is silent on a spouse's income. PM 06-12-01-c says: "A client is eligible for no more than one income exemption for their own income". The model follows PM 15-04-03-a: one $25 when only one spouse is on Medicare, including a spouse with no income of their own, and one $25 each, capped at each spouse's income, when both are. A 68-year-old with no income and a disabled spouse with $1,825 counts $1,800 and gets QMB, where the SSI $20 would leave $1,805 and SLMB. Ruled by the project lead, 2026-11-02.us-tx:msp-spouse-deeming-allowance,state: open). 20 CFR 416.1163(b)(1) sets each ineligible child's allocation at "the difference between the Federal benefit rate for an eligible couple and the Federal benefit rate for an eligible individual", and (d) uses the same difference as the deeming threshold: $497 a month in 2026, for every program. Texas uses its own amounts in its deeming test for these programs. Its "Program-Specific Living Allowance Allocation" is $474 for QMB, $568 for SLMB and $639 for QI-1 (MEPD Appendix XXIX), for the deeming threshold and for each ineligible child's allowance. The model follows the regulation in every state, pending the project lead's ruling. A Texas spouse with more than $474 and up to $497 a month is deemed there for QMB and not in the model; one with more than $497 and up to $568 is deemed in the model when that is the stricter test, and not there for SLMB. With no ineligible children, only the first band changes a tier: when the applicant's own income is within the one-person QMB limit and the deemed income is above the QMB couple limit. With ineligible children the allocations differ in both directions, and Cases 24 and 37 keep their tiers either way. Case 35's household, with $1,340 and a spouse with $497, is QMB in the model. By Appendix XXIX's steps the spouse's income would be deemed for QMB, the $1,817 would miss the two-person limit, and the applicant would be re-budgeted to SLMB.Related PRs and issues:
msp_countable_income.yamlCase 28. With this PR that household gives $2,480 and no tier, whether or not that PR has merged. A combined check of the two earlier heads (8aa0182c18here,2127c66dacthere) passed all 62 values inmsp_countable_income.yaml. It has not been rerun on the current heads.msp_fpgno longer readsspm_unit_is_married, so an unmarried person with declared marital units in a married couple's SPM unit gets the one-person guideline. Its asset half remains:msp_asset_eligiblestill reads that flag, so a person tested alone on income still faces the couple's combined resources and couple limit.is_ssi_ineligible_spouseandssi_couple_computation_appliesstill classify by ABD status, and that issue names non-takeup and immigration bars but not income above the couple rate.msp_tests_as_couplereadsssi_couple_computation_appliesandssi_claim_is_joint, and_msp_spouse_income.pyreadsuncapped_ssi, so a change there can change the facility row and the row for a spouse who is eligible for SSI.Limits:
64c82efc1fand unpaired figures from Case 30, unless marked as a code trace:axesrun on that household pairs them the same way, because_ssi_spouse_indexrules out a parent and claimed child only when the simulation has one marital unit. By code trace it gives the same figures. On main, by code trace, this household and the one above give the 70-year-old $1,680 and the one-person guideline._ssi_spouse_indexaccepts the head and spouse that tax roles infer, and those roles treat the next-oldest adult as the spouse. A parent, 70, with $1,700 and an adult child, 40, with $30,000 of wages gets $2,897.50 on the two-person guideline and no tier. With declared units the parent gets $1,680 on the one-person guideline and QI, as in Case 30. A widow, 92, living with a couple, 50 and 48, pairs with the 50-year-old. Two unrelated people on Medicare combine. On main, by code trace, these adults pair too.ssi_claim_is_jointneeded a head or spouse. Main now finds the couple through the spouse test (Apply 416.1163(e)(2) to deemed SSI and identify SSI couples by marriage, not tax roles #10141), so with declared marital units they should reach it. By code reading, not run._ssi_spouse_indexnow runs for each month inmsp_countable_incomeandmsp_tests_as_couple, andmsp_tests_as_couplecomputes the countable amounts thatmsp_countable_incomecomputes again. Microsimulation time was not measured.uncapped_ssican then be above zero for spouses whose combined income rules SSI out, and the model deems nothing between them. In the household ofmsp_fpg.yamlCase 4, the spouse on Medicare has $1,000 a month and the disabled spouse, who is not on Medicare, has $1,500. With a stay through December, the months before the stay give the spouse on Medicare $980, the one-person guideline and QMB (the review's run at64c82efc1f). The law gives $2,480, the two-person guideline and no tier. By code trace, main gives $980 and QMB as well.msp_fpg.yamlCase 4 ends its stay before December for this reason, and a NOTE in_msp_spouse_income.pyrecords it. Combine an SSI couple's income by each month's facility status #10820, open, fixes the cause. Once it is on main, Case 4's stay goes back to running through December and the NOTE is deleted: in this PR if that PR merges first, and in a follow-up otherwise.Test plan
msp_countable_income.yamlCases 21-38 andmsp_fpg.yamlCases 3-4, with expected values worked by hand from the sources above. They cover each row of the first table; allocations for ineligible children, from unearned income and then from wages (Cases 24 and 37); both sides of the $497 rate difference in each direction of the 416.1163(e)(2) comparison (Cases 31, 32, 35 and 36); a spouse's deemed wages (Case 34); an eligible SSI couple with one spouse on Medicare (Case 26); the wages of a spouse who is eligible for SSI (Case 38); Illinois's exemption on the deemed path and beside a spouse who is eligible for SSI (Cases 22, 29 and 33); a spouse entering a facility mid-year; a mixed-status couple (Case 28); and a parent and minor with omitted marital units (Case 30).msp_tests_as_couplehas no test file of its own: several cases assert it directly, andmsp_fpgfollows it one to one.msp_countable_income.yamlCase 15 person2 goes from $1,205 to $1,792.50, and Case 20 person2 from $790.83 to $1,780.83. Each now has the other spouse's income deemed. Neither is on Medicare, so no tier changes.msp_fpg.yamlCase 2 now has two people on Medicare in a marital unit, becausemsp_fpgno longer readsspm_unit_is_married.integration.yamlchanges comments only.source_conflicts/candidates.yamlwithstate: ruled, and the Texas deeming allowance is there asus-tx:msp-spouse-deeming-allowancewithstate: open. The# Source conflictmarkers wait for the register entries on rulespec-usmain.make format(ruff format on the changed variables)changelog.d/At head
51ea1b4616,msp_countable_income.yamlandmsp_fpg.yamlpass locally (42 cases), and so doestest_source_conflicts.py(103 tests).integration.yaml, unchanged since, last ran locally on the merge with main at23a7c9a8f4, when the PR's three test files passed 50 cases, one process at a time. Other suites were not run locally; CI validates.axiom: TheAxiomFoundation/rulespec-us#2010 queued
🤖 Generated with Claude Code