sergio/takana

1#!/usr/bin/env bash
2# selfhost-verify.sh — Verifica el auto-alojamiento bit a bit de Stage 1 de punta a punta
3# (SDD 11 §7; runbook docs/runbooks/stage1-vm-boot.md §8c).
4#
5# Hace TODO el pipeline en una corrida, pensado para un host con KVM + RAM holgada (p. ej. una
6# laptop): construye el store baseline, ensambla el builder, lo empaqueta como initramfs y lo bootea
7# en QEMU, donde `rebuild-stage1` reconstruye stage1' con el toolchain de adentro y compara su
8# content-hash (`of_tree`) con la referencia anclada afuera → ✓ REPRODUCIBLE / ✗ DIVERGENTE.
9#
10# Prerequisitos:
11#   - Lab de dev:  ./scripts/bootstrap-devfs.sh   (deja .dev-fs/alpine + .dev-fs/tools/zig)
12#   - qemu-system-x86_64, cpio, gzip; un kernel x86_64 en $KERNEL.
13#   - Red (el fetch de Rust hace `cargo vendor` desde crates.io).
14#
15# Variables (override por entorno):
16#   STORE      store content-addressed         (default ./store)
17#   KERNEL     kernel a bootear en la VM        (default /boot/vmlinuz-linux)
18#   MEM        RAM de la VM en MiB              (default 6144; con KVM subí a 8192+)
19#   KVM        1 ⇒ -enable-kvm -cpu host        (default auto: 1 si hay /dev/kvm)
20#   PRESEED    "all" rebuild 4/4 in-VM | "hammerd" preseed C+arje, sólo hammerd in-VM
21#              (default all; "hammerd" es el camino barato/rápido si la RAM va justa)
22#   EXPECT_REF content-hash esperado (cross-check de reproducibilidad entre máquinas; opcional)
23#   STAGE0_URL / STAGE0_SHA256 / SEED_VERSION  semilla zig (defaults: zig 0.16.0)
24#
25# Uso típico en la laptop (con KVM):
26#   KVM=1 MEM=10240 ./scripts/selfhost-verify.sh
27set -euo pipefail
28
29REPO_ROOT="$(cd "$(dirname "$0")/.." && pwd)"
30cd "$REPO_ROOT"
31
32STORE="${STORE:-store}"
33KERNEL="${KERNEL:-/boot/vmlinuz-linux}"
34MEM="${MEM:-6144}"
35PRESEED="${PRESEED:-all}"
36SEED_VERSION="${SEED_VERSION:-0.16.0}"
37STAGE0_URL="${STAGE0_URL:-https://ziglang.org/download/0.16.0/zig-x86_64-linux-0.16.0.tar.xz}"
38STAGE0_SHA256="${STAGE0_SHA256:-70e49664a74374b48b51e6f3fdfbf437f6395d42509050588bd49abe52ba3d00}"
39TOOLCHAIN="${TOOLCHAIN:-.dev-fs/alpine}"
40TOOLCHAIN_TAG="${TOOLCHAIN_TAG:-alpine-3.23.4-builder}"
41# Referencia conocida-buena (store baseline en el host de dev, runbook §8c). Si tu corrida produce
42# otra, o bien cambió algo del pin (toolchain/recipes/seed) o hay un no-determinismo nuevo.
43# Baseline DETERMINISTA con codegen-units=1 + CARGO_BUILD_JOBS=1 en el sandbox: el segundo serializa
44# el backend paralelo de rustc/LLVM (ThinLTO), sin el cual arje-zero divergía ~62 KB a >1 CPU (el
45# viejo 0039b2b9… era un build paralelo no-reproducible). Ver §8c y SDD 09 §2.
46#
47# ⚠ **Re-anclada el 2026-09-22: `util-linux` entró a `STAGE1_COMPONENTS`** y el núcleo pasó de 4 a 5
48# componentes, así que el árbol del stage1 cambió y con él su `of_tree`. La anterior era
49# `b3:9adefb82b8457c8616cc89e6bb725a787ea52641f65d60d989d819e4872735ac`, válida mientras el núcleo
50# fue `musl busybox hammerd arje-zero`; se deja escrita acá porque una corrida vieja que la produzca
51# no está rota, está desactualizada, y distinguir las dos cosas es justo para lo que sirve este
52# valor. Por qué entró util-linux: la card `console-getty` vive en la seed del NÚCLEO y su `exec`
53# tiene que existir en ESE rootfs — ver `takana-bootstrap/src/lib.rs`, `STAGE1_COMPONENTS`.
54#
55# ⚠ Y esto es lo que el HOST calcula, no el veredicto de auto-alojamiento. Que la VM reproduzca este
56# mismo árbol con su propio toolchain es lo que dice `✓ REPRODUCIBLE` más abajo; son dos
57# comprobaciones distintas y esta variable sólo cruza máquinas, no capas.
58EXPECT_REF="${EXPECT_REF:-b3:d152f060f570dbf6ace4b0cb61732caee3671f1f7a270eaa3a7755ed2fb94fb8}"
59: "${KVM:=$([[ -w /dev/kvm ]] && echo 1 || echo 0)}"
60
61say() { printf '\n\033[1;36m==> %s\033[0m\n' "$*"; }
62die() { printf '\033[1;31mERROR: %s\033[0m\n' "$*" >&2; exit 1; }
63
64[[ -x "$TOOLCHAIN/usr/bin/rustc" ]] || die "falta el lab: corré ./scripts/bootstrap-devfs.sh (no veo $TOOLCHAIN)"
65[[ -r "$KERNEL" ]] || die "no puedo leer el kernel $KERNEL (set KERNEL=…)"
66command -v qemu-system-x86_64 >/dev/null || die "falta qemu-system-x86_64"
67
68# 0) Binario takana estático (musl, crt-static) — el builder lo bootea adentro.
69HAMMER_BIN="target/x86_64-unknown-linux-musl/release/hammer"
70say "build hammer estático ($HAMMER_BIN)"
71cargo build --release --target x86_64-unknown-linux-musl -p takana-cli
72HAMMER="./$HAMMER_BIN"
73
74say "stage0 — ingerir la semilla zig (idempotente)"
75"$HAMMER" --store "$STORE" bootstrap stage0 \
76    --url "$STAGE0_URL" --sha256 "$STAGE0_SHA256" --version "$SEED_VERSION"
77# El seed_hash sale del nombre del artefacto sellado (robusto: no parsea stdout, donde el sha256 del
78# tarball también es 64-hex y podría confundirse).
79SEED_HASH="$(ls -d "$STORE"/*-seed-zig 2>/dev/null | head -1 | sed -E 's#.*/([0-9a-f]{64})-seed-zig#b3:\1#')"
80[[ "$SEED_HASH" == b3:* && ${#SEED_HASH} -eq 67 ]] || die "no encuentro la semilla sellada en $STORE"
81say "semilla: $SEED_HASH"
82
83# 0c) Auto-alojamiento del COMPILADOR (variante b, pieza rust). A DIFERENCIA de make/busybox/bwrap/…
84#     (herramientas que ORQUESTAN o COPIAN ⇒ bytes idénticos), **rustc EMITE los binarios del 4/4**
85#     (arje-zero, hammerd): un rustc distinto ⇒ of_tree DIVERGE del baseline Alpine 9adefb82. Por eso
86#     el criterio no es igualdad con Alpine sino AUTO-CONSISTENCIA: el REF se RECOMPUTA con takana-rust
87#     (nuevo EXPECT_REF) y la VM debe reproducir ESE. El swap entra en $TOOLCHAIN, que sirve TANTO al
88#     build host del REF (este script, abajo) COMO al toolchain in-VM del builder (--toolchain); se
89#     restaura al salir (trap). takana-rust se construye con scripts/rust-frontier (climb mrustc→1.91.1).
90#       SWAP_RUST=1        → overlay .scratch/rust-1.91.1-prefix sobre /toolchain/usr/{bin,lib}.
91#       RUST_PREFIX=DIR    → prefix takana-rust alternativo (default .scratch/rust-1.91.1-prefix).
92#       RUST_EXPECT_REF=…  → REF conocido-bueno de takana-rust (cross-check; vacío ⇒ sólo lo imprime).
93#     ⚠️ Usá PRESEED=hammerd con SWAP_RUST: arje-zero (monorepo tawasuyu) vendorea ~1973 crates;
94#     en un rebuild in-VM completo (PRESEED=all) ese vendor desborda el rootfs en RAM de la VM
95#     (ENOSPC). PRESEED=hammerd preseedea el arje-zero host-built (takana-rust, locked) y sólo
96#     reconstruye hammerd in-VM. ✓ REPRODUCIBLE verificado así (2026-06-18, of_tree 7fa6cb4e).
97if [[ "${SWAP_RUST:-0}" == 1 ]]; then
98    RUST_PREFIX="${RUST_PREFIX:-.scratch/rust-1.91.1-prefix}"
99    [[ -x "$RUST_PREFIX/bin/rustc" ]] || die "SWAP_RUST=1 pero no veo el prefix hammer-rust en $RUST_PREFIX (corré el climb: scripts/rust-frontier/README.md)"
100    say "variante b (compilador) — swapear hammer-rust 1.91.1 en $TOOLCHAIN (criterio: auto-consistencia)"
101    scripts/rust-frontier/swap-rust-into-toolchain.sh --prefix "$RUST_PREFIX" --toolchain "$TOOLCHAIN"
102    trap 'scripts/rust-frontier/swap-rust-into-toolchain.sh --restore --toolchain "$TOOLCHAIN" >/dev/null 2>&1 || true' EXIT
103    # OJO: el input-hash del store NO incluye el rustc (recipe.hash_inputs = source+compiler+target+
104    # link+patches+flags+phases+deps), así que en el ./store compartido arje-zero/hammerd quedarían
105    # CACHEADOS con los bytes de Alpine y el swap sería un no-op. Usamos un store DEDICADO (store-rust)
106    # para forzar el rebuild de los 4/4 con takana-rust; así el of_tree refleja el compilador nuevo.
107    STORE="${RUST_STORE:-store-rust}"
108    say "SWAP_RUST: store dedicado $STORE (el ./store baseline no se toca; fuerza rebuild con hammer-rust)"
109    # Con takana-rust el REF NO es el 9adefb82 de Alpine; comparamos contra RUST_EXPECT_REF, el
110    # of_tree(stage1) auto-consistente de takana-rust 1.91.1 (reproducido 2× en host, 2026-06-17,
111    # store-rust y store-rust2). Override con RUST_EXPECT_REF= para re-anclar.
112    EXPECT_REF="${RUST_EXPECT_REF:-b3:7fa6cb4e70a934d72206cf3d95cf46a13f0a6464ec73855b98d547195f4ed047}"
113fi
114
115# 1) Store baseline: stage1 (idempotente; rebuildea lo que falte con -mcpu=baseline ya en fuente).
116say "stage1 — construir y sellar el rootfs baseline"
117"$HAMMER" --store "$STORE" bootstrap stage1 --seed-hash "$SEED_HASH" --recipes recipes
118ROOTFS_HASH="$(ls -d "$STORE"/*-stage1-rootfs | head -1 | sed -E 's#.*/([0-9a-f]{64})-stage1-rootfs#b3:\1#')"
119[[ "$ROOTFS_HASH" == b3:* ]] || die "no encuentro el stage1-rootfs en $STORE"
120say "stage1 rootfs: $ROOTFS_HASH"
121
122# 2) Referencia of_tree(stage1) que la VM debe reproducir.
123REF="$("$HAMMER" --store "$STORE" bootstrap stage2 --rootfs "$ROOTFS_HASH" 2>&1 \
124    | grep -oE 'content-hash: b3:[0-9a-f]{64}|content=b3:[0-9a-f]{64}' | grep -oE 'b3:[0-9a-f]{64}' | tail -1)"
125[[ "$REF" == b3:* ]] || die "no obtuve la referencia de stage2"
126say "referencia of_tree(stage1) = $REF"
127if [[ -n "$EXPECT_REF" && "$REF" != "$EXPECT_REF" ]]; then
128    printf '\033[1;33mAVISO: la referencia difiere de la conocida-buena del host de dev:\n  esta   %s\n  espera %s\nReproducibilidad entre máquinas rota O cambió un pin (toolchain/recipes/seed). Seguimos igual.\033[0m\n' "$REF" "$EXPECT_REF"
129fi
130
131# 3) Inyectar los módulos del kernel DE ESTA máquina al toolchain (el builder los carga: overlay para
132#    el sandbox bwrap, e1000 para la red del vendoring). Deben matchear el kernel que bootea la VM.
133# La versión de los módulos DEBE matchear el kernel que bootea la VM ($KERNEL), no el del host
134# corriendo el script ($(uname -r)) — en máquinas con varios kernels instalados difieren y el
135# insmod falla con "version magic mismatch" → sin overlayfs, bwrap revienta. Sacamos la versión
136# del propio bzImage; si no se puede, caemos a uname -r.
137KVER="$(file -bL "$KERNEL" 2>/dev/null | grep -oE 'version [0-9][^ ]*' | awk '{print $2}')"
138[[ -n "$KVER" && -d "/lib/modules/$KVER" ]] || KVER="$(uname -r)"
139say "inyectar overlay.ko + e1000.ko (kernel $KVER) al toolchain"
140moddir="/lib/modules/$KVER"
141for m in overlay e1000; do
142    src="$(find "$moddir" -name "$m.ko*" 2>/dev/null | head -1)"
143    if [[ -n "$src" ]]; then
144        # Descomprimir si viene .ko.zst/.ko.gz/.ko.xz; el builder hace insmod del .ko crudo.
145        case "$src" in
146            *.zst) zstd -dqf "$src" -o "$TOOLCHAIN/lib/$m.ko" 2>/dev/null || cp "$src" "$TOOLCHAIN/lib/$(basename "$src")" ;;
147            *.gz)  gzip -dc "$src" > "$TOOLCHAIN/lib/$m.ko" ;;
148            *.xz)  xz -dc "$src" > "$TOOLCHAIN/lib/$m.ko" ;;
149            *)     cp "$src" "$TOOLCHAIN/lib/$m.ko" ;;
150        esac
151        echo "    $m: $src"
152    else
153        echo "    $m: NO encontrado en $moddir (si la VM lo necesita, fallará: bwrap overlay / red)"
154    fi
155done
156
157# 3b) Auto-alojamiento *puro* (variante b, SDD 11 §7.2b): reemplazar piezas del toolchain Alpine por
158#     recetas takana construidas desde fuente, con Stage 2 reverificando que `of_tree(stage1')` NO
159#     cambia (el make takana compila los 4/4 igual de bit-a-bit que el de Alpine). Opt-in:
160#       SWAP_MAKE=1     → construye recipes/make.toml y lo monta sobre /toolchain/usr/bin/make.
161#       SWAP_BUSYBOX=1  → monta el busybox de takana sobre /toolchain/bin/busybox (los symlinks de
162#                         applets de Alpine — sh/sed/grep/awk/tar/find — pasan a usarlo; cp/mkdir/
163#                         install siguen siendo GNU coreutils, intactos).
164#       SWAP_LINUX_HEADERS=1 → construye recipes/linux-headers.toml y swap-directorio de los 13 subdirs
165#                         kernel-owned de /toolchain/usr/include (linux/asm/…); musl bits/sys intactos.
166#       SWAP_BWRAP=1    → construye recipes/bwrap.toml (+libcap, su dep, vía deps.build) y lo monta
167#                         sobre /toolchain/usr/bin/bwrap (el sandbox del propio lab).
168#       SWAP_COREUTILS=1 → construye recipes/coreutils.toml (multicall) y monta el binario sobre
169#                         /toolchain/bin/coreutils; los ~100 symlinks (cp/mkdir/install/…) lo siguen.
170#       SWAPS="name=hash[:rel] …" → swaps explícitos extra (formato del flag --swap).
171#     Por defecto, off ⇒ corrida pura-Alpine (variante a), idéntica a la baseline conocida-buena.
172#     Piezas validadas en host: make+busybox reproducen of_tree=9adefb82 in-VM; linux-headers da un
173#     header-tree byte-idéntico a Alpine (diff -r vacío); bwrap rebuildea musl byte-idéntico de sandbox.
174SWAP_ARGS=()
175if [[ "${SWAP_MAKE:-0}" == 1 ]]; then
176    say "variante b — construir make desde fuente (recipes/make.toml) y swapearlo en /toolchain"
177    MAKE_HASH="$("$HAMMER" --store "$STORE" build recipes/make.toml | grep -oE 'b3:[0-9a-f]{64}' | tail -1)"
178    [[ "$MAKE_HASH" == b3:* ]] || die "no obtuve el hash sellado de make"
179    say "make hammer: $MAKE_HASH"
180    SWAP_ARGS+=(--swap "make=$MAKE_HASH")
181fi
182if [[ "${SWAP_BUSYBOX:-0}" == 1 ]]; then
183    say "variante b — construir busybox desde fuente y swapearlo en /toolchain/bin/busybox"
184    BB_HASH="$("$HAMMER" --store "$STORE" build recipes/busybox.toml | grep -oE 'b3:[0-9a-f]{64}' | tail -1)"
185    [[ "$BB_HASH" == b3:* ]] || die "no obtuve el hash sellado de busybox"
186    say "busybox hammer: $BB_HASH"
187    SWAP_ARGS+=(--swap "busybox=$BB_HASH:bin/busybox")
188fi
189if [[ "${SWAP_LINUX_HEADERS:-0}" == 1 ]]; then
190    # Pieza 3: los headers UAPI del kernel. NO es un binario sino un árbol — el swap-directorio
191    # (assemble_builder) reemplaza cada subdir entero. Swapeamos exactamente los subdirs que el
192    # artefacto sellado produce (linux/asm/asm-generic/cxl/fwctl/misc/mtd/rdma/regulator/scsi/sound/
193    # video/xen), que son justo los que el paquete linux-headers de Alpine posee; los de musl
194    # (bits/sys/net/…) quedan intactos.
195    say "variante b — construir linux-headers desde fuente y swapear /toolchain/usr/include/{linux,asm,…}"
196    LH_HASH="$("$HAMMER" --store "$STORE" build recipes/linux-headers.toml | grep -oE 'b3:[0-9a-f]{64}' | tail -1)"
197    [[ "$LH_HASH" == b3:* ]] || die "no obtuve el hash sellado de linux-headers"
198    say "linux-headers hammer: $LH_HASH"
199    LH_INC="$(ls -d "$STORE"/*-linux-headers/usr/include 2>/dev/null | head -1)"
200    [[ -d "$LH_INC" ]] || die "no encuentro usr/include en el linux-headers sellado"
201    for d in "$LH_INC"/*/; do
202        sub="$(basename "$d")"
203        SWAP_ARGS+=(--swap "linux-headers=${LH_HASH}:usr/include/$sub")
204    done
205fi
206if [[ "${SWAP_BWRAP:-0}" == 1 ]]; then
207    # Pieza 4: bwrap (bubblewrap), EL sandbox del lab. Binario estático ⇒ swap de archivo sobre
208    # /toolchain/usr/bin/bwrap. Su dep libcap la construye y materializa el lab solo (deps.build).
209    # bwrap es herramienta, no input del 4/4: no necesita casar byte-a-byte con Alpine, sólo aislar
210    # igual (validado en host — musl rebuildeó byte-idéntico bajo takana-bwrap).
211    say "variante b — construir bwrap (+libcap) desde fuente y swapearlo en /toolchain/usr/bin/bwrap"
212    BW_HASH="$("$HAMMER" --store "$STORE" build recipes/bwrap.toml | grep -oE 'b3:[0-9a-f]{64}' | tail -1)"
213    [[ "$BW_HASH" == b3:* ]] || die "no obtuve el hash sellado de bwrap"
214    say "bwrap hammer: $BW_HASH"
215    SWAP_ARGS+=(--swap "bwrap=${BW_HASH}:usr/bin/bwrap")
216fi
217if [[ "${SWAP_COREUTILS:-0}" == 1 ]]; then
218    # Pieza 5: GNU coreutils (cp/mkdir/ln/chmod/mv/install…). Multicall (--enable-single-binary), igual
219    # layout que Alpine: un binario /bin/coreutils + ~100 symlinks. UN swap del binario rutea todos los
220    # applets (los symlinks del toolchain ya apuntan a coreutils). Tool, no input: validado en host —
221    # musl Y busybox rebuildearon byte-idéntico bajo takana-coreutils.
222    say "variante b — construir coreutils desde fuente y swapearlo en /toolchain/bin/coreutils"
223    CU_HASH="$("$HAMMER" --store "$STORE" build recipes/coreutils.toml | grep -oE 'b3:[0-9a-f]{64}' | tail -1)"
224    [[ "$CU_HASH" == b3:* ]] || die "no obtuve el hash sellado de coreutils"
225    say "coreutils hammer: $CU_HASH"
226    SWAP_ARGS+=(--swap "coreutils=${CU_HASH}:bin/coreutils")
227fi
228for s in ${SWAPS:-}; do SWAP_ARGS+=(--swap "$s"); done
229
230# 4) Ensamblar el builder con la referencia embebida.
231say "ensamblar builder (toolchain in-rootfs + hammer baseline + ref${SWAP_ARGS:+ + swaps})"
232"$HAMMER" --store "$STORE" bootstrap builder \
233    --stage1 "$ROOTFS_HASH" --seed-hash "$SEED_HASH" \
234    --takana-bin "$HAMMER_BIN" \
235    --toolchain "$TOOLCHAIN" --toolchain-tag "$TOOLCHAIN_TAG" \
236    --ref-content "$REF" \
237    "${SWAP_ARGS[@]}" \
238    --work-cache work --out work/builder-rootfs
239
240# 4b) Preseed opcional para abaratar el rebuild in-VM (sólo hammerd se reconstruye).
241if [[ "$PRESEED" == "hammerd" ]]; then
242    say "preseed musl+busybox+arje-zero (sólo hammerd se reconstruye in-VM)"
243    for n in musl busybox arje-zero; do
244        d="$(ls -d "$STORE"/*-"$n" 2>/dev/null | head -1)"
245        [[ -n "$d" ]] && cp -a "$d" work/builder-rootfs/store/ && echo "    preseed: $(basename "$d")"
246    done
247fi
248
249# 4c) HAMMER_KERNEL=1 — wrapper /init para escapar del rootfs (frente kernel-from-source).
250#     Con un kernel takana-built (recipes/linux.toml) el `/` del initramfs es el rootfs ABSOLUTO del
251#     mount-namespace (su propio padre, no movible) y bwrap del sandbox falla en `pivot_root: Invalid
252#     argument` (el kernel host no lo exigía — quirk suyo). El fix portable (funciona en cualquier
253#     kernel): un /init PID1 que copia el rootfs a un tmpfs y hace `switch_root`, dejando `/` como un
254#     mount tmpfs real (pivotable). El kernel debe arrancar con rdinit=/init (ver APPEND abajo). Off por
255#     defecto ⇒ el camino del kernel host queda intacto (rdinit=/sbin/init directo).
256if [[ "${TAKANA_KERNEL:-${HAMMER_KERNEL:-0}}" == 1 ]]; then
257    say "HAMMER_KERNEL: inyectar /init wrapper (copy-to-tmpfs + switch_root, escapa del rootfs)"
258    cat > work/builder-rootfs/init <<'INIT'
259#!/bin/sh
260# PID1 wrapper: el rootfs del initramfs no es pivotable (bwrap pivot_root EINVAL); copiamos a un tmpfs
261# y switch_root para que / sea un mount real. Luego exec del init real (arje-zero).
262/bin/busybox mkdir -p /newroot
263/bin/busybox mount -t tmpfs tmpfs /newroot
264cd /
265for e in /*; do
266    [ "$e" = /newroot ] && continue
267    /bin/busybox cp -a "$e" /newroot/
268done
269exec /bin/busybox switch_root /newroot /sbin/init
270INIT
271    chmod +x work/builder-rootfs/init
272    export APPEND="console=ttyS0 rdinit=/init"
273fi
274
275# 5) Empaquetar como initramfs. --owner=root:root OBLIGATORIO: si los ficheros viajan con el uid del
276#    host, el userns de bwrap (mapea 0→0) no lo mapea y el copy-up de overlay falla con EACCES.
277say "empaquetar initramfs (cpio newc, --owner=root:root)"
278( cd work/builder-rootfs && find . -print0 | cpio --null -o -H newc --owner=root:root 2>/dev/null | gzip -1 ) > work/builder.cpio.gz
279echo "    work/builder.cpio.gz: $(du -h work/builder.cpio.gz | cut -f1)"
280
281# 6) Bootear + driver no-interactivo → veredicto.
282say "bootear la VM y correr rebuild-stage1 (KVM=$KVM MEM=$MEM)"
283KVM="$KVM" MEM="$MEM" KERNEL="$KERNEL" BUILDER_CPIO="work/builder.cpio.gz" \
284    python3 scripts/drive-rebuild.py