sergio/takana

1#!/bin/sh
2# E2E de la Etapa E4 (upgrades atómicos con rollback) contra el binario `takana` REAL.
3#
4# Monta un store sintético con dos árboles "producto" (v1, v2), un root FHS vivo, y ejercita:
5#   apply v1 → apply v2 → rollback → rollback, verificando el estado del root en cada paso.
6# Todo en host, sin VM: valida el cableado del CLI + la semántica generación/rollback de takana-upgrade.
7#
8# Uso: scripts/upgrade-e2e-test.sh
9set -eu
10
11ROOT_DIR="$(CDPATH= cd "$(dirname "$0")/.." && pwd)"
12WORK="$(mktemp -d)"
13trap 'chmod -R u+w "$WORK" 2>/dev/null || true; rm -rf "$WORK"' EXIT
14
15STORE="$WORK/store"
16ROOT="$WORK/root"
17STATE="$WORK/state"
18JOURNAL="$WORK/journal"
19mkdir -p "$STORE" "$ROOT/usr/bin" "$ROOT/etc"
20
21echo "==> compilando hammer"
22cargo build -q -p takana-cli --manifest-path "$ROOT_DIR/Cargo.toml"
23HAMMER="$ROOT_DIR/target/debug/hammer"
24
25up() { "$HAMMER" --store "$STORE" upgrade --root "$ROOT" --state-root "$STATE" --journal "$JOURNAL" "$@"; }
26
27# --- estado pristino del root (lo que el rollback final debe restaurar) ---
28printf 'PRISTINE-ls' > "$ROOT/usr/bin/ls"
29printf 'motd original\n' > "$ROOT/etc/motd"
30
31# --- sella dos árboles producto sintéticos en el store (vía `takana build`? no: usamos un mini-store
32#     a mano replicando la forma <64hex>-<name>; el of_tree lo computa takana al aplicar) ---
33seal_tree() {
34    # $1=hex64 $2=name $3=builder-fn
35    dir="$STORE/$1-$2"
36    rm -rf "$dir"; mkdir -p "$dir"
37    "$3" "$dir"
38    chmod -R a-w "$dir"   # el store sella read-only; replicamos para fidelidad
39}
40hex() { printf '%s' "$1"; i=${#1}; while [ "$i" -lt 64 ]; do printf '0'; i=$((i+1)); done; }
41
42build_v1() {
43    mkdir -p "$1/usr/bin" "$1/bin"
44    printf 'LS-v1'  > "$1/usr/bin/ls"
45    printf 'OLDtool'> "$1/usr/bin/oldtool"
46    ln -s busybox "$1/bin/sh"
47}
48build_v2() {
49    mkdir -p "$1/usr/bin" "$1/bin"
50    printf 'LS-v2'  > "$1/usr/bin/ls"
51    printf 'NEWtool'> "$1/usr/bin/newtool"   # oldtool desaparece
52    ln -s busybox "$1/bin/sh"
53}
54seal_tree "$(hex aa11)" product-rootfs build_v1
55seal_tree "$(hex bb22)" product-rootfs build_v2
56V1="$(hex aa11)-product-rootfs"
57V2="$(hex bb22)-product-rootfs"
58
59assert() { # $1=path $2=expected-content $3=label
60    got="$(cat "$1" 2>/dev/null || echo '<ausente>')"
61    if [ "$got" != "$2" ]; then echo "FALLO [$3]: $1 = '$got', esperaba '$2'" >&2; exit 1; fi
62    echo "  ok [$3] $1 = $2"
63}
64assert_absent() { [ ! -e "$1" ] || { echo "FALLO [$2]: $1 debería estar ausente" >&2; exit 1; }; echo "  ok [$2] $1 ausente"; }
65
66echo "==> apply v1"
67up apply "$V1"
68assert "$ROOT/usr/bin/ls" "LS-v1" "v1"
69assert "$ROOT/usr/bin/oldtool" "OLDtool" "v1"
70[ -L "$ROOT/bin/sh" ] || { echo "FALLO: bin/sh no es symlink" >&2; exit 1; }
71
72echo "==> apply v2 (pisa ls, añade newtool, RETIRA oldtool)"
73up apply "$V2"
74assert "$ROOT/usr/bin/ls" "LS-v2" "v2"
75assert "$ROOT/usr/bin/newtool" "NEWtool" "v2"
76assert_absent "$ROOT/usr/bin/oldtool" "v2"
77
78echo "==> status"
79up status
80
81echo "==> rollback (v2 → v1: ls vuelve, newtool se borra, oldtool se restaura)"
82up rollback
83assert "$ROOT/usr/bin/ls" "LS-v1" "rb→v1"
84assert "$ROOT/usr/bin/oldtool" "OLDtool" "rb→v1"
85assert_absent "$ROOT/usr/bin/newtool" "rb→v1"
86
87echo "==> rollback (v1 → pristino: el root vuelve EXACTO al estado pre-upgrades)"
88up rollback
89assert "$ROOT/usr/bin/ls" "PRISTINE-ls" "rb→pristino"
90assert "$ROOT/etc/motd" "$(printf 'motd original\n')" "rb→pristino"
91assert_absent "$ROOT/usr/bin/oldtool" "rb→pristino"
92
93echo "==> idempotencia: re-apply v1 sobre pristino vuelve a generar, status coherente"
94up apply "$V1" >/dev/null
95up apply "$V1"   # mismo árbol ⇒ no-op
96
97echo "==> diario: registró cambios"
98LINES="$(wc -l < "$JOURNAL/mutations.jsonl")"
99[ "$LINES" -gt 0 ] || { echo "FALLO: diario vacío" >&2; exit 1; }
100echo "  ok: $LINES eventos en el diario"
101
102echo "==> prune: tras los dos rollback completos las gens 1 y 2 quedaron huérfanas (current=3)"
103GENS_ANTES="$(ls "$STATE/generations" | wc -l)"
104up prune
105GENS_DESPUES="$(ls "$STATE/generations" | wc -l)"
106[ "$GENS_ANTES" -gt "$GENS_DESPUES" ] || { echo "FALLO: prune no borró huérfanas ($GENS_ANTES→$GENS_DESPUES)" >&2; exit 1; }
107echo "  ok: prune $GENS_ANTES→$GENS_DESPUES generación(es)"
108# el árbol vivo (gen 3 = v1) sigue intacto tras el prune.
109assert "$ROOT/usr/bin/ls" "LS-v1" "post-prune"
110
111echo "==> recover: simulamos un apply interrumpido plantando un pending.json y lo recuperamos"
112# El recover real se prueba a fondo en los tests unitarios (corte a media proyección). Acá ejercitamos
113# el CABLEADO del CLI contra artefactos reales: plantamos el manifiesto de la gen viva como intento
114# pendiente; status debe avisar y recover (roll-forward, idempotente) completarlo y limpiarlo.
115CUR=$(cat "$STATE/current")
116cp "$STATE/generations/$CUR/manifest.json" "$STATE/pending.json"
117up status | grep -q "apply interrumpido pendiente" || { echo "FALLO: status no avisó del intento" >&2; exit 1; }
118echo "  ok: status avisó del intento pendiente"
119up recover | grep -q "COMPLETADO" || { echo "FALLO: recover no completó" >&2; exit 1; }
120[ ! -e "$STATE/pending.json" ] || { echo "FALLO: recover no limpió el intento" >&2; exit 1; }
121assert "$ROOT/usr/bin/ls" "LS-v1" "post-recover"
122echo "  ok: recover completó el intento y lo limpió"
123# segundo recover = no-op.
124up recover | grep -q "nada que recuperar" || { echo "FALLO: recover no es no-op sin intento" >&2; exit 1; }
125echo "  ok: recover sin intento es no-op"
126
127echo
128echo "✓✓ E4 upgrade E2E VERDE: apply/rollback atómicos + restauración exacta + idempotencia + diario + prune + recover"