Conversation
…ions SPC Regs 2002 Sch I para 1(1)(a)(ii), (b)(ii) and (c)(iii) with para 2: the addition needs no other resident aged 18 or over, ignoring qualifying-benefit recipients, blind people and qualifying young persons. Para 1(1)(a)(iii), (b)(ii) and (c)(iv) with reg 6(5): a carer benefit blocks or halves the addition only when it is paid for caring for a qualifying claimant or partner, so a claimant's own Carer's Allowance no longer blocks it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ce and carer tests A carer benefit paid to a claimant, partner or dependant is for a qualifying claimant or partner of the same unit when there is one, so it no longer also counts against another benefit unit in the household. Update the Carer Support Payment test: SPC Sch I para 1(1)(a)(iii) bars only a carer benefit paid for caring for the claimant, so a claimant's own CSP does not block it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…log entry test_severe_disability_addition_properties.py compares the addition with a reference written from the law text alone (differential), checks the rate bounds and the qualifying-benefit list, and checks that the residence condition, carer benefits and swapping partners behave as the law requires (metamorphic). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ergences SSCBA 1992 s.70(7) allows one carer's allowance per carer, so a carer outside a benefit unit no longer counts against every other unit in the household. The household's carers not caring within their own unit go to qualifying claimants or partners not yet cared for, one each, taking the units in order of their eldest member. The reference oracle and the metamorphic property follow; add YAML cases for the residence probes and the allocation. The documentation no longer says pension-age Housing Benefit applies the same test: HB counts an 18- or 19-year-old young person of another family as a non-dependant, and needs the claimant to qualify where the partner is blind. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…pendants, pool surplus carers - Never let the addition go negative when more than two members are supplied as claimant or partner. - A carer cares first for a qualifying claimant or partner in their own unit, then for another member who receives a qualifying benefit (such as a disabled child); only carers left over go to other benefit units. Each person has one carer (SSCBA 1992 s.70(7ZA)), so extra carers in a unit join the household pool. - Document the age-tie order. Test the age-18 boundary, the bound, the disabled-child and surplus-carer cases and the tie order. - The reference oracle now attributes carers by explicit person-to-person matching rather than the implementation's counting; the property generator draws couples and dependants in every benefit unit. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The working-age severe disability premium in the Income Support, Housing Benefit and Council Tax Reduction applicable amounts counted any adult flagged by is_severely_disabled_for_benefits, the tax credit condition (DLA care highest rate, PIP daily living enhanced rate, or any AFCS payment), and paid a couple the double rate when either adult was flagged. HB Regs 2006 Sch 3 paras 14 and 20(6), IS Regs 1987 Sch 2 paras 13 and 15(5), ESA Regs 2008 Sch 4 paras 6 and 11(2) and JSA Regs 1996 Sch 1 paras 15 and 20(6) qualify a claimant on Attendance Allowance (either rate), the DLA care component at the middle or highest rate, the PIP daily living component at either rate, or Armed Forces Independence Payment. A couple needs both partners to qualify, unless the other partner is blind, who is then treated as absent and the single rate applies. No non-dependant aged 18 or over may reside with them (ignoring non-dependants who receive a qualifying benefit or are blind), and no carer benefit may be paid for caring for them: a couple who both qualify get the double rate with no carer paid for either, and the single rate with one paid for only one. is_severely_disabled_for_benefits stays for the CTC disability element and the WTC severe disability element (CTC Regs 2002 reg 8; WTC Regs 2002 reg 17). It now counts higher-rate Attendance Allowance (WTC reg 17(2)) and Armed Forces Independence Payment instead of any AFCS payment. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Adds YAML cases where an 18 or 19 year old qualifying young person is in the family: they are neither a partner nor a non-dependant, so they cannot make a couple qualify, be the blind partner treated as absent, or stop a lone parent qualifying. The legacy-premium fixtures from #1896 now use PIP daily living at the enhanced rate, which qualifies for the premium and is also severe for tax credits. The oracle property draws carers less often and has explicit double-rate and blind-partner examples, with events that show which branches ran; the Pension Credit differential says it compares two encodings of one rule, on the cases every version of that addition agrees on. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
A benefit-unit member aged 18 or over who is neither the claimant, the partner, nor a child or qualifying young person (HB Regs reg 19; SSCBA s.142) is a non-dependant under reg 3 and bars the premium; the test previously exempted every benefit-unit member. Adds a YAML case for an 18-year-old not in education, and gives #1896's 19-year-old fixtures the entry-condition input that makes them qualifying young persons. Documentation now states the carer condition as the Regulations do (caring for a single claimant; the couple rates), notes that only the claimant's blind partner is treated as absent and that the model assumes the qualifying partner claims (HB Regs reg 82(1)), lists child disability payment among the unmodelled Scottish benefits, notes that the tax credit flag also gates UC's higher disabled child addition, and fixes the JSA pinpoint. The property tests compute each before/after pair in one simulation, and the Pension Credit differential now covers carers and couples with one qualifying partner, since #1896's addition applies the same rules. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The property tests now generate a 16-19 year old in the benefit unit, in or out of education and with an entry age either side of 19, and the oracle treats one who is not a qualifying young person as a non-dependant (HB Regs regs 3, 19). Explicit examples cover an 18-year-old not in education (no premium) and a 19-year-old qualifying young person (single rate); restoring the old all-benefit-unit exemption fails them. The non-dependant docstring now says that a 19-year-old is a young person only with a known entry age under 19, and that the young person's own-claim exclusion (HB reg 19(2), IS reg 14(2)) is approximated by receives_benefits_in_own_right. The qualifying-benefit docstring places child disability payment in Housing Benefit and the Scottish CTR scheme. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…der as person order Tests: a qualifying 17-year-old carer with no one else to care for in her own unit cares for the grandmother; two young carers in their own units cover both pensioners. Documentation: ties between units go by person order; the reference's within-unit helper returns two values. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…o sdp-carer-attribution
…ium and the Pension Credit addition Both rules ask whether anyone is entitled to and in receipt of Carer's Allowance or Carer Support Payment in respect of caring for the claimant or partner (HB Regs 2006 Sch 3 para 14(2)(a)(iii) and (2)(b); SPC Regs 2002 Sch I para 1(1)). The legacy premium counted only carers in the claimant's own benefit unit; the addition also attributed carers in other benefit units of the household. Both now read is_cared_for_by_carer_benefit_recipient, a person-level attribution over the people a carer benefit can be paid for (SSCBA 1992 s.70(2)). The residence tests stay separate (HB reg 3 non-dependants with para 14(4); SPC Sch I para 2). Fixes #1972 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ags, pin the qualifying lists - The attribution docstring says an unplaced award is for someone outside the household, and notes the s.70(1A) run-on. - The person-level property now checks other members (such as disabled children) against the reference's within-unit matching. - YAML cases for three claimant-or-partner flags. - A test that the Carer's Allowance, legacy premium and Pension Credit qualifying lists are the same model variables from 8 April 2013. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
Reviewed: approve with nits (keep as draft until #1946 and #1951 merge). One person-level attribution is the right design. HB Regs 2006 Sch 3 para 14(2)(a)(iii) and (b)(iii) (IS Sch 2 para 13 has the same words) make the carer limb independent of the non-dependant limb. So a non-dependant carer who is ignored under para 14(4) correctly bars the premium. Replacing
Verified: I read HB Regs 2006 Sch 3 para 14 and IS Regs 1987 Sch 2 para 13 (carer limbs). I took the ESA and JSA wording from the PR's table and did not fetch it. Locally, 169 YAML cases pass (the shared variable, the legacy SDP and the PC directory), as do the 12 properties. The five household probes gave results identical to #1951's. CI run 36810951630 passed all six jobs. |
…da-statutory-conditions
…ing-age-severe-disability-premium
Fixes #1972.
Summary
The legacy severe disability premium (#1946) and the Pension Credit severe disability addition (#1951) ask the same question in law: is anyone entitled to and in receipt of Carer's Allowance or Carer Support Payment in respect of caring for the claimant or partner? The two PRs answered it differently.
Both now read one person-level variable,
is_cared_for_by_carer_benefit_recipient. A carer in another benefit unit of the household therefore bars the legacy premium as it already barred the addition. That includes a non-dependant whose presence is ignored under para 14(4) because they receive a qualifying benefit or are blind: the non-dependant condition and the carer condition are separate limbs.The Pension Credit addition's results do not change. The residence tests stay separate, because that is where the law differs.
The law (read on legislation.gov.uk, 2026-09-30)
What changes
is_cared_for_by_carer_benefit_recipient(Person): someone receives a carer benefit for caring for this person.is_severely_disabled_for_carers_allowance(Person) and parametergov.dwp.carers_allowance.qualifying_disability_benefits: the s.70(2) list, which defines whom a carer benefit can be paid for.severe_disability_premiumandsevere_disability_minimum_guarantee_additioncount their qualifying claimants and partners who are cared for from the shared variable.num_severe_disability_addition_qualifiers_cared_for(Apply the Pension Credit severe disability residence and carer conditions #1951's Pension Credit-only count).has_non_dependant_for_severe_disability_premium(HB reg 3 and para 14(4)) andmeets_severe_disability_addition_residence_condition(SPC Sch I para 2).The attribution
The data say who receives a carer benefit, not whom they care for. Each award is attributed as #1951 did, now per person:
These are modelling assumptions, not law. The law takes "in respect of caring for him" as a fact.
Invariants
For every household:
severe_disability_addition_reference.household_carer_assignments).Tests
household/demographic/is_cared_for_by_carer_benefit_recipient.yaml.policyengine-core test policyengine_uk/tests/policy, 1,571 passed atb967481e(the three YAML files touched since were rerun: 88 passed). The two property files: 12 passed. A wider scratch fuzz (4,000 households, up to five benefit units, units with no claimant) against the reference matching: 0 mismatches.Impact on the Enhanced FRS
Every figure is from a full
Microsimulationrun on the Enhanced FRS 2024-25 (enhanced_frs_2024_25.h5, sha256e433e532…8712). Baseline:d82b5b3b(#1946 merged with #1951). Reform:1c30130b(andb967481ebefore the review fixes, with identical results). Three years per run; nothing is scaled.Household calculations change where a carer benefit is received in another benefit unit of the household.
Not modelled
receives_carer_benefitinheritscarers_allowance, which does not apply it.Review
An independent Opus review (subfleet job
20260930-231503-sdp-carer-attr-review-r1) approvedb967481eon reading, with five minor findings and six nits; it had no shell.1c30130baddresses them, and the two checks it could not execute (the YAML and property runs, and the parent-against-head comparison) are reported above.axiom: HB Regs 2006 Sch 3 para 14 and SPC Regs 2002 Sch I para 1 queued in TheAxiomFoundation/rulespec-uk#386 and TheAxiomFoundation/rulespec-uk#360 (both take "a carer benefit is paid for caring for the claimant" as a leaf input, so the encoding does not change; the new companion cases are added by comment).
🤖 Generated with Claude Code