Skip to content

fix: align Beam runtimes with Elan toolchain selection - #264

Open
ejgallego wants to merge 8 commits into
mainfrom
codex/workspace-toolchain-selection
Open

ejgallego wants to merge 8 commits into
mainfrom
codex/workspace-toolchain-selection

Conversation

@ejgallego

@ejgallego ejgallego commented Oct 13, 2026 •

Copy link
Copy Markdown
Collaborator

This PR follows the effective Elan workspace selection and uses its concrete toolchain and fingerprinted compiler installation for the Beam runtime, preventing plugin mismatches under overrides and moving channels.

  • Honor environment and directory overrides through the Elan 4.0 JSON interface; resolve channels once before admission, using the installed fallback only after a live lookup failure.
  • Reject moving selectors as custom runtime identities and report the original selector alongside the concrete toolchain in doctor.
  • Reuse the compiler installation already fingerprinted for the bundle instead of selecting an executable again.
  • Check the minimum Elan interface in CI and reject unavailable interfaces before writing install state.
  • Keep installer and defensive validation clones independent of their source checkout Git metadata.

@ejgallego
ejgallego marked this pull request as ready for review October 13, 2026 18:46
@ejgallego
ejgallego force-pushed the codex/workspace-toolchain-selection branch from e77fd11 to 44078ca Compare October 13, 2026 20:35
Base automatically changed from codex/reliable-module-saves to main October 13, 2026 21:08
@ejgallego
ejgallego force-pushed the codex/workspace-toolchain-selection branch from 44078ca to 6ab7c43 Compare October 13, 2026 21:12
@ejgallego ejgallego changed the title fix: bind Lean executables to workspace toolchains fix: align Beam runtimes with Elan toolchain selection Oct 13, 2026
@ejgallego
ejgallego force-pushed the codex/workspace-toolchain-selection branch 2 times, most recently from 81e35dd to 7b7f5b9 Compare October 14, 2026 11:51
@ejgallego
ejgallego force-pushed the codex/workspace-toolchain-selection branch from 7b7f5b9 to 206354b Compare October 14, 2026 12:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant