NUMERICAL AUDIT · 25 OCTOBER 2026

Tax-Calculator: Schedule D and AMT rule alignment

Five synthetic regressions and 490 passing checks support four proposed calculation corrections.

Xamit Kadirbekov, Daniyal Kadirbekov · AI-assisted investigation and writing

Open upstream PRs; not merged or released. Scoped checks and limitations documented.

Upstream report #3196 · Reproduction archive · Zenodo archive (DOI) · LinkedIn post · Github Catalog · Huggingface

Authors: Xamit Kadirbekov and Daniyal Kadirbekov (GERO). 25 October 2026.

Status: Open upstream PRs; not merged or released. Scoped checks and limitations documented.

Five synthetic regressions and 490 passing checks support four proposed calculation corrections.

Source and proposed changes

Base: f6ddd4ca74d6f2bf5a8e785b975f8681f030be9b in PSLmodels/Tax-Calculator.

Technical evidence

This aligns four current-law calculation details with the Schedule D Tax Worksheet, Form 6251 instructions and IRC 55(d). Five new single-household regressions fail on master f6ddd4ca74d6 and pass with this patch.

Validation: 490 passed across test_calcfunctions.py, test_policy.py, test_parameters.py and the five new regressions. Separate Fraction-based worksheet calculations and hand-calculated MFS witnesses match the patched implementation; they differ on the original. Existing Numba/JIT environment was reused, single numerical thread. Full population/CPS/PUF/TMD aggregate-output tests, full lint and documentation regeneration have not been run. Aggregate baselines will need deliberate review; they were not blindly replaced. The separate 2026 charitable-deduction question is excluded.

Reproduction and boundaries

The archive contains exact public commit patches, upstream licenses, and selected validation metadata. Check out the pinned base, apply each proposal independently, install the project’s declared test dependencies, and run the affected tests described above. The metadata records the actual narrower local environment; a full clean build or unlisted tests are not implied. Existing local paths in logs are descriptive, not required paths.

Novelty checking covered related open/closed GitHub issues and PRs and relevant source history on 25 October 2026. Related reports are acknowledged above; an exhaustive search of every community channel or first-discovery priority is not claimed. No real customer records were used, no deployed product was tested, and no monetary or clinical loss was measured.

Attribution and licensing

Claude assisted the initial investigation and patch preparation. OpenAI Codex independently repeated the scoped before/after checks, checked the stated reference calculations, and helped prepare the proposed changes and this report. Research/report authors are Xamit Kadirbekov and Daniyal Kadirbekov. Independent human code or legal review is not claimed. Upstream projects retain credit for their software. Report: CC BY 4.0; original reproduction code: MIT; patches retain the upstream licenses.