Repository navigation

feat(sparsification): bound actual counting path budgets - #1289

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

feat/counting-path-budgets-1226-codex

Oct 27, 2026

Merged

feat(sparsification): bound actual counting path budgets#1289
SamuelSchlesinger merged 2 commits into
mainfrom
feat/counting-path-budgets-1226-codex

Commits on Oct 27, 2026
- feat(sparsification): bound actual counting path budgets
  SamuelSchlesinger
  committed
  66b4256
- Merge origin/main after base squash (coordinator restack)
  
  SamuelSchlesinger
  and
  claude
  committed
  e22460b