Repository navigation

Cap Kentucky qualified residence interest at principal-residence interest from 2026 - #10003

Merged

MaxGhenis merged 15 commits into

mainfrom

ky-principal-residence-mortgage-interest

Oct 21, 2026

Merged

Cap Kentucky qualified residence interest at principal-residence interest from 2026#10003
MaxGhenis merged 15 commits into
mainfrom
ky-principal-residence-mortgage-interest

Commits on Oct 7, 2026
- Add mortgage points and mortgage insurance premium inputs (federal)
  
  MaxGhenis
  and
  claude
  committed
  9b76c8b
- Test federal mortgage points and premium deductions
  
  MaxGhenis
  and
  codex
  committed
  869c0bf
- Test vectorized mortgage input invariants
  
  MaxGhenis
  and
  codex
  committed
  fe25c52
- Limit Kentucky qualified residence interest to the principal residence from 2026
  
  MaxGhenis
  and
  claude
  committed
  a322b23
- Cite the qualified residence definitions at 163(h)(5)
  
  MaxGhenis
  and
  claude
  committed
  ef03773
- Cap Kentucky qualified residence interest at principal-residence interest
  
  MaxGhenis
  and
  claude
  committed
  cf2d1f2
- Qualify the Kentucky cap's equality claim and restore a fallback case
  
  MaxGhenis
  and
  claude
  committed
  c42e0e7
- Say the capped deduction, not the cap, matches the recomputation
  
  MaxGhenis
  and
  claude
  committed
  f734479
Commits on Oct 19, 2026
Commits on Oct 20, 2026
- Merge main into ky-principal-residence-mortgage-interest
  
  MaxGhenis
  and
  claude
  committed
  a4a4cf6