fix: synchronize standalone generator with LeanEval - #3

Merged

kim-em merged 8 commits into

mainfrom

sync/embedded-core-fixes

Aug 22, 2026

Commits on Aug 22, 2026

fix: sync embedded LeanEval generator fixes
kim-em
committed
7edcad9
fix: preserve active options around syntax context
kim-em
committed
ffc725a
fix: preserve quoted Lean name components
kim-em
committed
3b60fa0
fix: reject inline scoped context commands
kim-em
committed
cc77943
fix: omit standalone marker import from workspaces
kim-em
committed
4028cfa
test: cover compatibility marker projection
kim-em
committed
62b3800
docs: qualify generator schema terminology
kim-em
committed
d04b83e
Merge remote-tracking branch 'origin/main' into sync/embedded-core-fixes
kim-em
committed
6a72631