SergioandClaude Opus 5
7e86459738
La imagen del perfil servidor traía 23 binarios de 726 que no podían ejecutarse:
$ python3 -c "print(1)"
sh: python3: not found <- y `command -v python3` decía /usr/bin/python3
No faltaban: eran ELF dinámicos pidiendo `/lib/ld-musl-x86_64.so.1`, y **ningún artefacto del corpus
publicaba ese fichero**. Funcionaban en el hub sólo porque el rootfs Alpine del LAB lo presta — la
misma fuga que documentan `zlib-shared` y `expat-shared`, un piso más abajo, y peor: el lab no entra
en `hash_inputs`, así que la dependencia era invisible para el store.
Los 23 son la suite binutils entera + perl, python3, sqlite3, flex y nft. Entre ellos, TODO el
instrumental del proyecto, que es Python.
**Variante y no `--enable-shared` en la canónica**: `musl` es componente de Stage 1 y su `of_tree` es
el baseline de `selfhost-verify`. Re-hashearlo obliga a rehacer ese baseline a propósito, y eso es su
propia unidad de trabajo. Con el patrón `*-shared` (ya hay 23 en el corpus) la canónica no se mueve —
control: `takana hash recipes/musl.toml` sigue dando `b3:ce952f72…`, el mismo sellado de Stage 1. Y
además `musl` no es dep de NADIE (medido: sólo de sí misma; el enlace estático lo resuelve el musl de
zig), así que esto suma sin mover un solo ArtifactHash del corpus.
**⚠ `compiler = "gcc"` y no `zig-cc`, medido.** Con zig cc el `libc.so` sale con 1586 símbolos
dinámicos contra los 1654 de Alpine, y los 68 que faltan son EXACTAMENTE los que musl implementa en
ensamblador x86_64 (`memset memcpy memmove memcmp strlen` y toda la familia matemática) más los
`__stack_chk_*`. No es que no se compilen —en el `libc.a` canónico están—: zig los resuelve con su
propio musl y los deja `FUNC LOCAL HIDDEN` de tamaño 0, fuera de la tabla dinámica. El síntoma es un
cargador que arranca, reloca y muere con `memset: symbol not found`, que se lee como "el binario está
roto" y no como "a la libc le faltan símbolos". Con gcc: **1651 símbolos**, `memset` y `ceil`
presentes, y `python3 3.12.10` CORRE con el cargador del corpus.
De paso: el comentario de `musl.toml` decía que el artefacto aportaba «el loader, para uso dinámico
futuro». Era falso —`--disable-shared` no construye ninguno— y es justo la etiqueta que hizo que
nadie buscara el agujero. Corregido (los comentarios no entran en `hash_inputs`; verificado).
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01RomoxEGZUhaT4pob1QSX5x
69 lines
4.2 KiB
TOML
69 lines
4.2 KiB
TOML
# musl-shared 1.2.5 — variante DINÁMICA de musl: el CARGADOR y `libc.so`.
|
|
#
|
|
# ── POR QUÉ EXISTE ──────────────────────────────────────────────────────────────────────────────
|
|
# El musl canónico (`recipes/musl.toml`) es `--disable-shared`: emite headers, `libc.a` y los
|
|
# `crt*.o`, que es lo que quiere el enlace estático del corpus. Su comentario decía que el artefacto
|
|
# aportaba «el loader, para uso dinámico futuro» — y era FALSO: con `--disable-shared` musl no
|
|
# construye ni `libc.so` ni `ld-musl-x86_64.so.1`. Corregido allá; acá está el loader de verdad.
|
|
#
|
|
# ── EL AGUJERO QUE TAPA, MEDIDO (2026-09-10, SDD 28 §6.4) ───────────────────────────────────────
|
|
# La imagen del `perfil.servidor` traía **23 binarios que no podían correr**:
|
|
#
|
|
# $ python3 -c "print(1)"
|
|
# sh: python3: not found ← y `command -v python3` decía /usr/bin/python3
|
|
#
|
|
# No faltaban: eran ELF DINÁMICOS pidiendo `/lib/ld-musl-x86_64.so.1`, y **ningún artefacto del
|
|
# corpus publicaba ese fichero**. Funcionaban en el hub sólo porque el rootfs Alpine del LAB lo
|
|
# presta (`.dev-fs/alpine/lib/ld-musl-x86_64.so.1`) — la misma fuga de soberanía que documentan
|
|
# `zlib-shared` y `expat-shared`, un piso más abajo, y con el agravante de que el lab NO entra en
|
|
# `hash_inputs`: la dependencia era invisible para el store.
|
|
#
|
|
# Los 23: la suite `binutils` entera (ar as ld nm objcopy objdump ranlib readelf strip addr2line
|
|
# c++filt elfedit gprof size ld.bfd) más `perl`, `python3`, `sqlite3`, `flex` y `nft`. Entre ellos
|
|
# está TODO el instrumental del proyecto, que es Python.
|
|
#
|
|
# ── POR QUÉ UNA VARIANTE Y NO `--enable-shared` EN LA CANÓNICA ──────────────────────────────────
|
|
# `musl` es componente de **Stage 1** (musl + busybox + hammerd + arje-zero) y su `of_tree` es el
|
|
# baseline de `selfhost-verify.sh`. Re-hashearlo obliga a rehacer ese baseline A PROPÓSITO, y eso es
|
|
# su propia unidad de trabajo, no algo que se arrastra de rebote. El patrón `*-shared` deja la
|
|
# canónica intacta: el nombre es DISTINTO, así que conviven en el mismo store y cada consumidor toma
|
|
# la que necesita. Mismo criterio que zlib-shared / expat-shared / ncurses-shared.
|
|
#
|
|
# ⚠ Y no es dep de nadie: medido, `musl` no aparece en el `[deps]` de ninguna receta del corpus
|
|
# (sólo la suya). El enlace estático lo resuelve el musl que trae zig. Por eso esta variante suma
|
|
# sin mover un solo ArtifactHash.
|
|
|
|
name = "musl-shared"
|
|
version = "1.2.5"
|
|
license = "MIT"
|
|
|
|
[source]
|
|
tarball = "https://musl.libc.org/releases/musl-1.2.5.tar.gz"
|
|
sha256 = "a9a118bbe84d8764da0ea0d28b3ab3fae8477fc7e4085d90102b8596fc7c75e4"
|
|
|
|
[build]
|
|
# ⚠ `gcc` Y NO `zig-cc`, y es MEDIDO. Con zig cc el `libc.so` sale con 1586 símbolos dinámicos
|
|
# contra los 1654 del musl de Alpine, y los 68 que faltan son EXACTAMENTE los que musl implementa en
|
|
# ensamblador x86_64 —`memset`, `memcpy`, `memmove`, `memcmp`, `strlen` y toda la familia matemática
|
|
# (`ceil floor sqrt fmod exp log sin cos tan fma round trunc`)— más los `__stack_chk_*`.
|
|
#
|
|
# No es que no se compilen: en el `libc.a` del musl canónico están. Lo que pasa es que zig los
|
|
# RESUELVE CON SU PROPIO musl y los deja ocultos — medido: `memset` aparece como
|
|
# `FUNC LOCAL HIDDEN` de tamaño 0, así que no entra en la tabla dinámica. El resultado es un
|
|
# cargador que arranca, empieza a relocar y muere con `memset: symbol not found`, que se lee como
|
|
# "el binario está roto" y no como "a la libc le faltan símbolos".
|
|
compiler = "gcc"
|
|
target = "x86_64-linux-musl"
|
|
link = "dynamic"
|
|
|
|
[deps]
|
|
build = ["make"]
|
|
|
|
[build.phases]
|
|
# `--enable-shared` produce `libc.so`; `make install` lo pone en `/usr/lib/libc.so` y crea el
|
|
# cargador en `$syslibdir` (`/lib/ld-musl-x86_64.so.1`), que es literalmente el mismo fichero: en
|
|
# musl el loader Y la libc son el mismo objeto.
|
|
configure = "./configure --prefix=/usr --syslibdir=/lib --enable-shared --disable-static"
|
|
compile = "make -j\"$(nproc)\""
|
|
install = "make DESTDIR=/out install"
|