Repository navigation

test(GenericRAM/Native): stack recursion with direct-contraction leaves - #1903

Closed

SamuelSchlesinger wants to merge 6 commits into

mainfrom

claude/t2-recursion-direct-toy

Closed

test(GenericRAM/Native): stack recursion with direct-contraction leaves#1903
SamuelSchlesinger wants to merge 6 commits into
mainfrom
claude/t2-recursion-direct-toy

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
- Merge remote-tracking branch 'origin/main' into claude/t2-native-recursion
  SamuelSchlesinger
  committed
  164f4b2
- test(GenericRAM/Native): stack recursion with direct-contraction leaves
  
  SamuelSchlesinger
  and
  claude
  committed
  88e79c8
- Merge origin/main into claude/t2-recursion-direct-toy
  
  SamuelSchlesinger
  and
  claude
  committed
  84098c5