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 1465Shell 173Rust 96Markdown 943319 Definitions

⎇ 785518b9085016ef49e52d34b8b57ca896a2825c scripts/servidor/jaula-herramientas.sh Shell · 188 lines · 10.5 KB History raw

jaula: el toolchain del corpus no arrancaba adentro — faltaba el cargador musl 785518b90 · Sergio ·

1#!/bin/sh
2# Arma el `bin/` de la persona con las herramientas del CORPUS, para que el agente enjaulado tenga
3# toolchain sin depender del gestor de paquetes de la imagen.
4#
5# ── POR QUÉ NO SE INSTALAN CON PACMAN (2026-09-18) ──────────────────────────────────────────────
6# El agente de adentro reportó que le faltan `cargo rustc make pkg-config python3`, y la salida
7# obvia —sumarlos a `packages` y `takana qorpa provision`— **hoy no funciona**: con un mapa de un
8# solo id, `pacman` no puede chownear su directorio de descarga y muere en
9#
10#     error: failed to chown temporary download directory …: Invalid argument
11#
12# que es exactamente la consecuencia que el aviso de qorpa viene anunciando (SDD 28 §6.55).
13#
14# Pero no hace falta pacman: **las herramientas ya están selladas en el store**, son musl estáticas y
15# corren igual dentro de una imagen glibc — comprobado con `takana` y con `rustc`. Usarlas es además
16# lo coherente con la distro: el corpus es el que provee, no Arch.
17#
18# `go` y `zig` no van acá: viven en el lab (`/work/dev-fs/tools`) y el lanzador ya los pone en PATH.
19#
20# ── TRES DE LAS DIEZ NO SON ESTÁTICAS, Y ADENTRO NO ARRANCAN (2026-09-18, medido) ───────────────
21# `rustc`, `cargo` y `python3` son musl **dinámicas**. Su `PT_INTERP` pide `/lib/ld-musl-x86_64.so.1`
22# y **la imagen de Arch no lo tiene**, así que adentro las tres mueren con
23#
24#     …/usr/bin/cargo: cannot execute: required file not found
25#
26# `LD_LIBRARY_PATH` no puede taparlo: actúa DESPUÉS de que el cargador cargue, y acá el que falta es
27# el cargador. Por eso este guion pasó en verde la primera vez: se corrió EN LA CAJA, que es musl y
28# lo tiene nativo. El control decía la verdad sobre el sitio equivocado.
29#
30# La cura es invocar el cargador del lab explícitamente. Y el envoltorio de `rustc` tiene que
31# llamarse `rustc` **en el PATH**, no sólo existir: cargo lanza a `rustc` POR NOMBRE, y sin eso muere
32# con `could not execute process … rustc -vV (never executed)`, que no nombra la causa.
33#
34# ── Y `cc` TIENE QUE FILTRAR EL TRIPLE QUE LE PASA cc-rs (2026-09-18, medido) ───────────────────
35# `zig cc` a secas no sirve de `cc` para cargo. cc-rs le pasa SU triple y zig no lo entiende:
36#
37#     $ zig cc --target=x86_64-unknown-linux-musl -o h h.c
38#     error: unable to parse target query 'x86_64-unknown-linux-musl': UnknownOperatingSystem
39#
40# Eso tumba `blake3`, que cuelga de medio árbol de tawasuyu. Es el MISMO defecto que tiene el `cc`
41# de `cc-por-zig.sh` en la caja, arreglado allá igual que acá.
42#
43# ── Y LAS BANDERAS DE ENLACE VAN EN EL ENVOLTORIO, NO EN /etc/profile.d ─────────────────────────
44# En la caja las pone `cc-por-zig.sh` en `/etc/profile.d/rust-enlazador.sh`. Acá eso NO serviría: la
45# jaula no corre shells de login —el lanzador hace `exec` directo— así que el fichero quedaría
46# presente, con contenido, y sin efecto: justo la avería que este repo persigue. Van adentro del
47# envoltorio de `rustc`, que es el único sitio por el que pasan TODAS las compilaciones, incluidas
48# las de los build scripts (a los que `RUSTFLAGS` no alcanza cuando se pasa `--target`).
49# Van PRIMERO para que lo que ponga la persona en `RUSTFLAGS` gane: en rustc, la última `-C` manda.
50set -eu
51
52U=${1:-sergio}
53BIN=${BIN:-/work/$U/bin}
54install -d -o "$U" -g "$U" "$BIN"
55
56# ── El lab: de ahí sale el cargador musl que la imagen ajena no tiene ───────────────────────────
57LAB=${TAKANA_LAB:-}
58if [ -z "$LAB" ]; then
59  for d in /work/dev-fs/alpine "/work/$U/dev-fs/alpine"; do
60    [ -x "$d/lib/ld-musl-x86_64.so.1" ] && { LAB=$d; break; }
61  done
62fi
63[ -n "$LAB" ] || { echo "no encuentro el alpine del lab (probé /work/dev-fs/alpine y /work/$U/dev-fs/alpine)" >&2; exit 1; }
64echo "==> lab en $LAB"
65
66# El zig del CORPUS, el mismo que usa cc-por-zig.sh en la caja. No se toma el de `/work/dev-fs/tools`
67# para que el `cc` de adentro y el de afuera sean el mismo binario.
68ZIG=$(find /store -maxdepth 3 -type f -perm -100 -name zig -path '*seed-zig*' 2>/dev/null | head -1)
69[ -n "$ZIG" ] || { echo "no encuentro el zig de seed-zig en /store — sin él no hay driver de C" >&2; exit 1; }
70echo "==> zig $("$ZIG" version) en $ZIG"
71
72# Cuerpo común de los envoltorios. $1 = nombre del binario, $2 = nombre de la RECETA, $3 = extra.
73#
74# ⚠ El nombre de la receta se compara ENTERO, no por sufijo: el glob `/store/*-make` también casa
75# con `…-cargo-make` —medido: la primera versión eligió cargo-make y `make --version` moría con un
76# `exec` que no nombraba la causa—. El directorio es `<hash>-<receta>`: se le quita el hash y se
77# compara. Y se elige el MÁS RECIENTE, no un hash cableado, para sobrevivir a un re-sellado.
78busca_artefacto() {
79  echo "b=\$(ls -dt /store/*-$1 2>/dev/null | while read -r d; do n=\${d##*/}; [ \"\${n#*-}\" = \"$1\" ] && { echo \"\$d\"; break; }; done)"
80  echo "[ -n \"\$b\" ] || { echo '$2: no hay artefacto -$1 en /store' >&2; exit 1; }"
81}
82
83envoltorio() {
84  t=$1; r=$2; pre=$3
85  {
86    echo '#!/bin/sh'
87    echo "# Envoltorio: $t sale del store (musl estático, corre dentro de la imagen glibc)."
88    busca_artefacto "$r" "$t"
89    echo "$pre"
90    echo "exec \"\$b/usr/bin/$t\" \"\$@\""
91  } > "$BIN/$t"
92  chmod 755 "$BIN/$t"
93}
94
95# Las dinámicas: por el cargador del lab, y sólo si la caja no tiene el suyo. Así este mismo guion
96# sirve en la caja (musl, cargador nativo) y en la jaula (Arch, sin cargador musl) sin ramificar.
97# $1 = binario, $2 = receta, $3 = banderas que el envoltorio antepone a los argumentos.
98envoltorio_dinamico() {
99  t=$1; r=$2; flags=$3
100  {
101    echo '#!/bin/sh'
102    echo "# Envoltorio: $t sale del store. Es musl DINÁMICA: sin el cargador no arranca (ver cabecera)."
103    busca_artefacto "$r" "$t"
104    echo "L=\"$LAB/lib:$LAB/usr/lib:\$b/usr/lib\""
105    echo 'if [ -x /lib/ld-musl-x86_64.so.1 ]; then'
106    echo "  LD_LIBRARY_PATH=\"\$L\${LD_LIBRARY_PATH:+:\$LD_LIBRARY_PATH}\" exec \"\$b/usr/bin/$t\" $flags \"\$@\""
107    echo 'else'
108    echo "  exec \"$LAB/lib/ld-musl-x86_64.so.1\" --library-path \"\$L\" \"\$b/usr/bin/$t\" $flags \"\$@\""
109    echo 'fi'
110  } > "$BIN/$t"
111  chmod 755 "$BIN/$t"
112}
113
114for par in make:make pkgconf:pkgconf jq:jq rsync:rsync git:git curl:curl takana:takana; do
115  envoltorio "${par%%:*}" "${par##*:}" ":"
116done
117
118# `python3` y `cargo` no llevan banderas; `rustc` sí — son las tres que necesita el enlace en este
119# triple, las mismas que `cc-por-zig.sh` pone en la caja. `link-self-contained=no` porque este
120# toolchain no trae `rust-lld` (incompatible con el llvm-config externo).
121envoltorio_dinamico python3 python3 ""
122envoltorio_dinamico cargo    rust    ""
123envoltorio_dinamico rustc    rust    "-C linker=$BIN/cc -C linker-flavor=gcc -C link-self-contained=no"
124
125# ── El driver de C ─────────────────────────────────────────────────────────────────────────────
126# La caché de zig NO va en el home: son varios G. Misma razón que en cc-por-zig.sh.
127CACHE=${CACHE:-/work/$U/.cache/zig}
128install -d -o "$U" -g "$U" "$CACHE" 2>/dev/null || mkdir -p "$CACHE"
129for sub in cc c++; do
130  nombre=$sub; [ "$sub" = "c++" ] && nombre=c++
131  cat > "$BIN/$nombre" <<EOF
132#!/bin/sh
133# Envoltorio de \`zig $sub\` como driver de C de la jaula.
134# ⚠ Se DESCARTA el \`--target=\` que pasa cc-rs: usa triples de rustc (\`x86_64-unknown-linux-musl\`) y
135# zig sólo entiende los suyos (\`x86_64-linux-musl\`). Sin esto, \`blake3\` no compila. Medido.
136args=""
137for a in "\$@"; do
138  case "\$a" in --target=*|-target) continue ;; esac
139  args="\$args '\$a'"
140done
141export ZIG_GLOBAL_CACHE_DIR="\${ZIG_GLOBAL_CACHE_DIR:-$CACHE}"
142eval exec "$ZIG" $sub -target x86_64-linux-musl \$args
143EOF
144  chmod 755 "$BIN/$nombre"
145done
146
147chown -R "$U:$U" "$BIN" 2>/dev/null || :
148
149# ── CONTROL: que CORRAN, no que existan ─────────────────────────────────────────────────────────
150# ⚠ Sin tubería: `cmd | head` devuelve el estado de `head`, o sea SIEMPRE 0, y la primera versión de
151# este control dio por bueno un envoltorio que fallaba al `exec`. Se captura primero, se recorta después.
152fallos=0
153for t in make pkgconf python3 jq rsync git curl takana rustc cargo; do
154  if out=$("$BIN/$t" --version 2>&1); then
155    printf "  ✓ %-9s %s\n" "$t" "$(printf '%s' "$out" | head -1 | cut -c1-46)"
156  else
157    printf "  ✗ %-9s %s\n" "$t" "$(printf '%s' "$out" | head -1 | cut -c1-60)"; fallos=$((fallos+1))
158  fi
159done
160
161# ── CONTROL: que COMPILEN, que es otra cosa ────────────────────────────────────────────────────
162# `--version` no toca ni el driver de C ni el enlazador, así que no habría visto NINGUNO de los dos
163# defectos de arriba. Estos tres sí, y ninguno necesita red:
164#   1. C con el `--target=` de cc-rs  → el defecto que tumbaba blake3
165#   2. una proc-macro                 → el enlace de dylibs, que es lo que rompía sin las banderas
166#   3. un binario estático            → que el remedio no sea peor que la enfermedad
167T=$(mktemp -d); trap 'rm -rf "$T"' EXIT
168printf '#include <stdio.h>\nint main(void){ puts("C"); return 0; }\n' > "$T/h.c"
169if "$BIN/cc" --target=x86_64-unknown-linux-musl -o "$T/h" "$T/h.c" 2>"$T/e1" && [ "$("$T/h")" = "C" ]; then
170  printf "  ✓ %-9s con el --target= de cc-rs\n" "cc"
171else
172  printf "  ✗ %-9s %s\n" "cc" "$(head -1 "$T/e1")"; fallos=$((fallos+1))
173fi
174printf 'extern crate proc_macro;\nuse proc_macro::TokenStream;\n#[proc_macro]\npub fn m(_i: TokenStream) -> TokenStream { "fn v() -> u32 { 42 }".parse().unwrap() }\n' > "$T/pm.rs"
175if "$BIN/rustc" --edition 2021 --crate-type proc-macro --out-dir "$T" "$T/pm.rs" 2>"$T/e2" && [ -n "$(ls "$T"/*.so 2>/dev/null)" ]; then
176  printf "  ✓ %-9s proc-macro (dylib) enlazada\n" "rustc"
177else
178  printf "  ✗ %-9s %s\n" "rustc" "$(grep -m1 error "$T/e2" 2>/dev/null || head -1 "$T/e2")"; fallos=$((fallos+1))
179fi
180printf 'fn main(){ println!("estatico"); }\n' > "$T/s.rs"
181if "$BIN/rustc" --edition 2021 -o "$T/s" "$T/s.rs" 2>"$T/e3" && [ "$("$T/s")" = "estatico" ]; then
182  printf "  ✓ %-9s binario estático\n" "rustc"
183else
184  printf "  ✗ %-9s %s\n" "rustc" "$(grep -m1 error "$T/e3" 2>/dev/null || head -1 "$T/e3")"; fallos=$((fallos+1))
185fi
186
187[ "$fallos" -eq 0 ] || { echo "==> $fallos comprobación(es) en rojo" >&2; exit 1; }
188echo "==> $BIN listo"