Bump EigenScript pin v0.34.0 -> v0.35.1 - #2
Merged
Conversation
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) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Picks up the #827 fix in v0.35.1: the temporal assignment history backing
prev of x,<kw> is x at <line>andstate_atwas append-only, uncapped, and held a reference to every recorded value. Merely mentioning one of those forms in a loaded file — including never-executed code — armed unbounded retention; on a 4 GB box the kernel thrashed instead of OOM-killing. v0.35.0 also carries thelib/uix-y chart widget (#819).Pin sites changed (2)
.devcontainer/Dockerfile—ARG EIGS_REF(the pin)GAPS.md— "with the CI pin now at v0.34.0" -> v0.35.1Deliberately NOT changed: the adjacent "Shipped in v0.34.0" in the same GAPS.md sentence. That is a historical fact about where the #772/#773 loop-cap fix landed, and a blind version sed would have falsified it. The 1e8-iteration ceiling remains lifted — v0.35.1 is strictly newer than the release that lifted it.
Preflight (BEFORE bumping, against the v0.35.1 runtime)
Runtime verified as the real tag build: tag
v0.35.1, commite2bb217, clean tree, upstream[70d]bounded-history gate passing with flat RSS.EIGS=eigenscript bash tests/run.sh-> polymethod gate: all green (exit 0)test_ctwcertified=1on max2satBoth planted-fault legs fired, so the gate is validated rather than vacuously green. The oracle runs that exceed 1e8 cumulative iterations (the ceiling lifted in v0.34.0) still behave correctly on v0.35.1.
No consumer source was modified.
🤖 Generated with Claude Code