sergio/takana

1#!/usr/bin/env sh
2# test-guardianes-wasm.sh — le pone delante a los guardianes de la cadena wasm las formas conocidas
3# de romperla y exige que las maten. Y corre un CONTROL con el sysroot intacto que tiene que PASAR.
4#
5# POR QUÉ EXISTE. Un guardián que nunca falló no se sabe si sirve, y uno que falla SIEMPRE se ve
6# idéntico a uno que funciona: por eso el control no es un extra, es la mitad de la prueba. El
7# método lo aportó la sesión takana-f8 (su scripts/test-atuq-politica.py hace lo mismo con el cruce
8# política↔XPI).
9#
10# NO CONSTRUYE NADA, NO TOMA EL LOCK Y NO ESCRIBE EN EL STORE: trabaja sobre copias temporales de
11# artefactos ya sellados, así que se puede correr con la granja a pleno.
12#
13#   ./scripts/test-guardianes-wasm.sh [--store DIR]
14set -u
15STORE="./store"
16[ "${1:-}" = "--store" ] && STORE="$2"
17LAB="./.dev-fs/alpine"
18TMP="${TMPDIR:-/tmp}/guardianes-wasm.$$"
19ok=0; mal=0
20
21di() { printf '%s\n' "$*"; }
22fin() { rm -rf "$TMP"; }
23trap fin EXIT
24
25# ⚠ EL ARTEFACTO SE RESUELVE POR EL HASH DE LA RECETA, NUNCA POR GLOB. La primera versión de este
26# script hacía `ls -d "$STORE"/*-wasi-libcxx | head -1` y agarró el artefacto VIEJO —el de antes de
27# que la receta creara el directorio-sonda— así que el CONTROL falló y los cuatro sabotajes
28# "pasaron". Es la misma trampa que el cache-hit que congela regresiones: un artefacto anterior se
29# hace pasar por el actual y la prueba mide otra cosa. Y es, además, la demostración de para qué
30# sirve el control: sin él eso se habría leído como "4 en verde, guardianes ok".
31art() {
32  h=$(./target/release/takana --store "$STORE" hash "recipes/$1.toml" 2>/dev/null | tail -1)
33  h=${h#b3:}
34  [ -n "$h" ] && [ -d "$STORE/$h-$1" ] && printf '%s' "$STORE/$h-$1"
35}
36libc=$(art wasi-libc)
37cxx=$(art wasi-libcxx)
38[ -n "$libc" ] && [ -n "$cxx" ] || { di "el store no tiene el artefacto VIGENTE de wasi-libc/wasi-libcxx (¿sin construir?) — nada que probar"; exit 77; }
39di "artefactos vigentes: $(basename "$libc" | cut -c1-12)… / $(basename "$cxx" | cut -c1-12)…"
40[ -d "$LAB" ] || { di "sin lab en $LAB"; exit 77; }
41
42# Arma un sysroot fusionado como el que ve firefox, y le aplica el sabotaje que se le pida.
43armar() {
44  rm -rf "$TMP/s"; mkdir -p "$TMP/s"
45  cp -a "$libc"/usr/share/wasi-sysroot/. "$TMP/s"/
46  cp -a "$cxx"/usr/share/wasi-sysroot/.  "$TMP/s"/
47  case "${1:-}" in
48    sin-sonda)     rm -rf "$TMP/s/include/c++/v1" ;;
49    sin-libcxx)    rm -f  "$TMP/s"/lib/*/libc++.a ;;
50    sin-libc)      rm -f  "$TMP/s"/lib/*/libc.a ;;
51    sin-cstring)   find "$TMP/s/include" -name cstring -delete ;;
52    intacto)       : ;;
53  esac
54}
55
56# La prueba EXACTA que hace el configure de firefox, dentro del lab.
57probar_cxx() {
58  bwrap --overlay-src "$LAB" --tmp-overlay / --proc /proc --dev /dev --tmpfs /tmp \
59        --ro-bind "$TMP/s" /sysroot --unshare-all --die-with-parent \
60        /bin/sh -c 'echo "#include <cstring>" > /tmp/p.cpp
61                    clang++ -std=gnu++20 --target=wasm32-wasip1 /tmp/p.cpp --sysroot=/sysroot -c -o /tmp/p.o' \
62    >/dev/null 2>&1
63}
64
65# --- EL CONTROL. Va PRIMERO a propósito: si esto no pasa, los demás resultados no significan nada,
66# porque un guardián que mata todo se ve igual que uno que discrimina.
67armar intacto
68if probar_cxx; then
69  di "✓ CONTROL   sysroot intacto  -> compila (el guardián NO es un «mata siempre»)"; ok=$((ok+1))
70else
71  di "✗ CONTROL   sysroot intacto  -> NO compila. El resto de esta prueba no vale nada."; mal=$((mal+1))
72fi
73
74# --- LOS SABOTAJES. Cada uno es una forma conocida de romper la cadena; todos tienen que matar.
75for caso in sin-sonda sin-cstring; do
76  armar "$caso"
77  if probar_cxx; then
78    di "✗ SABOTAJE  $caso -> compiló igual. El guardián NO cubre este caso."; mal=$((mal+1))
79  else
80    di "✓ SABOTAJE  $caso -> muere, como debe"; ok=$((ok+1))
81  fi
82done
83
84# --- Los de presencia pura, que son los que el caso `sin-sonda` demostró insuficientes por sí solos.
85for caso in sin-libcxx sin-libc; do
86  armar "$caso"
87  falta=0
88  for t in wasm32-wasip1 wasm32-wasip1-threads; do
89    [ -s "$TMP/s/lib/$t/libc++.a" ] && [ -s "$TMP/s/lib/$t/libc.a" ] || falta=1
90  done
91  if [ "$falta" = 1 ]; then
92    di "✓ SABOTAJE  $caso -> el test de presencia lo caza"; ok=$((ok+1))
93  else
94    di "✗ SABOTAJE  $caso -> el test de presencia NO lo caza"; mal=$((mal+1))
95  fi
96done
97
98di ""
99di "resumen: $ok en verde, $mal en rojo"
100[ "$mal" = 0 ] || exit 1