diff --git a/docs/26-atuq-envoltorio-gecko.md b/docs/26-atuq-envoltorio-gecko.md index 62754a98..189c6cf4 100644 --- a/docs/26-atuq-envoltorio-gecko.md +++ b/docs/26-atuq-envoltorio-gecko.md @@ -227,6 +227,12 @@ llevan `-fprofile-use`**, el configure encontró `llvm-profdata`, y no hay ni un no cuadre. `libxul.so` pasa de 226.078.752 a 227.802.816 bytes, consistente con inlining de caminos calientes. Es evidencia de build, no de artefacto, y conviene decirlo así. +**Y la pregunta que un insumo no determinista obliga a hacer, respondida: `firefox` SIGUE +REPRODUCIENDO bit a bit** (`verificar-repro.sh`: REPRODUCEN 1, DERIVA 0, NO-DETERMINISMO 0). Era el +riesgo real de esta unidad, no el rendimiento: si el `-fprofile-use` hubiera metido cualquier +decisión dependiente del orden o del timing, habríamos cambiado velocidad por el invariante del +proyecto. Congelar el perfil como fuente pineada era el argumento; esto es la medición. + ### 3.quater La cadena wasm, y las tres cosas que costó (2026-09-06) `--without-wasm-sandboxed-libraries` se cambió por `--with-wasi-sysroot=/usr/share/wasi-sysroot`,