Repository navigation

fix: sequent rules with up to 194 premises - #78

Merged

pyrex41 merged 8 commits into

mainfrom

cursor/fix-consume-arity-662d

Oct 19, 2026

Merged

fix: sequent rules with up to 194 premises#78
pyrex41 merged 8 commits into
mainfrom
cursor/fix-consume-arity-662d

Commits on Oct 9, 2026
- fix: emit consume continuations past five sequent premises
  
  cursoragent
  and
  pyrex41
  committed
  ebcdf3a
- fix: pass inline freeze captures into hoisted control forms
  
  cursoragent
  and
  pyrex41
  committed
  ec3b4dc
- fix: split long KL let chains before Lua's 200-local cap
  
  cursoragent
  and
  pyrex41
  committed
  8ba96d7
- fix: translate consume helpers for sequent rules past 15 premises
  
  cursoragent
  and
  pyrex41
  committed
  22014f9
- fix: recompile KL defuns past Lua's width limits in a wide mode
  
  cursoragent
  and
  pyrex41
  committed
  6c78076
- fix: translate consume helpers past 40 premises with a wide retry
  
  cursoragent
  and
  pyrex41
  committed
  4295e61
- test: sequent rules up to 128 premises on both engines
  
  cursoragent
  and
  pyrex41
  committed
  7c5ca7a
Commits on Oct 12, 2026
- merge: bring in ShenOSKernel 42.2 and UTF-8 string primitives
  
  cursoragent
  and
  pyrex41
  committed
  2f3ee3c