From 57e774363671ab624080a7030b29764b65a33538 Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Mon, 3 Aug 2026 05:49:16 -0500 Subject: [PATCH] Bump EigenScript pin v0.34.0 -> v0.35.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Picks up the #827 fix: unbounded temporal assignment history that armed on dead code. v0.35.0 also carries the lib/ui x-y chart widget (#819). Pin sites: .devcontainer/Dockerfile ARG EIGS_REF, plus GAPS.md's "with the CI pin now at v0.34.0". The adjacent "Shipped in v0.34.0" in the same sentence is HISTORICAL (where the #772/#773 loop-cap fix landed) and was left untouched — a blind sed would have falsified it. Preflight against the v0.35.1 runtime (tag v0.35.1, e2bb217): EIGS=eigenscript bash tests/run.sh -> all green. test_ctw 17/0, both planted faults caught (CTW corrupted coordinate, JC nonconstant Jacobian), and the symplus/max2sat/ac0 CLI demos all agree=1. Co-Authored-By: Claude Opus 5 (1M context) --- .devcontainer/Dockerfile | 2 +- GAPS.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 8e638a0..394f5bc 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -18,7 +18,7 @@ RUN apt-get update \ # Build + install EigenScript at the pinned tag (binary on PATH, stdlib under # /usr/local/lib/eigenscript found relative to the binary). -ARG EIGS_REF=v0.34.0 +ARG EIGS_REF=v0.35.1 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/GAPS.md b/GAPS.md index ecbc6f2..9554309 100644 --- a/GAPS.md +++ b/GAPS.md @@ -19,7 +19,7 @@ Root EigenScript issues get fixed upstream instead of worked around here. `72c85e0`): the cap now fires only under an armed sandbox budget, and the counter widened to 64-bit. Differential re-run at n=19/m=1000 and n=16/m=4000: 0 mismatches. Shipped in v0.34.0; with the CI pin now at - v0.34.0 the 1e8-iteration ceiling is LIFTED — oracle runs may exceed 1e8 + v0.35.1 the 1e8-iteration ceiling is LIFTED — oracle runs may exceed 1e8 cumulative iterations everywhere. - **Rung-5 verdict on the bitset ask (2026-07-31): pressure did NOT repeat.** The threshold rung runs on integer-coefficient polynomial lists and the