sergioandClaude Opus 4.8
ff79dc5e28
MOTIVO: 'estábamos haciendo kde'. La cola recipes/incoming-kde/ (206 recetas) era punto ciego del
grafo (sólo miraba recipes/ top-level). Modo --kde: build-state.py/build-state-view.py cubren la cola
KDE (sombreando canónicas homónimas sibling-first, como el sandbox) → build-state-kde.{json,html}.
CAUSA de la deriva (193/206 en deuda): fui YO — esta sesión re-sellé pkgconf y samurai (arreglos
static), y 194 recetas KDE declaran pkgconf, 142 samurai ⇒ re-hash en cascada de todo el árbol. El
sistema determinista funcionando: cambia un input base, cascan los dependientes. Deuda legítima.
DESBLOQUEO (el 'GUI rompe en el laptop' era sólo cairo/pango, NO la base): construida en el laptop
toda la base KDE guiado por el orden de ataque del grafo — extra-cmake-modules, util-macros,
xorgproto, xcb-proto, wayland, libdrm, dbus, icu4c, util-linux, fontconfig, pixman, glib, freetype,
harfbuzz, fribidi, libXau/libXdmcp, la cadena X11 (xtrans/libxcb/libX11/libXext/libXrender/libXfixes/
libXi), la familia xcb-util, libxkbcommon, wayland-protocols, mesa (24.0.9 iris-only, sin LLVM), y
los -shared. KDE 9→39 selladas. qtbase (↑117, la raíz) quedó DESBLOQUEADO y compilando.
DISCO: el build llenó el disco (100%). Liberados 82G borrando work/sources (57G, se re-extrae solo)
y .farm-harvest (26G, verificado 100% redundante en el store, CAS).
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
330 lines
16 KiB
Python
Executable File
330 lines
16 KiB
Python
Executable File
#!/usr/bin/env python3
|
|
# build-state-view.py — vista HUMANA del grafo de estado. Lee docs/state/build-state.json (la fuente
|
|
# firme que emite build-state.py) y emite docs/state/build-state.html: un dashboard self-contained
|
|
# (sin recursos externos) para VER y SEGUIR el avance, los huecos y los fallos.
|
|
#
|
|
# El dato clave que añade sobre el JSON crudo: para cada receta en deuda, computa quién la BLOQUEA
|
|
# —sus deps que también están en deuda— usando el grafo. Una receta en deuda con TODAS sus deps
|
|
# selladas está "lista para construir ya"; una con deps en deuda debe esperar. Ese es el uso
|
|
# accionable del orden topológico: qué atacar primero.
|
|
#
|
|
# Uso: scripts/build-state-view.py # corpus → docs/state/build-state.html
|
|
# scripts/build-state-view.py --kde # frente KDE → docs/state/build-state-kde.html
|
|
import json, html, sys
|
|
from pathlib import Path
|
|
from datetime import datetime, timezone
|
|
|
|
ROOT = Path(__file__).resolve().parent.parent
|
|
KDE = "--kde" in sys.argv
|
|
DATA = ROOT / ("docs/state/build-state-kde.json" if KDE else "docs/state/build-state.json")
|
|
OUT = ROOT / ("docs/state/build-state-kde.html" if KDE else "docs/state/build-state.html")
|
|
|
|
doc = json.loads(DATA.read_text())
|
|
nodes = doc["nodes"]
|
|
|
|
STATE_ORDER = ["sealed", "debt", "never", "unhashable"]
|
|
STATE_ES = {"sealed": "sellado al día", "debt": "deuda de rebuild",
|
|
"never": "nunca construida", "unhashable": "ilegible"}
|
|
CLASS_ES = {"c": "C", "go": "Go", "rust": "Rust", "gui": "GUI", "kernel": "kernel"}
|
|
|
|
# blocked_by / unblocks los computa build-state.py sobre el grafo; acá sólo los leemos.
|
|
def blockers(name):
|
|
return nodes[name].get("blocked_by", [])
|
|
def unblocks(name):
|
|
return nodes[name].get("unblocks", 0)
|
|
|
|
debt = {n: r for n, r in nodes.items() if r["state"] in ("debt", "never", "unhashable")}
|
|
# Orden de ATAQUE: primero las "listas" (sin bloqueadores), y entre ellas la que DESBLOQUEA más
|
|
# arriba; luego las bloqueadas por menos, luego alfabético. Es el orden que libera el grafo más rápido.
|
|
def debt_key(n):
|
|
b = blockers(n)
|
|
return (len(b), -unblocks(n), nodes[n]["cls"], n)
|
|
debt_sorted = sorted(debt, key=debt_key)
|
|
ready = [n for n in debt_sorted if not blockers(n)]
|
|
|
|
totals = doc["totals"]
|
|
n_total = totals["recipes"]
|
|
|
|
# Reparto por clase (para las barras por-clase).
|
|
classes = {}
|
|
for n, r in nodes.items():
|
|
c = r.get("cls", "c")
|
|
classes.setdefault(c, {s: 0 for s in STATE_ORDER})
|
|
classes[c][r["state"]] += 1
|
|
|
|
def pct(x): return f"{100*x/n_total:.1f}%"
|
|
|
|
E = html.escape
|
|
|
|
def chip(dep):
|
|
st = nodes[dep]["state"] if dep in nodes else "unhashable"
|
|
return f'<span class="chip s-{st}" title="{E(STATE_ES.get(st, st))}">{E(dep)}</span>'
|
|
|
|
# ---- barra de progreso apilada (sealed|debt|never|unhashable) ----
|
|
seg = ""
|
|
for s in STATE_ORDER:
|
|
v = totals.get(s, 0)
|
|
if v:
|
|
seg += f'<span class="seg s-{s}" style="width:{100*v/n_total}%" title="{E(STATE_ES[s])}: {v}"></span>'
|
|
|
|
# ---- tiles de estado ----
|
|
tiles = ""
|
|
for s in STATE_ORDER:
|
|
v = totals.get(s, 0)
|
|
tiles += f'''<div class="tile s-{s}">
|
|
<div class="tile-n">{v}</div>
|
|
<div class="tile-l">{E(STATE_ES[s])}</div>
|
|
<div class="tile-p">{pct(v)}</div>
|
|
</div>'''
|
|
|
|
# ---- grid por clase ----
|
|
cls_cards = ""
|
|
for c in sorted(classes, key=lambda c: -sum(classes[c].values())):
|
|
cc = classes[c]; tot = sum(cc.values())
|
|
bar = ""
|
|
for s in STATE_ORDER:
|
|
if cc[s]:
|
|
bar += f'<span class="seg s-{s}" style="width:{100*cc[s]/tot}%"></span>'
|
|
deuda = cc["debt"] + cc["never"] + cc["unhashable"]
|
|
cls_cards += f'''<div class="cls">
|
|
<div class="cls-head"><span class="cls-name">{E(CLASS_ES.get(c, c))}</span>
|
|
<span class="cls-tot">{tot}</span></div>
|
|
<div class="bar">{bar}</div>
|
|
<div class="cls-foot"><span class="ok">{cc['sealed']} al día</span>
|
|
<span class="{'warn' if deuda else 'muted'}">{deuda} en deuda</span></div>
|
|
</div>'''
|
|
|
|
# ---- filas de deuda (agrupadas visualmente por "listas" vs "bloqueadas") ----
|
|
def debt_row(n):
|
|
r = nodes[n]; b = blockers(n); u = unblocks(n)
|
|
deps = r.get("deps", [])
|
|
chips = "".join(chip(d) for d in deps) if deps else '<span class="chip empty">sin deps de build</span>'
|
|
if not b:
|
|
impact = f' <span class="impact" title="desbloquea {u} recetas en deuda">↑{u}</span>' if u else ""
|
|
badge = f'<span class="ready">lista</span>{impact}'
|
|
else:
|
|
badge = f'<span class="blocked">espera {len(b)}</span>'
|
|
ver = f'<span class="ver">{E(str(r.get("version") or ""))}</span>' if r.get("version") else ""
|
|
return f'''<tr class="drow" data-cls="{r['cls']}" data-ready="{'1' if not b else '0'}" data-name="{E(n)}" data-unblocks="{u}">
|
|
<td class="c-name"><span class="s-dot s-{r['state']}"></span>{E(n)} {ver}</td>
|
|
<td class="c-cls"><span class="tag t-{r['cls']}">{E(CLASS_ES.get(r['cls'], r['cls']))}</span></td>
|
|
<td class="c-badge">{badge}</td>
|
|
<td class="c-deps">{chips}</td>
|
|
</tr>'''
|
|
|
|
rows = "".join(debt_row(n) for n in debt_sorted)
|
|
gen_time = datetime.now(timezone.utc).strftime("%Y-%m-%d %H:%M UTC")
|
|
topo = "cierra sin ciclos" if doc.get("topo_ok") else "⚠ CICLO detectado"
|
|
orphan_note = ("grafo cerrado" if not doc.get("orphan_deps")
|
|
else f"⚠ {len(doc['orphan_deps'])} deps huérfanas")
|
|
|
|
CSS = """
|
|
:root{
|
|
--bg:#eef0f3; --panel:#ffffff; --panel-2:#f6f7f9; --ink:#1b1e24; --ink-2:#5b636f;
|
|
--line:#dce0e6; --steel:#4a7291; --ember:#dd6b3d;
|
|
--sealed:#3f8f61; --debt:#bf922f; --never:#8f6234; --unhashable:#bb443c;
|
|
--sealed-bg:#e7f1eb; --debt-bg:#f6efdc; --never-bg:#efe6da; --unhashable-bg:#f4e2e0;
|
|
}
|
|
@media (prefers-color-scheme:dark){:root{
|
|
--bg:#12151a; --panel:#1a1e25; --panel-2:#20252e; --ink:#e7eaef; --ink-2:#98a1af;
|
|
--line:#2a303a; --steel:#7aa6c8; --ember:#e97d4f;
|
|
--sealed:#59b483; --debt:#d8b054; --never:#b98a54; --unhashable:#d76258;
|
|
--sealed-bg:#182a20; --debt-bg:#2a2617; --never-bg:#271f16; --unhashable-bg:#2c1a19;
|
|
}}
|
|
:root[data-theme="light"]{
|
|
--bg:#eef0f3; --panel:#ffffff; --panel-2:#f6f7f9; --ink:#1b1e24; --ink-2:#5b636f;
|
|
--line:#dce0e6; --steel:#4a7291; --ember:#dd6b3d;
|
|
--sealed:#3f8f61; --debt:#bf922f; --never:#8f6234; --unhashable:#bb443c;
|
|
--sealed-bg:#e7f1eb; --debt-bg:#f6efdc; --never-bg:#efe6da; --unhashable-bg:#f4e2e0;
|
|
}
|
|
:root[data-theme="dark"]{
|
|
--bg:#12151a; --panel:#1a1e25; --panel-2:#20252e; --ink:#e7eaef; --ink-2:#98a1af;
|
|
--line:#2a303a; --steel:#7aa6c8; --ember:#e97d4f;
|
|
--sealed:#59b483; --debt:#d8b054; --never:#b98a54; --unhashable:#d76258;
|
|
--sealed-bg:#182a20; --debt-bg:#2a2617; --never-bg:#271f16; --unhashable-bg:#2c1a19;
|
|
}
|
|
*{box-sizing:border-box}
|
|
body{margin:0;background:var(--bg);color:var(--ink);
|
|
font-family:system-ui,-apple-system,"Segoe UI",Roboto,sans-serif;line-height:1.5;
|
|
-webkit-font-smoothing:antialiased}
|
|
.mono{font-family:ui-monospace,"SF Mono","JetBrains Mono","Cascadia Code",Menlo,monospace}
|
|
.wrap{max-width:1180px;margin:0 auto;padding:clamp(20px,4vw,48px)}
|
|
header{display:flex;flex-wrap:wrap;align-items:baseline;gap:12px 20px;margin-bottom:28px}
|
|
h1{font-size:clamp(1.5rem,3vw,2.1rem);margin:0;font-weight:680;letter-spacing:-.02em}
|
|
h1 .mark{color:var(--ember)}
|
|
.sub{color:var(--ink-2);font-size:.9rem}
|
|
.sub .mono{color:var(--ink)}
|
|
.eyebrow{text-transform:uppercase;letter-spacing:.12em;font-size:.7rem;font-weight:650;
|
|
color:var(--ink-2);margin:0 0 10px}
|
|
section{margin-bottom:34px}
|
|
/* progress */
|
|
.progress{height:34px;display:flex;border-radius:8px;overflow:hidden;border:1px solid var(--line);
|
|
background:var(--panel)}
|
|
.seg{display:block;height:100%}
|
|
.s-sealed{background:var(--sealed)} .s-debt{background:var(--debt)}
|
|
.s-never{background:var(--never)} .s-unhashable{background:var(--unhashable)}
|
|
.legend{display:flex;flex-wrap:wrap;gap:16px;margin-top:12px;font-size:.82rem;color:var(--ink-2)}
|
|
.legend b{color:var(--ink);font-weight:600}
|
|
.legend .k{display:inline-block;width:10px;height:10px;border-radius:3px;margin-right:6px;
|
|
vertical-align:baseline}
|
|
/* tiles */
|
|
.tiles{display:grid;grid-template-columns:repeat(4,1fr);gap:14px}
|
|
@media(max-width:640px){.tiles{grid-template-columns:repeat(2,1fr)}}
|
|
.tile{background:var(--panel);border:1px solid var(--line);border-radius:10px;padding:16px 18px;
|
|
border-top:3px solid var(--line)}
|
|
.tile.s-sealed{border-top-color:var(--sealed)} .tile.s-debt{border-top-color:var(--debt)}
|
|
.tile.s-never{border-top-color:var(--never)} .tile.s-unhashable{border-top-color:var(--unhashable)}
|
|
.tile-n{font-size:2rem;font-weight:680;font-family:ui-monospace,monospace;line-height:1;
|
|
font-variant-numeric:tabular-nums}
|
|
.tile-l{font-size:.82rem;color:var(--ink-2);margin-top:6px}
|
|
.tile-p{font-size:.78rem;color:var(--ink-2);margin-top:2px;font-family:ui-monospace,monospace}
|
|
/* class grid */
|
|
.cls-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:14px}
|
|
.cls{background:var(--panel);border:1px solid var(--line);border-radius:10px;padding:15px 16px}
|
|
.cls-head{display:flex;justify-content:space-between;align-items:baseline;margin-bottom:10px}
|
|
.cls-name{font-weight:620} .cls-tot{font-family:ui-monospace,monospace;color:var(--ink-2);
|
|
font-variant-numeric:tabular-nums}
|
|
.bar{height:9px;display:flex;border-radius:5px;overflow:hidden;background:var(--panel-2)}
|
|
.cls-foot{display:flex;justify-content:space-between;margin-top:9px;font-size:.78rem}
|
|
.cls-foot .ok{color:var(--sealed)} .cls-foot .warn{color:var(--debt)}
|
|
.cls-foot .muted{color:var(--ink-2)}
|
|
/* debt table */
|
|
.controls{display:flex;flex-wrap:wrap;gap:10px;align-items:center;margin-bottom:14px}
|
|
.controls input{background:var(--panel);border:1px solid var(--line);color:var(--ink);
|
|
padding:8px 12px;border-radius:8px;font-size:.9rem;min-width:200px;font-family:ui-monospace,monospace}
|
|
.controls input:focus{outline:2px solid var(--steel);outline-offset:1px}
|
|
.fbtn{background:var(--panel);border:1px solid var(--line);color:var(--ink-2);padding:7px 13px;
|
|
border-radius:999px;font-size:.8rem;cursor:pointer;font-weight:550}
|
|
.fbtn[aria-pressed="true"]{background:var(--steel);border-color:var(--steel);color:#fff}
|
|
.tbl-wrap{overflow-x:auto;border:1px solid var(--line);border-radius:10px;background:var(--panel)}
|
|
table{border-collapse:collapse;width:100%;font-size:.88rem}
|
|
th{text-align:left;font-size:.7rem;text-transform:uppercase;letter-spacing:.08em;color:var(--ink-2);
|
|
font-weight:600;padding:11px 14px;border-bottom:1px solid var(--line);background:var(--panel-2);
|
|
position:sticky;top:0}
|
|
td{padding:10px 14px;border-bottom:1px solid var(--line);vertical-align:top}
|
|
.drow:last-child td{border-bottom:none}
|
|
.c-name{font-family:ui-monospace,monospace;font-weight:550;white-space:nowrap}
|
|
.c-name .ver{color:var(--ink-2);font-weight:400;font-size:.82em;margin-left:5px}
|
|
.s-dot{display:inline-block;width:8px;height:8px;border-radius:50%;margin-right:8px;
|
|
vertical-align:middle}
|
|
.tag{font-size:.72rem;padding:2px 8px;border-radius:999px;font-weight:600;white-space:nowrap}
|
|
.t-c{background:var(--panel-2);color:var(--ink-2)} .t-go{background:#1f3a4d33;color:var(--steel)}
|
|
.t-rust{background:#dd6b3d22;color:var(--ember)} .t-gui{background:#8f623422;color:var(--never)}
|
|
.t-kernel{background:#bb443c22;color:var(--unhashable)}
|
|
.ready{color:var(--sealed);font-weight:600;font-size:.8rem}
|
|
.impact{display:inline-block;background:var(--ember);color:#fff;font-family:ui-monospace,monospace;
|
|
font-size:.72rem;font-weight:650;padding:1px 6px;border-radius:999px;margin-left:4px}
|
|
.blocked{color:var(--debt);font-weight:600;font-size:.8rem;font-family:ui-monospace,monospace}
|
|
.c-deps{max-width:560px}
|
|
.chip{display:inline-block;font-family:ui-monospace,monospace;font-size:.74rem;padding:2px 7px;
|
|
border-radius:5px;margin:2px 3px 2px 0;border:1px solid transparent}
|
|
.chip.s-sealed{background:var(--sealed-bg);color:var(--sealed)}
|
|
.chip.s-debt{background:var(--debt-bg);color:var(--debt);border-color:var(--debt)}
|
|
.chip.s-never{background:var(--never-bg);color:var(--never);border-color:var(--never)}
|
|
.chip.s-unhashable{background:var(--unhashable-bg);color:var(--unhashable);border-color:var(--unhashable)}
|
|
.chip.empty{color:var(--ink-2);font-style:italic}
|
|
.hint{color:var(--ink-2);font-size:.82rem;margin:0 0 14px}
|
|
.count{color:var(--ink-2);font-size:.82rem;margin-left:auto;font-family:ui-monospace,monospace}
|
|
footer{color:var(--ink-2);font-size:.78rem;margin-top:36px;padding-top:16px;
|
|
border-top:1px solid var(--line);line-height:1.7}
|
|
footer .mono{color:var(--ink)}
|
|
@media(prefers-reduced-motion:no-preference){.seg,.fbtn{transition:.15s}}
|
|
"""
|
|
|
|
JS = """
|
|
const rows=[...document.querySelectorAll('.drow')];
|
|
const q=document.getElementById('q');
|
|
let cls='all',onlyReady=false;
|
|
function apply(){
|
|
const t=(q.value||'').toLowerCase();let shown=0;
|
|
for(const r of rows){
|
|
const okC=cls==='all'||r.dataset.cls===cls;
|
|
const okR=!onlyReady||r.dataset.ready==='1';
|
|
const okT=!t||r.dataset.name.includes(t);
|
|
const v=okC&&okR&&okT;r.style.display=v?'':'none';if(v)shown++;
|
|
}
|
|
document.getElementById('count').textContent=shown+' en deuda';
|
|
}
|
|
document.querySelectorAll('.fbtn[data-cls]').forEach(b=>b.onclick=()=>{
|
|
document.querySelectorAll('.fbtn[data-cls]').forEach(x=>x.setAttribute('aria-pressed','false'));
|
|
b.setAttribute('aria-pressed','true');cls=b.dataset.cls;apply();});
|
|
const rb=document.getElementById('ready');
|
|
rb.onclick=()=>{onlyReady=!onlyReady;rb.setAttribute('aria-pressed',onlyReady);apply();};
|
|
q.oninput=apply;
|
|
"""
|
|
|
|
cls_btns = '<button class="fbtn" data-cls="all" aria-pressed="true">todas</button>'
|
|
for c in sorted(classes, key=lambda c: -sum(classes[c].values())):
|
|
deuda = classes[c]["debt"] + classes[c]["never"] + classes[c]["unhashable"]
|
|
if deuda:
|
|
cls_btns += f'<button class="fbtn" data-cls="{c}" aria-pressed="false">{E(CLASS_ES.get(c,c))} ({deuda})</button>'
|
|
|
|
scope = "frente KDE" if KDE else "hammer"
|
|
by_queue = doc.get("by_queue", {})
|
|
queue_line = ""
|
|
if "incoming-kde" in by_queue and len(by_queue) > 1:
|
|
kq = by_queue["incoming-kde"]; kd = kq.get("debt", 0) + kq.get("never", 0)
|
|
queue_line = (f' · <b>cola KDE {kq.get("sealed",0)}/{sum(kq.values())} selladas</b>, '
|
|
f'{kd} en deuda')
|
|
|
|
HTML = f'''<style>{CSS}</style>
|
|
<div class="wrap">
|
|
<header>
|
|
<h1>estado del build <span class="mark">·</span> <span class="mono">{E(scope)}</span></h1>
|
|
<div class="sub">{n_total} recetas{queue_line} · grafo {E(topo)} · {E(orphan_note)} · <span class="mono">{E(gen_time)}</span></div>
|
|
</header>
|
|
|
|
<section>
|
|
<p class="eyebrow">avance del corpus</p>
|
|
<div class="progress">{seg}</div>
|
|
<div class="legend">
|
|
<span><span class="k s-sealed"></span><b>{totals.get('sealed',0)}</b> sellado al día</span>
|
|
<span><span class="k s-debt"></span><b>{totals.get('debt',0)}</b> deuda de rebuild</span>
|
|
<span><span class="k s-never"></span><b>{totals.get('never',0)}</b> nunca construida</span>
|
|
{'<span><span class="k s-unhashable"></span><b>'+str(totals.get('unhashable',0))+'</b> ilegible</span>' if totals.get('unhashable') else ''}
|
|
</div>
|
|
</section>
|
|
|
|
<section>
|
|
<div class="tiles">{tiles}</div>
|
|
</section>
|
|
|
|
<section>
|
|
<p class="eyebrow">dónde está la deuda</p>
|
|
<div class="cls-grid">{cls_cards}</div>
|
|
</section>
|
|
|
|
<section>
|
|
<p class="eyebrow">huecos, en orden de ataque</p>
|
|
<p class="hint">Cada receta en deuda con sus deps de build coloreadas por estado. Una fila
|
|
<b style="color:var(--sealed)">lista</b> tiene todas sus deps al día ⇒ se puede construir ya;
|
|
el pastilla <span class="impact">↑N</span> es cuántas otras en deuda desbloquea (ordenadas por
|
|
ahí: construí primero las de más impacto). Una <b style="color:var(--debt)">espera N</b> depende
|
|
de N recetas que también están en deuda. {len(ready)} listas ahora.</p>
|
|
<div class="controls">
|
|
{cls_btns}
|
|
<button class="fbtn" id="ready" data-ready aria-pressed="false">sólo listas</button>
|
|
<input id="q" placeholder="buscar receta…" spellcheck="false" aria-label="buscar receta">
|
|
<span class="count" id="count">{len(debt_sorted)} en deuda</span>
|
|
</div>
|
|
<div class="tbl-wrap">
|
|
<table>
|
|
<thead><tr><th>receta</th><th>clase</th><th>estado</th><th>deps de build</th></tr></thead>
|
|
<tbody>{rows}</tbody>
|
|
</table>
|
|
</div>
|
|
</section>
|
|
|
|
<footer>
|
|
Derivado de <span class="mono">recipes/*.toml</span> + <span class="mono">hammer hash</span> + el store,
|
|
por <span class="mono">scripts/build-state.py</span>. La fuente firme es
|
|
<span class="mono">docs/state/build-state.json</span> (versionada: su <span class="mono">git diff</span> es el avance).
|
|
Regenerar: <span class="mono">scripts/build-state.py && scripts/build-state-view.py</span>.
|
|
</footer>
|
|
</div>
|
|
<script>{JS}</script>
|
|
'''
|
|
|
|
OUT.write_text(HTML)
|
|
print(f"→ {OUT.relative_to(ROOT)} ({len(HTML)//1024} KB) · {len(debt_sorted)} en deuda, {len(ready)} listas")
|