sergio/takana

1#!/usr/bin/env python3
2"""censo-distro.py — qué le falta a la distro para que una persona la use.
3
4── POR QUÉ EXISTE, Y QUÉ PREGUNTA CONTESTA QUE LAS OTRAS NO ────────────────────────────────────
5El repo ya mide tres cosas y ninguna es ésta:
6
7  · `build-state*.json`    ¿lo DECLARADO está construido?        (hoy: 1158/1158, deuda 0)
8  · `frontera-triaje.toml` ¿la clausura de build tiene huecos?   (cerrada, 362/365 decididos)
9  · `cierres.json`         ¿cada perfil cierra?                  (hoy: 10 de 10)
10
11Las tres contestan **«¿está completo lo que ya nombramos?»**. Ninguna contesta **«¿alcanza para
12usarla?»**, y por eso el tablero podía estar entero en verde mientras la distro no sabía mostrar un
13carácter chino. Lo dijo el operador el 2026-10-16: *«no hay qué granjear desde lo que tenemos. pero
14lo que no tenemos, faltan montón de cosas»*. Tenía razón y no existía el número.
15
16⚠ **LA LISTA DE ABAJO ES JUICIO, NO MEDIDA**, igual que la columna `destino` de
17`busybox-applets.tsv` — y conviene que esté dicho en la primera línea del fichero. Lo que SÍ se mide
18es cada renglón: si hay receta (en el catálogo, en una cola o en `tandas/`) y si viaja en alguna
19imagen. Agregar o quitar un renglón es una decisión de producto; el guion sólo dice en qué estado
20está lo que alguien ya decidió que importa.
21
22⚠ **EL PARENTESCO DE NOMBRE ES UNA PISTA, NO UN VEREDICTO — y esto se corrigió DOS VECES.**
23
24La v1 cantaba huecos falsos: «falta `clang`» con `clang18` en el catálogo, «falta `rustc`» con
25`rust`, «falta `neomutt`» con `mutt`. Se arregló buscando un pariente de nombre y sacando esos
26renglones del recuento… y eso fue **peor**, porque entonces el censo escondía huecos REALES:
27`neovim` salía como «revisar → vim» (y neovim falta de verdad: existe `bob-nvim`, su gestor de
28versiones, sin neovim), `swaync` → `sway`, `patchelf` → `patch`, `man-pages` → `mandoc` (que es el
29LECTOR, no el contenido).
30
31⇒ **Un pariente ANOTA, no absuelve.** Un candidato sin receta cuenta como `falta`, siempre; si hay
32un nombre parecido se añade como `pista` para que nadie repita la búsqueda. Las dos formas de
33mentir tienen el mismo antídoto: que la pista viaje al lado del hueco en vez de reemplazarlo.
34
35Uso:  censo-distro.py [--json docs/state/distro-huecos.json]
36"""
37import argparse
38import glob
39import importlib.util
40import json
41import os
42import sys
43
44RAIZ = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
45sys.path.insert(0, os.path.join(RAIZ, 'scripts'))
46
47# Cada entrada: categoría → (por_qué_importa, [nombres candidatos]).
48# El «por qué» no es adorno: un renglón sin motivo se discute para siempre.
49CHECKLIST = {
50    # ── LO QUE DEJA A GENTE AFUERA ──────────────────────────────────────────────────────────────
51    'escritura del mundo': (
52        'las únicas fuentes del corpus son dejavu y su nerd: sin estas, la distro muestra '
53        'cuadraditos en chino, japonés, coreano, árabe, hindi, tailandés y emoji',
54        ['noto-fonts-cjk', 'noto-fonts-emoji', 'noto-fonts', 'noto-fonts-extra']),
55    'escribir en esos idiomas': (
56        'una fuente deja LEER; para ESCRIBIR hace falta un método de entrada. ✅ El marco `fcitx5` '
57        'y el motor COREANO entraron el 2026-10-20 (con `libhangul`, que viaja por su diccionario '
58        'hanja: la ruta está horneada en la .a). Faltan los otros idiomas. '
59        '⚠ Los renglones se nombran como los PAQUETES de fcitx5, no como las bibliotecas motor: mi '
60        'primera versión pedía `anthy`, `libpinyin` y `hangul`, y con `fcitx5-hangul` ya sellado el '
61        'censo seguía contando «hangul» como hueco — un hueco falso por nombrar la pieza de abajo '
62        'en vez de la que se declara',
63        ['fcitx5', 'ibus', 'fcitx5-hangul', 'fcitx5-anthy', 'fcitx5-chinese-addons',
64         'fcitx5-rime']),
65    'accesibilidad': (
66        'sin lector de pantalla ni voz la distro es inusable para quien no ve',
67        ['orca', 'speech-dispatcher', 'espeak-ng', 'brltty']),
68
69    # ── LO QUE ALGUIEN BUSCA EL PRIMER DÍA ──────────────────────────────────────────────────────
70    'terminales populares': (
71        '`foot` está y alcanza; pero quien llega de otra distro busca el suyo por nombre, y el '
72        'doc 20 §II.2 ya los listaba como «barato». kitty: 13 de sus 14 deps ya están en el '
73        'catálogo (falta librsync, opcional)',
74        ['kitty', 'alacritty', 'wezterm', 'ghostty', 'xterm']),
75    'editores': (
76        '`vim` y `helix` están. ⚠ Existe `bob-nvim` —el GESTOR DE VERSIONES de neovim— y no '
77        'existe neovim: el conductor sin el motor, como `crun` sin podman',
78        ['neovim', 'emacs', 'micro', 'kakoune', 'nano']),
79    'shells': ('bash, zsh y nushell están', ['fish', 'elvish']),
80    'lanzador, notificaciones y bloqueo': (
81        'el esqueleto de un escritorio Wayland que no sea GNOME/KDE: sin lanzador no se abre nada',
82        ['rofi', 'wofi', 'fuzzel', 'bemenu', 'tofi', 'mako', 'dunst', 'swaync', 'swaylock',
83         'gtklock', 'waylock']),
84    'audio de escritorio': (
85        'PipeWire suena y no hay con qué subirle el volumen desde una ventana',
86        ['pavucontrol', 'pamixer', 'playerctl', 'easyeffects', 'wiremix']),
87    'capturas y portapapeles': ('grim, slurp, wl-clipboard y cliphist ya están',
88                                ['satty', 'swappy', 'flameshot', 'wtype', 'kanshi']),
89    # ✅ CERRADO el 2026-10-20 con `swayimg`, y la fila cambia de forma a propósito: decía «5 de 5
90    # ausente» listando los cinco visores famosos, y **ninguno de los cinco puede funcionar acá**.
91    # Dejar esa fila en rojo invitaba a una campaña imposible; lo honesto es que el candidato que SÍ
92    # sirve esté en la lista y que los muros de los otros queden escritos (ver `MUROS`).
93    'visores de imagen': ('swayimg está: png/jpeg/webp/tiff/gif + rotación EXIF, y modo DRM para '
94                          'consola. Los cinco de abajo están TAPADOS, ver MUROS',
95                          ['swayimg', 'imv', 'nsxiv', 'feh', 'loupe', 'eog']),
96
97    # ── CAPACIDADES ENTERAS SIN NINGÚN CAMINO ───────────────────────────────────────────────────
98    'archivos comprimidos ajenos': (
99        '⚠ EL ARGUMENTO DE ESTA FILA ERA FALSO Y LO MEDÍ DESPUÉS: decía «no se puede abrir un .zip» '
100        'porque `libzip` es una biblioteca y no el comando. Cierto para libzip — y falso como '
101        'conclusión: `libarchive` estaba SELLADO y trae `bsdunzip`/`bsdtar`, verificados con un zip '
102        'real en lectura Y escritura. Se declaró en `cli` el 2026-10-19. Lo que falta son los ALIAS '
103        '(`unzip`, `zip`) para que un script ajeno que los invoque no falle, y 7z/rar sin medir',
104        ['unzip', 'zip', 'p7zip', '7zip', 'unrar']),
105    'imprimir de verdad': ('cups solo no imprime: los filtros y los drivers son otro paquete',
106                           ['cups', 'cups-filters', 'ghostscript', 'gutenprint', 'hplip']),
107    'escanear': ('ningún camino hoy', ['sane-backends', 'simple-scan']),
108    'documentos técnicos': ('nada que componga un PDF desde texto marcado',
109                            ['texlive', 'pandoc', 'typst', 'groff']),
110    'páginas de manual': ('`mandoc` LEE man; falta el CONTENIDO y el formateador de info',
111                          ['man-pages', 'texinfo']),
112    'virtualización': ('ni invitado ni anfitrión: no se puede probar la propia ISO sin salir',
113                       ['qemu', 'libvirt', 'virt-manager']),
114    'contenedores': ('`crun` está (el motor); falta quien lo conduzca',
115                     ['podman', 'docker', 'buildah', 'flatpak', 'distrobox']),
116    'java': ('un ecosistema entero queda fuera sin una JVM', ['openjdk', 'jdk', 'temurin']),
117    'bases de datos de servidor': ('sqlite está; un servicio con varios clientes no',
118                                   ['postgresql', 'mariadb', 'redis', 'valkey']),
119    'depurar y medir': ('se construye la distro entera y no hay con qué mirar un core',
120                        ['gdb', 'lldb', 'valgrind', 'ltrace', 'perf', 'patchelf']),
121    'discos y salud del equipo': ('nada que avise de un disco muriéndose',
122                                  ['smartmontools', 'nvme-cli', 'hdparm', 'gparted']),
123
124    # ── LENGUAJES Y HERRAMIENTAS DE CONSTRUCCIÓN ────────────────────────────────────────────────
125    'otros lenguajes': (
126        'python3, lua, go, rust y perl están. ⚠ `zig` NO es receta: vive como artefacto '
127        '`seed-zig` fuera del catálogo, y es el compilador de TODO el corpus',
128        ['nodejs', 'deno', 'bun', 'ruby', 'php', 'julia', 'ghc', 'ocaml', 'elixir', 'erlang']),
129    'empaquetadores de python': ('pip no viaja y no hay forma de instalar una herramienta python',
130                                 ['pipx', 'uv', 'poetry']),
131    'construcción C clásica': (
132        '⚠ ESTA FILA ES LA MÁS DUDOSA DEL CHECKLIST y conviene que lo diga: cmake, meson, make y '
133        'samurai existen y NO viajan en ninguna imagen — probablemente a propósito, porque una '
134        'imagen de producto no se construye a sí misma. La receta de `nodejs` ya tomó esa decisión '
135        'por escrito para su caso («acá Node es un compilador más, no software que la distro '
136        'publique»). ⇒ lo que falta acá puede no ser un hueco sino un PERFIL de desarrollo que no '
137        'existe. Se deja medido y sin declarar. `ninja` además lo instala `samurai` con ese nombre '
138        'exacto (1.9.0, medido). Y `gcc` está RETENIDO a propósito (sólo `gcc-libs`), `clang` es '
139        '`clang18`: eso no es hueco, es decisión',
140        ['autoconf', 'automake', 'ninja']),
141
142    # ── RED, SEGURIDAD, DATOS ───────────────────────────────────────────────────────────────────
143    'vpn y red gestionada': ('networkmanager, wireguard-tools y wpa_supplicant están',
144                             ['openvpn', 'iwd', 'nmtui', 'impala', 'mosh', 'sshfs']),
145    'bluetooth usable': ('`bluez` viaja; falta con qué emparejar un auricular',
146                         ['blueman', 'bluetuith']),
147    'contraseñas': ('nada: la gente guarda sus claves en un .txt o no usa la distro',
148                    ['keepassxc', 'pass', 'gopass']),
149    'respaldos': ('restic y rclone están', ['borgbackup', 'rsnapshot']),
150    'descargas y torrent': ('curl y wget están', ['aria2', 'transmission', 'qbittorrent']),
151
152    # ── APLICACIONES DE ESCRITORIO ──────────────────────────────────────────────────────────────
153    'navegadores': ('firefox y atuq están; el motor Blink no tiene ningún camino',
154                    ['chromium', 'qutebrowser', 'librewolf', 'brave']),
155    'mensajería': ('ningún cliente de chat: ni XMPP, ni Matrix, ni los propietarios',
156                   ['dino', 'gajim', 'element-desktop', 'telegram-desktop', 'signal-desktop']),
157    'música': ('mpv y cmus están para reproducir un fichero; falta biblioteca y daemon',
158               ['mpd', 'ncmpcpp', 'rhythmbox', 'audacious']),
159    'video': ('mpv está', ['vlc', 'celluloid', 'totem']),
160    'imagen y diseño': (
161        '⚠ la suite ArtCraft propia cubre esto con 12 apps (photocraft, vectorcraft, …): estos '
162        'renglones son los nombres AJENOS que alguien busca, no un hueco de capacidad',
163        ['gimp', 'inkscape', 'krita', 'darktable']),
164    'gestores de archivos': ('yazi, nnn, lf, broot y dolphin/nautilus están',
165                             ['thunar', 'ranger']),
166    'lectores de PDF': ('zathura y okular están', ['mupdf', 'sioyek', 'evince']),
167    'notas': ('ninguno', ['obsidian', 'logseq', 'joplin', 'zettlr']),
168
169    # ── DECISIONES ABIERTAS, NO OLVIDOS ─────────────────────────────────────────────────────────
170    'otros compositores Wayland': (
171        'hay cinco escritorios (mirada, sway, cosmic, gnome, kde); éstos son los que la gente '
172        'nombra y no están. Decisión de alcance, no olvido',
173        ['hyprland', 'river', 'niri', 'labwc', 'wayfire']),
174    'juegos': ('decisión abierta: arrastra Vulkan, que la distro hoy no publica',
175               ['wine', 'steam', 'gamescope', 'lutris', 'mangohud']),
176    'infra ajena': ('decisión abierta: son herramientas de operar OTRA cosa',
177                    ['kubectl', 'helm', 'terraform', 'ansible']),
178}
179
180
181# ── CAPACIDAD YA CUBIERTA CON OTRO NOMBRE ──────────────────────────────────────────────────────
182# Lo simétrico de `MUROS`: el renglón falta POR NOMBRE y la capacidad SÍ está, medida. No absuelve
183# el hueco —un script que invoque `unzip` sigue fallando, y el censo hace bien en contarlo— pero
184# cambia el presupuesto de «no hay camino» a «faltan los alias», que es otra cosa y mucho más
185# barata. Sólo entra lo verificado ejecutando, no lo que upstream promete.
186CUBIERTOS = {
187    'unzip': ('libarchive', 'bsdunzip -o x.zip extrae y conserva el árbol — probado con un zip '
188                            'deflate con subdirectorio el 2026-10-19'),
189    'zip':   ('libarchive', 'bsdtar -a -cf x.zip … crea un zip que python zipfile lee y verifica '
190                            '— probado el 2026-10-19'),
191}
192
193# ── POR QUÉ ESTÁ CADA HUECO: receta ausente ≠ capacidad ausente ─────────────────────────────────
194# «Falta la receta» y «la distro no publica eso» son dos cosas con presupuestos distintos, y el
195# censo mentía por omisión al contarlas juntas. Sólo entran acá los muros MEDIDOS, con el dato que
196# los prueba; lo demás se queda sin anotar, que es más honesto que adivinar.
197MUROS = {
198    # ── lectores de PDF: la capacidad ESTÁ (zathura en 3 escritorios, okular en KDE) ─────────────
199    'mupdf': ('sin-visor-wayland',
200              'medido en su Makefile: sus únicos visores son mupdf-gl (GLUT/OpenGL) y '
201              'mupdf-x11/-curl. No hay visor Wayland, y este corpus no publica GL de escritorio. '
202              'Su CLI `mutool` SÍ funcionaría: lo que falta no es leer un PDF, es mostrarlo con mupdf'),
203    'evince': ('introspeccion-gnome',
204               'GNOME + introspección, igual que loupe y eog; librsvg sólo vive en incoming-gnome'),
205    # ── visores de imagen: los cinco famosos están tapados, y por DOS razones distintas ──────────
206    # Medido el 2026-10-20 al cerrar la fila con `swayimg`. Esto está acá para que nadie vuelva a
207    # intentar el «obvio»: el muro no es que falten deps, es la arquitectura de esta distro.
208    'imv': ('sin-opengl-de-escritorio',
209            'sus dependency() piden egl, gl, opengl, glu y wayland-egl, y este corpus no publica '
210            'libGL.so ni gl.pc (comprobado en el store). Mismo muro que kitty'),
211    'nsxiv': ('wayland-only',
212              'fork de sxiv, Xlib puro. La distro es Wayland-only (ver frente-gnome: X11 al tacho)'),
213    'feh': ('wayland-only', 'Xlib puro, igual que nsxiv'),
214    'loupe': ('introspeccion-gnome',
215              'GTK4 + librsvg + introspección; librsvg sólo existe en incoming-gnome y promover esa '
216              'raíz cuesta 35 recetas (medido promoviendo y revirtiendo)'),
217    'eog': ('introspeccion-gnome', 'igual que loupe, y además es la generación anterior de GNOME'),
218
219    # ✅ `fcitx5` ESTUVO ACÁ Y SE FUE: el muro se derribó el 2026-10-19/20. Decía
220    # `corpus-estatico-sin-pic` con 7365 errores de PIC medidos, y era cierto — hasta que el
221    # operador decidió publicar `libpng`/`freetype`/`fontconfig` con `--with-pic` (40 recetas de
222    # cascada, las 5 imágenes de escritorio). Con eso **fcitx5 SELLA**: daemon + 17 addons, mismo
223    # hash en el hub y en el worker. Se quita de `MUROS` en el mismo movimiento, porque un muro
224    # derribado que sigue anotado es exactamente la clase de pendiente inventado que este fichero
225    # existe para no producir — y hoy ya me pasó con el `.conf` de los emoji.
226    # ⇒ fcitx5 pasa a `tiene-sin-viajar`, que es la verdad: construido y en ningún perfil, porque
227    # el marco sin un motor de idioma daría una barra de IME que no convierte nada.
228    'kitty': ('sin-opengl-de-escritorio',
229              "setup.py:804 hace pkg_config('gl', '--libs') y data-types.h:25 exige OpenGL >= 3.x "
230              "core. Medido en el store: NADIE publica `gl.pc` ni `libGL.so` — mesa da egl.pc, "
231              "glesv2.pc, gbm.pc y dri.pc; libglvnd da opengl.pc con libOpenGL.so/libGLdispatch.so "
232              "y sólo viaja en escritorio-kde. Compilar no basta: gl.c:68 aborta en runtime con "
233              "«OpenGL version is X.Y, version >= 3.3 required for kitty». Mismo muro que OBS."),
234}
235
236
237# ── ¿LO INSTALA YA ALGÚN ARTEFACTO VIGENTE, CON ESE MISMO NOMBRE? ──────────────────────────────
238# Automatiza el hallazgo que destapó `libarchive`: un renglón puede faltar como RECETA y existir
239# como BINARIO dentro de otro paquete. Se mide contra los `bin`/`sbin`/`usr/bin`/`usr/sbin` de los
240# artefactos sellados, igual que `busybox-censo-proveedores.py`.
241#
242# ⚠ SÓLO ARTEFACTOS VIGENTES, y es un defecto medido de mi primera versión (2026-10-19): barriendo
243# `/store/*` entero, `unzip` y `hdparm` salían «ya los instala busybox» — y era el busybox
244# SUPERADO (`2a2b1280…`). El vigente (`4bd934f6…`) ya no los trae, porque la campaña de botar
245# busybox los recortó. **Un artefacto superado no dice nada de lo que hay en una imagen**, y
246# contarlo convierte el instrumento que caza huecos falsos en una fábrica de huecos falsos.
247# Es la misma lección que los «sellados rancios» del static-audit.
248#
249# ⚠ Y los rootfs ENSAMBLADOS se excluyen por nombre: traen el busybox del piso adentro, así que
250# todo applet se «proveería» a sí mismo. Mismo criterio que el censo de applets.
251ROOTFS = ('product-rootfs', 'product-attested-rootfs', 'stage1-rootfs')
252DIRS_BIN = ('bin', 'sbin', 'usr/bin', 'usr/sbin')
253
254
255def _cargar(nombre, ruta):
256    """Se importa por RUTA porque los ficheros llevan guion y no son módulos importables."""
257    spec = importlib.util.spec_from_file_location(nombre, ruta)
258    mod = importlib.util.module_from_spec(spec)
259    spec.loader.exec_module(mod)
260    return mod
261
262
263def indice_de_binarios(cp):
264    """{nombre de binario: {recetas VIGENTES que lo instalan}}."""
265    hashes, _ = cp.mapa_hashes()
266    vigentes = {}
267    for (cola, nombre), (h, estado) in hashes.items():
268        if not h or estado != 'sealed' or nombre in ROOTFS:
269            continue
270        vigentes.setdefault(nombre, (h or '').replace('b3:', ''))
271    idx = {}
272    for nombre, h in vigentes.items():
273        base = os.path.join('/store', '%s-%s' % (h, nombre))
274        for sub in DIRS_BIN:
275            d = os.path.join(base, sub)
276            if not os.path.isdir(d):
277                continue
278            try:
279                entradas = os.listdir(d)
280            except OSError:
281                continue
282            for e in entradas:
283                idx.setdefault(e, set()).add(nombre)
284    return idx
285
286
287def nombres_conocidos():
288    """Toda receta alcanzable: catálogo, colas `incoming-*` y `tandas/`."""
289    n = set()
290    for f in glob.glob(os.path.join(RAIZ, 'recipes/*.toml')):
291        n.add(os.path.basename(f)[:-5])
292    for f in glob.glob(os.path.join(RAIZ, 'recipes/incoming-*/*.toml')):
293        n.add(os.path.basename(f)[:-5])
294    for f in glob.glob(os.path.join(RAIZ, 'tandas/**/*.toml'), recursive=True):
295        n.add(os.path.basename(f)[:-5])
296    return n
297
298
299def clasificar(cand, conocidos, en_imagen):
300    """`tiene-y-viaja` · `tiene-sin-viajar` · `falta` (+ pistas de nombre parecido, que NO absuelven)."""
301    if cand in conocidos:
302        return ('tiene-y-viaja' if cand in en_imagen else 'tiene-sin-viajar'), []
303    raiz = cand.split('-')[0]
304    # Un pariente es: una receta cuyo nombre EMPIEZA por la raíz del candidato (`cups` → `cups`,
305    # `steam` → `steampipe`), o una receta que es PREFIJO o SUFIJO del candidato (`mutt` dentro de
306    # `neomutt`). Y no «contenida en cualquier posición», que es lo que hacía la primera versión:
307    # con eso `age` salía pariente de `virt-manager` y `patch` de `speech-dispatcher`. Un pariente
308    # falso no es inocuo —manda a revisar algo que no hay que revisar— aunque sea menos grave que
309    # un hueco falso. Raíz de 3+ caracteres: con 2 todo se parece a todo.
310    cerca = sorted(x for x in conocidos
311                   if (len(raiz) >= 3 and x.startswith(raiz))
312                   or (len(x) >= 3 and (cand.startswith(x) or cand.endswith(x))))
313    return 'falta', cerca[:4]
314
315
316def main():
317    ap = argparse.ArgumentParser()
318    ap.add_argument('--json')
319    a = ap.parse_args()
320
321    import yupana
322    cp = _cargar('cierre_perfiles', os.path.join(RAIZ, 'scripts', 'cierre-perfiles.py'))
323    conocidos = nombres_conocidos()
324    en_imagen = {n for (c, n) in yupana.membresia_imagen() if c != 'wanted'}
325    try:
326        binarios = indice_de_binarios(cp)
327    except Exception as e:          # sin store legible el censo sigue sirviendo; se dice y se sigue
328        print('   (no pude indexar los binarios del store: %s)' % e)
329        binarios = {}
330
331    filas, resumen = [], {'tiene-y-viaja': 0, 'tiene-sin-viajar': 0, 'falta': 0}
332    for cat, (porque, cands) in CHECKLIST.items():
333        items = []
334        for c in cands:
335            estado, cerca = clasificar(c, conocidos, en_imagen)
336            resumen[estado] += 1
337            items.append({'nombre': c, 'estado': estado, 'parientes': cerca})
338        filas.append({'categoria': cat, 'porque': porque, 'items': items,
339                      'faltan': [i['nombre'] for i in items if i['estado'] == 'falta']})
340        for i in items:
341            if i['estado'] == 'falta' and i['parientes']:
342                i['pista'] = 'nombre parecido en el catálogo (verificar, NO es equivalencia)'
343            if i['nombre'] in MUROS:
344                i['muro'], i['muro_porque'] = MUROS[i['nombre']]
345            if i['nombre'] in CUBIERTOS:
346                i['cubierto_por'], i['cubierto_porque'] = CUBIERTOS[i['nombre']]
347            elif i['estado'] == 'falta' and i['nombre'] in binarios:
348                quien = sorted(binarios[i['nombre']])
349                i['cubierto_por'] = ', '.join(quien)
350                i['cubierto_porque'] = ('MEDIDO: un artefacto vigente instala un binario con ese '
351                                        'nombre exacto. Falta la receta propia, no la capacidad')
352
353    print('== qué le falta a la distro para usarse (checklist de JUICIO, estado MEDIDO) ==')
354    print('   recetas alcanzables: %d · de ellas en alguna imagen: %d'
355          % (len(conocidos), len(en_imagen)))
356    for f in sorted(filas, key=lambda x: -len(x['faltan'])):
357        marca = '✗' if f['faltan'] else '·'
358        print('   %s %-28s %d/%d falta%s' % (marca, f['categoria'], len(f['faltan']),
359                                             len(f['items']),
360                                             ': ' + ', '.join(f['faltan']) if f['faltan'] else 'n'))
361        # ⚠ **EL `porque` SE IMPRIME, Y ESTE ARREGLO SALIÓ DE CAER EN LA TRAMPA.**
362        # Cada fila guarda desde siempre un campo que dice qué hay YA cubierto o por qué importa
363        # —`'lectores de PDF': ('zathura y okular están', [...])`— y **no se mostraba nunca**. La
364        # salida decía `✗ lectores de PDF 3/3 falta: mupdf, sioyek, evince`, que se lee como «no hay
365        # lector de PDF»… y el 2026-10-20 me puse a buscar candidatos para construir uno, hasta que
366        # al mirar el fichero vi que zathura ya estaba sellada y viajando en tres escritorios.
367        #
368        # O sea: el dato que evitaba una campaña inútil estaba en el censo y no llegaba al ojo.
369        # Una métrica que guarda el matiz y muestra sólo el número rojo invita exactamente al
370        # trabajo que debía evitar.
371        if f['faltan'] and f['porque']:
372            print('        ↳ ya cubierto / contexto: %s' % f['porque'])
373    rev = [(i['nombre'], i['parientes']) for f in filas for i in f['items']
374           if i['estado'] == 'falta' and i['parientes']]
375    if rev:
376        print('   — PISTAS: falta, pero hay un nombre parecido (verificar; NO es equivalencia):')
377        for n, p in rev:
378            print('        %-20s ~ %s' % (n, ', '.join(p)))
379    cub = [(i['nombre'], i['cubierto_por']) for f in filas for i in f['items'] if i.get('cubierto_por')]
380    if cub:
381        print('   — CAPACIDAD YA CUBIERTA con otro nombre (falta el alias, no el camino):')
382        for n, q in cub:
383            print('        %-20s lo hace %s' % (n, q))
384    con_muro = [(i['nombre'], i['muro']) for f in filas for i in f['items'] if i.get('muro')]
385    if con_muro:
386        print('   — MUROS MEDIDOS (no es que falte la receta: la distro no publica eso):')
387        for n, m in con_muro:
388            print('        %-20s %s' % (n, m))
389    print('   resumen: %s' % json.dumps(resumen, ensure_ascii=False))
390
391    if a.json:
392        with open(a.json, 'w', encoding='utf-8') as fh:
393            json.dump({'schema': 'takana-censo-distro/1',
394                       'recetas_alcanzables': len(conocidos),
395                       'en_alguna_imagen': len(en_imagen),
396                       'resumen': resumen, 'categorias': filas},
397                      fh, ensure_ascii=False, indent=1, sort_keys=True)
398            fh.write('\n')
399        print('   → %s' % a.json)
400    return 0
401
402
403if __name__ == '__main__':
404    sys.exit(main())