From 2be37e77aa46fc34146c66cad9e27b7483e2612c Mon Sep 17 00:00:00 2001
From: tegwick <bernd.worsch@gmail.com>
Date: Fri, 4 Sep 2026 21:20:43 +0200
Subject: [PATCH] fix(ci): pin musl-compatible Python bootstrap

Assistant: codex
Assistant-Model: gpt-5.6-sol
Assistant-Session: 01a06ba0-10aa-7ea0-b20a-4f3fac39efe9
---
 .forgejo/workflows/runtime-contract.yaml | 20 ++------------------
 1 file changed, 2 insertions(+), 18 deletions(-)

diff --git a/.forgejo/workflows/runtime-contract.yaml b/.forgejo/workflows/runtime-contract.yaml
index c96030f..affe76d 100644
--- a/.forgejo/workflows/runtime-contract.yaml
+++ b/.forgejo/workflows/runtime-contract.yaml
@@ -17,8 +17,8 @@ jobs:
           FORGE_BASE: ${{ github.server_url }}
           REPO_NAME: ${{ github.repository }}
           REPO_SHA: ${{ github.sha }}
-          UV_VERSION: "0.8.0"
-          UV_X86_64_SHA256: "0208cbcb3850bfc69277c9a16c2b0399218b075dc923aca7e4b576ee4228c570"
+          UV_VERSION: "0.12.9"
+          UV_X86_64_SHA256: "aa4b1f8770910f7c7c543c7acc980e4270e52e70750c996acef813ea1c7c2912"
         run: |
           set -eu
           work_dir="$(mktemp -d /tmp/rein-contract.XXXXXX)"
@@ -50,18 +50,6 @@ jobs:
           export UV_PYTHON_INSTALL_DIR="${work_dir}/uv-python"
           "${uv_bin}" python install 3.12
           python_bin="$("${uv_bin}" python find 3.12)"
-          if ! "${python_bin}" -c 'import ctypes; ctypes.CDLL("libgcc_s.so.1")' >/dev/null 2>&1; then
-            if command -v apk >/dev/null 2>&1; then
-              apk add --no-cache libgcc
-            elif command -v apt-get >/dev/null 2>&1; then
-              apt-get update
-              apt-get install -y libgcc-s1
-            else
-              echo "managed Python requires libgcc_s.so.1, but no supported package manager is available" >&2
-              exit 1
-            fi
-          fi
-          "${python_bin}" -c 'import ctypes; ctypes.CDLL("libgcc_s.so.1")'
 
           git clone "${FORGE_BASE}/${REPO_NAME}.git" "${work_dir}/rein-aharness"
           git -C "${work_dir}/rein-aharness" checkout --detach "${REPO_SHA}"
@@ -79,11 +67,7 @@ jobs:
           git -C "${work_dir}/sand-boxer" checkout --detach "${sandbox_sha}"
 
           cd "${work_dir}/rein-aharness"
-          # uv itself is a static musl bootstrap binary so it can execute on
-          # the NixOS runner. The managed CPython ABI is GNU/Linux, which must
-          # be explicit or native wheels are selected for the bootstrap ABI.
           "${uv_bin}" sync \
             --python "${python_bin}" \
-            --python-platform x86_64-unknown-linux-gnu \
             --frozen --no-editable --extra glas --extra llm --extra dev
           ./scripts/verify-runtime-contracts.sh