Repository navigation

feat(circuit/frontier): the call count with a constant explicit in C - #1966

Merged

SamuelSchlesinger merged 11 commits into

mainfrom

claude/t2-count-explicit

Oct 31, 2026

Merged

feat(circuit/frontier): the call count with a constant explicit in C#1966
SamuelSchlesinger merged 11 commits into
mainfrom
claude/t2-count-explicit

Commits on Oct 31, 2026
- feat(GenericRAM/Native): depth-first stack recursion with native bounds
  
  SamuelSchlesinger
  and
  claude
  committed
  02ef13c
- doc(GenericRAM/Native): qualify the module path in the stack recursion docstring
  
  SamuelSchlesinger
  and
  claude
  committed
  27d0311
- feat(PolyTime/Nat): the clock 2^(K n / sqrt(floor(log2 n))) in polynomial time
  
  SamuelSchlesinger
  and
  claude
  committed
  70f4cd5
- feat(foundations): count tuples of bounded weight by the partition generating function
  
  SamuelSchlesinger
  and
  claude
  committed
  bffa3cf
- feat(circuit/frontier): parameter schedule of the contraction recursion, (D.11) and (D.15)
  
  SamuelSchlesinger
  and
  claude
  committed
  bafb62e
- feat(circuit/frontier): mode count at a certified active call
  
  SamuelSchlesinger
  and
  claude
  committed
  d9a7343
- Merge remote-tracking branch 'origin/claude/t2-native-recursion' into claude/t2-schedule-count
  SamuelSchlesinger
  committed
  79e1c82
- feat(circuit/frontier): the contraction recursion has 2^O(s/sqrt(log s)) calls
  
  SamuelSchlesinger
  and
  claude
  committed
  af73f5b
- Merge origin/main into claude/t2-schedule-count
  
  SamuelSchlesinger
  and
  claude
  committed
  1f4a846
- feat(circuit/frontier): the call count with a constant explicit in C
  
  SamuelSchlesinger
  and
  claude
  committed
  06e8c02
- Merge origin/main into claude/t2-count-explicit
  
  SamuelSchlesinger
  and
  claude
  committed
  2da76eb