Repository navigation

Report a non-UTF-8 Lean runtime reply as a protocol error and simplify request phases - #175

Draft

Deicyde wants to merge 4 commits into

mainfrom

golf/lean-client-request-phases

Commits on Oct 7, 2026
- List the Lean runtime's source files once
  Deicyde
  committed
  67681db
- Map Lean runtime request failures by phase without a flag
  Deicyde
  committed
  16dd6f4
- Drop the errno fallback from the Lean runtime connect handler
  Deicyde
  committed
  f7e998e
- Report a non-UTF-8 Lean runtime response as a protocol error
  Deicyde
  committed
  301a1df