Repository navigation

Rebase SPI income draws to the FRS survey year - #532

Draft

MaxGhenis wants to merge 7 commits into

mainfrom

spi-income-rebase

Commits on Oct 3, 2026
- Add hypothesis to the dev dependencies
  
  MaxGhenis
  and
  claude
  committed
  d00408a
- Rebase SPI income draws to the FRS survey year
  
  MaxGhenis
  and
  claude
  committed
  f518143
- Give the rebasing call-site fakes an employment status
  
  MaxGhenis
  and
  claude
  committed
  3d82532
- Test that only the draws are rebased, before the second stage
  
  MaxGhenis
  and
  claude
  committed
  5ab672b
- Exclude subnormal floats from the rebasing property tests
  
  MaxGhenis
  and
  claude
  committed
  080e05d
Commits on Oct 4, 2026
- Bound the reduced-build gains check on both sides (from #529)
  
  MaxGhenis
  and
  claude
  committed
  604cb02
- Quote the subnormal counterexample exactly
  
  MaxGhenis
  and
  claude
  committed
  c02b070