gioser

sergio/takana

> Una distribución Linux construida con un laboratorio funcional y hermético en el > sótano, y una terminal mutable, clásica y anárquica en el piso de arriba — diseñada > desde el suelo para que una IA programadora entienda, modifique y co…

TOML 1373Shell 116Rust 74Markdown 641915 Sutichaykuna

⎇ 476168bb077db780e49c83e3ca4f0d3d230bd58a scripts/lab-image.sh Shell · 141 siq'ikuna · 7.6 KB Ñawpa willay ch'uya

takana etapa 4: los 10 crates de librería y el CLI pasan a takana-* 24bcf1783 · Sergio ·

1#!/usr/bin/env bash
2# lab-image.sh — empaqueta y publica el ROOTFS YA BOOTSTRAPEADO como imagen pineada por sha256.
3#
4# ── POR QUÉ EXISTE ──────────────────────────────────────────────────────────────────────────────
5# Desde el 2026-08-10 el toolchain del lab entra en `hash_inputs` (ver `takana-core/src/lab.rs`):
6# dos máquinas con distinto `rustc` sellan en direcciones distintas. Eso cierra un agujero real
7# —antes sellaban bytes distintos en la MISMA dirección— pero abre uno operativo:
8#
9#   Los repos del rootfs apuntan a Alpine **edge**, que es RODANTE. Dos máquinas que corran
10#   `bootstrap-devfs.sh` en fechas distintas resuelven toolchains distintos ⇒ **no comparten NI UN
11#   artefacto**. Ni cosecha de granja, ni `mirror pull` entre hubs, ni cache-hit. Cada worker
12#   efímero nacería con un lab propio y reconstruiría todo desde cero.
13#
14# El `apk add` contra edge es, por diseño, irrepetible. Así que el rootfs deja de resolverse y pasa
15# a **traerse**: una imagen construida UNA vez, pineada por sha256 y compartida por todas las
16# máquinas — exactamente el trato que ya reciben `alpine-minirootfs` y `zig` en bootstrap-devfs.sh.
17#
18# ── EL TAR ES DETERMINISTA A PROPÓSITO ──────────────────────────────────────────────────────────
19# `--sort=name` + `--mtime=@1` + `--owner=0 --group=0 --numeric-owner`: sin esto el sha256 depende
20# del orden del directorio y del uid de quien empaqueta, así que dos empaquetados del MISMO rootfs
21# darían imágenes distintas y no habría forma de verificar que una imagen es la que dice ser.
22# Con esto, `--crear` sobre el mismo rootfs reproduce el mismo sha, y eso es comprobable.
23# Ojo: el uid 0 del tar es cosmético — quien extrae sin ser root se queda como dueño igual, y el
24# sandbox usa `--tmp-overlay /`, así que la propiedad de los ficheros del rootfs no influye.
25#
26# Uso:
27#   scripts/lab-image.sh --crear     # empaqueta .dev-fs/alpine, imprime el sha256 y lo sube al box
28#   scripts/lab-image.sh --sha       # sólo calcula el sha del rootfs actual (no sube nada)
29#   scripts/lab-image.sh --traer     # baja la imagen pineada y reemplaza .dev-fs/alpine
30set -euo pipefail
31
32ROOT="$(cd "$(dirname "$0")/.." && pwd)"
33cd "$ROOT"
34DEVFS="$ROOT/.dev-fs"
35ROOTFS="$DEVFS/alpine"
36
37# El sha de la imagen VIGENTE. Es el contrato compartido: todas las máquinas deben tener ésta.
38# Se actualiza a mano tras un `--crear`, igual que ALPINE_SHA256 y ZIG_SHA256 en bootstrap-devfs.sh.
39LAB_IMAGE_SHA256="${LAB_IMAGE_SHA256:-PENDIENTE}"
40
41SB_USER="${SB_USER:-u647150}"
42SB_HOST="${SB_HOST:-u647150.your-storagebox.de}"
43SB_PORT="${SB_PORT:-23}"
44KEY="${KEY:-$HOME/.ssh/github5}"
45SSH_CMD="ssh -4 -p $SB_PORT -i $KEY -o StrictHostKeyChecking=accept-new -o ServerAliveInterval=30"
46REMOTO="hammer/lab"
47
48log() { printf '\033[1;34m==>\033[0m %s\n' "$*"; }
49ok()  { printf '\033[1;32m✓\033[0m  %s\n' "$*"; }
50
51# ── POR QUÉ SE EXCLUYE `var/log/apk.log` (2026-09-05) ───────────────────────────────────────────
52# El tar es determinista a propósito (ver la cabecera), pero `apk` escribe en ese log una línea con
53# la FECHA de cada operación. O sea: dos rootfs con exactamente los mismos paquetes, los mismos
54# ficheros, los mismos modos y los mismos hardlinks empaquetan a shas DISTINTOS, sólo porque las
55# instalaciones ocurrieron en momentos distintos. Eso rompe justo lo que este fichero existe para
56# dar: si el sha no se puede reproducir desde un rootfs equivalente, no verifica nada.
57#
58# Medido el día que se añadió `lld` al lab: hub y worker quedaron con listas de ficheros IDÉNTICAS
59# (9550 entradas), metadatos idénticos (modo, nlink, destino de symlink: 0 diferencias) y **una sola
60# diferencia de contenido en todo el rootfs**: `var/log/apk.log`. Con esa exclusión los dos labs
61# empaquetan igual y se puede DEMOSTRAR que la granja está sincronizada sin reemplazarle el rootfs a
62# un worker que está construyendo.
63#
64# Se excluye el log y no todo `var/log` a propósito: cambio mínimo dirigido. `apk` lo recrea solo en
65# la siguiente operación.
66#
67# COMPARAR DOS MÁQUINAS SIN REEMPLAZARLE EL ROOTFS A NINGUNA — corré esto en las dos y compará:
68#   tar --sort=name --mtime=@1 --owner=0 --group=0 --numeric-owner \
69#       --exclude alpine/var/log/apk.log -C .dev-fs -cf - alpine | sha256sum
70# Se compara el TAR y no el `.tar.zst`: el sha comprimido depende de la versión de zstd de cada
71# máquina, así que dos labs idénticos con zstd distintos darían un falso desacuerdo.
72empaquetar() {  # $1 = destino
73  [ -d "$ROOTFS" ] || { echo "no existe $ROOTFS — corré bootstrap-devfs.sh primero" >&2; exit 1; }
74  tar --sort=name --mtime=@1 --owner=0 --group=0 --numeric-owner \
75      --exclude alpine/var/log/apk.log \
76      -C "$DEVFS" -cf - alpine \
77    | zstd -19 -T0 -q -o "$1" -f
78}
79
80case "${1:---sha}" in
81  --sha)
82    tmp="$(mktemp -p "$DEVFS" lab-image.XXXXXX.tar.zst)"
83    trap 'rm -f "$tmp"' EXIT
84    log "empaquetando (determinista) para calcular el sha…"
85    empaquetar "$tmp"
86    echo "sha256: $(sha256sum "$tmp" | cut -d' ' -f1)"
87    echo "tamaño: $(du -h "$tmp" | cut -f1)"
88    ;;
89
90  --crear)
91    img="$DEVFS/lab-image.tar.zst"
92    log "empaquetando $ROOTFS (determinista)…"
93    empaquetar "$img"
94    sha="$(sha256sum "$img" | cut -d' ' -f1)"
95    ok "imagen: $(du -h "$img" | cut -f1) · sha256 $sha"
96    log "subiendo a $SB_USER@$SB_HOST:$REMOTO/"
97    $SSH_CMD "$SB_USER@$SB_HOST" "mkdir $REMOTO" >/dev/null 2>&1 || true
98    # El nombre lleva el sha: las imágenes son inmutables y conviven, así que una máquina que
99    # todavía use la anterior no se queda sin su imagen cuando se publica una nueva.
100    rsync -a --partial-dir=.rsync-partial -e "$SSH_CMD" \
101      "$img" "$SB_USER@$SB_HOST:$REMOTO/lab-$sha.tar.zst"
102    ok "publicada como $REMOTO/lab-$sha.tar.zst"
103    echo
104    echo "AHORA: poné este sha en bootstrap-devfs.sh (LAB_IMAGE_SHA256) y commiteá."
105    echo "  LAB_IMAGE_SHA256=\"$sha\""
106    ;;
107
108  --traer)
109    [ "$LAB_IMAGE_SHA256" = "PENDIENTE" ] && {
110      echo "no hay imagen pineada todavía: corré --crear en la máquina de referencia" >&2; exit 1; }
111    img="$DEVFS/lab-$LAB_IMAGE_SHA256.tar.zst"
112    if [ -f "$img" ] && [ "$(sha256sum "$img" | cut -d' ' -f1)" = "$LAB_IMAGE_SHA256" ]; then
113      ok "imagen ya presente y verificada"
114    else
115      log "bajando lab-$LAB_IMAGE_SHA256.tar.zst"
116      rsync -a --partial-dir=.rsync-partial -e "$SSH_CMD" \
117        "$SB_USER@$SB_HOST:$REMOTO/lab-$LAB_IMAGE_SHA256.tar.zst" "$img"
118      real="$(sha256sum "$img" | cut -d' ' -f1)"
119      [ "$real" = "$LAB_IMAGE_SHA256" ] || {
120        echo "!! sha NO coincide: esperaba $LAB_IMAGE_SHA256, llegó $real" >&2
121        rm -f "$img"; exit 1; }
122      ok "sha verificado"
123    fi
124    # Reemplazo atómico-ish: extraer al lado y rotar. Extraer ENCIMA dejaría una mezcla de los dos
125    # rootfs si algo falla a medias, y una mezcla es justo lo que este fichero existe para evitar.
126    log "extrayendo…"
127    rm -rf "$DEVFS/alpine.nuevo"
128    mkdir -p "$DEVFS/alpine.nuevo"
129    zstd -d -q -c "$img" | tar -x -C "$DEVFS/alpine.nuevo"
130    rm -rf "$DEVFS/alpine.viejo"
131    [ -d "$ROOTFS" ] && mv "$ROOTFS" "$DEVFS/alpine.viejo"
132    mv "$DEVFS/alpine.nuevo/alpine" "$ROOTFS"
133    rmdir "$DEVFS/alpine.nuevo"
134    rm -rf "$DEVFS/alpine.viejo"
135    ok "rootfs reemplazado por la imagen pineada"
136    ;;
137
138  *)
139    sed -n '2,/^set -euo/p' "$0" | sed 's/^# \?//;$d'
140    exit 0 ;;
141esac