gioser

sergio/takana

> Una distribución Linux construida con un laboratorio funcional y hermético en el > sótano, y una terminal mutable, clásica y anárquica en el piso de arriba — diseñada > desde el suelo para que una IA programadora entienda, modifique y co…

TOML 1572Shell 203Rust 109Markdown 993728 Definitions

SDD 26: el piso del sello, en el documento — y por qué se comprueba en vez de confiarse

El commit anterior puso la comprobación en el arnés y el párrafo no entró (el ancla del texto no
casó y el commit salió con un solo fichero: `git show --stat` lo dijo en el segundo, que es para lo
que se mira). Va ahora: los 180 s son de ESTA máquina, con el anfitrión cargado el arranque puede no
llegar al gancho, y como el sello se lee antes y después el arnés avisa en vez de envenenar la
corrida siguiente en silencio.

eeaf9833a9cad8c46fe1d0a9e23a0da7998644e2 · by Sergio · (1 month ago) · parent db24d206d · browse the tree at this commit

Semantic delta

No definition changed: this change is text, documentation or data.

1 files · +11 −0

diff --git a/docs/26-atuq-envoltorio-gecko.md b/docs/26-atuq-envoltorio-gecko.md
index b6274e0c..b7979540 100644
--- a/docs/26-atuq-envoltorio-gecko.md
+++ b/docs/26-atuq-envoltorio-gecko.md
@@ -2281,6 +2281,17 @@ rompió por eso — no por ser larga, por ser rápida. La regla está en el arn
 dice por qué sigue esperando. El comentario lleva los dos números medidos al lado, porque **un piso
 que se lee como elegido lo baja el próximo que lo vea**.
 
+⚠ **Y el piso se COMPRUEBA, no se confía.** Los 180 s son de ESTA máquina —TCG sin KVM y con la carga
+que tenga el anfitrión, igual que los +97/+120/+137 de la pintura—, así que con el anfitrión cargado
+el mismo arranque puede no llegar al gancho: la corrida sumaría al contador y envenenaría a la
+siguiente **en silencio**, que es exactamente como empezó todo esto. Como el sello se lee antes y
+después, el arnés lo dice en la cara:
+
+    ✓ el arranque SELLÓ el éxito (last_success 18:58:42 → 19:12:17): esta corrida no envenena la siguiente
+    ⚠⚠ el sello NO se movió: este arranque no terminó ⇒ la corrida SUMA al contador. Subí PISO_SELLO
+
+Un piso que falla callado es un piso que no existe; éste avisa cuando no alcanzó.
+
 ⚠ **Y el 16 sigue sin explicación, con una contradicción medida encima**: desapareció en una corrida
 que fue diálogo + `ATUQ-EXIT=0`, y las fases k2/k3 del umbral fueron diálogo + `ATUQ-EXIT=0` también
 y no limpiaron nada (quedaron en 4 y 5). Mismo par de condiciones, resultado opuesto ⇒ «el diálogo