From 05c1e5ee77079db99e37a08ef0069a7b600e5aba Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Sat, 4 Jul 2026 01:18:03 -0500 Subject: [PATCH] Bump EigenScript pin to v0.25.0 v0.25.0 = hex integer literals lexed explicitly on every profile (hex-float forms are loud parse errors; #378+#381) and the async abort seam (eigs_set_abort_flag, #379). Local suite verified green on the v0.25.0 runtime before this bump; repo audit found zero uses of the newly-rejected hex forms. Co-Authored-By: Claude Fable 5 --- .devcontainer/Dockerfile | 2 +- CLAUDE.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index bf9d54d..c0cd13a 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -22,7 +22,7 @@ RUN apt-get update \ # Build + install EigenScript at the pinned tag onto /usr/local (binary on # PATH, stdlib at /usr/local/lib/eigenscript — found relative to the binary). -ARG EIGS_REF=v0.24.0 +ARG EIGS_REF=v0.25.0 RUN git clone --depth 1 --branch "${EIGS_REF}" \ https://github.com/InauguralSystems/EigenScript.git /tmp/eigs \ && make -C /tmp/eigs install PREFIX=/usr/local CC=gcc \ diff --git a/CLAUDE.md b/CLAUDE.md index 4b23333..dc4fb03 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -48,7 +48,7 @@ playground build). EigenScript is **not** vendored. Pin v0.13.0 minimum (strings needed `<`/`<=` comparison and `ord of s`, both of which shipped in v0.13.0 — see GAPS.md for the fix history). CI pins the runtime via -`.devcontainer/Dockerfile`'s `EIGS_REF` (currently **v0.24.0**) and +`.devcontainer/Dockerfile`'s `EIGS_REF` (currently **v0.25.0**) and builds it from source — bump that to move the tested runtime. ## Run / test