From 297506a3bdbcf2d470dbdde3763c0ef085831b8b Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Fri, 24 Jul 2026 19:27:47 -0500 Subject: [PATCH] Bump EigenScript pin v0.30.0 -> v0.32.0 Local preflight against a v0.32.0 worktree build: tests/test_smoke.sh + tests/test_lab.sh green (observer convergence helpers, private-name scoping, predicate-driven solver convergence) Co-Authored-By: Claude Opus 5 (1M context) --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 3bb297c..c9ec399 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -21,7 +21,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.30.0 +ARG EIGS_REF=v0.32.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 \