sergio/takana

1#!/usr/bin/env python3
2# hydrate-profile.py — proyecta al FHS el cierre ENTERO de un perfil de `targets.toml`.
3#
4# ══ POR QUÉ EXISTE, SI YA HAY UN hydrate POR ESCRITORIO ════════════════════════════════════════
5# `scripts/{kde,gnome,cosmic}/hydrate-*.sh` traen la lista de raíces ESCRITA A MANO dentro del
6# propio script. Desde que `docs/state/targets.toml` es la declaración de qué lleva cada imagen,
7# eso son DOS fuentes de verdad para lo mismo, y divergen sin que nada lo diga: el 2026-09-04 se
8# añadió `adwaita-cursors` a las raíces de cosmic y sway, y los scripts de hidratación —que no la
9# conocen— habrían seguido armando un rootfs sin cursores mientras el perfil decía que los lleva.
10# La métrica y la imagen dirían cosas distintas, que es exactamente el modo de fallo que
11# `vigia-imagen.py` existe para cazar.
12#
13# Acá el cierre sale de donde tiene que salir: `yupana.membresia()` sobre `targets.toml`, la misma
14# función que usan `build-state.py` y `vigia-imagen.py`. Si el perfil cambia, esto cambia solo.
15#
16# ══ EL ARTEFACTO SE ELIGE POR HASH, NO POR FECHA ═══════════════════════════════════════════════
17# `takana hash <receta>` da el ArtifactHash de la receta de HOY sin construir. Con dos artefactos
18# del mismo paquete conviviendo en el store —lo normal tras cualquier re-hash— el más reciente
19# puede ser el viejo. La fecha miente; el hash no.
20#
21# ══ UN NODO SIN ARTEFACTO NO SE SALTEA EN SILENCIO ═════════════════════════════════════════════
22# Se listan todos y se sale con código ≠ 0 salvo `--allow-missing`. Un rootfs al que le faltan
23# tres paquetes arranca y falla tres capas más abajo (`CLAUDE.md` regla 3, y la cicatriz de sway
24# llegando a 121/121 sin emulador de terminal).
25#
26#   uso:  scripts/hydrate-profile.py <perfil> [--into DIR] [--store DIR]
27#                                    [--link static|dynamic] [--keep] [--allow-missing]
28#
29#   La superficie va en INGLÉS (`CLAUDE.md` regla 4); los mensajes, en castellano.
30import os, sys, glob, shutil, subprocess
31
32sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)))
33import yupana
34import targets as targets_mod
35
36ROOT = yupana.ROOT
37HAMMER = str(ROOT / "target/release/takana")
38
39
40def opcion(nombre, defecto=None):
41    """`--flag valor`. Devuelve `defecto` si no está."""
42    if nombre in sys.argv:
43        i = sys.argv.index(nombre)
44        if i + 1 < len(sys.argv):
45            return sys.argv[i + 1]
46        sys.exit("falta el valor de %s" % nombre)
47    return defecto
48
49
50# Lo que SÍ puede aparecer en la raíz de ciertos artefactos, con el motivo al lado. Sin esta tabla
51# el barrido canta tres cosas cada vez y dos son correctas ⇒ se deja de leer, que es como se muere un
52# guardián. La clave es el nombre de receta y el valor `(motivo, patrón de lo permitido)`.
53RAIZ_POR_CONTRATO = {
54    "seed-zig":       ("el toolchain zig ES el artefacto: su directorio versionado va en la raíz",
55                       r"^zig-"),
56    "product-rootfs": ("es un ROOTFS, no un paquete: `store` y `ente` son suyos por diseño",
57                       r"^(store|ente)$"),
58    "stage1-rootfs":  ("es un ROOTFS, no un paquete: `ente` es suyo por diseño",
59                       r"^(store|ente)$"),
60}
61
62# Suciedad REAL, medida, y cuyo arreglo está DECIDIDO en contra por ahora. Se imprime como contexto y
63# NO hace fallar: si fallara siempre, un ofensor NUEVO se perdería entre el ruido de uno viejo.
64RAIZ_DEUDA_DECIDIDA = {
65    "perl": "945 páginas nroff en `/` porque su Configure eligió man1dir=' '. El arreglo es UNA "
66            "línea y cuesta 305 rebuilds ⇒ va con el próximo bump. Ver recipes/perl.toml.",
67}
68
69
70def auditar_raices(store):
71    """`--auditar-raices`: la misma pregunta que el bloque «quién ensucia la RAÍZ», pero sobre el
72    STORE ENTERO en vez de sobre el cierre de un perfil, y sin hidratar nada.
73
74    ⚠ **POR QUÉ HACÍA FALTA**: la comprobación de abajo sólo ve los artefactos que un perfil
75    proyecta, y hoy hay **649 recetas que no alcanza ninguna imagen** (catálogo, no distro). Una fase
76    `install` que se equivoca de destino en una de ésas es invisible hasta el día que alguien la
77    declare en un perfil — y entonces ensucia la raíz del rootfs sin que se sepa quién fue.
78
79    Lo destapó `qdrant` (2026-09-11): selló con **69 M** de cabeceras de protobuf bajo `/src`, porque
80    el sandbox exporta `DESTDIR=/out` GLOBAL y el `make install` ANIDADO de `protobuf-src` lo hereda.
81    No está en ningún perfil ⇒ ningún guardián lo habría visto. Barrido el store entero tras
82    arreglarlo: los únicos que quedan son `perl` (deuda medida y decidida, ver `recipes/perl.toml`) y
83    los tres rootfs/seed, que ponen ahí lo suyo por contrato."""
84    import re as _re
85    filas = []
86    for d in sorted(glob.glob(os.path.join(store, "*"))):
87        m = _re.match(r"^[0-9a-f]{64}-(.+)$", os.path.basename(d))
88        if not m or not os.path.isdir(d):
89            continue
90        try:
91            extra = sorted(e for e in os.listdir(d) if e not in FHS_RAIZ)
92        except OSError:
93            continue
94        if extra:
95            filas.append((len(extra), m.group(1), extra))
96    print("== raíces sucias en el STORE ENTERO ==")
97    nuevos = []
98    for n, nombre, extra in sorted(filas, reverse=True):
99        muestra = ", ".join(extra[:3]) + (", …" if n > 3 else "")
100        contrato = RAIZ_POR_CONTRATO.get(nombre)
101        if contrato and all(_re.match(contrato[1], e) for e in extra):
102            print("   ⊘ %-22s %4d  (%s) — %s" % (nombre, n, muestra, contrato[0]))
103            continue
104        if nombre in RAIZ_DEUDA_DECIDIDA:
105            print("   • %-22s %4d  (%s)" % (nombre, n, muestra))
106            print("     DEUDA DECIDIDA: %s" % RAIZ_DEUDA_DECIDIDA[nombre])
107            continue
108        print("   ✗ %-22s %4d  (%s)" % (nombre, n, muestra))
109        nuevos.append(nombre)
110    if not nuevos:
111        print("\n   ✓ 0 ofensores NUEVOS sobre %d artefactos." % len(filas)
112              if filas else "\n   ✓ ningún artefacto pone nada fuera del FHS en su raíz")
113        return 0
114    print("\n   ✗ %d ofensor(es) NUEVO(s): %s\n"
115          "   Un `install` que se equivoca de destino se lee, en el rootfs fundido, como si fuera\n"
116          "   parte del sistema." % (len(nuevos), ", ".join(nuevos)))
117    return 1
118
119
120def main():
121    libres = [a for i, a in enumerate(sys.argv[1:], 1)
122              if not a.startswith("--") and not (sys.argv[i - 1].startswith("--")
123                                                 and sys.argv[i - 1] in FLAGS_CON_VALOR)]
124    if "--auditar-raices" in sys.argv:
125        sys.exit(auditar_raices(opcion("--store",
126                                       os.environ.get("HAMMER_STORE", str(ROOT / "store")))))
127    if not libres:
128        sys.exit(__doc__ or "uso: scripts/hydrate-profile.py <perfil> [--into DIR]")
129    perfil = libres[0]
130    store = opcion("--store", os.environ.get("HAMMER_STORE", str(ROOT / "store")))
131    # Dónde cae el rootfs por defecto. Se puede fijar por entorno porque el sitio CORRECTO depende
132    # de cómo esté montado el store en cada máquina, no del perfil (ver la sonda EXDEV de abajo).
133    base_into = os.environ.get("HAMMER_ROOTFS_DIR", str(ROOT / "work/out"))
134    into = opcion("--into", os.path.join(base_into, perfil.replace("escritorio-", "") + "-rootfs"))
135    link = opcion("--link", "static")
136    keep = "--keep" in sys.argv
137    permitir_faltantes = "--allow-missing" in sys.argv
138
139    perfiles = targets_mod.load()
140    if perfil not in perfiles:
141        sys.exit("perfil desconocido: %s (hay: %s)" % (perfil, ", ".join(sorted(perfiles))))
142    colas = yupana.cargar_colas()
143    memb = yupana.membresia(colas, perfiles)
144    nodos = sorted(n for n, ps in memb.items() if perfil in ps and n[0] != "wanted")
145    if not nodos:
146        sys.exit("el cierre de %s salió vacío — ¿el perfil declara raíces?" % perfil)
147
148    print("== %s: %d nodos en el cierre → %s" % (perfil, len(nodos), into))
149
150    # ── resolver ANTES de tocar el disco: si falta algo, que se sepa antes de borrar nada ──────
151    artefactos, faltan = [], []
152    for cola, nombre in nodos:
153        receta = ROOT / ("recipes/%s.toml" % nombre if cola == "corpus"
154                         else "recipes/%s/%s.toml" % (cola, nombre))
155        if not receta.exists():
156            faltan.append((nombre, "sin receta"))
157            continue
158        r = subprocess.run([HAMMER, "--store", store, "hash", str(receta)],
159                           capture_output=True, text=True)
160        h = r.stdout.strip().replace("b3:", "")
161        if len(h) != 64:
162            faltan.append((nombre, "hash no computable"))
163            continue
164        cand = glob.glob(os.path.join(store, h + "-*"))
165        if not cand:
166            faltan.append((nombre, "no sellado (%s)" % h[:12]))
167            continue
168        artefactos.append((nombre, h, cand[0]))
169
170    if faltan:
171        print("\n   ⚠ %d nodo(s) SIN artefacto en el store:" % len(faltan))
172        for nombre, motivo in faltan:
173            print("     %-28s %s" % (nombre, motivo))
174        if not permitir_faltantes:
175            sys.exit("\nabortado sin tocar %s — con `--allow-missing` se hidrata lo que hay" % into)
176        print("   → se continúa por `--allow-missing`: el rootfs sale INCOMPLETO\n")
177
178    if os.path.isdir(into) and not keep:
179        shutil.rmtree(into)
180    os.makedirs(into, exist_ok=True)
181
182    # ── EXDEV: `hydrate` proyecta por HARDLINK, y `linkat()` NO cruza un punto de MONTAJE ───────
183    # aunque los dos lados sean el mismo filesystem y el mismo disco. Acá el store y `work/out` son
184    # dos bind mounts del MISMO /dev/sdb: `st_dev` coincide y el hardlink falla igual — por eso la
185    # sonda es FUNCIONAL (se intenta un enlace de verdad) y no una comparación de `st_dev`, que fue
186    # el primer intento y no disparó. Sin esto salen 174 «artefactos que no proyectaron» y un rootfs
187    # de 272 ficheros que parece un problema de recetas.
188    sonda_src = os.path.join(store, ".hydrate-profile-probe")
189    sonda_dst = os.path.join(into, ".hydrate-profile-probe")
190    try:
191        with open(sonda_src, "w"):
192            pass
193        os.link(sonda_src, sonda_dst)
194        os.unlink(sonda_dst)
195    except OSError as e:
196        mp = subprocess.run(["findmnt", "-n", "-T", store, "-o", "TARGET"],
197                            capture_output=True, text=True).stdout.strip()
198        sys.exit("EXDEV: no se puede enlazar del store a `%s` (%s).\n"
199                 "       `hydrate` ENLAZA, no copia, y un hardlink no cruza un montaje.\n"
200                 "       el store está montado en: %s\n"
201                 "       elegí un `--into` bajo ESE montaje (o fijá HAMMER_ROOTFS_DIR)."
202                 % (into, e.strerror, mp or "?"))
203    finally:
204        if os.path.exists(sonda_src):
205            os.unlink(sonda_src)
206
207    fallidos = []
208    for i, (nombre, h, _d) in enumerate(artefactos, 1):
209        r = subprocess.run([HAMMER, "--store", store, "hydrate", h,
210                            "--into", into, "--link", link],
211                           capture_output=True, text=True)
212        if r.returncode != 0:
213            fallidos.append((nombre, (r.stderr or r.stdout).strip().splitlines()[-1:] or [""]))
214        if i % 25 == 0 or i == len(artefactos):
215            print("   %d/%d" % (i, len(artefactos)))
216
217    if fallidos:
218        print("\n   ✗ %d artefacto(s) no proyectaron:" % len(fallidos))
219        for nombre, msg in fallidos:
220            print("     %-28s %s" % (nombre, msg[0] if msg else ""))
221
222    # ── quién ensucia la RAÍZ del rootfs ────────────────────────────────────────────────────────
223    # Se mira por ARTEFACTO y no sobre el árbol fundido, porque en el árbol fundido el nombre del
224    # culpable ya se perdió: 945 ficheros sueltos en `/` no se parecen a «una fase install con el
225    # directorio de destino vacío», que es lo que son. Cazado el 2026-09-04 mirando un rootfs de
226    # verdad, no una métrica: `perl` instala sus 945 páginas nroff en `/` porque su Configure eligió
227    # `man1dir=' '`. Ver el comentario en `recipes/perl.toml`.
228    sucios = []
229    for nombre, _h, d in artefactos:
230        extra = sorted(e for e in os.listdir(d) if e not in FHS_RAIZ)
231        if extra:
232            sucios.append((nombre, extra))
233    if sucios:
234        print("\n   ⚠ entradas FUERA del FHS en la raíz del rootfs:")
235        for nombre, extra in sorted(sucios, key=lambda x: -len(x[1])):
236            muestra = ", ".join(extra[:3]) + (", …" if len(extra) > 3 else "")
237            print("     %-28s %4d  (%s)" % (nombre, len(extra), muestra))
238
239    n_fich = sum(len(f) for _, _, f in os.walk(into))
240    du = subprocess.run(["du", "-sh", into], capture_output=True, text=True).stdout.split()
241    print("\n== %s: %d ficheros, %s" % (into, n_fich, du[0] if du else "?"))
242    sys.exit(1 if (fallidos or (faltan and not permitir_faltantes)) else 0)
243
244
245FLAGS_CON_VALOR = {"--into", "--store", "--link"}
246
247# Lo que un artefacto PUEDE poner en la raíz. Todo lo demás es una fase `install` que se equivocó de
248# destino, y en un rootfs fundido eso se lee como si fuera parte del sistema.
249FHS_RAIZ = {"bin", "sbin", "lib", "lib64", "usr", "etc", "var", "run", "opt", "srv",
250            "home", "root", "boot", "dev", "proc", "sys", "tmp", "mnt", "media",
251            "ente",      # el manifiesto de atestación del producto (hammer bootstrap)
252            "linuxrc",   # el enlace de busybox, que va en la raíz por contrato del kernel
253            ".hammer"}   # metadatos del store: los pone hammer al sellar, no la receta
254
255if __name__ == "__main__":
256    main()