Conversation
…ncome SPC Regs 2002 reg 15(1) prescribes all social security benefits as Pension Credit income except those it lists; neither Carer's Allowance nor Carer Support Payment is listed. Pension-age Housing Benefit already counted both, so when Guarantee Credit ended the HB passport fell away onto income Pension Credit had ignored: a pensioner couple whose partner receives Carer's Allowance lost 1,779.24 of net income at private pension 9,700 to 9,800. The Scottish Carer Supplement (from 15 March 2026) is a separate component of Carer Support that reg 15(1)(ri) and HB (SPC) reg 29(1)(j)(xviiha) except from income (SI 2026/246). It moves out of carer_support_payment into a new scottish_carer_supplement variable, which the benefit, HBAI, spending and taxable-benefit aggregates add so their totals are unchanged. Adds YAML tests and Hypothesis properties (PC and HB assess the same carer income; net income does not fall where Guarantee Credit ends; the supplement moves PC and HB income only through income tax). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…king-age HB Adds a working-age Scottish carer case: HB income excludes the supplement (HB Regs 2006 Sch 5 para 75, SI 2026/246 art 20) while household_benefits, HBAI, gov_spending, pre-budget benefits and taxable social security income still include it. Adds an "added" changelog fragment for the new variable, and corrects the pre-fix cliff figure for the disregard-0 test (2,254.02). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Scottish carers receive Carer Support Payment in place of Carer's Allowance, but council_tax_reduction_applicable_income listed only carers_allowance, so a Scottish carer's reduction ignored the carer's benefit. Scottish CTR counts the Carer Support Payment component in full: SSI 2021/249 reg 57(1)(b)(iva) at working age and SSI 2012/319 reg 27(1)(j) at pension age. Neither counts the Scottish Carer Supplement (reg 57(1) is a closed list that omits it; reg 27(1)(j)(xxib) excepts it), so scottish_carer_supplement, split out in #1952, stays off the list. Adds YAML cases from statutory rates and Hypothesis properties: CTR income rises by exactly the CSP component when the carer claims, is invariant to the supplement except through income tax, and matches Housing Benefit income for carers in all three nations. Fixes #1955 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…duction Both Scottish CTR instruments deduct income tax only from earnings (SSI 2021/249 Part 6 Chapter 3; SSI 2012/319 regs 33 and 36), so in law the Scottish Carer Supplement does not touch CTR. The model deducts all income tax, so the property and YAML comments now say the dependence on the supplement through income tax is that existing approximation. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 1, 2026
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.
Fixes #1955
Stacked on #1952. This branch contains #1952, merged with
mainat da947ee6. Review only the commits afterb4d613a8. Retarget or rebase once #1952 merges. #1952 makescarer_support_paymentthe Carer Support Payment component only and moves the Scottish Carer Supplement intoscottish_carer_supplement. Addingcarer_support_paymentto the CTR list is correct only once that split is in.What changes
council_tax_reduction_applicable_incomelistedcarers_allowancebut notcarer_support_payment. In 2025 the model moves Scottish carers from Carer's Allowance (CA) to Carer Support Payment (CSP), so from then on their CTR income left out their carer's benefit. This PR addscarer_support_paymentto the list.scottish_carer_supplementstays off.Law
Read from legislation.gov.uk (CLML, valid from 2026-04-01; fetched 2026-09-30, independent re-check from fresh fetches pending):
carer_support_paymentrequirescountry == SCOTLAND), so the shared list cannot change CTR there. (What the English and Welsh instruments say about CSP: pending.)Rates (weekly): CSP £86.45 and SCS £11.70 from 5.4.2026 (SSI 2023/302 reg 16, as amended by SSI 2026/170 reg 12(3)); CSP £83.30 in 2025-26; SCS £11.29 from 15.3.2026 to 4.4.2026 (SSI 2025/340).
How PolicyEngine models Scottish CTR
simulated_council_tax_reduction_benunitruns one national scheme for Scotland, at working age and pension age alike. It has a maximum support rate of 1, a £16,000 capital limit, and withdrawal at 20% of income above the applicable amount (gov.local_authorities.scotland.council_tax_reduction). It uses the HB applicable amounts and premiums, including the carer premium, and this shared income variable. Draft #1966 will move Scottish and Welsh working-age claims onto their own income and UC rules. Itscouncil_tax_reduction_working_age_unearned_incomealready listscarer_support_payment, but it then subtractssupplement / (rate + supplement)of it, on the assumption thatcarer_support_paymentstill includes the supplement. Once #1952 lands, that subtraction removes £535.88 a year (4,495.40 × 11.70 / 98.15) of genuine CSP in 2026. Whichever of #1952 and #1966 merges second must drop it; I've left a note on #1966. After #1966, this PR's change still governs Scottish pension-age CTR, England pensioners and the English councils.Household examples (2026 unless stated; council tax £2,000; YAML cases)
mainthe award jumps to 2,000 when CA turns into CSP in 2025; it no longer does.Every row is a YAML case. The "before" figures come from running the same cases on the parent commit, which leaves CSP out of CTR income.
Tests
council_tax_reduction_carer_support_payment.yamlhas 10 cases, each worked from statutory rates with the arithmetic in comments. On the parent commit 6 fail, every one oncouncil_tax_reduction_applicable_income(for example "7000 differs from 11495.40"). The 4 controls pass on both: Wales on CA, a Scottish carer who does not claim, 2024 on CA, and an English pensioner. On the branch all 10 pass. The full YAML suite passes on the branch: 1,352 passed.test_council_tax_reduction_carer_income_properties.pyholds 3 Hypothesis properties. Each draw is a family in Scotland in 2026, single or couple, working-age without UC or pension-age, carer by hours or by a reported award. Each family runs on a private-pension grid from £0 to £40,000, with and without the claim.gov.social_security_scotland.carer_support_payment.supplementto 0 leaves CSP and every other counted benefit unchanged, and leaves CTR income plus income tax unchanged. The award never falls because of the supplement. Where both awards are partial it rises by exactly 20% of the tax on the supplement.On the branch: 3 passed (133 s). On the parent commit: properties 1 and 3 fail; 2 passes, because the parent counts neither CSP nor the supplement. The minimal counterexample is a single 25-year-old Scottish carer with a reported award and no income, whose CTR income rises by 0 instead of 4,495.40.
Mutation check, in a scratch worktree that also lists
scottish_carer_supplement: 5 YAML cases fail, each by exactly 608.40 (11.70 × 52), and the property run on the mutant is pending.Full
pytest policyengine_uk/tests/on the branch: pending.Invariants (hold for every input in the drawn domain): conservation (property 1); a metamorphic relation over the supplement (property 2); a differential identity with HB (property 3); monotonicity of the award in the carer's benefit (properties 1 and 2). They compare the model's own measures, so they hold whatever carer's benefit the model pays.
Enhanced FRS impact
These are real microsimulation runs: the parent commit
b4d613a8against this branch, on the published Enhanced FRS 2024-25 (policyengine-uk-data-privatetag 1.57.4,enhanced_frs_2024_25.h5, sha256 03fe15e4…). That is 2 runs, each covering 2025-2030. Totals are summed in float64.2026 detail:
would_claim_council_tax_reductionis reported CTR orclaims_all_entitled_benefits.The scripts (
dataset_impact.py,compare_impact.py) and their outputs are kept outside the repo.Axiom
axiom: pending (state of rulespec-uk for SSI 2021/249 reg 57 and SSI 2012/319 reg 27 being established).
Interactions with other open PRs
carers-overlapping-benefits, Carer's Allowance and Carer Support Payment ignore the overlapping-benefit reduction by State Pension #1953, not yet pushed).carer_support_paymentthe CSP payable after CSP Regs reg 16(2), and addscarer_support_payment_pre_overlap.🤖 Generated with Claude Code