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 1428Shell 142Markdown 86Rust 842937 Sutichaykuna

⎇ 9fe1e010e21199c12896ff156f85884a83f04ce6 scripts/servidor/jaula-herramientas.sh Shell · 220 siq'ikuna · 13.1 KB Ñawpa willay ch'uya

jaula: el envoltorio hacía arrancar a cargo, pero no a lo que cargo LANZA d09f91c3c · 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# ── Y EL CARGADOR VA TAMBIÉN EN `/lib`, QUE NO ES REDUNDANTE (2026-09-21, medido) ───────────────
67# El envoltorio alcanza para que `cargo` ARRANQUE, pero no para lo que cargo lanza por su cuenta:
68# cargo exporta `CARGO=<ruta del binario REAL>` —el del store, no el envoltorio— y hay macros que
69# lo ejecutan. `proc-macro-crate` corre `$CARGO locate-project` para ubicar la raíz del workspace,
70# y adentro de la jaula ese exec moría con «No such file or directory» —que acá miente: el fichero
71# existe y es ejecutable, el que falta es el INTÉRPRETE—. `crate_name()` devolvía Err y el derive
72# `Type` de zvariant caía a su última rama (`::zvariant`) en vez de `::zbus::zvariant`:
73#
74#     error[E0433]: cannot find `zvariant` in the crate root      (atspi-proxies 0.13.0)
75#
76# Eso se lee como un defecto del lock del repo ajeno y NO lo es: con el cargador puesto,
77# `llimphi-ui` de tawasuyu —winit + accesskit + wgpu— compila entero en 2m17s. La clase es más
78# grande que este caso: CUALQUIER herramienta que re-ejecute `$CARGO` o `$RUSTC` por su ruta
79# absoluta se rompía igual, en un crate ajeno y a diez capas del origen.
80if [ ! -e /lib/ld-musl-x86_64.so.1 ] && ln -sfn "$LAB/lib/ld-musl-x86_64.so.1" /lib/ld-musl-x86_64.so.1 2>/dev/null; then
81  echo "  (puesto /lib/ld-musl-x86_64.so.1 -> $LAB — sin él, lo que cargo LANZA no arranca)"
82fi
83
84# El zig del CORPUS, el mismo que usa cc-por-zig.sh en la caja. No se toma el de `/work/dev-fs/tools`
85# para que el `cc` de adentro y el de afuera sean el mismo binario.
86ZIG=$(find /store -maxdepth 3 -type f -perm -100 -name zig -path '*seed-zig*' 2>/dev/null | head -1)
87[ -n "$ZIG" ] || { echo "no encuentro el zig de seed-zig en /store — sin él no hay driver de C" >&2; exit 1; }
88echo "==> zig $("$ZIG" version) en $ZIG"
89
90# Cuerpo común de los envoltorios. $1 = nombre del binario, $2 = nombre de la RECETA, $3 = extra.
91#
92# ⚠ El nombre de la receta se compara ENTERO, no por sufijo: el glob `/store/*-make` también casa
93# con `…-cargo-make` —medido: la primera versión eligió cargo-make y `make --version` moría con un
94# `exec` que no nombraba la causa—. El directorio es `<hash>-<receta>`: se le quita el hash y se
95# compara. Y se elige el MÁS RECIENTE, no un hash cableado, para sobrevivir a un re-sellado.
96busca_artefacto() {
97  echo "b=\$(ls -dt /store/*-$1 2>/dev/null | while read -r d; do n=\${d##*/}; [ \"\${n#*-}\" = \"$1\" ] && { echo \"\$d\"; break; }; done)"
98  echo "[ -n \"\$b\" ] || { echo '$2: no hay artefacto -$1 en /store' >&2; exit 1; }"
99}
100
101envoltorio() {
102  t=$1; r=$2; pre=$3
103  {
104    echo '#!/bin/sh'
105    echo "# Envoltorio: $t sale del store (musl estático, corre dentro de la imagen glibc)."
106    busca_artefacto "$r" "$t"
107    echo "$pre"
108    echo "exec \"\$b/usr/bin/$t\" \"\$@\""
109  } > "$BIN/$t"
110  chmod 755 "$BIN/$t"
111}
112
113# Las dinámicas: por el cargador del lab, y sólo si la caja no tiene el suyo. Así este mismo guion
114# sirve en la caja (musl, cargador nativo) y en la jaula (Arch, sin cargador musl) sin ramificar.
115# $1 = binario, $2 = receta, $3 = banderas que el envoltorio antepone a los argumentos.
116envoltorio_dinamico() {
117  t=$1; r=$2; flags=$3
118  {
119    echo '#!/bin/sh'
120    echo "# Envoltorio: $t sale del store. Es musl DINÁMICA: sin el cargador no arranca (ver cabecera)."
121    busca_artefacto "$r" "$t"
122    echo "L=\"$LAB/lib:$LAB/usr/lib:\$b/usr/lib\""
123    echo 'if [ -x /lib/ld-musl-x86_64.so.1 ]; then'
124    echo "  LD_LIBRARY_PATH=\"\$L\${LD_LIBRARY_PATH:+:\$LD_LIBRARY_PATH}\" exec \"\$b/usr/bin/$t\" $flags \"\$@\""
125    echo 'else'
126    echo "  exec \"$LAB/lib/ld-musl-x86_64.so.1\" --library-path \"\$L\" \"\$b/usr/bin/$t\" $flags \"\$@\""
127    echo 'fi'
128  } > "$BIN/$t"
129  chmod 755 "$BIN/$t"
130}
131
132for par in make:make pkgconf:pkgconf jq:jq rsync:rsync git:git curl:curl takana:takana; do
133  envoltorio "${par%%:*}" "${par##*:}" ":"
134done
135
136# `python3` y `cargo` no llevan banderas; `rustc` sí — son las tres que necesita el enlace en este
137# triple, las mismas que `cc-por-zig.sh` pone en la caja. `link-self-contained=no` porque este
138# toolchain no trae `rust-lld` (incompatible con el llvm-config externo).
139envoltorio_dinamico python3 python3 ""
140envoltorio_dinamico cargo    rust    ""
141envoltorio_dinamico rustc    rust    "-C linker=$BIN/cc -C linker-flavor=gcc -C link-self-contained=no"
142
143# ── El driver de C ─────────────────────────────────────────────────────────────────────────────
144# La caché de zig NO va en el home: son varios G. Misma razón que en cc-por-zig.sh.
145CACHE=${CACHE:-/work/$U/.cache/zig}
146install -d -o "$U" -g "$U" "$CACHE" 2>/dev/null || mkdir -p "$CACHE"
147for sub in cc c++; do
148  nombre=$sub; [ "$sub" = "c++" ] && nombre=c++
149  cat > "$BIN/$nombre" <<EOF
150#!/bin/sh
151# Envoltorio de \`zig $sub\` como driver de C de la jaula.
152# ⚠ Se DESCARTA el \`--target=\` que pasa cc-rs: usa triples de rustc (\`x86_64-unknown-linux-musl\`) y
153# zig sólo entiende los suyos (\`x86_64-linux-musl\`). Sin esto, \`blake3\` no compila. Medido.
154args=""
155for a in "\$@"; do
156  case "\$a" in --target=*|-target) continue ;; esac
157  args="\$args '\$a'"
158done
159export ZIG_GLOBAL_CACHE_DIR="\${ZIG_GLOBAL_CACHE_DIR:-$CACHE}"
160eval exec "$ZIG" $sub -target x86_64-linux-musl \$args
161EOF
162  chmod 755 "$BIN/$nombre"
163done
164
165chown -R "$U:$U" "$BIN" 2>/dev/null || :
166
167# ── CONTROL: que CORRAN, no que existan ─────────────────────────────────────────────────────────
168# ⚠ Sin tubería: `cmd | head` devuelve el estado de `head`, o sea SIEMPRE 0, y la primera versión de
169# este control dio por bueno un envoltorio que fallaba al `exec`. Se captura primero, se recorta después.
170fallos=0
171for t in make pkgconf python3 jq rsync git curl takana rustc cargo; do
172  if out=$("$BIN/$t" --version 2>&1); then
173    printf "  ✓ %-9s %s\n" "$t" "$(printf '%s' "$out" | head -1 | cut -c1-46)"
174  else
175    printf "  ✗ %-9s %s\n" "$t" "$(printf '%s' "$out" | head -1 | cut -c1-60)"; fallos=$((fallos+1))
176  fi
177done
178
179# ── CONTROL: que COMPILEN, que es otra cosa ────────────────────────────────────────────────────
180# `--version` no toca ni el driver de C ni el enlazador, así que no habría visto NINGUNO de los dos
181# defectos de arriba. Estos tres sí, y ninguno necesita red:
182#   1. C con el `--target=` de cc-rs  → el defecto que tumbaba blake3
183#   2. una proc-macro                 → el enlace de dylibs, que es lo que rompía sin las banderas
184#   3. un binario estático            → que el remedio no sea peor que la enfermedad
185T=$(mktemp -d); trap 'rm -rf "$T"' EXIT
186printf '#include <stdio.h>\nint main(void){ puts("C"); return 0; }\n' > "$T/h.c"
187if "$BIN/cc" --target=x86_64-unknown-linux-musl -o "$T/h" "$T/h.c" 2>"$T/e1" && [ "$("$T/h")" = "C" ]; then
188  printf "  ✓ %-9s con el --target= de cc-rs\n" "cc"
189else
190  printf "  ✗ %-9s %s\n" "cc" "$(head -1 "$T/e1")"; fallos=$((fallos+1))
191fi
192printf '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"
193if "$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
194  printf "  ✓ %-9s proc-macro (dylib) enlazada\n" "rustc"
195else
196  printf "  ✗ %-9s %s\n" "rustc" "$(grep -m1 error "$T/e2" 2>/dev/null || head -1 "$T/e2")"; fallos=$((fallos+1))
197fi
198printf 'fn main(){ println!("estatico"); }\n' > "$T/s.rs"
199if "$BIN/rustc" --edition 2021 -o "$T/s" "$T/s.rs" 2>"$T/e3" && [ "$("$T/s")" = "estatico" ]; then
200  printf "  ✓ %-9s binario estático\n" "rustc"
201else
202  printf "  ✗ %-9s %s\n" "rustc" "$(grep -m1 error "$T/e3" 2>/dev/null || head -1 "$T/e3")"; fallos=$((fallos+1))
203fi
204
205# ── CONTROL: y que arranquen SIN el envoltorio ─────────────────────────────────────────────────
206# Esto es lo que ve una proc-macro: `$CARGO` y `$RUSTC` apuntan al binario del STORE, no a `$BIN`.
207# Los tres controles de arriba pasan con este camino roto —todos entran por el envoltorio—, y el
208# error sale después, en un crate ajeno, diciendo otra cosa.
209R=$(ls -dt /store/*-rust 2>/dev/null | while read -r d; do n=${d##*/}; [ "${n#*-}" = "rust" ] && { echo "$d"; break; }; done)
210export LD_LIBRARY_PATH="$LAB/lib:$LAB/usr/lib:$R/usr/lib${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}"
211mkdir -p "$T/src"; : > "$T/src/lib.rs"   # sin un target, `locate-project` ni llega a mirar la ruta
212printf '[package]\nname = "x"\nversion = "0.0.0"\nedition = "2021"\n' > "$T/Cargo.toml"
213if out=$("$R/usr/bin/cargo" locate-project --workspace --message-format=plain --manifest-path="$T/Cargo.toml" 2>&1); then
214  printf "  ✓ %-9s el binario del store arranca sin envoltorio (\$CARGO)\n" "cargo"
215else
216  printf "  ✗ %-9s %s\n" "cargo" "$(printf '%s' "$out" | head -1 | cut -c1-60)"; fallos=$((fallos+1))
217fi
218
219[ "$fallos" -eq 0 ] || { echo "==> $fallos comprobación(es) en rojo" >&2; exit 1; }
220echo "==> $BIN listo"