Repository navigation

refactor(Universal): state the step complexity in the plain calculus - #1777

Merged

crei merged 5 commits into

cslib-community:mainfrom

chris-ai1:utm-plain

Oct 30, 2026

Merged

refactor(Universal): state the step complexity in the plain calculus#1777
crei merged 5 commits into
cslib-community:mainfrom
chris-ai1:utm-plain

Commits on Oct 30, 2026
- refactor(Universal): dedupe encodings and extract proof fragments in Universal/Complexity
  
  chris-ai1
  and
  claude
  committed
  b725dc5
- feat(BigO): plain findWith, filterWith and mapWith
  
  chris-ai1
  and
  claude
  committed
  da5055c
- Merge branch 'utm-plain-lists' into utm-plain
  chris-ai1
  committed
  89829bc
- refactor(Universal): state the step complexity in the plain calculus
  
  chris-ai1
  and
  claude
  committed
  8cbebb0
- Merge origin/main into utm-plain
  
  chris-ai1
  and
  claude
  committed
  d6fd02d