From da87a48c44cc401ce155de6bb1ff24e1fd3a56f4 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Sat, 30 May 2026 22:02:14 +0100 Subject: [PATCH] =?UTF-8?q?chore(wave3):=20bump=20Poly/ML=205.9.1=E2=86=92?= =?UTF-8?q?5.9.2,=20OR-Tools=209.12=E2=86=929.15,=20ACL2=208.6=E2=86=928.7?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Verification pass on the Wave-3 brittle pins tracked in #75. Five upstreams checked against latest GitHub releases (or git tags for ACL2, which doesn't use GitHub Releases): | Backend | Was | Latest | Action | |---|---|---|---| | Poly/ML | 5.9.1 | 5.9.2 (2025-08-11) | bumped | | OR-Tools | 9.12.4544 | 9.15.6755 (2026-01-12) | bumped (BUILD also) | | SCIP | 10.0.2 | 10.0.2 (2026-04-02) | current ✓ | | ACL2 | 8.6 | 8.7 (git tag) | bumped | | Tamarin | 1.12.0 | 1.12.0 (2026-03-07) | current ✓ | Additional checks: HOL4 trindemossen-2 (current — latest is also trindemossen-2 from 2025-08-12). All five existing-pin asset URLs HEAD-resolved before bumping, so no dead-URL stub-degradation was masking a download failure at this snapshot. OR-Tools BUILD number for v9.15 (6755) verified via the GitHub releases API for that tag — matches the actual asset name `or-tools_amd64_debian-12_cpp_v9.15.6755.tar.gz`. Comment block updated to reflect the new example in case the bump becomes the new reference. Risk: OR-Tools jumped 3 minor versions (9.12 → 9.15) which carries the most ABI surface for downstream Rust callers via the C++ FFI. The other two are patch (Poly/ML) and minor (ACL2) bumps and are low-risk. Container build + the existing Wave-3 smoke jobs will exercise the upgrades. Refs #75. Co-Authored-By: Claude Opus 4.7 (1M context) --- .containerization/Containerfile.wave3 | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.containerization/Containerfile.wave3 b/.containerization/Containerfile.wave3 index 53ba5871..3dd3a6f6 100644 --- a/.containerization/Containerfile.wave3 +++ b/.containerization/Containerfile.wave3 @@ -399,11 +399,11 @@ WORKDIR /opt/or-tools # The tarball ships include headers, shared libraries, and CMake config files. # Check https://github.com/google/or-tools/releases for the latest version. # NOTE: upstream release assets ALWAYS carry the build number, e.g. -# or-tools_amd64_debian-12_cpp_v9.12.4544.tar.gz (NOT ..._v9.12.tar.gz) +# or-tools_amd64_debian-12_cpp_v9.15.6755.tar.gz (NOT ..._v9.15.tar.gz) # so ORTOOLS_BUILD must track the exact build for the tag (verified via the -# GitHub releases API for tag v9.12). Bump both together on any version change. -ARG ORTOOLS_VERSION="9.12" -ARG ORTOOLS_BUILD="4544" +# GitHub releases API for tag v9.15). Bump both together on any version change. +ARG ORTOOLS_VERSION="9.15" +ARG ORTOOLS_BUILD="6755" ARG ORTOOLS_ARCHIVE="or-tools_amd64_debian-12_cpp_v${ORTOOLS_VERSION}.${ORTOOLS_BUILD}.tar.gz" ARG ORTOOLS_URL="https://github.com/google/or-tools/releases/download/v${ORTOOLS_VERSION}/${ORTOOLS_ARCHIVE}" @@ -501,7 +501,7 @@ WORKDIR /build/polyml # auto-generated source tarball for the tag (always present), with the # releases/download form as a fallback for any version that does ship one. # The archive tarball extracts to polyml-/ → --strip-components=1. -ARG POLYML_VERSION="5.9.1" +ARG POLYML_VERSION="5.9.2" RUN set -eux; \ curl -fsSL --retry 3 \ "https://github.com/polyml/polyml/archive/refs/tags/v${POLYML_VERSION}.tar.gz" \ @@ -621,7 +621,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ # such file or directory" at runtime. Build in-place at /opt/acl2 so the # baked paths are correct in the runtime image (ACL2_SYSTEM_BOOKS=/opt/acl2/books). # Check https://github.com/acl2/acl2/releases for the latest version. -ARG ACL2_VERSION="8.6" +ARG ACL2_VERSION="8.7" RUN git clone --depth 1 --branch "v${ACL2_VERSION}" \ https://github.com/acl2/acl2.git /opt/acl2 \ || git clone --depth 1 \