Repository navigation

feat(circuit/frontier): the cursor over the children of an active call - #1948

Merged

SamuelSchlesinger merged 8 commits into

mainfrom

claude/t2-child-cursor

Oct 31, 2026

Merged

feat(circuit/frontier): the cursor over the children of an active call#1948
SamuelSchlesinger merged 8 commits into
mainfrom
claude/t2-child-cursor

Commits on Oct 31, 2026
- feat(combinatorics): enumerate the tuples of bounded weight with a successor
  
  SamuelSchlesinger
  and
  claude
  committed
  f3be9f4
- feat(PolyTime): the successor of a tuple of bounded weight in polynomial time
  
  SamuelSchlesinger
  and
  claude
  committed
  bd3e539
- feat(circuit/frontier): the cursor over the children of an active call
  
  SamuelSchlesinger
  and
  claude
  committed
  4f29528
- refactor(combinatorics): count the feasible coordinate values with Mathlib's ceiling division
  
  SamuelSchlesinger
  and
  claude
  committed
  af142d1
- Merge branch 'claude/t2-budget-tuples' into claude/t2-child-cursor
  SamuelSchlesinger
  committed
  92a90ac
- feat(circuit/frontier): the values a call stores along the cursor
  
  SamuelSchlesinger
  and
  claude
  committed
  8daeef7
- feat(circuit/frontier): the stored values are the sums over the mode budget
  
  SamuelSchlesinger
  and
  claude
  committed
  207d29d
- Merge origin/main into claude/t2-child-cursor
  
  SamuelSchlesinger
  and
  claude
  committed
  3b4d836