Repository navigation
Conversation
ITEPA 2003 s.681I (FA 2026 Sch 10, from 2025-26) charges a person entitled to a winter fuel payment the whole payment when their own total income exceeds £35,000 and they are not entitled to IS, income-based JSA, Pension Credit, income-related ESA or UC. It covers the Winter Fuel Payment in England and Wales (SI 2025/969) and Northern Ireland (NISR 2025/142) and Scotland's Pension Age Winter Heating Payment (SSI 2024/351). - winter_fuel_payment_charge (Person) under gov.hmrc.income_tax.charges, added to income_tax after tax reductions (ITA 2007 s.23 Step 7, s.30). - Payments stay gross; from 2025 the WFP pays everyone of pensionable age (require_benefits false), so entitlement, and the shared amounts, come before the charge. - Means tests deduct income_tax_before_winter_fuel_payment_charge: the charge recovers a payment, and it depends on PC/UC receipt. - pawhp counts in household_benefits and HBAI income, like the WFP. - The household income test is deprecated (off from 2025; boundary <=). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ment charge ITEPA 2003 s.681I(5) lists five relevant benefits and no tax credits. A mutant that exempted tax credit recipients survived the other cases. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Brings in #2038 as merged (paid-to versus couple receipt, payee-only is_on_pension_credit over the qualifying age, is_on_universal_credit without an ineligible partner, the dated age test), #1949 (UC earned income deducts each person's own tax on earnings) and the rest of main. Conflicts: - uc_earned_income: take #1949's formula; uc_income_tax_on_earnings works from the rates and never reads income_tax. - is_benefit_cap_exempt_earnings: main's claimant-only sum, deducting income_tax_before_winter_fuel_payment_charge. - is_benefit_cap_exempt_other: main's version (it no longer tests earnings). - winter_fuel_payment_eligible: main's age test with this branch's <=. - The Hypothesis reference: main's paid-to logic; the WFP means condition holds outside 2024; the charge exempts only a person a relevant benefit is paid to (the claimant for IS, JSA, ESA and PC; both for UC), as the model's is_on_* variables now do. Two income_tax readers came in from main and would include the charge: - housing_benefit_net_earnings (HB regs 36(3)): deducts the tax before the charge, which is not tax deducted from earnings; - uses_property_allowance: the route branches compare the tax before the charge, since the charge depends on Pension Credit, which depends on property income. New YAML cases cover both, and the partner of an Income Support claimant who is paid and charged. relevant_benefits.yaml describes the payee reading. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The model's total_income is before the property allowance, so the charge is the same on either route; reading income_tax in the route branches would only recompute the means-tested benefits there (a probe with income_tax in the route made the same choice and raised no CycleError). Correct the YAML case's comment to match: total income is £35,300 on either route. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Without universal_credit: 0 the model computes a Universal Credit award for the couple, which makes both members joint claimants and exempts the partner. Zero Universal Credit and Pension Credit, as the other cases do. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Three property tests that CI failed on 03154a1 compared a means test with income_tax, which now includes the winter fuel payment charge: - test_uc_earnings_deductions_properties: the pre-#1942 UC earned income formula deducted benunit_tax, which now reads the charge and so UC receipt (CycleError). It deducts the benefit unit's income tax before the charge and its NI instead. - test_council_tax_reduction_carer_income_properties and test_housing_benefit_savings_credit_only_properties: CTR and HB income deduct income_tax_before_winter_fuel_payment_charge, so the identities add back that liability, not income_tax. The HB boundary test also excludes the charge, as it excludes the other payments that depend on Pension Credit receipt. A YAML case pins CTR income to the tax before the charge, which no YAML case covered. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Review r3 (lost to the 10/12 reboot) found two properties false inside their own generators on aede16d, both comparing a means test with income_tax, which now includes the winter fuel payment charge: - test_deductions_equal_tax_and_ni_on_earnings_alone: a pensioner in a mixed-age couple earning £40,000 off UC is charged £200. UC deducts tax on earnings (reg 55(5)), so the test compares with the tax before the charge. - check_routes in the CTR Pension Credit properties: MAIN_DEDUCTIONS now uses the tax before the charge, as the CTR means test does. Both counterexamples are pinned as plain tests that also assert the charge is levied. Also: - the inert income_tax: 0 inputs in two means-test YAML files now set the variable the means tests read; - the property-allowance YAML case is labelled a known gap: the law's partial relief would bring total income under £35,000; - s.681J links to ITEPA, not FA 2026; - the changelog no longer says the household test "charged" anyone; - the HB property's reason for excluding the WFP fits its 2026 year. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…harge # Conflicts: # policyengine_uk/variables/gov/dwp/is_benefit_cap_exempt_health_disability.py
…harge Conflict in is_benefit_cap_exempt_earnings.py: take main's uc_individual_earned_income_before_mif, which deducts each person's own uc_income_tax_on_earnings and so never reads income_tax or the charge. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…e property election Review r5 and CI on adcf821: - The charge tested total_income, which leaves out the statutory sick and maternity pay the model taxes as employment income. Total income is the income charged to tax (ITA 2007 s.23 Step 1), so they now count (test_uc_statutory_pay_properties invariant 2 failed on CI). - uses_property_allowance compared tax before the charge. A route can change Pension Credit and so the s.681I(4) exemption; it now compares income_tax, as main did (r5 P2, the m6 mutant was not equivalent). - test_trading_loss_properties: the means tests deduct tax before the charge, so the properties hold that; relief versus income cut compares it too, since relief comes after total income (Step 2). - test_variable_code_sharing reads a variable with a formula; income_tax now only adds. - YAML: statutory sick pay in total income, trade loss relief after total income, and the election that avoids the charge. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Main now has the PAWHP household-income lines (#2047) and UC and benefit cap earnings tests that deduct each person's own tax on earnings, so the fragments no longer claim them. The property election compares income_tax, which includes the charge, since 1024887. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The election has counted the charge since 1024887, so the case is about total income being taken before the property allowance, not about the election ignoring the charge. Expected values are unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… the trade loss property - test_rule_comparison (new on main) replaces income_tax's formula, but income_tax now only adds the pre-charge liability and the charge, so it has none (CI: StopIteration). It now replaces the pre-charge formula. - The zero-profit trade loss property held only tax before the charge, since 1024887. It now also checks the charge: it moves only in a household where the loss changes who is on a relevant benefit, as when lower tax ends Pension Credit and with it the exemption (s.681I(4)). A pinned pensioner exercises that case: on Pension Credit (£217.48) and not charged without the loss; off it and charged £200 with it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The winter fuel payment charge tests total income (ITEPA 2003 s.681I(1)(b)), which is ITA 2007 s.23 Step 1: the income charged to tax, after employment expenses, capital allowances, the trading and property allowances and exempt ISA interest, and before the Step 2 reliefs. The charge read total_income, which sums gross income. Add total_income_charged_to_tax, the Step 1 figure adjusted_total_income already worked out for the s.24A cap (the taxable components with losses brought forward added back), and have both read it. Tests that set the charge's income now set the new variable; six YAML cases pin each deduction, and the property allowance case that pinned the old gap now follows the law. r6 P1: test_income_tax_falls_with_the_loss_by_at_most_the_relief compared income_tax, which the charge can raise when the relief ends a Pension Credit award. Compare tax before the charge, check that the charge moves only with benefit receipt or total income, and pin r6's counterexample. Invariants 3 and 9 say so. Nits: the code-sharing helper's name, the deprecated limit's reference, the changed.md wording, and a pinned pensioner charged on both sides of the zero-profit test. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ousehold Review r7 found two ways the property allowance election could choose the route with the higher income tax once the winter fuel payment charge is in it: - Without finance costs at stake, the allowance was taken whenever it lowered taxable property income. Lower tax before the charge can raise the income Pension Credit counts, end the award and with it the s.681I(4) exemption, and the charge can exceed the saving. While the charge has effect, these landlords now compare both routes too; ties keep the allowance, so anyone the charge does not reach gets the answer the shortcut gave. - Landlords decided one per benefit unit, so landlords in separate benefit units of one household switched together. A couple's Pension Credit decides whether the partner is entitled to a payment, which moves another benefit unit's shared payment and charge. Landlords now decide one per household. Pins both counterexamples in YAML and adds a Hypothesis property: no landlord in a pensioner household lowers their own income tax, charge included, by switching route alone. The couples property now covers every landlord the allowance would help. Also qualifies the trading loss invariants (they hold tax before the charge) and total_income_charged_to_tax's description. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Conflict: test_trading_loss_properties.py docstring. Kept main's invariant 1 wording (pre-pension net_income, #2440) and this branch's invariants 2 and 3 (tax before the charge). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…d limit Review r8: the opening claim that every election lowers tax holds only with finance costs to relieve; without them the allowance is the default and ties keep it. The household loop stops after MAX_ROUNDS even if routes are still changing. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
FA 2004 s.193(2) deducts contributions under a net pay arrangement from employment income, so total income (ITA 2007 s.23 Step 1), which the winter fuel payment charge tests, is after them. The model holds employment income gross of pension contributions, takes employee contributions as net pay and gives their relief through allowances, so total_income_charged_to_tax overstated a working pensioner's total income by their relieved employee contributions. New net_pay_pension_relief: the relieved employee contributions, up to taxable employment income. adjusted_total_income now deducts at Steps 3 and 4 only the relieved contributions not already out of total income (s.24A(8)), so its values are unchanged. Relief at source (s.192) still leaves total income alone. Tests: four YAML cases worked from the law, and a Hypothesis property (net pay relief, total income, adjusted total income, the charge, and relief at source leaving total income alone); two mutants each fail it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…at source Review r9 found the net pay deduction capped at pension_contributions_relief, whose relevant UK earnings leave out statutory sick and maternity pay. A pensioner with £1,000 of wages, £3,000 of SSP, a £32,500 pension and £2,000 of employee contributions had £1,000 deducted and a £200 charge, where the law deducts the whole £2,000 (FA 2004 ss.189(2)(a), 190(1), 193(2); HMRC PTM044100) and charges nothing. Personal contributions also moved the deduction, through the basic-amount rise that s.191(7) keeps for relief at source. The deduction is now the employee contributions up to taxable employment income, none from age 75. Relevant UK earnings include all of that income, so the s.190 limit never binds below it. It no longer reads relief at source. Two YAML cases pin the SSP case with and without personal contributions; the net pay property test now draws statutory sick and maternity pay. ATI's comment and the changelog qualify "unchanged" for float32 rounding. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…del's relief Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The ATI comment's "never exceed" holds for contributions of zero or more; the add-back cancels either way. Relieving employee contributions first is the model's order, not one the Act states. The fixed fragment now says the payment reaches everyone of pensionable age who meets its other conditions. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…are at stake WIP for Max's ruling on d1669, not for the PR until he rules. Since 26ff324 every landlord the property allowance helps had both routes compared while the winter fuel payment charge has effect. Each comparison works out income tax with the charge, and so the means-tested benefits, for the whole population, at every Simulation init for 2025-2032: CI shards reached 15.5 GB (9-10 GB on main) and a synthetic probe took 6.0 s against 0.9 s. On the Enhanced FRS the comparison moved no record's tax, charge or Pension Credit. Landlords without finance costs take the allowance without comparing again, as on main. Review r7's lone pensioner becomes a pinned limit: the YAML case and a property test record that the model takes the allowance and charges her £200 (£5,227.40 against £5,187.40 with expenses). The pensioner property now asserts optimality for landlords with finance costs to relieve. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Conflicts, each resolved to keep both sides' intent: - taxable_income_test parameters (maximum_taxable_income, use_maximum_taxable_income): main reworded the household test as inclusive of total income at the limit; this branch had already deprecated it with that wording. Keep this branch's descriptions. - winter_fuel_allowance/taxable_income_test.yaml: keep this branch's at-threshold case (same expected value as main) and its 2025 cases, and add main's 2024 case that other investment income counts. - test_winter_heating_payment_properties.py: main made the household stand-in inclusive; this branch removes the stand-in and covers 35,000 and 35,001. Keep this branch's. - housing_benefit_net_earnings: main moved the earnings rules into _net_earnings.person_net_earnings, shared with the new council_tax_reduction_net_earnings. Take main's helper and deduct income tax before the winter fuel payment charge inside it, so Housing Benefit and the CTR pensioner earnings disregards both keep this branch's rule. Semantic follow-ups of main's changes: - test_pension_credit_prescribed_benefits_properties.py (new on main): its tax identities now use the tax Pension Credit income deducts, before the charge, as this branch's other means-test property tests do. - winter_fuel_payment_eligible: main's comment on the inclusive limit now describes the deprecated test. Main: 61b5854 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Main moved to #2078 (Council Tax Reduction applicant means test) while the previous merge was being resolved. No conflicts: CTR applicable income still deducts income tax before the winter fuel payment charge, and CTR net earnings still go through person_net_earnings, which does too. Main: 79fa317 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…arge adjusted_total_income: main's #2488 relief limit (relevant earnings, raised towards the basic amount only by relief-at-source contributions) with this branch's Step 1 from total_income_charged_to_tax and its net pay add-back. Documentation keeps both. The net pay property test's reference takes #2488's limit for invariant 3. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Since 75ca17c, landlords without finance costs take the property allowance without comparing tax. The couples property still checks every landlord the allowance would help, so for those without finance costs it now checks main's shortcut, which holds because the couples are 40 and so never charged. Its comment still said everyone compares tax while the charge has effect. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ment-charge No conflicts. programs.yaml auto-merged: main's registry fixes (#2443) and this branch's notes on income tax, the Winter Fuel Payment and PAWHP touch different entries. #2493's 2022 full-year director NI and #2506's aggregate-impact runtime identity read nothing this branch changes; the director tests read income_tax only in 2022, before the charge. Main: 6990350 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Two YAML files that reached this branch with the merges of main still expected main's rules and failed CI's YAML job at 56a7fe2. winter_fuel_allowance.yaml (#2174's boundary cases): main stood in for the charge with the household income test, so a pensioner with £35,001 of total income lost the payment. Here everyone of pensionable age is paid from 2025 and the charge recovers it, so that pensioner is paid £200 and charged £200. The four boundary cases now check winter_fuel_payment_charge (nothing at £34,999 or exactly £35,000, the whole payment at £35,001), and the comment describes the charge, not the stand-in. statutory_pay_pension_relief.yaml (#2464), "Age75 exclusion retained": the 75-year-old's total income is £42,000, with nothing relieved from age 75 (FA 2004 s.188(3)(a)), so income tax includes the £200 charge: 6,086, of which 5,886 (main's figure) is tax before the charge. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
#2464 (merged into main on 2026-10-19 and into this branch with the merges of main) counts statutory sick and maternity pay as relevant UK earnings in pension_contributions_relief (utils/pensions.py relevant_uk_earnings adds employment_benefits). The documentation still said that relief counted only wages and trading profits (issue #2371) and so could give less relief than this deduction. The PR's merge notes said to drop the sentence once #2464 merged. Documentation only. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Retain total_income as the tax-law total; count statutory pay and maintenance in non-dependant gross income while preserving household and UBI input bases. Replace HB tax-attribution metadata coupling with explicit components and add legal YAML and random-input regressions. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Aggregate impact on certified data: passBase Checks: 0 broken by this change, 1 failing on both sides, 0 fixed. Moves flagged for review: 27 (thresholds in Notes
Moves flagged for review
Receipts by tax head
Spending by benefit and service
Caseloads
Government balance, each component counted once
Model totals
Household income totals
Poverty rates
People in poverty
Inequality
Mean household net income in each side's own deciles
Standard reform costings (change in gov_balance)
Standard reforms: change in each reform's target
Household net income by decileMean change in household net income per household, and as a share of the decile's base income; households stay in the base run's deciles.
No change in any year: population. Checks failing on both base and head (1)
Counted-once checkEach of 86 components was raised by £1 per unit in 2026-27, and every head of its totals was read household by household: its own head must rise by exactly £1, no other tax head may move, no other benefit may rise, and the model's own total must move by what its heads moved. A head that breaks a rule is measured again twice: with every other head held at its baseline value, and with every other head held at its value after the first £1 while the component rises again. It fails where either still shows the response. 0 failed; 0 were skipped.
Provenance
Dataset: Receipts by tax head: head levels
Spending by benefit and service: head levels
Caseloads: head levels
Government balance, each component counted once: head levels
Model totals: head levels
Household income totals: head levels
Population: head levels
Poverty rates: head levels
People in poverty: head levels
Inequality: head levels
Mean household net income in each side's own deciles: head levels
Standard reform costings (change in gov_balance): head levels
Standard reforms: change in each reform's target: head levels
|
Exercise all three statutory payments in the deprecated WFP eligibility reform; clarify legal input limits and preserve the measured seven-year aggregate report. All formulas are unchanged from the fully validated implementation head. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
Hand-off at Validated source 7bdd785: 8,681 Python passed / 61 allowed skipped / 2 xfailed; 4,488 YAML passed; lint, docs, Python 3.11–3.14 smoke imports, Test/Result and Aggregate impact passed. Local 3 Python properties and 9 WFP YAML passed; no local microsimulation/data build. 2025-26 combined with #2066: Income Tax +£293.298m; WFP spending +£175.420m and +783,692 weighted recipients; HB spending -£0.269m; CTR spending/caseload unchanged; government balance +£118.146m excluding suppressed DSA. Seven-year table is in RESULT.md/PR body. Aggregate impact run 40014615941 passed with no newly broken checks; one pre-existing negative-VAT check persists. These figures include the required #2066 merge prerequisite. The final commit adds locally passing tests and documentation only; fresh CI is queued/running.
|
The report is a job artifact, not part of the change; the UK hub keeps a copy outside the repository. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Apply the 16-hour threshold and the IS/JSA(IB)/ESA(IR) exclusions, using the existing personal receipt flags and #2007 parameter files. Retain existing rates, eligibility, couple rules and band edges. Add 2026 regressions and update fixtures for the flat non-worker amount. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Give the vector policy tests an age array first so the default builder creates the intended number of people. Update the two existing CTR severe-premium snapshots for the inherited flat non-worker deductions. No policy formula or parameter changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Expand the regression matrix into single-person YAML cases because Core infers population size from the first input and does not broadcast scalars. Keep the same inputs and legal expected amounts in each scenario. No policy formula or parameter changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
UK hub pushed
Measured impact (Aggregate impact run 40029283812, the full PR including #2066, certified enhanced FRS 2024-25): HB spending falls about £6m a year (−£6.0m in 2025-26 to −£7.1m in 2030-31), and CTR spending falls about £1.7m a year. The report shows 0 newly broken checks. A delta review of the gate and fixtures at this head is under way. This PR lands after #2066, which is in the merge queue. |
The independent delta review of 404daf7 found a P1. The work gate charged the flat £20.40 a week to every non-worker. Before the gate, a non-worker with no banding income got the scale's zero, because calc(0, right=True) hits the zero sentinel. Many such non-dependants are exempt by law, and the model can identify them: - the non-dependants of an Attendance Allowance claimant (HB reg 74(6), reg 55(6), CTR Sch 1 para 8(6) and equivalents); - for CTR, a non-dependant on IS, JSA(IB), ESA(IR) or Pension Credit, or on UC without earnings (para 8(8)(a), (c)); - for HB, a non-dependant under 25 on IS (reg 74(8)). Measured alone, the gate cut HB about £6m a year and CTR about £1.7m. A non-worker's deduction is now the lower of the banded amount and the flat amount. At positive banding income, including pension income, that is the flat amount, as reg 74(1)(b) and its equivalents require. At nil income it is still zero, until #2007 models the exemptions together with the flat charge. The six snapshots the gate moved for nil-income non-workers are back to their pre-gate values. These are the two pension-age AA claimant cases, the two CTR claimant cases, and the two investment-income non-worker cases. The two new files' nil-income cases now assert zero. Two guards are added, an HB non-dependant under 25 on IS and a CTR non-dependant on UC without earnings, both at nil income. The CTR IS, JSA(IB) and ESA(IR) cases note that para 8(8)(a) exempts them; that exemption stays for #2007. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
Pushed
The fix takes review option (a): the gate only ever lowers a deduction. Non-workers get Fixtures:
PR body: updated for the P2. It reports the gate-only decomposition from runs 40014615941 and 40029283812 (HB −£5.7m to −£6.8m a year, CTR −£1.6m to −£1.8m; almost all of it was the nil-income charge this commit removes). It marks those figures as superseded until Aggregate impact run 40040246899 at this head finishes, and lists the round 2 P3s (band edges, couples, the NI reference, merge order with #2007) as #2007 follow-ups. Static checks: |
Fixes #2619
total_incomehad a tax-law label but summed raw income inputs and served several different programmes. This omitted statutory pay from WFP's old income test and from HB/CTR non-dependant bands. HB and CTR now apply those bands only to non-dependants in remunerative work; other eligible non-dependants with banding income pay the flat amount instead of a band. The gate never raises a deduction. Retain the exported name with the Income Tax definition, and give each other consumer an explicit income base.Invariants
total_incomedelegates through nonemptyaddsmetadata tototal_income_charged_to_tax: ITA 2007 s.23 Step 1, interpreted by s.989 and s.31. The tax component sum is before general-income loss relief; carried-forward trading loss relief already deducted inside a component is restored, and net-pay pension relief held separately by the model is deducted. RAS pension relief and Gift Aid do not lower total income. Existing component limitations, including netted miscellaneous losses and deficiency relief deducted from dividends, remain documented.employment_benefits. HB earnings remains algebraically identical to its old calculation, with an explicit positive-component tax-apportionment denominator.gross_taxable_inputs, including its exclusion of statutory pay. This is an explicit modelling/design choice, not a legal definition. Taxes can still move where the corrected WFP income concept changes liability.Consumers: old → new
total_incomeadjusted_net_income_componentsbefore Step 2 reliefs as represented by the model. ITA 2007 s.23, ss.31,989.total_income; #2066 charge introduced tax total separatelytotal_income; actual charge uses an individual's income strictly exceeding £35,000 and keeps entitlement separate. ITEPA 2003 s.681I.total_income − other_investment_income + max(spousal maintenance,0)housing_benefit_non_dep_gross_income: same represented income plus statutory pay, positive child maintenance, MA, IIDB, SDA and war widow's periodic pension; disability/compensation disregards documented. HB reg74, pension-age reg55.council_tax_reduction_non_dep_gross_income; same currently representable sources, with separate national disregard references. England Sch1 para8, Scotland working-age reg90, Scotland pension-age reg48, Wales pension-age Sch1 para3, Wales working-age Sch6 para5.total_incomeand itsadds, plus statutory paypost_tax_incometotal_income − income_tax − national_insurancegross_taxable_inputs − income_tax − national_insurance, preserving the old input base. Household measure, not law.total_incomegross_taxable_inputs, preserving the design choice.The non-dependant gross concepts retain their existing other-investment-income exclusion; extending this income base remains for #2007. The deduction consumers now apply the remunerative-work gate below. Annual statutory pay may coexist with work in another part of the year; leave itself does not establish remunerative work (HB reg6(7)). Signed trading/property inputs are retained; the band provisions do not directly settle cross-source offsets, and this refactor does not introduce a separate loss-offset rule. Existing national CTR consumers still use the HB deduction scale. Benefit-unit awards cannot currently be attributed safely to a person here (adding computed UC creates an HB/benefit-cap cycle); mixed periodic/capital BSP and AFCS inputs and unrepresented compensation payments remain explicit modelling limits. This PR does not claim complete regulatory coverage of those inputs.
Compatibility
Read-only grep of sibling repositories:
policyengine.py/src/policyengine/tax_benefit_models/uk/model.py:72exports the name;tests/test_models.py:261–269requires nonemptyadds(preserved); four UK household-calculator snapshots contain output keys.policyengine-api: no tracked exact-word references.policyengine-app-v2/app/src/mocks/UK_Metadata.json: variable/module metadata at 9717–9743, generated abolition metadata at 36677–36681, namespace at 44307–44310. Module namegov.hmrc.income_tax.total_incomeremains valid.PR #2535 is untouched. Its proposed
total_income + employment_benefits + maintenance_incomeexpression would now count statutory pay twice. A childcare gross-income test should declare its legally supported components, following the explicit HB/CTR pattern, rather than reconstruct gross income from the tax total.Callers supplying an income override for household post-tax income or UBI phase-outs should now supply
gross_taxable_inputs; an explicittotal_incomeoverride is a tax-total override.Remunerative-work gate and review response
Answers the P2 in the hub's independent review
uk2620/REVIEW_2620.md, at reviewed head20d873b6e8c4f7ae5273281a64280dcb3da6385b: newly counted IIDB and maintenance must not put non-workers into higher income bands.Also answers the P1 in round 2 (
uk2620-r2/REVIEW.md, at404daf7d1): the first version of the gate (6df0e6f65) charged the flat amount to non-workers with nil banding income, where the old lookup gave zero. Much of that group is exempt in law (a claimant on Attendance Allowance, PIP daily living or similar; CTR non-dependants on IS, JSA(IB), ESA(IR), SPC or UC without earnings; HB non-dependants on SPC, or under 25 on IS, JSA(IB) or ESA(IR) without the support component, or on UC without earnings; full-time students), and none of those exemptions is modelled yet.cf5b3b530makes the gate only ever lower a deduction.weekly_hours(hours_worked / 52) against the programme/nation'sremunerative_work_hoursparameter, currently 16. Exclude people on IS, income-based JSA or income-related ESA using existing person-levelis_on_*receipt flags. HB reg 6(1), (6), pension-age reg 6 and the corresponding CTR work definitions support this gate. Annual status/hours inputs cannot represent the regulations' within-week receipt or fluctuating-hours detail.min_(p.amount.calc(weekly_income, right=True), p.amount.amounts[0]). A non-worker with banding income pays the flat amount; one with nil banding income keeps the scale's zero until Apply Housing Benefit and national Council Tax Reduction non-dependant deductions as legislated #2007 adds the exemptions and the flat charge together. Keepright=Truefor workers' existing band edges.4a0935b737cd71231e39340689b2148125f585c9: HBgov/dwp/housing_benefit/non_dep_deduction/remunerative_work_hours.yaml; CTRgov/local_authorities/{england/council_tax_reduction/pensioners,scotland/council_tax_reduction,wales/council_tax_reduction}/non_dep_deduction/remunerative_work_hours.yaml. This is only the work gate. Apply Housing Benefit and national Council Tax Reduction non-dependant deductions as legislated #2007 retains the full implementation: national CTR scales, couples, exemptions and inclusive band edges. This branch's existing receipt flags replace the older award-payee helper used there.Existing non-workers with pension or other banding income also move from higher bands to the flat amount. This lowers their deductions as the law requires; it is wider than protecting newly counted IIDB/maintenance. The gate never raises a deduction: a non-worker with nil banding income still pays nothing, as before this PR. (The wider income base can still move a non-worker from nil banding income to the flat amount, for example one whose only income is IIDB; reg 74(1)(b) charges that, subject to the unmodelled exemptions.) Charging the flat amount to the non-exempt part of that group needs the exemptions first, which is #2007's scope. Inherited gaps in claimant, student and couple rules remain for #2007; this patch does not port them.
The 2026-27 HB table gives a £20.40 weekly flat amount. A non-worker with £12,000 IIDB pays £1,060.80 annually instead of £2,436.20. At 16 hours, £9,000 wages plus £12,000 IIDB or child maintenance is £403.85 weekly and pays £105.20 × 52 = £5,470.40; a 15-hour worker pays £1,060.80. National CTR tables were checked: flat amounts are England £5.20, Scotland £5.55 and Wales £6.70. This gate-only patch retains the inherited HB scale in the national CTR consumer, so its regression amounts intentionally match HB; adopting the correct national scales belongs to #2007.
Validation
*_non_dep_remunerative_work.yamlfiles: IIDB and child maintenance at 0/15/16/37.5 hours, each IS/JSA(IB)/ESA(IR) exclusion, non-working pension/nil income, and programme/national parameter overrides. CTR covers England, Scotland and Wales. The matrix has 54 cases (17 HB and 37 CTR). The nil-income cases assert £0, and two guards cover exempt groups at nil banding income: an HB non-dependant aged 22 on IS, and a CTR non-dependant whose benefit unit gets UC without earnings. The CTR IS/JSA(IB)/ESA(IR) cases note that SI 2012/2885 Sch 1 para 8(8)(a) gives £0; with banding income the model still charges them the flat amount, an inherited gap left for Apply Housing Benefit and national Council Tax Reduction non-dependant deductions as legislated #2007.cf5b3b530; parsed and compared with20d873b6e: no output differs).uvx ruff format --check .: passed (1,998 files). Ruff lint on changed formula directories/files: passed.git diff --check: passed. Static duplicate-key YAML parsing, parameter equality to Apply Housing Benefit and national Council Tax Reduction non-dependant deductions as legislated #2007 and Python AST parsing: passed. No model code was executed locally.cf5b3b530(run 40040246952): every check passed. The five Python shards passed 8,798 tests with 66 skips and 2 expected failures (the slowest shard took 58m55s), and YAML passed 4,607. Lint, Changes, Documentation build and smoke imports (3.11–3.14) passed there, and Fix evidence in run 40040629472. Earlier heads: at404daf7d1, Test / YAML passed 4,605 with 0 failed (run 40036380107; the other jobs were cancelled by the next push); at6df0e6f65, all five Python shards passed, 8,765 passed with 61 allowed skips and 2 expected failures, every collected test ran once (run 40029283977). The later commits change the two gate formulas' non-worker line and YAML only.57d2f5f63merges its then head76108fafe, so aggregate figures against main include that prerequisite until it merges. Charge the winter fuel payment back through income tax, person by person #2066 has since merged main and moved to3a3800e24.git merge-treeof the two heads gives four content conflicts: the docstrings in_net_earnings.py,housing_benefit_net_earnings.pyandtotal_income_charged_to_tax.py, and the Charge the winter fuel payment back through income tax, person by person #2066 changelog fragment. No formula is involved. This PR lands after Charge the winter fuel payment back through income tax, person by person #2066 and reconciles them then.Reproducer: policyengine_uk/tests/test_income_concepts_properties.py::test_statutory_pay_is_counted_once_in_each_programme_concept, policyengine_uk/tests/policy/baseline/finance/benefit/family/housing_benefit/non_dep_deduction/housing_benefit_non_dep_remunerative_work.yaml, policyengine_uk/tests/policy/baseline/gov/local_authorities/council_tax_reduction/council_tax_reduction_non_dep_remunerative_work.yaml
Aggregate impact figures
Aggregate impact run 40040246899 measured
cf5b3b530, merged into mainf66f0a205f4c694c1d69b2199409f571f58a314eas GitHub merge heade231b111d528a05a2d07a96df7f6c8a76e0886aa. Both sides used certifiedenhanced_frs_2024_25.h5, policyengine-uk-data 1.58.1, HF revision2526edbbb687a3b54dbb11272e5389e4b62d2ac2, SHA-256056e80fd8e9151d78f432a25cde863340baee81304c6216a37fb575ce8563784. These are full-PR changes against that main. They include the #2066 prerequisite (the Winter Fuel Payment charge, which accounts for the WFP and Income Tax rows) and the other income-definition changes.0 newly broken checks; 1 failing on both sides (
sign:vat, VAT is never negative); 0 fixed. The report records 344 passing checks, 19 warnings and one skipped check. Runtime differences and structural failures are empty. It flags 27 moves for independent review: WFP spending and caseload, Income Tax, decile mean incomes, and pensioner relative poverty after housing costs in 2031–32. None is an HB or CTR flag.Pensioner relative poverty after housing costs in 2031–32 comes from #2066, not from this PR's own changes. At the head it rises by 0.37pp, from 12.38% to 12.75% (+43.3k pensioners). #2066's own Aggregate impact run at
3a3800e24(run 40046674016), against main29c5a0a98and without this PR, gives the same base and head rate and count to every digit (12.376796% to 12.751478%, +43,267 pensioners). So this PR's HB and CTR changes move no poverty figure in that year. In that run, relative poverty after housing costs in 2031–32 rises for every group (+64.9k people, including +11.5k children), while absolute poverty after housing costs falls by 56. That points to a higher relative line (60% of each simulation's own median) rather than lower incomes at the bottom, and the hub's local trace on #2066 confirms it. There, the median rises £26.50 and the line £15.90 (+43,267 pensioners net, matching the run), and all 64,923 people who enter relative poverty have unchanged income.Gate-only effect. Run 40014615941 measured the pre-gate source
7bdd78509, which is formula-identical to20d873b6e(only three docstrings differ), against mainc417f283a. Its baseline HB and CTR spending and caseloads equal this run's in 2025–26 and 2026–27. From 2027–28 they differ, because main changed between the two runs: baseline HB moves by £29m to £44m a year. So the difference of the two PR deltas isolates the gate in the first two years only:The pre-gate PR delta was −£0.27m to −£0.32m a year for HB and 0 for CTR: the wider income base raised some non-workers' bands (round 1's P2). The gate only ever lowers a non-dependant deduction. In these two years it raises HB by about £1.4m a year with no change in HB caseload, and gives about 925 more benefit units some CTR. The superseded gate at
6df0e6f65also charged nil-income non-workers the flat amount (HB −£6.0m to −£7.1m a year in run 40029283812);cf5b3b530removed that charge.† Household net income consistently excludes suppressed Disabled Students’ Allowance figures on both sides. The linked report includes tax receipts, WFP, poverty, deciles and reform costings. The hub keeps its downloaded aggregate-only artifacts; no local microsimulation was run.
Known follow-ups (not in this PR)
From round 2, all inherited and in #2007's scope:
right=True, a worker at exactly £192.00 a week gets £20.40, where reg 74(2)(b) gives £46.85 (every edge is the same), and a remunerative worker with nil or negative banding income gets £0, where reg 74(2)(a) gives the flat amount. Apply Housing Benefit and national Council Tax Reduction non-dependant deductions as legislated #2007 usescalc(weekly_income)andcalc(0).remunerative_work_hours.yamlcites the GB regulations only; NISR 2006/405 reg 6 has the same 16 hours and the same reg 6(6) exclusion. The file is byte-identical to Apply Housing Benefit and national Council Tax Reduction non-dependant deductions as legislated #2007's, so the reference goes in there.git merge-treegives six content conflicts: the two gate formula files and four YAML files. The four parameter files merge cleanly. Whichever PR lands second reconciles them; Apply Housing Benefit and national Council Tax Reduction non-dependant deductions as legislated #2007 builds its income-related-benefit test from its ownis_award_payeehelper.axiom: needed
🤖 Generated with Claude Code