demo: apt-free GIF recorder (static asciinema v3 + agg + bundled ttf)

The recorder no longer apt/pip-installs python (~100MB, slow). It uses single
static binaries + one font file:
- scripts/fetch-recording-tools.sh fetches asciinema (v3 Rust binary), agg, and
  JetBrainsMono-Regular.ttf into scripts/.recorder-bin/ (gitignored). Honors
  ALL_PROXY/HTTPS_PROXY for firewalled networks.
- scripts/Dockerfile.recorder is now pure COPY — zero apt — so the recorder
  image builds in seconds.
- record scripts use 'asciinema rec -f asciicast-v2' (v3 binary defaults to v3,
  which agg 1.5 can't read) and 'agg --font-dir ... --font-family JetBrains Mono'
  (agg is statically linked and needs only a .ttf, no fontconfig/apt).

Verified end-to-end: recorder image builds with no apt, records, and renders a
GIF with the bundled font.

Author: css521

.gitignore

@@ -34,3 +34,6 @@ coverage.txt
 # Local-only working docs (not for public repo)
 /REVIEW_ISSUES.md
 /.claude/
+
+# Recording tool binaries (fetched via scripts/fetch-recording-tools.sh)
+/scripts/.recorder-bin/

scripts/Dockerfile.recorder

@@ -1,18 +1,18 @@
-# Recorder image: rewindable-claude + asciinema + agg, so make-claude-gif.sh
-# can record without re-installing the (slow) python/asciinema stack every run.
-#   docker build --platform=linux/arm64 -f scripts/Dockerfile.recorder \
-#     --build-arg AGG_LOCAL=... -t rewindable-claude-rec scripts/   (see make-claude-gif.sh)
+# Recorder image: rewindable-claude + asciinema + agg + a monospace font, so
+# make-claude-gif.sh / record-claude-tui.sh can record without any apt/pip
+# install. asciinema (v3) and agg are single static binaries; the only other
+# need is one .ttf for agg's renderer. Populate the build context first:
+#   bash scripts/fetch-recording-tools.sh            # → scripts/.recorder-bin/
+#   docker build -f scripts/Dockerfile.recorder -t rewindable-claude-rec scripts/
 FROM rewindable-claude
 
-RUN sed -ri 's#deb\.debian\.org#mirrors.aliyun.com#g' /etc/apt/sources.list.d/*.sources 2>/dev/null || true \
- && apt-get update -qq \
- && apt-get install -y -qq python3-pip fonts-dejavu-core >/dev/null 2>&1 \
- && (pip3 install --quiet --break-system-packages --index-url https://mirrors.aliyun.com/pypi/simple/ asciinema \
-     || pip3 install --quiet --break-system-packages asciinema)
+# Static tools (no apt, no python). asciinema v3 records; agg renders cast→GIF.
+COPY .recorder-bin/asciinema /usr/local/bin/asciinema
+COPY .recorder-bin/agg       /usr/local/bin/agg
+COPY .recorder-bin/JetBrainsMono-Regular.ttf /usr/local/share/fonts/JetBrainsMono-Regular.ttf
+RUN chmod 0755 /usr/local/bin/asciinema /usr/local/bin/agg
 
-# agg (the cast→GIF renderer) is copied in from the build context.
-COPY agg /usr/local/bin/agg
-RUN chmod 0755 /usr/local/bin/agg
+# agg looks fonts up by directory; point demos at this one.
+ENV AGENTENV_GIF_FONT_DIR=/usr/local/share/fonts AGENTENV_GIF_FONT="JetBrains Mono"
 
-# Restore the rewindable-claude entrypoint (FROM inherits it, but be explicit).
 ENTRYPOINT ["/usr/local/bin/rewindable-claude-entrypoint"]

scripts/fetch-recording-tools.sh

@@ -0,0 +1,27 @@
+#!/usr/bin/env bash
+# Fetch the static tools the GIF recorder needs — asciinema (v3, single Rust
+# binary), agg (cast→GIF renderer), and one monospace .ttf — into
+# scripts/.recorder-bin/. No apt, no pip, no python: scripts/Dockerfile.recorder
+# just COPYs these in.
+#
+# Behind a firewall? Route through a proxy, e.g.:
+#   ALL_PROXY=socks5h://127.0.0.1:13659 bash scripts/fetch-recording-tools.sh
+# (curl honors ALL_PROXY/HTTPS_PROXY.) Override an arch with ARCH=x86_64.
+set -euo pipefail
+cd "$(dirname "$0")"
+mkdir -p .recorder-bin
+ARCH="${ARCH:-$(uname -m | sed 's/arm64/aarch64/;s/amd64/x86_64/')}"
+ASC_VER="${ASC_VER:-3.2.1}"
+AGG_VER="${AGG_VER:-1.5.0}"   # 1.5 reads asciicast-v2 (we record with -f asciicast-v2)
+
+get() { echo "fetching $2"; curl -fL -m 300 -o "$1" "$2"; }
+
+get .recorder-bin/asciinema \
+  "https://github.com/asciinema/asciinema/releases/download/v${ASC_VER}/asciinema-${ARCH}-unknown-linux-gnu"
+get .recorder-bin/agg \
+  "https://github.com/asciinema/agg/releases/download/v${AGG_VER}/agg-${ARCH}-unknown-linux-gnu"
+get .recorder-bin/JetBrainsMono-Regular.ttf \
+  "https://github.com/JetBrains/JetBrainsMono/raw/master/fonts/ttf/JetBrainsMono-Regular.ttf"
+
+chmod +x .recorder-bin/asciinema .recorder-bin/agg
+echo "ok → scripts/.recorder-bin/ (build: docker build -f scripts/Dockerfile.recorder -t rewindable-claude-rec scripts/)"

scripts/make-claude-gif.sh

@@ -37,14 +37,15 @@ docker run --rm --platform="$PLATFORM" \
   --entrypoint bash \
   "$IMAGE" -c '
     set -e
-    command -v asciinema >/dev/null || { echo "recorder image missing asciinema — build scripts/Dockerfile.recorder" >&2; exit 1; }
+    command -v asciinema >/dev/null || { echo "recorder image missing asciinema — fetch-recording-tools.sh + build scripts/Dockerfile.recorder" >&2; exit 1; }
 
     # /rec.sh (mounted) invokes the image entrypoint → supervise --self-rollback
-    # -- claude. asciinema records the real Claude Code session.
-    TERM=xterm-256color asciinema rec --overwrite --cols 100 --rows 30 \
+    # -- claude. asciinema (v3 binary) records in v2 so agg 1.5 can read it.
+    TERM=xterm-256color asciinema rec --overwrite -f asciicast-v2 --cols 100 --rows 30 \
       -c "bash /rec.sh" /out/claude-rewind.cast
 
-    agg --theme monokai --speed 1.5 --font-size 15 /out/claude-rewind.cast /out/claude-rewind.gif
+    agg --font-dir "${AGENTENV_GIF_FONT_DIR:-/usr/local/share/fonts}" --font-family "${AGENTENV_GIF_FONT:-JetBrains Mono}" \
+      --theme monokai --speed 1.5 --font-size 15 /out/claude-rewind.cast /out/claude-rewind.gif
     ls -la /out/claude-rewind.cast /out/claude-rewind.gif
   '
 echo "wrote: $(pwd)/docs/claude-rewind.gif"

scripts/record-claude-tui.sh

@@ -37,10 +37,11 @@ docker run --rm -it --platform="$PLATFORM" \
     echo "  Exit with Ctrl-D when done — the GIF will render."
     echo
     sleep 2
-    TERM=xterm-256color asciinema rec --overwrite --cols 100 --rows 30 \
+    TERM=xterm-256color asciinema rec --overwrite -f asciicast-v2 --cols 100 --rows 30 \
       -c "/usr/local/bin/rewindable-claude-entrypoint claude --permission-mode acceptEdits" \
       /out/claude-rewind.cast
-    agg --theme monokai --speed 1.2 --font-size 15 /out/claude-rewind.cast /out/claude-rewind.gif
+    agg --font-dir "${AGENTENV_GIF_FONT_DIR:-/usr/local/share/fonts}" --font-family "${AGENTENV_GIF_FONT:-JetBrains Mono}" \
+      --theme monokai --speed 1.2 --font-size 15 /out/claude-rewind.cast /out/claude-rewind.gif
     echo "wrote docs/claude-rewind.gif"
   '
 echo "wrote: $(pwd)/docs/claude-rewind.gif"