Repository navigation

feat(probability): the general forking lemma, also for oracle programs - #658

Merged

SamuelSchlesinger merged 3 commits into

mainfrom

feat/forking-lemma-581

Oct 24, 2026

Merged

feat(probability): the general forking lemma, also for oracle programs#658
SamuelSchlesinger merged 3 commits into
mainfrom
feat/forking-lemma-581

Commits on Oct 24, 2026
- feat(probability): the general forking lemma, also for oracle programs
  
  SamuelSchlesinger
  and
  claude
  committed
  0a808b8
- fix(probability): require forks to name a query that was actually made
  
  SamuelSchlesinger
  and
  claude
  committed
  0b27609
- test(probability): name the degenerate forking program
  
  SamuelSchlesinger
  and
  claude
  committed
  2bdbc43