From af3437549b21a62cf48862fc94df27a635782d23 Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Tue, 4 Aug 2026 00:22:31 -0500 Subject: [PATCH] bump: EigenScript pin v0.35.1 -> v0.35.2 Co-Authored-By: Claude Fable 5 --- .devcontainer/Dockerfile | 2 +- FINDINGS.md | 4 ++-- README.md | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index a892478..9ce7d60 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -44,7 +44,7 @@ RUN apt-get update \ # Full EigenScript source at the pinned tag; build the gfx variant (the # binary hard-links to src/eigenscript, which finds lib/ next to it). -ARG EIGS_REF=v0.35.1 +ARG EIGS_REF=v0.35.2 RUN git clone --depth 1 --branch "${EIGS_REF}" \ https://github.com/InauguralSystems/EigenScript.git /opt/eigenscript \ && make -C /opt/eigenscript gfx CC=gcc diff --git a/FINDINGS.md b/FINDINGS.md index c9f151f..dff1af8 100644 --- a/FINDINGS.md +++ b/FINDINGS.md @@ -269,8 +269,8 @@ non-numeric coercion of the same builtin, and its "non-findings" note that `prev` works "provided `record_history` is never called" is now qualified — `prev` works, and arms an unbounded table for the whole program while doing it. -**FIXED upstream** by EigenScript#829, shipped in **v0.35.1** (the pin this repo -now carries): the history table is bounded by program TEXT — entries no backward +**FIXED upstream** by EigenScript#829, shipped in **v0.35.1** (carried by this +repo's pin): the history table is bounded by program TEXT — entries no backward query can reach are pruned at append time — and arming is per NAME instead of whole-program, so `physics.eigs`'s dead-code `prev of` arms nothing here. diff --git a/README.md b/README.md index 39b97e1..0c6d5da 100644 --- a/README.md +++ b/README.md @@ -143,7 +143,7 @@ Forcing-function findings (runtime gaps surfaced while building) are logged in (#255/#256/#280/#375, and #819/#820 which closed the two lib/ui plot gaps); a calling-convention edge remains open, and building this rung surfaced two more: EigenScript#827 (unbounded temporal assignment history — the one that -froze a box, fixed by #829 and shipped in v0.35.1, the pin this repo runs) and +froze a box, fixed by #829 and shipped in v0.35.1, carried by this repo's pin) and #828 (chart render allocation). ## Develop locally