Repository navigation

refactor(Universal): assemble the UTM step with fun_prop - #1816

Draft

chris-ai1 wants to merge 6 commits into

cslib-community:mainfrom

chris-ai1:utm-step-funprop

Draft

refactor(Universal): assemble the UTM step with fun_prop#1816
chris-ai1 wants to merge 6 commits into
cslib-community:mainfrom
chris-ai1:utm-step-funprop

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
- refactor(Universal): assemble the UTM step with fun_prop
  
  chris-ai1
  and
  claude
  committed
  7ff1081