Repository navigation

Use the married-filing-separately breakpoint on Form 6251 Part III line 18 - #9780

Merged

MaxGhenis merged 7 commits into

mainfrom

amt-part-iii-line-18-separate

Oct 5, 2026

Merged

Use the married-filing-separately breakpoint on Form 6251 Part III line 18#9780
MaxGhenis merged 7 commits into
mainfrom
amt-part-iii-line-18-separate

Commits on Oct 3, 2026
- Use the separate-filer breakpoint on Form 6251 Part III line 18
  
  MaxGhenis
  and
  claude
  committed
  d9cb630
- Add hypothesis to the dev extras so CI runs the Part III property tests
  
  MaxGhenis
  and
  claude
  committed
  bc77b87
Commits on Oct 4, 2026
- Read only the AMT parameter subtree in the line 18 schedule test
  
  MaxGhenis
  and
  claude
  committed
  94da0df
- Address review notes on the Part III property tests
  
  MaxGhenis
  and
  claude
  committed
  d7ccc29
Commits on Oct 5, 2026
- Merge remote-tracking branch 'upstream/main' into amt-part-iii-line-18-separate
  MaxGhenis
  committed
  759e538
- Compare separate filers' AMT in the section 911(f) worksheet tests
  
  MaxGhenis
  and
  claude
  committed
  7c90a98
- Pin the shrunk line 18 counterexample; derandomize the 911(f) tests
  
  MaxGhenis
  and
  claude
  committed
  2cd124f