From 2fafb3a589ced3c83dcc30602c16eefbc28cbc89 Mon Sep 17 00:00:00 2001 From: Sergio Date: Fri, 18 Sep 2026 10:50:18 +0000 Subject: [PATCH] =?UTF-8?q?atuq:=20el=20vig=C3=A9simo=20guardi=C3=A1n=20en?= =?UTF-8?q?tra=20a=20la=20suite,=20y=20entra=20TRUNCADO=20=E2=80=94=20con?= =?UTF-8?q?=20el=20motivo=20escrito=20al=20lado?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit `test-atuq-boveda-metal --hasta A` pasa a correr con los otros diecinueve. Corre truncado a propósito: las etapas B..F chocan contra el muro del §7.septies —ninguna app llimphi de escritorio abre ventana sin Vulkan— que no es de la bóveda, y un rojo permanente por una causa ajena se aprende a ignorar en tres días. Lo que la A afirma es la medición que costó tres semanas de no ver: **sin la app dueña, el host contesta `locked:true` con `ok:true`**, o sea que «cerrada» es una respuesta exitosa. La cabecera del runner dice ahora 20 y avisa que un verde de éste NO dice que la bóveda ande. Es la misma advertencia que ese fichero ya se aplicó dos veces: un número escrito como predicción envejece callado, y un cuadro entero en verde puede ser un producto sano o un runner que no mide nada. Probado en los dos sentidos, que es lo único que distingue un guardián de una decoración: · en verde, 3 s, dentro del runner y sobre el sello vigente (`b3:e556024b`); · ROJO con una rotura a propósito —invertir la aserción de la etapa A— ⇒ salida 1. Y el tamaño que faltaba para la decisión del §7.sexies: `boveda` 22 M y `shuma-pregunta` 21 M, ~43 M por perfil. Hoy la respuesta a «en qué imágenes se declaran» es NO, y no por el tamaño: declararlas antes de que llimphi se destrabe sería instalar una bóveda que niega todo sin un error. Co-Authored-By: Claude Opus 5 (1M context) --- docs/26-atuq-envoltorio-gecko.md | 5 ++++- scripts/test-atuq-suite.sh | 16 +++++++++++++--- 2 files changed, 17 insertions(+), 4 deletions(-) diff --git a/docs/26-atuq-envoltorio-gecko.md b/docs/26-atuq-envoltorio-gecko.md index 4f3d1dce..896415a9 100644 --- a/docs/26-atuq-envoltorio-gecko.md +++ b/docs/26-atuq-envoltorio-gecko.md @@ -3039,7 +3039,10 @@ subdir `xml/schemas/` de atspi (mismo `accesskit_winit` 0.33, mismo `atspi-commo 1. **en qué imágenes se declaran.** La función del navegador no existe sin las dos, así que o entran a las cuatro de escritorio o la bóveda de `atuq` se queda como una extensión que no ofrece nada. Es la misma pregunta abierta que el §6.7 dejó con `llama-cpp`, y se contesta con el tamaño medido - al lado, no antes; + al lado, no antes: **`boveda` son 22 M y `shuma-pregunta` 21 M**, o sea ~43 M por perfil, contra + los ~1,25 GiB que pide el §6.7. ⚠ Pero hoy la respuesta es **NO, y no por el tamaño**: ninguna de + las dos abre ventana en ninguna imagen (§7.septies), así que declararlas ahora sería agregar 43 M + de binarios que no pueden pintar — y peor, dejar la bóveda «instalada» negando todo en silencio; 2. **de dónde sale la raíz de las claves.** La app la saca de la seed de identidad del llavero del kernel, que en una máquina de desarrollo no está desbloqueada — y por eso existe `BOVEDA_TEST_ROOT`, que deriva la raíz de una cadena y abre **otra** bóveda, vacía, diciéndolo en pantalla. Es la diff --git a/scripts/test-atuq-suite.sh b/scripts/test-atuq-suite.sh index 7987d65a..43854eba 100755 --- a/scripts/test-atuq-suite.sh +++ b/scripts/test-atuq-suite.sh @@ -2,7 +2,7 @@ # test-atuq-suite.sh — corre TODOS los guardianes de `atuq`, en orden de coste, y da un cuadro. # # ══ POR QUÉ EXISTE ════════════════════════════════════════════════════════════════════════════ -# Los guardianes de atuq son diecinueve y ninguno corre solo. Ya pasó lo que tenía que pasar: el de +# Los guardianes de atuq son VEINTE y ninguno corre solo. Ya pasó lo que tenía que pasar: el de # descargas estuvo ROJO dos días y nadie lo corrió (commit `29831e62`), y el 2026-09-15 el artefacto # vigente estuvo SIN SELLAR desde el commit de la bóveda hasta que alguien miró — durante esas horas # ningún guardián podía medir nada y el repo se veía igual de sano. Un guardián que nadie corre es @@ -15,7 +15,10 @@ # Si falta el sello, esto NO corre nada: dice cómo construirlo y sale. # # ══ EL CONTROL DE ESTA CORRIDA ════════════════════════════════════════════════════════════════ -# Hoy (2026-09-16) el resultado CORRECTO es **19 en verde**. Lo fue «17 y dos rojos» hasta esta +# Hoy (2026-09-18) el resultado CORRECTO es **20 en verde** — el vigésimo entró ese día y corre +# TRUNCADO (`--hasta A`) a propósito: ver su renglón en la lista y el §7.septies. Un verde suyo +# NO dice que la bóveda ande; dice que el host contesta lo que tiene que contestar sin dueño. +# Lo fue «19 en verde» desde el 2026-09-16. Lo fue «17 y dos rojos» hasta esta # tarde: los dos eran los verbos de la bóveda, y se apagaron al subir el pin de `puriy-costura` # (SDD 26 §7.quinquies.bis). Si mañana hay un rojo, cambió algo que hay que ir a ver. # @@ -33,7 +36,7 @@ # envejece callado.** Si el cuadro no coincide con esto, el sospechoso es esta cabecera. # # ══ LO QUE CUESTA ═════════════════════════════════════════════════════════════════════════════ -# **~32 min** en gioser, en serie (32,1 min medidos el 2026-09-16, sobre 19 guardianes). Los cuatro primeros salen en 10 s y no tocan +# **~34 min** en gioser, en serie (32,1 min medidos el 2026-09-16 sobre 19; el vigésimo suma ~2). Los cuatro primeros salen en 10 s y no tocan # el navegador: para «¿rompí algo del cruce política↔XPI?» alcanza con `--only` y no hace falta la # media hora. Los caros son `sct` (241 s, seis cargas), `archivo-semantico` (227 s, embeddings), # `instalacion` (180 s, tres sesiones) y `ia` (180 s, levanta `llama-server`). @@ -75,6 +78,13 @@ done GUARDIANES=( "vigia-atuq-verbos|python3 scripts/vigia-atuq-verbos.py|el host PINEADO atiende los verbos que mandan las diez extensiones (§7)" "test-atuq-boveda-coherente|python3 scripts/test-atuq-boveda-coherente.py|la bóveda está enchufada en los CINCO lugares (SDD-BOVEDA §8)" + # ⚠ CORRE TRUNCADO, `--hasta A`, y el motivo está en el §7.septies: `boveda` y `shuma-pregunta` + # están sellados y NO ABREN VENTANA —ninguna app llimphi de escritorio puede, porque no hay Vulkan + # en ninguna imagen y el camino GL de llimphi arma la instancia sin display handle—, así que las + # etapas B..F miden un muro ajeno a la bóveda. Lo que la A afirma es la medición del §7.sexies, que + # es la que costó tres semanas de no ver: **sin la app dueña, el host contesta `locked:true` con + # `ok:true`**. Cuando llimphi se destrabe, se saca el `--hasta A` y esta nota se va con él. + "test-atuq-boveda-metal|python3 scripts/test-atuq-boveda-metal.py --hasta A|sin el dueño de la bóveda, el host contesta CERRADA — y «cerrada» es un ok (§7.sexies)" "test-atuq-politica|python3 scripts/test-atuq-politica.py|el cruce XPI empaquetado ↔ política, con cinco roturas a propósito" "test-atuq-rootfs|python3 scripts/test-atuq-rootfs.py|el rootfs resuelve todos los NEEDED y nada se cae al LAB" "test-atuq-inicio|python3 scripts/test-atuq-inicio.py|la página de inicio y la pestaña nueva son las NUESTRAS (§4.e)"