sergio/takana

1#!/usr/bin/env python3
2# vigia-sonames.py — ¿qué `.so` pide una imagen que NINGÚN artefacto de su cierre provee?
3#
4# ══ EL PUNTO CIEGO QUE ESTE VIGÍA CUBRE ════════════════════════════════════════════════════════
5# El grafo de estado responde «¿está sellado?». No responde «¿arranca?». Y hay una fuga que pasa
6# entera por debajo del grafo:
7#
8#   un binario `link = "dynamic"` sale con `NEEDED libffi.so.8`; la receta canónica de libffi es
9#   `--disable-shared`; ningún artefacto del cierre publica ese SONAME; y el rootfs hidratado lo
10#   resuelve contra el **sysroot Alpine DEL LAB**.
11#
12# El artefacto se sella, el perfil reporta 100%, y la imagen sólo arranca en una máquina que tenga
13# Alpine debajo. Es PEOR que una dep faltante, porque el lab no entra en `hash_inputs`: el store no
14# puede ni notarlo. Es el mismo patrón que [[artefacto-vacio-envenena-cache]] — algo que se lee como
15# presencia y no lo es.
16#
17# Se descubrió DOS VECES a mano y nunca hubo instrumento: la primera al armar la imagen de sway
18# (zlib/expat/libffi, ver el comentario del perfil `escritorio-sway` en targets.toml), y la segunda
19# el 2026-09-03 al verificar que mpv anduviera — donde resultó que KDE, GNOME y COSMIC tenían la
20# MISMA fuga desde siempre, con mesa y wayland pidiendo expat y libffi. Este script es el guardián
21# que sale de ese punto ciego: la regla del repo es que cada uno se convierte en uno.
22#
23# ══ POR QUÉ NO SE PUEDE LEER DE build-state.json ═══════════════════════════════════════════════
24# Porque el JSON colapsa los nodos POR NOMBRE y hay nombres que viven en dos colas: su campo
25# `perfiles` puede quedar vacío para una receta que sí está en la imagen (por la otra cola). La
26# membresía honesta se identifica por PAR `(cola, nombre)` y de eso sabe yupana, que resuelve
27# sibling-first igual que el sandbox. Misma lección que el bug de libdrm: QUÉ NODOS PUNTÚO es una
28# decisión de vista; QUIÉN ME CONSUME —y a qué imagen pertenezco— es un hecho.
29#
30# ══ CÓMO LEER LA SALIDA, que tiene ruido legítimo ══════════════════════════════════════════════
31# El cierre de un perfil incluye sus HERRAMIENTAS DE BUILD (python3, cmake, perl, go…), y la
32# hidratación de la imagen NO las instala: va por lista explícita. Sus NEEDED aparecen igual acá y
33# **no son un bug de la imagen**. Lo accionable es lo que pide un componente de RUNTIME — mesa,
34# wayland, el compositor, una app. Por eso se imprime siempre QUIÉN pide cada soname: sin esa
35# columna el informe no se puede triar.
36#
37#   uso:  python3 scripts/vigia-sonames.py [perfil...] [--fail]
38#         --fail  → exit 1 si algo falta (para cron/CI)
39import os, sys, glob, subprocess
40sys.path.insert(0, os.path.join(os.path.dirname(os.path.abspath(__file__))))
41import yupana
42import targets as targets_mod
43
44ROOT = yupana.ROOT
45STORE = os.environ.get("HAMMER_STORE", str(ROOT / "store"))
46HAMMER = str(ROOT / "target/release/hammer")
47
48_cache = {}
49def artefacto(cola, nombre):
50    """Directorio del artefacto de (cola,nombre) en el store, o None."""
51    if (cola, nombre) in _cache:
52        return _cache[(cola, nombre)]
53    receta = ROOT / ("recipes/%s.toml" % nombre if cola == "corpus"
54                     else "recipes/%s/%s.toml" % (cola, nombre))
55    d = None
56    if receta.exists():
57        r = subprocess.run([HAMMER, "--store", STORE, "hash", str(receta)],
58                           capture_output=True, text=True)
59        h = r.stdout.strip().replace("b3:", "")
60        if len(h) == 64:
61            cand = glob.glob(os.path.join(STORE, h + "-*"))
62            d = cand[0] if cand else None
63    _cache[(cola, nombre)] = d
64    return d
65
66def elf(path):
67    """(NEEDED[], SONAME[]) de un ELF, o None si no lo es."""
68    try:
69        out = subprocess.run(["readelf", "-d", path], capture_output=True,
70                             text=True, timeout=30).stdout
71    except Exception:
72        return None
73    if "(NEEDED)" not in out and "(SONAME)" not in out:
74        return None
75    tag = lambda t: [l.split("[")[1].split("]")[0] for l in out.splitlines() if t in l]
76    return tag("(NEEDED)"), tag("(SONAME)")
77
78def escanear(nodos):
79    provee, pide = set(), {}
80    for (cola, nombre) in sorted(nodos):
81        d = artefacto(cola, nombre)
82        if not d:
83            continue
84        for raiz, _, ficheros in os.walk(d):
85            for fn in ficheros:
86                p = os.path.join(raiz, fn)
87                if os.path.islink(p):
88                    # un symlink `libfoo.so.1 -> libfoo.so.1.2.3` TAMBIÉN provee ese nombre
89                    if ".so" in fn:
90                        provee.add(fn)
91                    continue
92                if ".so" not in fn and not raiz.endswith(("/bin", "/sbin", "/libexec")):
93                    continue
94                r = elf(p)
95                if not r:
96                    continue
97                need, son = r
98                provee.update(son)
99                if son:
100                    provee.add(fn)
101                for n in need:
102                    pide.setdefault(n, set()).add(nombre)
103    return provee, pide
104
105def main():
106    args = [a for a in sys.argv[1:] if not a.startswith("--")]
107    fallar = "--fail" in sys.argv
108    colas = yupana.cargar_colas()
109    perfiles = targets_mod.load()
110    memb = yupana.membresia(colas, perfiles)
111    quiero = args or [p for p in perfiles if p.startswith("escritorio")]
112    huecos = 0
113    for perfil in quiero:
114        nodos = {n for n, ps in memb.items() if perfil in ps and n[0] != "wanted"}
115        provee, pide = escanear(nodos)
116        # `libc.so` es el intérprete musl: lo pone el rootfs base, no una receta del cierre.
117        faltan = {s: v for s, v in pide.items() if s not in provee and s != "libc.so"}
118        print("== %-20s %3d nodos · %4d sonames provistos · %2d sin proveedor"
119              % (perfil, len(nodos), len(provee), len(faltan)))
120        for s, quienes in sorted(faltan.items()):
121            print("   FALTA %-24s ← lo piden: %s" % (s, ", ".join(sorted(quienes))))
122        huecos += len(faltan)
123    return 1 if (fallar and huecos) else 0
124
125if __name__ == "__main__":
126    sys.exit(main())