Add Kingston upon Thames council tax reduction#1771
Merged
Conversation
MaxGhenis
force-pushed
the
codex/ctr-kingston-20260607
branch
from
da90ed4 to
8e630af
Compare
MaxGhenis
added a commit
to TheAxiomFoundation/axiom-oracles
that referenced
this pull request
Jul 14, 2026
…ales
Stages the axiom-oracles PolicyEngine mapping sweep for the incoming
council tax reduction encodings (rulespec-uk#140 lanes A/B/C, batches
CTR-ENP/CTR-SC/CTR-WA), per the lane-E oracle-readiness report.
- Add one not_comparable prefix per incoming regulation-layer scheme
spine: uk:regulations/{uksi/2012/2885, ssi/2021/249, ssi/2012/319,
wsi/2013/3029}/. These absorb the means-test intermediates PolicyEngine
UK does not expose one-to-one (hard capital cliff vs Schedule
tariff-income taper; applicable amount built from Housing Benefit
allowances vs a CTR Schedule 2 table). The final household
council_tax_reduction award stays the single comparable CTR surface
(already mapped, direct_variable); exact mappings take precedence over
these prefixes.
- Refresh the two stale Kingston not_comparable prefix rationales: PE-UK
2.89.2 (PolicyEngine/policyengine-uk#1771) now models Kingston
working-age CTR via kingston_upon_thames_council_tax_reduction, so the
"PE-UK does not model council-level schemes" rationale is false. Kept
not_comparable pending a per-local-authority input adapter in the
oracle harness; candidate_priority P2/P3.
No PolicyEngine-UK pin bump: the committed oracle pin
(conformance/uk-pe.yaml) is already policyengine-uk 2.89.2, which carries
council_tax_reduction + the per-scheme parameters (merged 2026-07-06,
axiom-oracles#192), post-dating the CTR wave. The mapping-registry
classifier reads the registry directly and resolves no PE-UK install.
Refs axiom-oracles#78, rulespec-uk#101, rulespec-uk#140.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
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
1 participant
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
Source
Tests
uv run policyengine-core test policyengine_uk/tests/policy/baseline/gov/local_authorities/council_tax_reduction/council_tax_reduction.yaml -c policyengine_ukuv run ruff check policyengine_uk/variables/gov/local_authorities/council_tax_reduction policyengine_uk/variables/gov/local_authorities/kingston_upon_thamesuv run policyengine-core test policyengine_uk/tests/policy -c policyengine_ukuv run --with pytest --with pytest-cov python -m pytest policyengine_uk/tests/ --cov=policyengine_uk --cov-report=xml --maxfail=1 -vgit diff --check origin/main...HEAD