sergio/takana

1#!/usr/bin/env python3
2# seed-gnome.py — siembra el SUBTREE transitivo de GNOME desde metadata de nixpkgs (NO construye con
3# nix, ADR 0004: sólo lee deps). Corre `sembrar_cierre` de seed-graph sobre las raíces de una sesión
4# GNOME y clasifica el cierre:
5#   conocida  → ya hay receta en el corpus (cache-hit potencial)
6#   frontera  → nixpkgs lo pide y hammer NO tiene receta → HAY QUE AUTORAR (esto es el trabajo real)
7#   nix-ismo/lab → ruido de nixpkgs o lo provee el sandbox (se descarta)
8#
9# Cada `frontera` es una HIPÓTESIS a clasificar/autorar por un humano (o un subagente-por-receta), NO
10# se promueve a receta automáticamente. Salida durable a docs/state/seed-gnome.json.
11import json, sys, pathlib, importlib.util
12# el guion en `seed-graph.py` impide `import seed_graph`: lo cargo por ruta.
13_spec = importlib.util.spec_from_file_location(
14    "seed_graph", str(pathlib.Path(__file__).parent / "seed-graph.py"))
15sg = importlib.util.module_from_spec(_spec); _spec.loader.exec_module(sg)
16
17ROOT = pathlib.Path(__file__).resolve().parent.parent
18OUT = ROOT / "docs/state/seed-gnome.json"
19
20# Raíces de una sesión GNOME usable: el compositor (mutter), el shell y su runtime JS (gjs), la
21# sesión y sus daemons, el display manager, el portal, y las apps mínimas (files, terminal, ajustes).
22# El cierre transitivo trae el resto (mozjs bajo gjs, gcr/libsecret bajo el keyring, etc.).
23RAICES = [
24    "mutter", "gnome-shell", "gjs", "gnome-session", "gnome-settings-daemon",
25    "gsettings-desktop-schemas", "gnome-desktop", "gnome-menus", "gnome-keyring",
26    "gdm", "xdg-desktop-portal", "xdg-desktop-portal-gnome", "libadwaita",
27    "nautilus", "gnome-console", "gnome-control-center", "gnome-text-editor",
28]
29
30MINIMA = [  # lo que una sesión GNOME necesita para BOOTEAR a un shell usable (sin apps)
31    "mutter", "gnome-shell", "gjs", "gnome-session", "gnome-settings-daemon",
32    "gsettings-desktop-schemas", "gnome-desktop", "gdm", "xdg-desktop-portal-gnome",
33]
34
35def main():
36    recs = sg.recetas()
37    raices = MINIMA if (len(sys.argv) > 1 and sys.argv[1] == "--minima") else RAICES
38    print(f"== raíces GNOME: {len(raices)}", file=sys.stderr)
39    grafo = sg.sembrar_cierre(raices, recs, prof_max=6, tope=4000)
40    out_path = ROOT / ("docs/state/seed-gnome-minima.json" if raices is MINIMA else "docs/state/seed-gnome.json")
41    # clasificar TODO el cierre
42    clases = {"conocida": [], "frontera": [], "nix-ismo": [], "lab": [], "sin-attr": []}
43    for n, aristas in grafo.items():
44        if aristas is None:
45            clases["sin-attr"].append(n); continue
46    # nodos del cierre = todo lo referido como dep, clasificado por su presencia
47    todos_deps = {}
48    for n, aristas in grafo.items():
49        for a in (aristas or []):
50            d = a["dep"]
51            # el nodo se clasifica por su MEJOR evidencia (conocida > frontera)
52            prev = todos_deps.get(d)
53            rank = {"conocida": 3, "lab": 2, "nix-ismo": 1, "frontera": 0}
54            if prev is None or rank[a["clase"]] > rank[prev["clase"]]:
55                todos_deps[d] = a
56    conocidas = sorted(d for d, a in todos_deps.items() if a["clase"] == "conocida")
57    frontera  = sorted(d for d, a in todos_deps.items() if a["clase"] == "frontera")
58    nixismos  = sorted(d for d, a in todos_deps.items() if a["clase"] == "nix-ismo")
59    lab       = sorted(d for d, a in todos_deps.items() if a["clase"] == "lab")
60    sin_attr  = sorted(clases["sin-attr"])
61
62    # ¿cuántas veces piden cada frontera? (prioridad de autoría)
63    demanda = {}
64    for n, aristas in grafo.items():
65        for a in (aristas or []):
66            if a["clase"] == "frontera":
67                demanda.setdefault(a["dep"], []).append(n)
68
69    print(f"\n== SUBTREE GNOME (cierre transitivo, {len(grafo)} nodos visitados)")
70    print(f"   ya tenemos receta (conocida): {len(conocidas)}")
71    print(f"   FRONTERA a autorar:           {len(frontera)}")
72    print(f"   nix-ismos (ruido):            {len(nixismos)}")
73    print(f"   provisto por el lab:          {len(lab)}")
74    print(f"   sin attr en nixpkgs:          {len(sin_attr)}"
75          + (f" ({' '.join(sin_attr[:8])}…)" if sin_attr else ""))
76    print(f"\n== frontera por demanda (cuántas recetas la piden) — top 40:")
77    for dep, quienes in sorted(demanda.items(), key=lambda kv: (-len(kv[1]), kv[0]))[:40]:
78        print(f"   {len(quienes):3}×  {dep:30} ← {' '.join(sorted(set(quienes))[:4])}"
79              + (" …" if len(set(quienes)) > 4 else ""))
80
81    doc = dict(
82        schema="hammer-seed-gnome/1",
83        fuente="nixpkgs metadata (NO se construye con nix — ADR 0004)",
84        advertencia="HIPÓTESIS. Cada frontera es dep-opcional / nix-ismo / hueco real. Autorar a mano.",
85        raices=raices,
86        resumen=dict(visitados=len(grafo), conocida=len(conocidas), frontera=len(frontera),
87                     nix_ismo=len(nixismos), lab=len(lab), sin_attr=len(sin_attr)),
88        conocida=conocidas, frontera=frontera, nix_ismo=nixismos, lab=lab, sin_attr=sin_attr,
89        demanda={d: sorted(set(q)) for d, q in sorted(demanda.items(), key=lambda kv:(-len(kv[1]),kv[0]))},
90    )
91    out_path.write_text(json.dumps(doc, indent=1, ensure_ascii=False) + "\n")
92    print(f"\n   → {out_path.relative_to(ROOT)}")
93    return 0
94
95if __name__ == "__main__":
96    sys.exit(main())