Files
takana/recipes/firefox-instrumentado.toml
Sergio e852f48491 takana etapa 5a: los comentarios de las 741 recetas
Barrido de TEXTO puro: 1427 líneas de comentario TOML. Cero ArtifactHash
movidos, y eso está MEDIDO, no deducido: hasheé las 741 antes y después y los
ficheros de hashes son idénticos byte a byte (723 con hash real + 18 que ya no
hasheaban de antes).

El guardián valió la pena: el primer barrido, filtrando por 'la línea empieza
con #', movió el hash de helix, lsof y steam-runtime-sniper. La causa es que una
fase se escribe como compile = <triple> ... <triple> y sus comentarios de SHELL
también empiezan con #, pero viven dentro del VALOR — y las fases sí entran en
hash_inputs. El barrido ahora calcula los rangos de las cadenas multilínea de
TOML y no entra ahí.

Quedan intactos a propósito: .hammer-zig-cc y .hammer-cargo-vendor (literales
dentro de fases), hammerd, hammer-recover y toda ruta que empiece por /
2026-09-09 19:23:26 +00:00

407 lines
28 KiB
TOML

# firefox-instrumentado — el firefox de al lado, pero COMPILADO PARA MEDIRSE. Andamiaje del PGO
# (SDD 26, unidad 3.a): existe sólo para correrlo una vez y quedarse con el perfil que emite.
#
# ══ QUÉ ES Y QUÉ NO ════════════════════════════════════════════════════════════════════════════
# Es `recipes/firefox.toml` con UNA opción de más, `--enable-profile-generate=cross`, que hace que
# clang instrumente cada rama. El binario resultante es LENTO y NO se distribuye: se ejecuta una
# vez bajo un sway headless, escupe `.profraw`, y de ahí sale el `merged.profdata` que el firefox
# de verdad consume con `--enable-profile-use=cross`.
#
# ⚠ ES UNA COPIA DE `firefox.toml` Y ESO TIENE UN PRECIO CONOCIDO. Dos ficheros que describen el
# mismo build divergen sin que nada lo diga, y un perfil recogido de un binario que ya no se parece
# al que se optimiza vale menos que ninguno. **Si se toca `firefox.toml` —deps, parches, mozconfig—
# hay que tocar esto.** Se generó derivándolo del original, no escribiéndolo a mano, justamente para
# que naciera igual; mantenerlo igual es responsabilidad de quien edite.
#
# ⚠ POR QUÉ EL PERFIL NO SE GENERA DENTRO DE HAMMER. Correr el navegador exige un compositor, y
# meter sway en el sandbox pediría ~11 librerías más sobre las ~35 de firefox — cerca del límite de
# 4 KB del `lowerdir=` de bwrap que ya tumbó a kio con 52 deps. Pero el argumento de fondo no es el
# coste: **el perfil NO ES DETERMINISTA** (los contadores dependen del timing), así que meterlo en un
# build hermético no compra reproducibilidad, sólo la finge. El paso no determinista vive FUERA y su
# salida entra como fuente pineada, que es exactamente lo que el ADR 0013 hace con las fuentes.
name = "firefox-instrumentado"
version = "154.0"
license = "MPL-2.0"
[source]
# Tarball de RELEASE de Mozilla: fichero SUBIDO por upstream, sha256 estable y publicado en su
# SHA256SUMS. No es un `/archive/<tag>` de forja, que se genera al vuelo (ver `recipes/mbedtls.toml`).
tarball = "https://ftp.mozilla.org/pub/firefox/releases/154.0/source/firefox-154.0.source.tar.xz"
sha256 = "36cec5b3688a60f78a6d20dcaee15b598f84e03c66f6587056aead6cb498b99a"
# Los once de musl del APKBUILD de Alpine (community/firefox). NO se traen los suyos de ppc64le,
# loongarch ni Android: no aplican a x86_64 y cada parche que no hace falta es una forma más de que
# un rebase falle sin motivo.
patches = [
"firefox-patches/lfs64.patch",
"firefox-patches/time64.patch",
"firefox-patches/musl-no-linux-prctl.patch",
"firefox-patches/fix-fortify-system-wrappers.patch",
"firefox-patches/fix-rust-target.patch",
"firefox-patches/sandbox-sched_setscheduler.patch",
"firefox-patches/abseil-cpp.patch",
"firefox-patches/glean-stub.patch",
"firefox-patches/rust-lto-thin.patch",
"firefox-patches/wasip1.patch",
"firefox-patches/widevine.patch",
]
[build]
# ══ `clang` — Y POR QUÉ YA NO ES `gcc` (2026-09-05) ════════════════════════════════════════════
# HISTORIA: esta receta nació con `compiler = "gcc"` porque con zig-cc el configure de Firefox murió
# tres veces seguidas. Los tres muros eran REALES y siguen siéndolo para zig:
#
# 1. «Could not use lld as linker» — zig se identifica como `zig ld 0.16.0` y el sondeo de Mozilla
# clasifica por esa cadena buscando «LLD»/«GNU ld»/«GNU gold».
# 2. «Cannot find ar» — zig trae `ar` como SUBCOMANDO y `check_prog` busca un ejecutable.
# 3. «Firefox does not support linking statically with libstdc++» — `flags.configure:79` compila un
# C++ mínimo, lo pasa por `llvm-objdump --private-headers` y exige un `NEEDED` de la stdlib de
# C++. zig enlaza libc++ ESTÁTICA para musl, así que ese NEEDED no existe nunca.
#
# gcc satisfacía los tres, pero al precio de quedar FUERA de la cadena de optimización de Gecko:
# **PGO, LTO y BOLT son cadena de clang en Firefox** (`--enable-lto=cross` quiere clang+lld,
# `--enable-profile-use=cross` espera `-fprofile-instr-use`). Con gcc no hay perilla que encender.
# Medido contra el APKBUILD de `community/firefox` de aports —nuestro propio upstream, de donde
# salen los once parches de musl— y contra el PKGBUILD de Arch: **las dos hacen LTO y PGO**. No
# estábamos adelante de nadie; estábamos atrás, y la puerta era el compilador.
#
# clang RESUELVE LOS TRES MUROS SIN PERDER NADA:
# 1. `--enable-linker=lld` + `lld` en el lab (añadido a `bootstrap-devfs.sh` el 2026-09-05).
# 2. `AR=llvm-ar` lo pone takana solo con `compiler="clang"` (takana-build/src/lib.rs), y la suite
# `llvm-*` está expuesta en `/usr/bin` por el paso 3a-ter del bootstrap.
# 3. clang++ de Alpine usa la `libstdc++` COMPARTIDA de gcc ⇒ el `NEEDED` existe. La prueba no es
# teórica: Alpine construye este mismo Firefox con clang22 y **sin** `libcxx` en sus makedepends.
#
# El lab ya traía `clang22`/`llvm22` 22.1.8 (la MISMA major que usa Alpine: `_llvmver=22`), así que
# esto no costó una receta de LLVM: costó `apk add lld`.
#
# ⚠ EL PRECIO, ESCRITO: el toolchain del lab SÍ entra en `hash_inputs` desde el 2026-08-10
# (`takana-core/src/lab.rs`), pero **`lld` no casa ningún prefijo de `TOOLCHAIN_PREFIXES`** ⇒ su
# versión NO está en la huella. Eso es lo que permitió añadirlo sin re-hashear los 837 artefactos
# sellados —medido: la huella no se movió—, y a la vez deja un agujero que sólo expone a las recetas
# `compiler="clang"`, que hoy es ésta. Cerrarlo cuesta un re-hasheo del corpus entero.
compiler = "clang"
target = "x86_64-linux-musl"
link = "dynamic"
flags = []
# ══ `strip_debug`: SIN ESTO EL ARTEFACTO SERÍA INMANEJABLE ═════════════════════════════════════
# Medido en el `nodejs` que acaba de sellar sin strip: su binario pesa **984 MB, de los cuales
# `.debug_info` son 497 MB y `.debug_line` otros 43** — más de la mitad del artefacto es información
# de depuración. Firefox es varias veces V8, así que sin strip su artefacto entraría en varios GB, y
# el store no es sólo disco: se sincroniza hub↔worker y se respalda.
#
# Es además el hallazgo del SDD 23: el 79% del contenido binario del store era `.debug_*`, y quitarlo
# hace que artefactos que no reproducían PASEN a reproducir, porque lo que difería eran las rutas del
# árbol de build embebidas en esas secciones.
#
# Entra en `hash_inputs` A PROPÓSITO (cambia el contenido del artefacto), y usa `zig objcopy`, que
# siempre está en el sandbox ⇒ no agrega una dep de build.
strip_debug = true
# ══ `MOZ_BUILD_DATE`: SIN ESTO EL ARTEFACTO NO REPRODUCE ══════════════════════════════════════
# El `BuildID` de `application.ini` es, por defecto, la FECHA Y HORA del build. Medido en el
# artefacto sellado del 2026-09-05: `BuildID=20260905035306`. Dos construcciones de esta misma
# receta, con el mismo ArtifactHash, producían bytes distintos — justo el agujero que el invariante
# de reproducibilidad existe para cerrar, y que `build-state.json` no puede ver porque el hash es
# input-addressed y no se mueve por esto.
#
# El valor sale de `SOURCE_DATE_EPOCH`, que el sandbox de takana YA fija a 1 para todas las recetas.
# Es mejor que una constante escrita a mano: usa el mecanismo de hermeticidad que ya existe, en vez
# de inventar un segundo. Alpine hace exactamente lo mismo en su APKBUILD.
[build.phases]
configure = '''
export MOZBUILD_STATE_PATH="$PWD/.mozbuild"
export MACH_BUILD_PYTHON_NATIVE_PACKAGE_SOURCE=system
export MOZ_NOSPAM=1
# ── RUST_TARGET: lo EXIGE el parche de Alpine, no Firefox ─────────────────────────────────────
# `fix-rust-target.patch` REEMPLAZA la autodetección del triple de Rust por un
# `os.environ['RUST_TARGET']` pelado. Sin la variable, configure muere con
# `KeyError: 'RUST_TARGET'` — que se lee como un bug de Firefox y es en realidad el contrato del
# parche: el APKBUILD de Alpine lo exporta como `$CTARGET` y acá hay que hacer lo propio.
# El valor NO se adivina: sale de `ls .dev-fs/alpine/usr/lib/rustlib/` en el lab, que es
# `x86_64-alpine-linux-musl` — el rustc del sandbox es el de Alpine, no el del host (el del host es
# `x86_64-unknown-linux-gnu` y usarlo produciría un cross-compile silencioso).
export RUST_TARGET=x86_64-alpine-linux-musl
# ── `MOZ_REQUIRE_SIGNING=0`: SIN ESTO LA DISTRO NO PUEDE SHIPEAR NI UNA EXTENSIÓN PROPIA ──────
# Firefox exige que todo XPI esté firmado por Mozilla. La pref `xpinstall.signatures.required` NO
# alcanza: se ignora cuando la exigencia viene COMPILADA, y viene compilada porque el default de
# `MOZ_REQUIRE_SIGNING` sale del MILESTONE (154.0 es release), no del canal de actualización — el
# nuestro es `default`, y aun así estaba activa.
#
# Medido, no deducido: con el autoconfig ejecutándose de verdad (testigo `atuq.autoconfig.ok=true`
# en el perfil) y `lockPref("xpinstall.signatures.required", false)` puesta, la instalación por
# política seguía muriendo con `ERROR_SIGNEDSTATE_REQUIRED`.
#
# ⚠ EL PRECIO, ESCRITO: este Firefox —y por herencia `atuq`— deja de exigir la firma de Mozilla
# para CUALQUIER complemento, no sólo los nuestros. La alternativa real es firmar en AMO, que pide
# cuenta y revisión de Mozilla por cada versión: exactamente la dependencia externa que esta distro
# existe para no tener. Es la misma postura que ya tomaba `--with-unsigned-addon-scopes`, llevada
# hasta donde de verdad hace falta.
# ⚠ SE DESACTIVA CON EL VALOR VACÍO, NO CON CERO. `MOZ_REQUIRE_SIGNING=0` muere con
# «InvalidOptionError: MOZ_REQUIRE_SIGNING takes 0 values», porque es una bandera booleana y el `0`
# es un VALOR que no acepta. La semántica está en el propio parser de mozbuild
# (`python/mozbuild/mozbuild/configure/options.py`), y no se dedujo: se leyó del tarball —
# if values == ("",): return NegativeOptionValue() ⇒ VAR= (vacío) DESACTIVA
# if values == ("1",): return PositiveOptionValue() ⇒ VAR=1 activa
# El `export` con valor vacío es lo que hace llegar la variable PRESENTE y vacía; desexportarla la
# dejaría sin definir y volvería al default, que acá es «exigir firma».
export MOZ_REQUIRE_SIGNING=
export MOZ_BUILD_DATE="$(date -u -d "@${SOURCE_DATE_EPOCH:-1}" +%Y%m%d%H%M%S)"
# ── LOS PARCHES ROMPEN EL CHECKSUM DE LOS CRATES VENDORIZADOS ─────────────────────────────────
# `error: the listed checksum of third_party/rust/zeitstempel/src/unix.rs has changed`. Los crates
# de Rust vienen VENDORIZADOS en el tarball y cargo verifica el sha de CADA fichero contra
# `.cargo-checksum.json`; en cuanto un parche de musl toca uno, el build muere. Cargo no ofrece
# ninguna forma de recalcularlo, así que la salida —la misma del APKBUILD de Alpine— es vaciar la
# lista de ficheros del manifiesto, dejando el checksum del paquete.
#
# Son los CINCO crates que tocan los parches, no uno: el error los va destapando de a uno y buscarlos
# por prueba y error costaría cinco vueltas de configure.
for c in audio_thread_priority cc zeitstempel wgpu-hal alsa; do
f="third_party/rust/$c/.cargo-checksum.json"
[ -f "$f" ] || { echo "FALTA $f — ¿upstream movió el crate?" >&2; exit 1; }
sed -i 's/\("files":{\)[^}]*/\1/' "$f"
done
cat > .mozconfig <<'MOZ'
ac_add_options --prefix=/usr
ac_add_options --enable-application=browser
ac_add_options --enable-default-toolkit=cairo-gtk3-wayland
ac_add_options --enable-release
ac_add_options --enable-optimize
ac_add_options --enable-hardening
# ── LA CADENA DE OPTIMIZACIÓN (2026-09-05) ────────────────────────────────────────────────────
# Las tres primeras son lo que Alpine y Arch ya hacían y nosotros no. `--enable-linker=lld` además
# resuelve el muro 1 del sondeo de linker (ver el bloque [build]).
ac_add_options --enable-linker=lld
ac_add_options --enable-lto=cross
ac_add_options --enable-profile-generate=cross
ac_add_options --enable-packed-relative-relocs
# ── LO QUE HABILITA A `atuq` (SDD 26) ─────────────────────────────────────────────────────────
# Sin esto un Firefox de release rechaza las extensiones que la distro deja en
# `distribution/extensions/`. Es flag de CONFIGURE, o sea que NO se puede resolver en el overlay del
# artefacto derivado: la capacidad de `atuq` de shipear sus propias extensiones (el `sct` v1) se
# decide acá, en la base. Alpine pasa exactamente este flag y por el mismo motivo.
ac_add_options --with-unsigned-addon-scopes=app,system
ac_add_options --with-branding=browser/branding/unofficial
ac_add_options --with-libclang-path=/usr/lib
ac_add_options --disable-bootstrap
ac_add_options --disable-jemalloc
ac_add_options --disable-crashreporter
ac_add_options --disable-updater
ac_add_options --disable-tests
ac_add_options --disable-debug
ac_add_options --disable-debug-symbols
ac_add_options --disable-strip
ac_add_options --disable-install-strip
ac_add_options --disable-cargo-incremental
ac_add_options --with-wasi-sysroot=/usr/share/wasi-sysroot
ac_add_options --enable-alsa
ac_add_options --enable-pulseaudio
ac_add_options --enable-dbus
ac_add_options --enable-ffmpeg
mk_add_options MOZ_OBJDIR=@TOPSRCDIR@/objdir
MOZ
# ── POR QUÉ AQUÍ NO HAY PGO TODAVÍA ───────────────────────────────────────────────────────────
# PGO es la otra mitad de la ganancia (LTO solo rinde menos que LTO+PGO) y NO entra en esta pasada
# por dos muros que las distros no tienen, porque no persiguen lo que nosotros perseguimos:
# 1. El perfil se junta CORRIENDO el navegador. Alpine y Arch lo hacen bajo `xvfb-run`; nosotros
# NO tenemos X11 en el corpus (la distro es Wayland-only) ⇒ el camino es un sway headless.
# 2. El `profdata` NO es determinista (los contadores dependen del timing) ⇒ si se generara aquí,
# cada build sellaría bytes distintos. La salida es generarlo UNA vez, sellarlo como artefacto
# propio y consumirlo por hash desde `[deps]`.
# Es su propia unidad de trabajo (SDD 26 §3.ter). Cuando llegue, además trae el `jarlog`, que ordena
# el `omni.ja` para el arranque — y eso condiciona cómo `atuq` puede re-empacarlo.
#
# ── ThinLTO Y LA MEMORIA ──────────────────────────────────────────────────────────────────────
# El enlace ThinLTO abre un trabajo por hilo y cada uno carga bitcode: sin capar, el link es lo
# primero que muere por OOM en una máquina de 16 GiB. Se capa con la MISMA cuenta que `-j` y por la
# misma razón que ella no es un número fijo: un literal ataría el ArtifactHash a la RAM de quien
# escribió la receta (ver la nota de la fase compile).
# ⚠ Si algún día dos máquinas con distinto `nproc` sellan bytes distintos, el primer sospechoso es
# este flag — ThinLTO se diseñó determinista respecto al número de trabajos, pero es una promesa
# de upstream, no algo que hayamos medido acá.
gib=$(awk "/MemTotal/{printf \"%d\", \$2/1024/1024}" /proc/meminfo)
jl=$(( gib / 3 )); [ "$jl" -lt 1 ] && jl=1
n=$(nproc); [ "$jl" -gt "$n" ] && jl=$n
export LDFLAGS="${LDFLAGS:-} -Wl,--thinlto-jobs=$jl"
echo "ThinLTO con --thinlto-jobs=$jl (MemTotal ${gib} GiB, nproc $n)"
./mach configure
'''
# `mach build` respeta -jN; la cuenta es la misma que en nodejs.toml y por el mismo motivo: un número
# fijo ataría el ArtifactHash a la RAM de quien escribió la receta.
# ⚠ OJO con el techo: dentro del sandbox `/proc/meminfo` NO muestra la memoria del contenedor sino la
# del host (medido en el LXC: 186 GiB en vez de 16), así que en un contenedor esta cuenta se degrada
# a `nproc`. Es un tope, no una garantía.
compile = '''
export RUST_TARGET=x86_64-alpine-linux-musl # ver la nota en la fase configure
# ⚠ `MOZ_REQUIRE_SIGNING` TAMBIÉN ACÁ, Y NO ES REDUNDANCIA. Las fases son shells distintos y
# `mach build` re-ejecuta el configure cuando lo cree necesario: exportarla sólo en la fase
# `configure` produjo un artefacto con `MOZ_REQUIRE_SIGNING: true` pese a que el configure la
# aceptó — 50 minutos de build para descubrirlo al abrir el navegador. Es exactamente la razón por
# la que `RUST_TARGET` se repite en las tres fases.
export MOZ_REQUIRE_SIGNING=
export MOZ_BUILD_DATE="$(date -u -d "@${SOURCE_DATE_EPOCH:-1}" +%Y%m%d%H%M%S)" # ídem: ver configure
export MOZBUILD_STATE_PATH="$PWD/.mozbuild"
export MACH_BUILD_PYTHON_NATIVE_PACKAGE_SOURCE=system
export MOZ_NOSPAM=1
gib=$(awk "/MemTotal/{printf \"%d\", \$2/1024/1024}" /proc/meminfo)
j=$(( gib / 3 )); [ "$j" -lt 1 ] && j=1
n=$(nproc); [ "$j" -gt "$n" ] && j=$n
echo "mach build -j$j (MemTotal ${gib} GiB, nproc $n)"
./mach build -j"$j"
'''
install = '''
export RUST_TARGET=x86_64-alpine-linux-musl # ver la nota en la fase configure
export MOZ_REQUIRE_SIGNING= # ídem
export MOZ_BUILD_DATE="$(date -u -d "@${SOURCE_DATE_EPOCH:-1}" +%Y%m%d%H%M%S)" # ídem
export MOZBUILD_STATE_PATH="$PWD/.mozbuild"
export MACH_BUILD_PYTHON_NATIVE_PACKAGE_SOURCE=system
DESTDIR=/out ./mach install
# ── GUARDIÁN: QUE LA BANDERA HAYA LLEGADO AL ARTEFACTO, NO AL CONFIGURE ───────────────────────
# `MOZ_REQUIRE_SIGNING` es una bandera que el configure acepta sin ruido y que aun así puede acabar
# en `true` dentro del artefacto (pasó: la exportábamos sólo en `configure`). El síntoma aparece
# lejísimos —al intentar instalar una extensión de la distro, en otra receta, tras 50 minutos de
# build— y no menciona la bandera por ningún lado. Se comprueba donde de verdad importa: en el
# `AppConstants` que va DENTRO de omni.ja.
python3 - <<'PY'
import sys, zipfile
z = zipfile.ZipFile("/out/usr/lib/firefox/omni.ja")
n = [x for x in z.namelist() if x.endswith("AppConstants.sys.mjs")]
if not n:
sys.exit("guardián: no encontré AppConstants.sys.mjs en omni.ja")
t = z.read(n[0]).decode("utf-8", "replace")
if "MOZ_REQUIRE_SIGNING: false" not in t:
sys.exit("guardián: MOZ_REQUIRE_SIGNING NO quedó en false — la distro no podría "
"instalar ninguna extensión propia. Revisá que la variable se exporte en TODAS "
"las fases (son shells distintos y mach re-ejecuta configure).")
print("guardián: MOZ_REQUIRE_SIGNING = false en el artefacto")
PY
# ── GUARDIÁN: QUE EL BuildID NO SEA UNA FECHA ────────────────────────────────────────────────
# Mismo razonamiento que el de arriba, y el mismo modo de fallo: si `MOZ_BUILD_DATE` no llega, el
# BuildID vuelve a ser la hora del build y el artefacto deja de reproducir SIN QUE NADA LO DIGA —
# el ArtifactHash es input-addressed y no se mueve por esto, así que `build-state.json` seguiría en
# verde. Se comprueba contra el valor que `SOURCE_DATE_EPOCH=1` obliga.
esperado="$(date -u -d "@${SOURCE_DATE_EPOCH:-1}" +%Y%m%d%H%M%S)"
real="$(sed -n 's/^BuildID=//p' /out/usr/lib/firefox/application.ini)"
if [ "$real" != "$esperado" ]; then
echo "guardián: BuildID=$real y esperaba $esperado — el artefacto NO reproduce." >&2
echo " Revisá que MOZ_BUILD_DATE se exporte en TODAS las fases." >&2
exit 1
fi
echo "guardián: BuildID = $real (determinista, de SOURCE_DATE_EPOCH)"
# ── GUARDIÁN: QUE LA INSTRUMENTACIÓN HAYA LLEGADO AL BINARIO ─────────────────────────────────
# Misma lección que RLBox: `--enable-profile-generate=cross` es una opción que el configure acepta
# sin ruido, y un binario SIN instrumentar corre perfecto y no emite ni un `.profraw`. El fallo se
# descubriría al final de la corrida de perfilado, con las manos vacías y sin nada que lo explique.
# clang deja símbolos `__llvm_profile_*` en todo binario instrumentado; sin instrumentar son CERO.
X=/out/usr/lib/firefox/libxul.so
n=$(llvm-nm --defined-only "$X" 2>/dev/null | grep -c " __llvm_profile_")
test "$n" -gt 0 || {
echo "!! el binario NO está instrumentado: 0 símbolos __llvm_profile_* en libxul.so" >&2
echo " el configure aceptó --enable-profile-generate=cross y no hizo nada." >&2
exit 1
}
echo "guardián: instrumentado ($n símbolos __llvm_profile_*; sin instrumentar serían 0)"
# ── GUARDIÁN: QUE RLBOX ESTÉ EN EL BINARIO, NO SÓLO EN EL CONFIGURE ───────────────────────────
# Tercera repetición de la misma lección, y por eso nace junto con la bandera en vez de después:
# `--with-wasi-sysroot` es exactamente la clase de opción que el configure acepta sin chistar y
# que puede no llegar al artefacto. Ya pasó dos veces en ESTA receta (`MOZ_REQUIRE_SIGNING` y
# `MOZ_BUILD_DATE`), y acá el fallo sería el más caro de todos: un firefox que dice tener
# enjaulados los parsers de fuentes y medios —el código que come entrada NO confiable de la red—
# y no los tiene. Una promesa falsa de seguridad es peor que no ofrecerla.
#
# QUÉ SE MIRA. RLBox compila esas librerías a wasm y las traduce a C con wasm2c, que deja su
# rastro en los símbolos de `libxul.so`. El discriminante está MEDIDO, no supuesto: sobre el
# artefacto `b3:352d7880` (el último con RLBox APAGADO, 224 MB de libxul) los tres patrones dan
# CERO, así que cualquiera de ellos apareciendo significa que la jaula entró de verdad.
# Se aceptan los tres y no sólo `w2c_` a propósito: el prefijo exacto es un detalle de la versión
# de wasm2c, y un guardián que falla por un cambio de convención de nombres tira 4 h de build por
# algo que no está roto. Lo que NO puede pasar desapercibido es que los tres sigan en cero.
X=/out/usr/lib/firefox/libxul.so
test -f "$X" || { echo "!! no hay libxul.so en el artefacto" >&2; exit 1; }
n_w2c=$(llvm-nm --defined-only "$X" 2>/dev/null | grep -c " w2c_" || true)
n_rlb=$(llvm-nm "$X" 2>/dev/null | grep -ci rlbox || true)
n_w2n=$(llvm-nm "$X" 2>/dev/null | grep -ci wasm2c || true)
if [ $((n_w2c + n_rlb + n_w2n)) -eq 0 ]; then
echo "!! RLBOX NO LLEGÓ AL BINARIO: libxul.so no tiene NI UN símbolo w2c_/rlbox/wasm2c." >&2
echo " El configure aceptó --with-wasi-sysroot pero el sandbox wasm no se construyó." >&2
echo " Mirá si las deps wasi-libc / wasi-compiler-rt / wasi-sdk llegaron al sandbox y si" >&2
echo " /usr/share/wasi-sysroot/lib/wasm32-wasip1/libc.a existe durante el build." >&2
exit 1
fi
echo "guardián: RLBox en el binario (w2c_=$n_w2c rlbox=$n_rlb wasm2c=$n_w2n; con RLBox apagado los tres son 0)"
'''
[deps]
# ⚠ DEP DE EJECUCIÓN, NO DE BUILD — Y NO ES DECORACIÓN (2026-09-06).
# Este artefacto declara `NEEDED libstdc++.so.6` / `libgcc_s.so.1`, y hasta hoy NADIE en el corpus
# las proveía: sólo existían en `.dev-fs/alpine`, o sea en el LAB. El binario sellaba, REPRODUCÍA
# bit a bit, pasaba todos los guardianes… y no arrancaba fuera del lab. Se descubrió corriendo
# `atuq` bajo un sway headless, no leyendo el grafo.
# `runtime` NO entra en el ArtifactHash (igual que `license`), así que declararlo NO re-hashea:
# lo que cambia es la CLAUSURA, que es lo que se hidrata en la imagen. Lo vigila
# `scripts/vigia-sonames.py`, que corre en el latido y deja `docs/state/sonames.txt`.
runtime = ["gcc-libs"]
build = [
"python3", "pkgconf", "nasm", "make", "cmake",
# la plataforma Gecko, compartida con los forks (SDD 26)
#
# ⚠ NI `clang18` NI `llvm18` — Y NO ES UN OLVIDO (2026-09-05) ─────────────────────────────────
# Estaban aquí cuando esta receta compilaba con gcc: `clang18` aportaba el `libclang.so` que
# bindgen carga en runtime y `llvm18` la suite `llvm-ar`/`llvm-objdump` que Mozilla exige. Con
# `compiler = "clang"` se volvieron ACTIVAMENTE DAÑINAS: una dep del corpus se materializa en el
# sandbox y **tapa** el binario del lab, así que `/usr/bin/llvm-ar` pasaba a ser el de LLVM 18
# mientras el compilador era clang 22. Con ThinLTO encendido los `.o` ya no son objetos sino
# BITCODE, y el bitcode no es compatible hacia atrás:
#
# /usr/bin/llvm-ar: error: …log.o: 'Unknown attribute kind (102)'
# (Producer: 'LLVM22.1.8' Reader: 'LLVM 18.1.8')
#
# El error nombra las DOS versiones, que es lo que lo hace diagnosticable de un vistazo. Es la
# misma forma que la lección de los headers UAPI: una dep tapa al lab y el fallo aparece lejos.
# El lab ya trae todo lo necesario en la versión correcta —`clang22-libclang` deja
# `/usr/lib/libclang.so` y el paso 3a-ter del bootstrap expone la suite `llvm-*` de llvm22 en
# `/usr/bin`—, así que la respuesta no es apuntar el AR a mano: es NO traer el 18.
# Es además lo que hace Alpine: clang22 + clang22-libclang, sin un segundo LLVM en la mesa.
"nodejs", "cbindgen",
# Las mismas variantes `-shared` que usa gtk3 (2026-09-05). No es simetría: declarar acá las
# ESTÁTICAS junto a un gtk3 que trae las compartidas son dos artefactos peleando por el mismo
# `lib/pkgconfig/pango.pc` y las mismas cabeceras, que es la otra forma conocida de este mismo
# fallo. Van las dos listas al mismo sitio o ninguna.
"gtk3", "atk", "gdk-pixbuf-shared", "pango-shared", "cairo-shared", "libepoxy",
"glib-shared", "pcre2-shared", "libffi-shared", "zlib-shared",
"harfbuzz-shared", "fribidi", "freetype-shared", "fontconfig-shared", "pixman",
"libpng-shared", "libjpeg-turbo-shared",
"wayland", "wayland-protocols", "libxkbcommon", "mesa", "libdrm",
"dbus", "pipewire", "pulseaudio", "alsa-lib",
"libxml2-shared", "linux-headers",
# ── LA CADENA WASM DE RLBOX (SDD 26 §3.b) ──────────────────────────────────────────────────────
# Van las TRES, y no es redundancia: las deps de takana NO son transitivas. En el `bwrap` sólo se
# apilan como overlay las que están escritas acá; declarar sólo `wasi-sdk` NO arrastra al
# `wasi-libc` que necesita, y el fallo sería el peor de los posibles — el sysroot no existiría y
# el error saldría a las horas, hablando de un header de wasm que no nombra a ninguna receta.
#
# wasi-libc el sysroot en sí (`/usr/share/wasi-sysroot`), que es lo que apunta el flag
# wasi-compiler-rt los builtins (`libclang_rt.builtins-wasm32.a`) SIN LOS CUALES NO ENLAZA
# nada a wasm; aterrizan en el resource dir del clang del lab
# wasi-sdk el `.cfg` de `/etc/clang22`, que hace el sysroot invisible para quien no
# pasa el flag. Con `--with-wasi-sysroot` explícito es cinturón Y tirantes:
# se declara igual porque es lo que hace Alpine y porque cuesta 28 K.
# wasi-libcxx libc++ y libc++abi para wasm32. NO es opcional: las librerías que RLBox
# enjaula no son todas C (graphite2 es C++) y sin esto el configure muere a
# los 6 segundos con «'cstring' file not found», culpando a los headers de
# WASI, que están perfectos. Es el hueco que este build encontró.
"wasi-libc", "wasi-libcxx", "wasi-compiler-rt", "wasi-sdk",
# ⚠ SÓLO EL INSTRUMENTADO LA NECESITA. `-fprofile-generate` enlaza contra la runtime de perfilado
# de compiler-rt —la que escribe los `.profraw`— y el LAB NO TRAE NINGUNA runtime de compiler-rt:
# su `lib/` del resource dir ni existe. Sin esto el build muere en el minuto 38 con
# `ld.lld: cannot open .../libclang_rt.profile.a`. El firefox de producción usa
# `-fprofile-use`, que NO necesita la runtime, así que esta dep no va allá.
"compiler-rt-profile",
]