From 349da65086df4c362706f71e77b47acae89faa8c Mon Sep 17 00:00:00 2001 From: Sergio Date: Sun, 6 Sep 2026 15:24:20 +0000 Subject: [PATCH] SDD 26: el firefox con RLBox REPRODUCE bit a bit MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit `scripts/verificar-repro.sh recipes/firefox.toml`: reconstruido y comparado contra el sellado da REPRODUCEN 1, DERIVA 0, NO-DETERMINISMO 0. No es un trámite. Encender RLBox mete una cadena de compilación ENTERA nueva —wasi-libc, libc++ a wasm32, los builtins, wasm2c traduciendo a C— dentro del build de firefox, y la duda razonable era si algo de eso metía una fecha, un orden de tabla hash o una ruta absoluta. No lo hace. Es además la distinción que esta misma noche costó cara en la receta de al lado: waterfox SELLÓ EN VERDE sin reproducir, porque el ArtifactHash es input-addressed y no se mueve por un BuildID que sea la hora del build. «Selló» y «está bien» son dos preguntas distintas, y la segunda cuesta un comando. --- docs/26-atuq-envoltorio-gecko.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/26-atuq-envoltorio-gecko.md b/docs/26-atuq-envoltorio-gecko.md index 199b0681..2e4bec67 100644 --- a/docs/26-atuq-envoltorio-gecko.md +++ b/docs/26-atuq-envoltorio-gecko.md @@ -574,7 +574,7 @@ siguiente. | 2 | ~~`llvm-toolchain`~~ → **`apk add lld` + `compiler="clang"`** ✅ 2026-09-05 | LTO **y** el muro 3 | — | | 3 | Construir el `firefox` con LTO (hash `b3:6f2a3b2f`) | el eje de velocidad **y** las extensiones de `atuq` | 2 ✅ | | 3.a | PGO: perfil bajo sway headless, **sellado como artefacto propio** y consumido por hash | la otra mitad de la ganancia | 3 | -| 3.b | **RLBox ENCENDIDO** ✅ 2026-09-06 — cadena wasm de CINCO recetas selladas + guardián que la exige en el binario; firefox construyendo | cierra el hueco de seguridad del §3.bis | 2 ✅ | +| 3.b | **RLBox ENCENDIDO** ✅ 2026-09-06 — cadena wasm de CINCO recetas selladas + guardián que la exige en el binario; firefox sellado **y REPRODUCE bit a bit** (`verificar-repro.sh`: 0 no-determinismos) | cierra el hueco de seguridad del §3.bis | 2 ✅ | | 4 | **`atuq`: receta derivada + overlay de chrome** ✅ v0.1 escrita | el andamio de todo lo demás | 3 | | 4.b | Branding + re-empaque de `omni.ja` ✅ v0.2 | el chrome de verdad | — | | 4.d | **Abrirlo en pantalla** — destapó EXDEV, el lanzador, el `atk` envenenado y la cadena GTK3 estática | «usable», no sólo «sellado» | — |