Repository navigation

fix(lean,#17612): _run_wsl uses lean --json with Init.Prelude wrapper (not repl) - #17621

Merged

myia-ai-01 merged 2 commits into

mainfrom

fix/17612-lean-runner-wsl-nat-literal

Sep 24, 2026

Commits on Sep 24, 2026
- fix(lean,#17612): _run_wsl uses lean --json with Init.Prelude wrapper (not repl)
  
  jsboige
  and
  claude
  committed
  ac0cda2
- fix(lean,#17621): heredoc EOM per-invocation + _check_wsl_available drops repl probe (NanoClaw #17621 findings #1+#2)
  jsboige
  committed
  1f23ea2