feat(circuit/frontier): the contraction recursion has 2^O(s/√log s) calls by SamuelSchlesinger · Pull Request #1910 · cslib-community/complexitylib

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

Navigation Menu

Repository navigation

feat(circuit/frontier): the contraction recursion has 2^O(s/√log s) calls - #1910

feat(circuit/frontier): the contraction recursion has 2^O(s/√log s) calls#1910
SamuelSchlesinger merged 9 commits into
mainfrom
claude/t2-schedule-count

Commits on Oct 31, 2026

feat(GenericRAM/Native): depth-first stack recursion with native bounds

doc(GenericRAM/Native): qualify the module path in the stack recursion docstring

feat(PolyTime/Nat): the clock 2^(K n / sqrt(floor(log2 n))) in polynomial time

feat(foundations): count tuples of bounded weight by the partition generating function

feat(circuit/frontier): parameter schedule of the contraction recursion, (D.11) and (D.15)

feat(circuit/frontier): mode count at a certified active call

Merge remote-tracking branch 'origin/claude/t2-native-recursion' into claude/t2-schedule-count

feat(circuit/frontier): the contraction recursion has 2^O(s/sqrt(log s)) calls

Merge origin/main into claude/t2-schedule-count