Repository navigation

Backdate parameters before applying reforms - #9628

Merged

MaxGhenis merged 7 commits into

mainfrom

fix-backdate-before-reforms

Oct 6, 2026

Merged

Backdate parameters before applying reforms#9628
MaxGhenis merged 7 commits into
mainfrom
fix-backdate-before-reforms

Commits on Sep 25, 2026
- Backdate parameters before applying reforms
  
  MaxGhenis
  and
  claude
  committed
  fa603ef
- Backdate reform-added parameters and test the invariants exhaustively
  
  MaxGhenis
  and
  claude
  committed
  a7fd4ad
Commits on Oct 6, 2026
- Merge upstream/main into fix-backdate-before-reforms
  
  MaxGhenis
  and
  claude
  committed
  a40fa9a
- Harden the backdating tests and check invariant 3 over the whole tree
  
  MaxGhenis
  and
  claude
  committed
  bb01010
- Merge remote-tracking branch 'upstream/main' into fix-backdate-before-reforms
  MaxGhenis
  committed
  a50e1e3
- Say which parameters the exhaustive backdating tests select
  
  MaxGhenis
  and
  claude
  committed
  743b6df
- Say the second backdating pass also reaches replaced parameters
  
  MaxGhenis
  and
  claude
  committed
  81e427c