FE-514: Compile TypeScript expressions to SymPy#8541

Draft

kube wants to merge 14 commits intomainfrom

cf/fe-514-compile-typescript-expressions-to-sympy

Commits on Mar 18, 2026

FE-514: Add SymPy compilation diagnostics and export option

kube
and
claude
committed
FE-514: Support Boolean() and Number() global calls in SymPy compiler

kube
and
claude
committed
FE-514: Support array literal expressions in SymPy compiler

kube
and
claude
committed
FE-514: Support .map() as Python list comprehension in SymPy compiler

kube
and
claude
committed
FE-514: Reject var declarations and standalone expressions in SymPy compiler

kube
and
claude
committed
FE-514: Introduce JSON IR between TypeScript and SymPy compilation

kube
and
claude
committed
FE-514: Move expression IR and SymPy compiler to src/expression

kube
and
claude
committed
FE-514: Add expression output split view with IR/SymPy format selector

kube
and
claude
committed
FE-514: Add OCaml and Lean output targets, improve SymPy output quality

kube
and
claude
committed
FE-514: Add syntax highlighting to expression output panel

kube
and
claude
committed
FE-514: Add expression output panel to differential equation properties

kube
and
claude
committed
FE-514: Fix .map() compilation to use proper variable names

kube
and
claude
committed
Update bottom picker
kube
committed
FE-514: Mark expression output setting as experimental

kube
and
claude
committed