SDD 26: el firefox con PGO reproduce bit a bit — unidad 3.a cerrada

verificar-repro.sh: REPRODUCEN 1, DERIVA 0, NO-DETERMINISMO 0.

Era el riesgo real de esta unidad, no el rendimiento. El perfil es no
determinista por naturaleza; congelarlo como fuente pineada era el ARGUMENTO de
por qué el build seguiría siendo reproducible, y esto es la MEDICIÓN. Si
-fprofile-use hubiera metido cualquier decisión dependiente del orden o del
timing, habríamos cambiado velocidad por el invariante del proyecto.

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`,