Repository navigation
Conversation
Income Support, Housing Benefit, Pension Credit and council tax reduction counted property_income as income and deducted tax on rent, interest and dividends. The regulations treat income derived from capital as capital (IS reg 48(4) and Sch 9 para 22; HB reg 46(4) and Sch 5 para 17; HB (SPC) Sch 5 para 22; SPC Sch IV para 18; the CTR schemes' equivalents) and disregard tax only on income taken into account. Rent for letting part of the home stays income less the £20 weekly sub-tenant disregard. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Hand-computed YAML cases for Income Support, working- and pension-age Housing Benefit, Pension Credit and the English, Welsh and Scottish council tax reduction schemes, and Hypothesis properties: invariance to income from capital, home-letting bounds and monotonicity, and bounds on the tax the means tests deduct. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Resolve council_tax_reduction_applicable_income: keep #1909's guarantee credit and savings-credit-only rules and this branch's income-from-capital rules, documentation and references. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 1, 2026
21 of 52 tasks
…-capital-derived-income Resolve the four means-test income formulas: keep #1896's claimant/partner member filter and this branch's income-from-capital rules (no property income, legacy_means_test_income_tax in the tax line, home-letting income). Keep #1952's Pension Credit references and this branch's Sch IV para 18 reference, and #1926's HB docs with this branch's sentence. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Count land and property other than the home in council tax reduction capital (national schemes and the modelled local schemes), so a let property worth more than 16,000 ends CTR now that its rent is not income (SI 2012/2885 Sch 1 para 31(1); WSI 2013/3029 reg 30). Shares stay out pending the pension-wealth split (#1936). - Deduct only the Step 4 tax on counted income (ITA 2007 s.23), less its pro-rata share of Step 6 reductions; Step 7 charges (HICBC, annual allowance charge; s.30) are not tax on counted income. - Select the Scottish working-age scheme under SSI 2021/249 reg 3 (under pensionable age, or over it with UC or a qualifying income-related benefit) and date its exclusion of sub-tenant rent from 1 April 2022; before then SSI 2012/303 Sch 4 para 25 counted it less 20. - Count only the claimant's and partner's sublet rent; give the pension-age disregard its pre-October-2003 value (4) so early years compute. - Update #1909's CTR property test to the new income and capital rules, hold Marriage Allowance fixed in the invariance property, qualify the isolated HB fixture, and add YAML cases for each fix. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… tax attribution docs - Add council_tax_reduction_tariff_income to the national schemes' general route: pensioners £1 a week per £500 over £10,000 (SI 2012/2885 Sch 1 para 37; WSI 2013/3029 Sch 1 para 31; SSI 2012/319 reg 27(2)); Wales and Scotland under pension age £1 per £250 over £6,000 (WSI 2013/3029 Sch 6 para 33; SSI 2012/303 reg 51; SSI 2021/249 reg 63(1)(b)); with UC the £4.35 monthly assumed yield. Nil on the Pension Credit routes and for IS/income-based JSA/income-related ESA recipients. - Value land and property in CTR capital less 10% sale expenses (capital.sale_expenses), moving capital_sources to capital.sources. - Take UC recipients' CTR capital from the UC assessment (default scheme para 37(6); WSI 2013/3029 Sch 6 para 9(6); SSI 2012/303 reg 26), except Scotland from April 2022; apply Oxford's Appendix 6 disregard. - Select the Scottish working-age scheme as ~council_tax_reduction_pensioner, so a UC award held only by people over pension age does not select it. - Correct the tax helper's documentation: foreign tax credit and finance-cost relief are source-specific (TIOPA 2010 ss.18, 36; ITTOIA 2005 ss.274A-274AA); other_tax_credits has no source, so pro rata stays a stated convention. - New YAML cases for each; update #1909's capital and tariff expectations; tariff property test; #1909's property reference includes tariff income. 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
PolicyEngine UK made two errors in the legacy means tests: Income Support, Housing Benefit, Pension Credit and council tax reduction.
property_income, which is rent from property other than the home, as income.The regulations treat income derived from capital as capital, not income. The capital counts instead, through the capital limits and tariff or deemed income. Tax is disregarded only on income that is taken into account. Rent for letting part of the claimant's own home is the exception: it stays income, less £20 a week per occupier.
This PR makes five changes:
property_incomefrom IS, HB (working age and pension age), Pension Credit and council tax reduction income.gov.local_authorities.council_tax_reduction.capital.sources). Land and property are valued at 90% of market value for the expenses of sale (capital.sale_expenses).council_tax_reduction_tariff_incomeadds the income the national schemes (England for pensioners, Wales, Scotland) treat capital as yielding. Before, they had none. This is the tariff part of Pensioner council tax reduction: applicable amount (post-April-2021 allowance, children, severe disability premium) and income (Child Benefit, tariff income) #1933.legacy_benefits_home_letting_income(BenUnit). It is the claimant's and partner'ssublet_incomeless the sub-tenant disregard, assuming one occupier. The disregard is £20 a week; working-age claimants had £4 before April 2008, as did everyone before Pension Credit in October 2003. It goes into IS, HB, Pension Credit and council tax reduction. Scotland's scheme for people under pension age excludes it from 1 April 2022.legacy_means_test_income_tax(Person), deducted in place ofincome_taxin all four tests. It is the tax on the income these tests count: the Step 4 tax on earnings, pensions and taxable benefits (ITA 2007 s.23), less that tax's pro-rata share of the Step 6 reductions. Step 7 charges are not deducted.~council_tax_reduction_pensioner, from Apply the benefit cap to mixed-age couples on Universal Credit, and keep them off pensioner Council Tax Reduction #1944). A UC award held only by people over pensionable age no longer selects it.Universal Credit is unchanged: its own fix is #1950. Tax credits already count investment and property income, and that is correct (see "Tax credits").
Worked case (2026), from SPC Regs Sch IV para 18: a single pensioner aged 80 with a State Pension of £10,000 and £4,000 of rent from a let flat.
Law
All texts were read today from legislation.gov.uk (
/data.xml). Verbatim copies, the fetch script and a paragraph locator are kept with the review notes.Working age. IS Regs 1987 reg 48(4) (https://www.legislation.gov.uk/uksi/1987/1967/regulation/48):
IS Sch 9 para 22(1) (https://www.legislation.gov.uk/uksi/1987/1967/schedule/9) disregards as income:
The same rule appears in:
The exceptions are income from capital that is itself disregarded. That covers the home, premises being acquired, sold or repaired, premises occupied by an old or incapacitated relative, business assets and personal-injury trusts. For some of these premises the income counts only net of mortgage repayments, council tax and water charges (para 22(2)). DMG 28196: "treat as capital any other income received from premises apart from income from the home".
Pension age. HB (SPC) Regs 2006 Sch 5 para 22 (https://www.legislation.gov.uk/uksi/2006/214/schedule/5) and SPC Regs 2002 Sch IV para 18 (https://www.legislation.gov.uk/uksi/2002/1792/schedule/IV) both read:
(In the SPC version the exception is "Part II of Schedule V".) The capital yields deemed income instead (reg 29(2); reg 15(6)). DMG 85007: where deemed income applies, "any actual income generated from the capital is fully disregarded". Its example is rent from a let share of a second property.
The Part 2 / Part II exceptions keep some actual income counted: life interests and life rents, rent where the claimant has no reversionary interest, annuities, and property held on certain trusts for the claimant (SPC Sch V paras 24-28). HB (SPC) and the pensioner CTR schemes also disregard actual Part 2 income where that capital totals £10,000 or less. The data cannot identify any of these.
Rent for part of the home.
Working age (IS Sch 9 para 19; HB Sch 5 para 22; JSA Sch 7 para 20; ESA Sch 8 para 20). The home is disregarded capital, so reg 48(4) does not convert the rent, and the disregard is:
SI 2007/2618 regs 5(12) and 11(12) substituted £20 from April 2008. Before then it was £4, plus a further amount where the payment included heating, which is not modelled.
Pension age: SPC reg 15(5)(i) and HB (SPC) reg 29(1)(v) list "any payment of rent made to a claimant who ... occupies part of the property", and Sch IV para 9 / Sch 5 para 10 disregard £20. That has applied since the 2002 Regulations as made.
Board and lodging has its own disregard: £20 plus half the excess (IS Sch 9 para 20; HB Sch 5 para 42; SPC Sch IV para 8).
Tax. IS Sch 9 para 1 and HB Sch 5 para 1:
HB (SPC) reg 33(12) and SPC reg 17(10)(a): "In the case of any income taken into account for the purpose of calculating a person's income, there shall be disregarded any amount payable by way of tax." Tax on income the tests do not take into account is therefore not deducted.
Income Tax Act 2007 s.23 builds liability in steps (https://www.legislation.gov.uk/ukpga/2007/3/section/23):
other_tax_credits.legacy_means_test_income_taxis therefore the Step 4 tax on counted income (earned_income_tax: earnings, pensions and taxable benefits), less its share of the Step 6 reductions. Step 7 charges are not tax calculated on counted income, so they are not deducted.Most reductions are not tied to any income: s.27 orders them only to give the greatest reduction in liability. Some are tied:
other_tax_creditsmixes these with venture capital trust, enterprise investment, maintenance and other reductions, and records no source. So the model shares every reduction in proportion to the Step 4 tax on each kind of income, as a stated convention. A credit for foreign tax on rent is therefore partly attributed to counted income, and the tax deducted is too low. Splitting the input by source would fix that. In the Enhanced FRS this step changes nothing (step 5 below). Ifincome_taxis supplied and differs from the tax its components imply, the difference falls on the tax on counted income.Council tax reduction.
Selecting the Scottish scheme follows SSI 2021/249 reg 3. It covers everyone outside the pension-age scheme: applicants under pensionable age, and those over it where the applicant or partner has a qualifying income-related benefit or an award of UC.
council_tax_reduction_pensionercounts a UC award only where a claimant or partner is under the qualifying age, as UC itself requires (UC Regs 2013 reg 3(2)(a)). So a joint award held only by people over pensionable age does not select the scheme (reg 3(2)). The model has no inputs for reg 3(2)'s other statuses (an award continuing pending supersession, an award the person was not entitled to, a claim awaiting determination) or for reg 3(3).That scheme deducts only tax on earnings, while the shared tax variable deducts tax on all counted income, pensions included. This PR's change for it is only that tax on rent, interest and dividends is no longer deducted. The scheme's own earnings rules are for #1966.
CTR capital and tariff income. Every scheme counts the whole of the applicant's capital unless a schedule disregards it, and above £16,000 there is no reduction (SI 2012/2885 Sch 1 para 31(1) and reg 11(2); WSI 2013/3029 reg 30). The model's CTR capital was household savings only. It now also counts land and property other than the home, valued less 10% for the expenses of sale. The citations are SI 2012/2885 Sch 1 para 32(a), the default scheme para 65, WSI 2013/3029 Sch 1 para 26 and Sch 6 para 28, SSI 2012/319 reg 42, SSI 2012/303 reg 46 and SSI 2021/249 reg 70.
mortgage_debtcovers debt on any UK land or property, home included.corporate_wealth(Pensioners without Pension Credit are tested on household savings only for the council tax reduction capital limit #1936).The national schemes treat capital as yielding a weekly tariff income, counting capital up to the limit:
The tariff is nil:
English schemes for people under pension age are local. Kingston, Westminster and Oxford set their own tariff; Merton and Newham have none in the model (inherited).
The five English local schemes the model runs (Merton, Newham, Westminster, Kingston upon Thames and Oxford) were checked against their published 2025-26 and 2026-27 scheme texts. Each treats income derived from capital as capital for applicants not on UC and disregards £20 of sub-tenant rent. Westminster's full scheme text was not found, so for Westminster this is inferred from its stated mirroring of the default scheme. Oxford's UC appendix disregards home-letting receipts in full, but Oxford's formula already uses the generic CTR income for UC recipients; that is inherited and unchanged.
Northern Ireland has the same words: HB (NI) Regs 2006 reg 43(4) and Sch 6 paras 18 and 23; SPC Regs (NI) 2003 Sch 4 paras 9 and 18.
Tax credits
Tax Credits (Definition and Calculation of Income) Regs 2002 reg 3, Step One, adds "the investment income (as defined in regulation 10)" and "the property income (as defined in regulation 11)":
So
tax_credits_applicable_incomeis right to count all three, and it is unchanged. Two small gaps remain, both in years before tax credits ended in April 2025:savings_interest_incomeincludes;What still counts
legacy_benefits_home_letting_incomeself_employment_incomeData caveat and release gate. Owner-occupiers' rent from letting part of their home (FRS SUBRENT) sits in uk-data's
property_income, notsublet_income. It stays there until PolicyEngine/policyengine-uk-data#508 moves it. Until then this PR drops it from these means tests instead of counting it less £20.This PR prepares the channel; on its own it does not correct production assessments for that rent. The gate, recorded on #508:
property_incomeequals the newsublet_income);In the raw FRS 2024-25, 33 owner households report SUBRENT, a weighted £0.41bn a year. Fewer than ten of them are in households reporting Pension Credit, Income Support, Housing Benefit, JSA, ESA or council tax reduction, using uk-data's own benefit codes.
Invariants (stated and tested)
policyengine_uk/tests/test_legacy_means_test_income_from_capital_properties.py(Hypothesis) checks these over populations of up to four families. The families are single, couple and lone-parent, pension and working age, in five regions including Scotland, Wales and Northern Ireland, in 2025 and 2026:legacy_means_test_income_tax≤ min(income_tax,earned_income_tax), with equality toincome_taxwhen there is no savings, dividend or property income and no Step 7 charge.council_tax_reduction_tariff_income≤ £2,088, the yield at the £16,000 limit (40 steps of £250 at £4.35 a month). It is nil in Northern Ireland and for English people under pension age, whose local schemes set their own. It never falls when savings rise while the family stays on the same route.#1909's CTR property tests now use the new income and capital definitions as their reference: tariff income, sale expenses and the UC capital route, recomputed from the regulations.
The runs below add a differential check. In 2026 the rent step lowers each means-test income by exactly the unit's rent less its tax, wherever neither run is at a floor, to float32 rounding. The rent and tax are summed over the members each test counts. UC and tax credits are identical in every year.
Tests
New
gov/dwp/legacy_means_tests/income_from_capital.yaml: 37 cases hand-computed from the regulations, with the arithmetic in each case.Existing cases that now give the legal answer:
The Hypothesis properties above, and Disregard guarantee credit recipients' income and capital in pensioner council tax reduction #1909's updated CTR properties: 13 tests, all passing on 0f4e0e3.
Mutation check (round 2). Twelve mutations of the new code each make at least one YAML case fail:
Round 1's nine mutants were also all killed.
Enhanced FRS impact
Every figure is from real
Microsimulationruns on private copies ofenhanced_frs_2024_25.h5(sha256e433e532…), from clean trees. Nothing is scaled, interpolated or allocated:The other benefits:
2026, step by step. Real runs, each adding one part of the change to the last (scratch commits, not for merge). Interest and dividends were run as separate steps, but they are shown together: the interest step alone rests on fewer than ten records.
Why step 1 changes nothing here. It is not because recipients have no assets. In 2026, 242 benefit-unit records receiving CTR have land or other property:
council_tax_benefitkeeps the reported award wherever no simulated scheme covers the household, so the new capital test does not reach any of them. Step 2 is small for the same reason: tariff income changes awards only where a national scheme is simulated.Checks between real runs, all passing:
Most of the gross flow comes from the data, not the rule
Let-property capital is missing. In the dataset:
In law those units have the let property as capital, which yields deemed income or ends entitlement. Treating rent as capital is right, but here it leaves no capital behind. So step 3's gain overstates what the rule does to a household whose capital is recorded.
Dividends are imputed. policyengine-uk-data
mainb45c373imputations/income.pyimpute_income()callsimpute_over_incomes(dataset, model, ["dividend_income"])on the FRS half. That replaces every respondent's dividends with an SPI-trained QRF prediction from age, gender and region. Step 4's losses are almost all on FRS records, so they rest on those imputed dividends.Two sensitivities (real runs of main and this branch, 2026):
corporate_wealthand let-property value are raised where needed to at least interest / 4%, dividends / 4% and rent / 7%. These are assumed yields, not observed capital, and the script is the one used for Stop counting interest, dividends and rent as Universal Credit unearned income #1950. With the property recorded, CTR falls, because the property now counts in CTR capital and tariff income.For any one household, the direction of the change follows from the law. The net total depends on how the data record capital and dividends.
Not counted here, though the law counts it:
property_incomeuntil uk-data#508;Overlaps
boarder-lodger-rent). It extendslegacy_benefits_home_letting_incomewith lodger and boarder receipts, and counts rent-a-room tax as tax on counted income inlegacy_means_test_income_tax.legacy_benefits_home_letting_incomecounts only the claimant's and partner's rent. Give the legacy severe disability premium its statutory conditions (stacked on #1896) #1946 and Use one carer attribution for the legacy severe disability premium and the Pension Credit addition (stacked on #1946 and #1951) #1977 stack on Replace generic child and adult flags with each programme's legal definitions #1896 and change premiums, not these lines.Related gaps (not changed here)
sublet_income.axiom: rulespec-uk issue being drafted (dispatch-ready
pe-parityissue covering:Link to follow.
🤖 Generated with Claude Code