sergio/takana

1#!/bin/sh
2# Prueba que pressure-vessel —el contenedor con el que Valve corre los juegos— arranca ANIDADO
3# dentro de una instancia qorpa enjaulada. ADR 0015 §Orden 6 / D6.
4#
5# ── POR QUÉ ESTE GUARDIÁN ───────────────────────────────────────────────────────────────────────
6# El paso 6 del ADR quedó PARCIAL con esta frase: «pressure-vessel con un juego real sigue sin
7# ejercitarse», porque el runtime sniper sólo se baja al instalar un juego y eso pide credenciales.
8# Falso techo: el depot está publicado y pineado (`docs/state/qorpa-imagenes.toml`), así que se
9# coloca a mano y **no hace falta cuenta, ni juego, ni pantalla** para responder la pregunta que
10# ordenaba el diseño — ¿nuestra jaula deja anidar la de Valve?
11#
12# ── QUÉ MIDE, Y POR QUÉ ESO Y NO OTRA COSA ──────────────────────────────────────────────────────
13# El veredicto es `/etc/os-release` dentro del contenedor: si dice «Steam Runtime 3 (sniper)», el
14# runtime REAL se montó. NO se mide con `ldd --version`, que es la comprobación que uno escribiría
15# primero y sale mal: pressure-vessel **importa la libc del host cuando es más nueva** que la del
16# runtime, así que ver la glibc de la instancia adentro es lo correcto y no prueba nada.
17#
18# Y mide la contraparte: con `nesting = false` el mismo comando tiene que MORIR. Una concesión que
19# no se puede apagar no es una concesión — sin este segundo tramo, el guardián diría «anida» aunque
20# la jaula no estuviera haciendo nada.
21set -eu
22
23QORPA_ROOT="${HAMMER_QORPA_ROOT:-/var/lib/hammer/qorpa}"
24HAMMER="${TAKANA_BIN:-${HAMMER_BIN:-./target/release/takana}}"
25ID="${1:-sniper-probe}"
26
27UBUNTU_URL="https://cdimage.ubuntu.com/ubuntu-base/releases/24.04/release/ubuntu-base-24.04.3-base-amd64.tar.gz"
28UBUNTU_SHA="6bc2cde3930ad088b3bb46fa45279e96d25bc3810f209850ecbe4722711874f9"
29DEPOT_URL="https://repo.steampowered.com/steamrt-images-sniper/snapshots/3.0.20260805.254768/SteamLinuxRuntime_sniper.tar.xz"
30DEPOT_SHA="e264f0639ab775338311036f207b35cebe99bc417b016b53931ebca8b30b3d94"
31
32export HAMMER_QORPA_ROOT="$QORPA_ROOT"
33echo "== qorpa root: $QORPA_ROOT"
34
35# 1. Las dos piezas, por digest. `pull` verifica ANTES de desempacar y es idempotente.
36"$HAMMER" qorpa pull "$UBUNTU_URL" --sha256 "$UBUNTU_SHA" --label ubuntu-base-24.04.3
37# El depot NO es un rootfs (trae `run`, `pressure-vessel/` y la imagen adentro): se trae verificado
38# y sin desempacar. Traerlo a secas FALLA el anclaje por estructura, que es lo que tiene que hacer.
39"$HAMMER" qorpa pull "$DEPOT_URL" --sha256 "$DEPOT_SHA" --label steamlinuxruntime-sniper --verify-only
40
41INST="$QORPA_ROOT/instances/$ID"
42if [ ! -f "$INST/instance.toml" ]; then
43  "$HAMMER" qorpa create "$ID" --base "$UBUNTU_SHA" --distro ubuntu-24.04
44fi
45
46# 2. El depot va al `upper`, que es caché por D3: si esto se pierde, se rehace con este script.
47#    `--delay-directory-restore` no es un adorno — sin él, tar sin ser root no puede terminar de
48#    llenar un directorio cuyo modo final es de sólo lectura.
49if [ ! -x "$INST/upper/opt/SteamLinuxRuntime_sniper/run" ]; then
50  mkdir -p "$INST/upper/opt"
51  tar -xf "$QORPA_ROOT/images/$DEPOT_SHA/archive" --delay-directory-restore -C "$INST/upper/opt"
52fi
53
54DENTRO='cd /opt/SteamLinuxRuntime_sniper && ./run -- /bin/sh -c "grep ^PRETTY_NAME= /etc/os-release; readlink /proc/self/ns/mnt"'
55LOG=$(mktemp -d)
56trap 'rm -rf "$LOG"' EXIT
57
58# ── LA SALIDA VA A FICHERO, NO A `$( )` ─────────────────────────────────────────────────────────
59# MEDIDO acá, y cuesta una hora si no se sabe: `SALIDA=$(timeout … takana qorpa run …)` **se cuelga
60# para siempre** aunque `timeout` mate al hijo. La sustitución de comandos no espera al PROCESO,
61# espera a que se cierre el PIPE, y pressure-vessel deja descendientes (su logger) con el fd
62# abierto. Con redirección a fichero el mismo comando termina y devuelve su código. Es la misma
63# familia que la cicatriz del preflight: el guardián que se cuelga o miente es peor que no tenerlo.
64corre() { # corre <fichero-de-salida> <segundos>
65  timeout -k 5 "$2" "$HAMMER" qorpa run "$ID" -- /bin/sh -c "$DENTRO" > "$1" 2>&1 < /dev/null || true
66}
67
68# 3. Con la concesión: tiene que aparecer el runtime de Valve.
69sed -i 's/^nesting = false/nesting = true/' "$INST/instance.toml"
70echo "== con nesting = true"
71corre "$LOG/si" 300
72grep -E "PRETTY_NAME|mnt:" "$LOG/si" || true
73if ! grep -q "Steam Runtime 3 (sniper)" "$LOG/si"; then
74  tail -20 "$LOG/si"
75  echo "FALLA: pressure-vessel no montó el runtime sniper" >&2
76  exit 1
77fi
78
79# 4. Sin la concesión: tiene que MORIR. Si esto pasa, la jaula no está haciendo nada.
80sed -i 's/^nesting = true/nesting = false/' "$INST/instance.toml"
81echo "== con nesting = false (tiene que fallar)"
82corre "$LOG/no" 120
83sed -i 's/^nesting = false/nesting = true/' "$INST/instance.toml"
84if grep -q "Steam Runtime 3 (sniper)" "$LOG/no"; then
85  echo "FALLA: anidó SIN la concesión — \`nesting\` no está conteniendo nada" >&2
86  exit 1
87fi
88# NO alcanza con «no salió sniper»: un cuelgue, un timeout o una ruta mal escrita también dejan un
89# log sin esa línea, y el guardián diría OK sin haber probado nada. Se exige la EVIDENCIA POSITIVA
90# de la denegación — el mismo criterio de evidencia negativa de harkaq.
91if ! grep -q "Creating new namespace failed" "$LOG/no"; then
92  tail -20 "$LOG/no"
93  echo "FALLA: sin \`nesting\` no salió el rechazo esperado del kernel — no se probó nada" >&2
94  exit 1
95fi
96grep -o "bwrap: Creating new namespace failed.*" "$LOG/no" | head -1
97
98echo "OK: pressure-vessel anida bajo la jaula con \`nesting\`, y NO anida sin ella"