fix(container): use rust:1.85-slim and debian for build stages

Chainguard wolfi-base no longer provides cargo/z3 packages.
Switch rust-builder to rust:1.85-slim-bookworm and prover-installer
to debian:bookworm-slim.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: Jonathan D.A. Jewell

.containerization/Containerfile

@@ -13,14 +13,13 @@
 # =============================================================================
 # Stage 1: Rust Builder (wolfi has rust toolchain)
 # =============================================================================
-FROM cgr.dev/chainguard/wolfi-base:latest AS rust-builder
+FROM docker.io/library/rust:1.85-slim-bookworm AS rust-builder
 
-RUN apk add --no-cache \
-    rust \
-    cargo \
-    build-base \
-    pkgconf \
-    openssl-dev
+RUN apt-get update && apt-get install -y --no-install-recommends \
+    build-essential \
+    pkg-config \
+    libssl-dev \
+    && rm -rf /var/lib/apt/lists/*
 
 WORKDIR /build
 
@@ -62,12 +61,13 @@ RUN export PATH="/opt/idris2/bin:$PATH" && \
 # =============================================================================
 # Stage 3: Prover Installer
 # =============================================================================
-FROM cgr.dev/chainguard/wolfi-base:latest AS prover-installer
+FROM docker.io/library/debian:bookworm-slim AS prover-installer
 
-RUN apk add --no-cache \
+RUN apt-get update && apt-get install -y --no-install-recommends \
     z3 \
     curl \
-    ca-certificates
+    ca-certificates \
+    && rm -rf /var/lib/apt/lists/*
 
 # Install Lean 4 via elan
 RUN curl -fsSL https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh | \