From 315b34cdca1ba46f81e85cf943655d253a62a25a Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Tue, 4 Aug 2026 19:27:39 -0500 Subject: [PATCH] bump: EigenScript pin v0.37.0 -> v0.38.0 Carries the rung-5 fleet-UI widgets (dock #848, hex_view #850). Suite preflighted locally against the real v0.38.0 tag before this bump. Co-Authored-By: Claude Fable 5 --- .github/workflows/ci.yml | 2 +- CLAUDE.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7b84f91..b5bd5ee 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,7 +14,7 @@ jobs: - name: Build EigenScript run: | - git clone --branch v0.37.0 --depth 1 https://github.com/InauguralSystems/EigenScript.git /tmp/eigenscript + git clone --branch v0.38.0 --depth 1 https://github.com/InauguralSystems/EigenScript.git /tmp/eigenscript cd /tmp/eigenscript && make build echo "/tmp/eigenscript/src" >> $GITHUB_PATH diff --git a/CLAUDE.md b/CLAUDE.md index 2002c00..b5724bf 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -32,7 +32,7 @@ Minimum is **v0.11.8** — the earliest release that runs the CDCL suite green. The floor is set by a v0.11.x VM fix, not by stdlib integer vectors (those shipped in v0.11.2, but that release still crashes the CDCL path). -CI builds and tests against EigenScript **v0.37.0** (pinned in +CI builds and tests against EigenScript **v0.38.0** (pinned in `.github/workflows/ci.yml`): the correctness suite is green — all `test_solver.eigs` assertions and the full `run_smoke.sh` pass. The `Inline tiny accessors in CDCL hot path` commit captures the hoist