lampson 0.2.4 → 0.2.6

package/lib/workspaces.syn

@@ -380,6 +380,10 @@ export task start_ws(w)
     require file.read("web.syn")
     require file.read("chat.syn")
     require file.read(".env")
+    -- encender levanta la pausa manual
+    when contains(w, "paused") and w["paused"] == true
+        set w["paused"] to false
+        put(w)
     let d be prepare(w)
     let h be home()
     let sep be when is_win() then "\\" otherwise "/"
@@ -396,13 +400,21 @@ export task health(w)
     require net("127.0.0.1")
     require time
     try
-        let r be http_get("http://127.0.0.1:" + text(w["port"]) + "/w/" + w["slug"] + "/api/health", {"timeout": 2})
+        let r be http("GET", "http://127.0.0.1:" + text(w["port"]) + "/w/" + w["slug"] + "/api/health", {}, {}, "", 1.5)
         when r["ok"]
             give json_decode(body of r)
         give nothing
     recover err
         give nothing
 
+-- salud de TODOS a la vez. En Windows con el firewall en modo stealth, conectar a un puerto cerrado de 127.0.0.1
+-- no se rechaza al instante: el SYN queda sin respuesta ~2 s. Secuencial era 2 s × workspaces (6 s con tres
+-- apagados); en paralelo es 2 s en total, y el resultado se comparte en el blackboard para que la lista sea inmediata.
+export task health_all(list)
+    require net("127.0.0.1")
+    require time
+    give parallel_map(health, list, 8)
+
 -- esperar hasta que responda (arranque)
 export task wait_ready(w, secs)
     require net("127.0.0.1")
@@ -414,6 +426,25 @@ export task wait_ready(w, secs)
         sleep(0.4)
     give false
 
+-- «■ apagar»: marca la pausa manual en el registro y para el proceso; el supervisor no lo vuelve a levantar
+export task pause_ws(w)
+    require exec
+    require time
+    require env("LAMPSON_*")
+    require env("OS")
+    require net("127.0.0.1")
+    require file(".lampson")
+    require file(".lampson/*")
+    set w["paused"] to true
+    put(w)
+    stop_ws(w)
+    -- esperar a que deje de responder (matar tarda unos segundos) y dejar la caché al día
+    let deadline be now() + 6
+    while now() < deadline and health(w) != nothing
+        sleep(0.4)
+    summary()
+    give true
+
 export task stop_ws(w)
     require exec
     require time
@@ -490,6 +521,11 @@ export task should_live(w, hc)
     require file.read(".lampson/*")
     require env("LAMPSON_*")
     require time
+    -- apagado a mano («■ apagar» en el hub): gana sobre la política y sobre las tareas programadas hasta que
+    -- alguien lo encienda (botón ▶, o `lampson` en esa carpeta). Antes el tick lo revivía a los 15 s y el botón
+    -- parecía no hacer nada.
+    when contains(w, "paused") and w["paused"] == true
+        give false
     let pol be when contains(w, "policy") then w["policy"] otherwise "auto"
     when pol == "always"
         give true
@@ -528,8 +564,11 @@ export task tick()
         restart_hub_later()
     let started be []
     let stopped be []
-    each w in all()
-        let hc be health(w)
+    let list be all()
+    let hcs be health_all(list)
+    each e in enumerate(list)
+        let w be e["item"]
+        let hc be hcs[e["index"]]
         let want be should_live(w, hc)
         when want and hc == nothing
             start_ws(w)
@@ -537,6 +576,7 @@ export task tick()
         otherwise when not want and hc != nothing
             stop_ws(w)
             set stopped to append(stopped, w["slug"])
+    summary()
     give {"started": started, "stopped": stopped}
 
 -- resumen para la UI del hub
@@ -549,11 +589,35 @@ export task summary()
     require file(".lampson")
     require file(".lampson/*")
     let out be []
-    each w in all()
-        let hc be health(w)
-        set out to append(out, {"slug": w["slug"], "name": w["name"], "path": w["path"], "port": w["port"], "policy": when contains(w, "policy") then w["policy"] otherwise "auto", "created": w["created"], "last_used": when hc != nothing and contains(hc, "last_used") and hc["last_used"] != nothing then hc["last_used"] otherwise w["last_used"], "alive": hc != nothing, "schedules_on": when hc != nothing and contains(hc, "schedules_on") then hc["schedules_on"] otherwise schedules_on_disk(w), "url": "/w/" + w["slug"]})
+    let list be all()
+    let hcs be health_all(list)
+    each e in enumerate(list)
+        let w be e["item"]
+        let hc be hcs[e["index"]]
+        set out to append(out, {"slug": w["slug"], "name": w["name"], "path": w["path"], "port": w["port"], "policy": when contains(w, "policy") then w["policy"] otherwise "auto", "created": w["created"], "last_used": when hc != nothing and contains(hc, "last_used") and hc["last_used"] != nothing then hc["last_used"] otherwise w["last_used"], "alive": hc != nothing, "paused": contains(w, "paused") and w["paused"] == true, "schedules_on": when hc != nothing and contains(hc, "schedules_on") then hc["schedules_on"] otherwise schedules_on_disk(w), "url": "/w/" + w["slug"]})
+    share out as "hub:summary"
+    share now() as "hub:summary_at"
     give out
 
+-- la lista que ve la UI: la última calculada (tick cada 15 s, y cada start/stop la refresca) si tiene menos de
+-- max_age segundos; si no, se calcula ahora. GET /api/workspaces?fresh=1 fuerza el cálculo.
+export task summary_cached(max_age)
+    require exec
+    require time
+    require env("LAMPSON_*")
+    require env("OS")
+    require net("127.0.0.1")
+    require file(".lampson")
+    require file(".lampson/*")
+    try
+        observe "hub:summary_at" as at
+        observe "hub:summary" as cached
+        when at != nothing and cached != nothing and now() - at < max_age
+            give cached
+    recover err
+        give summary()
+    give summary()
+
 -- ---------- explorador de carpetas ----------
 -- diálogo nativo del SO (PC con escritorio). Devuelve la ruta elegida, "" si canceló, nothing si no hay diálogo.
 export task pick_folder()

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lampson",
-  "version": "0.2.4",
+  "version": "0.2.6",
   "description": "A coding agent written in Synsema: terminal + web, tools confined to the mounted project, lamps (your own tool plugins), LSP, MCP, sub-agents.",
   "license": "MIT",
   "repository": {

package/public/css/chat.css

@@ -54,3 +54,10 @@
 .empty .try { cursor:pointer; color:var(--accent); }
 .empty .try:hover { text-decoration:underline; text-underline-offset:.18em; }
 @media (max-width:1400px) { .empty .grid { grid-template-columns:repeat(2, minmax(0,1fr)); } }
+
+/* workspace apagado (events.js): un aviso que se vea, no una línea más del log */
+.msg.wsoff{border:1px solid var(--rubric);border-left-width:4px;background:var(--paper-2);padding:12px 16px;border-radius:var(--r);font:400 14.5px/1.55 var(--serif);color:var(--ink);opacity:1}
+.msg.wsoff a{font-family:var(--mono);font-size:13px;margin-left:.2em;color:var(--accent);text-decoration:none}
+.msg.wsoff a:hover{text-decoration:underline}
+.msg.wsoff .wsst{color:var(--ink-3);font-family:var(--mono);font-size:12px;margin-left:.6em}
+.msg.wson{border-left:4px solid var(--ok, #8fc28f);padding-left:12px}

package/public/css/hub.css

@@ -6,6 +6,10 @@ body.hub #stage { display:flex; align-items:center; padding:20px 40px; }
 .card.ws { display:block; text-decoration:none; color:inherit; cursor:pointer; transition:border-color .12s; }
 .card.ws:hover { border-color:var(--ink-3); }
 .card.ws.on { border-color:var(--accent); }
+/* estado a un vistazo: verde vivo · rojo apagado · ámbar mientras arranca */
+.card.ws.on h3 { color:var(--ok); }
+.card.ws.off h3 { color:var(--rubric); }
+.card.ws.busy h3 { color:var(--amber); }
 .card.ws.new { border-style:dashed; }
 .card.ws .nm { font:600 16px/1.3 var(--serif); color:var(--ink); margin:0 0 4px; }
 .card.ws .pth { font:400 11px/1.4 var(--mono); color:var(--ink-3); overflow:hidden; text-overflow:ellipsis; white-space:nowrap; margin:0 0 6px; }

package/public/css/panel.css

@@ -58,6 +58,10 @@
 .panel .li:hover { background:var(--paper-2); }
 .panel .li.sel { background:var(--paper-2); box-shadow:inset 2px 0 0 var(--accent); }
 .panel .li .dot { color:var(--ink-3); margin-top:1px; }
+.panel .li .dot.on { color:var(--ok); }
+.panel .li .dot.off { color:var(--rubric); }
+.panel .st.on { color:var(--ok); font-weight:600; }
+.panel .st.off { color:var(--rubric); font-weight:600; }
 .panel .li.on .dot { color:var(--accent); }
 .panel .li.bad .dot { color:var(--rubric); }
 .panel .li.new .nm { color:var(--accent); font-weight:400; }

package/public/css/tokens.css

@@ -19,7 +19,7 @@
   --ink:#e9e8df; --ink-2:#9b9c90; --ink-3:#848678;
   --rule:#2b2c27; --rule-2:#3c3d36;
   --accent:#8fb4dc; --accent-bg:#1b2836;
-  --rubric:#d98670; --str:#a8bd84; --amber:#d9b26f;
+  --rubric:#d98670; --str:#a8bd84; --amber:#d9b26f; --ok:#8fc28f;
   --sel:#33465b; --term-blue:#4f86d1;
   --serif:"Plex Serif",Georgia,"Times New Roman",serif;
   --mono:"Plex Mono",ui-monospace,SFMono-Regular,Consolas,"Liberation Mono",monospace;
@@ -30,7 +30,7 @@
   --ink:#1a1b18; --ink-2:#56584f; --ink-3:#6a6c61;
   --rule:#e4e3da; --rule-2:#cfcec2;
   --accent:#21578c; --accent-bg:#e9eef4;
-  --rubric:#99372a; --str:#4a6b3f; --amber:#8a6a1f;
+  --rubric:#99372a; --str:#4a6b3f; --amber:#8a6a1f; --ok:#3d7a3d;
   --sel:#cfe0f0; --term-blue:#21578c;
 }
 

package/public/favicon.svg

@@ -0,0 +1,13 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 64 64">
+  <rect width="64" height="64" rx="10" fill="#131412"/>
+  <circle cx="32" cy="27" r="11" fill="#d9c26a"/>
+  <g stroke="#d9c26a" stroke-width="3" stroke-linecap="round">
+    <line x1="32" y1="6" x2="32" y2="10"/>
+    <line x1="14" y1="13" x2="17" y2="16"/>
+    <line x1="50" y1="13" x2="47" y2="16"/>
+    <line x1="9" y1="27" x2="13" y2="27"/>
+    <line x1="55" y1="27" x2="51" y2="27"/>
+  </g>
+  <rect x="26" y="40" width="12" height="7" rx="1.5" fill="#e9e8df"/>
+  <rect x="27.5" y="49" width="9" height="3" rx="1.5" fill="#9b9c90"/>
+</svg>

package/public/hub.html

@@ -2,6 +2,7 @@
 <html lang="es">
 <head>
 <meta charset="utf-8">
+<link rel="icon" href="/favicon.svg" type="image/svg+xml">
 <title>Lampson · workspaces</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <link rel="stylesheet" href="/css/tokens.css">

package/public/index.html

@@ -2,6 +2,7 @@
 <html lang="es">
 <head>
 <meta charset="utf-8">
+<link rel="icon" href="/favicon.svg" type="image/svg+xml">
 <title>Lampson</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <!-- estilos: tokens (fuentes, paleta, base) → layout (grid, cabecera, paneles, chat, composer) → sidebar → chat → panel (el modal) -->

package/public/js/events.js

@@ -2,10 +2,32 @@
 // Los supervisores de procesos publican cada línea y cambio de estado; los subagentes, inicio/fin/pasos; las
 // tareas programadas y aprobaciones, sus cambios. La UI reacciona a eso (con un pequeño debounce) en vez de
 // recargar por timer; los timers quedan como respaldo lento por si el stream se cae (reconexión con backoff).
-let events = null, evBackoff = 1000;
+let events = null, evBackoff = 1000, evOffline = false, evEverOpen = false;
+// El hub responde aunque el workspace esté apagado: por ahí se pregunta "¿sigue vivo?" sin llenar la consola de 502.
+const EV_HUB = (location.port && location.port !== '8080') ? location.protocol + '//' + location.hostname + ':8080' : '';
+async function wsAlive() {
+  if (!WS_SLUG) return true;
+  try { const r = await fetch(EV_HUB + '/api/workspaces'); const d = await r.json(); const w = (d.workspaces || []).find(x => x.slug === WS_SLUG); return w ? { alive: w.alive, paused: w.paused } : { alive: true }; } catch (e) { return { alive: true }; }
+}
+function goOffline(state) {
+  if (evOffline) return;
+  evOffline = true;
+  // apagado a mano (desde el hub o desde este mismo panel): volver al inicio; el banner queda para caídas
+  if (state.paused) { location.href = EV_HUB + '/'; return; }
+  document.title = '○ ' + document.title.replace(/^○ /, '');
+  const why = state.paused ? 'Lo apagaste desde el hub.' : 'El proceso no responde.';
+  const m = add('meta wsoff', `○ <b>Este workspace está apagado.</b> ${why} <a href="#" class="wson">▶ encender</a> · <a href="${EV_HUB}/">ir al hub</a> <span class="wsst"></span>`);
+  m.querySelector('.wson').onclick = async (e) => { e.preventDefault(); m.querySelector('.wsst').textContent = 'encendiendo…'; try { await fetch(EV_HUB + '/api/workspaces/start', { method: 'POST', headers: { 'Content-Type': 'application/json' }, body: JSON.stringify({ slug: WS_SLUG }) }); } catch (err) {} };
+  const poll = async () => {
+    const s = await wsAlive();
+    if (s.alive) { evOffline = false; document.title = document.title.replace(/^○ /, ''); add('meta wson', '● workspace encendido · reconectado'); evBackoff = 1000; connectEvents(); if (typeof loadProcs === 'function') loadProcs(); if (typeof loadSessions === 'function') loadSessions(); }
+    else setTimeout(poll, 3000);
+  };
+  setTimeout(poll, 3000);
+}
 function connectEvents() {
   try { events = new EventSource(BASE + '/api/events'); } catch (e) { events = null; return; }
-  events.onopen = () => { evBackoff = 1000; };
+  events.onopen = () => { evBackoff = 1000; evEverOpen = true; };
   events.addEventListener('event', e => {
     let ev; try { ev = JSON.parse(e.data); } catch { return; }
     const t = ev.topic || '';
@@ -26,6 +48,12 @@ function connectEvents() {
       if (id && agentOpen === id && agentPaint) debounce('agentview', agentPaint, 250);
     }
   });
-  events.onerror = () => { events.close(); events = null; setTimeout(connectEvents, evBackoff); evBackoff = Math.min(evBackoff * 2, 30000); };
+  events.onerror = async () => {
+    events.close(); events = null;
+    // ¿se cayó el stream o se apagó el workspace? Si el hub dice que no está vivo, no insistimos contra el proxy.
+    const s = await wsAlive();
+    if (!s.alive) { goOffline(s); return; }
+    setTimeout(connectEvents, evBackoff); evBackoff = Math.min(evBackoff * 2, 30000);
+  };
 }
 connectEvents();

package/public/js/hub.js

@@ -24,8 +24,16 @@ async function paintGrid() {
   const grid = $('#wsGrid'); let r; try { r = await (await fetch(BASE + '/api/workspaces')).json(); } catch (e) { grid.innerHTML = '<div class="card"><p>el hub no responde</p></div>'; return; }
   grid.innerHTML = '';
   for (const w of (r.workspaces || [])) {
-    const c = document.createElement('a'); c.className = 'card ws' + (w.alive ? ' on' : ''); c.href = w.url;
+    const c = document.createElement('a'); c.className = 'card ws' + (w.alive ? ' on' : ' off'); c.href = w.url;
     c.innerHTML = `<h3>${w.alive ? '● vivo' : '○ apagado'}${w.schedules_on ? ' · ⏰ ' + w.schedules_on : ''}</h3><p class="nm">${esc(w.name)}</p><p class="pth">${esc(w.path)}</p><p class="meta">último uso ${esc(fmtWhen(w.last_used))}</p>`;
+    // entrar = usarlo: si está apagado se enciende acá mismo (con aviso en la tarjeta) y después se abre. La ruta
+    // /w/<slug> del hub también lo enciende sola, así que un link directo funciona igual; esto solo da feedback.
+    if (!w.alive) c.onclick = async (e) => {
+      e.preventDefault(); if (c.dataset.busy) return; c.dataset.busy = '1';
+      const h = c.querySelector('h3'); h.textContent = '⟳ encendiendo…'; c.classList.add('busy');
+      try { const r = await api('/api/workspaces/start', { slug: w.slug }); if (!r.ok || !r.data.ok) { h.textContent = '○ no arrancó · mirá .lampson/ws/' + w.slug + '/.lampson/web.log'; c.classList.remove('busy'); delete c.dataset.busy; return; } } catch (err) {}
+      location.href = w.url;
+    };
     grid.appendChild(c);
   }
   const add = document.createElement('a'); add.className = 'card ws new'; add.href = '#'; add.innerHTML = '<h3>+</h3><p class="nm">nuevo workspace</p><p class="pth">elegí una carpeta de tu disco</p>';

package/public/js/panel.js

@@ -71,6 +71,8 @@ const Panel = (() => {
     if (!cur || cur.layout !== 'browse') return;
     const spec = cur, q = query(), my = ++seq;
     const keep = pendingKey != null ? pendingKey : (rows[sel] && spec.browse.key ? spec.browse.key(rows[sel]) : null); pendingKey = null;
+    // mientras carga, decirlo (la lista de workspaces puede tardar si el hub tiene que sondear procesos)
+    if (!rows.length) { const it = box().querySelector('.bitems'); if (it) it.innerHTML = '<div class="bempty">cargando…</div>'; }
     let list; try { list = await spec.browse.load(q); } catch (e) { list = []; }
     if (cur !== spec || my !== seq) return;
     rows = list || [];

package/public/js/workspaces.js

@@ -4,8 +4,9 @@ let wsList = [], wsIdle = 4;
 // abierto por el puerto de un proceso (:808N) las URLs de otros workspaces tienen que ir al hub (:8080), no a este proceso
 const HUB_BASE = (location.port && location.port !== '8080') ? location.protocol + '//' + location.hostname + ':8080' : '';
 function wsUrl(w) { return HUB_BASE + w.url; }
-async function fetchWorkspaces() {
-  try { const r = await (await fetch('/api/workspaces')).json(); wsList = r.workspaces || []; wsIdle = r.idle_hours; return true; } catch (e) { wsList = []; return false; }
+// fresh=true: saltear la caché del hub (después de encender/apagar)
+async function fetchWorkspaces(fresh) {
+  try { const r = await (await fetch('/api/workspaces' + (fresh ? '?fresh=1' : ''))).json(); wsList = r.workspaces || []; wsIdle = r.idle_hours; return true; } catch (e) { wsList = []; return false; }
 }
 async function paintWorkspacePill() {
   const pill = $('#wsPill'); if (!pill) return;
@@ -22,12 +23,12 @@ function openWorkspaces(selectSlug) {
     browse: {
       placeholder: 'buscar workspace…', listWidth: '300px', key: w => w.slug,
       load: async (q) => { await fetchWorkspaces(); const list = wsList.filter(w => !q || (w.name + ' ' + w.path).toLowerCase().includes(q.toLowerCase())); return q ? list : [...list, WS_NEW]; },
-      render: (w) => w === WS_NEW ? `<span class="dot">+</span><div><div class="nm" style="color:var(--accent);font-weight:400">nuevo workspace…</div><div class="meta">elegí una carpeta</div></div>` : `<span class="dot">${w.alive ? '●' : '○'}</span><div><div class="nm">${esc(w.name)}${w.slug === WS_SLUG ? ' <span class="meta">(este)</span>' : ''}</div><div class="meta">${esc(w.path)}</div></div>`,
+      render: (w) => w === WS_NEW ? `<span class="dot">+</span><div><div class="nm" style="color:var(--accent);font-weight:400">nuevo workspace…</div><div class="meta">elegí una carpeta</div></div>` : `<span class="dot ${w.alive ? 'on' : 'off'}">${w.alive ? '●' : '○'}</span><div><div class="nm">${esc(w.name)}${w.slug === WS_SLUG ? ' <span class="meta">(este)</span>' : ''}</div><div class="meta">${esc(w.path)}</div></div>`,
       count: (rows) => { const n = rows.filter(r => r !== WS_NEW).length, a = rows.filter(r => r !== WS_NEW && r.alive).length; return `${n} workspace${n === 1 ? '' : 's'} · ${a} vivo${a === 1 ? '' : 's'}`; },
       emptyHtml: 'nada coincide', emptyDetail: 'Todavía no hay workspaces. Creá uno con «nuevo workspace…» o abrí <code>lampson</code> en la carpeta de un proyecto.',
-      detail: (w) => w === WS_NEW ? wsNewForm() : `<div class="dhead"><span class="nm">${esc(w.name)}</span><span class="meta">${w.alive ? '● vivo' : '○ apagado'} · ${esc(w.policy)}</span></div>
+      detail: (w) => w === WS_NEW ? wsNewForm() : `<div class="dhead"><span class="nm">${esc(w.name)}</span><span class="meta"><b class="st ${w.alive ? 'on' : 'off'}">${w.alive ? '● vivo' : (w.paused ? '○ apagado a mano' : '○ apagado')}</b> · ${esc(w.policy)}</span></div>
         <div class="dcap">${esc(w.path)}</div>
-        <div class="ddesc">${w.schedules_on ? `${w.schedules_on} tarea${w.schedules_on === 1 ? '' : 's'} programada${w.schedules_on === 1 ? '' : 's'} encendida${w.schedules_on === 1 ? '' : 's'} (lo mantienen vivo). ` : ''}Último uso: ${esc(fmtWhen(w.last_used))}.</div>
+        <div class="ddesc">${w.schedules_on ? `${w.schedules_on} tarea${w.schedules_on === 1 ? '' : 's'} programada${w.schedules_on === 1 ? '' : 's'} encendida${w.schedules_on === 1 ? '' : 's'} ${w.alive ? '(lo mantienen vivo)' : (w.paused ? '— en pausa hasta que lo enciendas' : '')}. ` : ''}${!w.alive && w.paused ? 'Lo apagaste a mano: no se enciende solo hasta ▶ encender o abrir <code>lampson</code> en la carpeta. ' : ''}Último uso: ${esc(fmtWhen(w.last_used))}.</div>
         <div class="dacts"><button class="primary" data-open>${w.slug === WS_SLUG ? 'Ya estás acá' : 'Abrir'}</button>${w.alive ? '<button data-stop>■ apagar</button>' : '<button data-start>▶ encender</button>'}</div>
         <div class="dform" style="margin-top:14px"><label>vida <select name="policy"><option value="auto" ${w.policy === 'auto' ? 'selected' : ''}>auto — vivo mientras se use (${wsIdle === 0 ? 'nunca se apaga' : 'se apaga tras ' + wsIdle + ' h sin uso'}) o tenga tareas</option><option value="always" ${w.policy === 'always' ? 'selected' : ''}>siempre vivo</option><option value="off" ${w.policy === 'off' ? 'selected' : ''}>apagado — solo cuando lo abrís</option></select></label><span class="ds">las horas de inactividad se cambian en ⚙ → General</span></div>
         <div class="dfoot"><span>/w/${esc(w.slug)} · :${w.port} (solo loopback)</span><span class="del">quitar del registro</span></div><div class="derr"></div>`,
@@ -35,8 +36,11 @@ function openWorkspaces(selectSlug) {
         const err = (m) => { const e = box.querySelector('.derr'); if (e) e.textContent = m || ''; };
         if (w === WS_NEW) { wsNewWire(box, err); return; }
         box.querySelector('[data-open]').onclick = () => { if (w.slug !== WS_SLUG) location.href = wsUrl(w); else Panel.close(); };
-        const st = box.querySelector('[data-start]'); if (st) st.onclick = async () => { err('arrancando…'); const r = await api('/api/workspaces/start', { slug: w.slug }); err(r.data.ok ? '' : 'no respondió a tiempo'); Panel.refresh(); };
-        const sp = box.querySelector('[data-stop]'); if (sp) sp.onclick = async () => { await api('/api/workspaces/stop', { slug: w.slug }); setTimeout(() => Panel.refresh(), 800); };
+        // esperar a que el hub vea el estado nuevo (matar/arrancar un proceso tarda unos segundos): sin esto el refresco
+        // a los 0,8 s todavía mostraba «vivo» y el botón parecía no hacer nada
+        const waitFor = async (alive, secs) => { const t0 = Date.now(); while (Date.now() - t0 < secs * 1000) { await fetchWorkspaces(true); const x = wsList.find(y => y.slug === w.slug); if (x && x.alive === alive) return true; await new Promise(r => setTimeout(r, 700)); } return false; };
+        const st = box.querySelector('[data-start]'); if (st) st.onclick = async () => { st.disabled = true; st.textContent = '⟳ encendiendo…'; err(''); const r = await api('/api/workspaces/start', { slug: w.slug }); const ok = r.data.ok || await waitFor(true, 6); err(ok ? '' : 'no respondió a tiempo · mirá .lampson/ws/' + w.slug + '/.lampson/web.log'); Panel.refresh(); };
+        const sp = box.querySelector('[data-stop]'); if (sp) sp.onclick = async () => { sp.disabled = true; sp.textContent = '⟳ apagando…'; err(''); await api('/api/workspaces/stop', { slug: w.slug }); const ok = await waitFor(false, 10); if (ok && w.slug === WS_SLUG) { location.href = HUB_BASE + '/'; return; } err(ok ? '' : 'sigue respondiendo · probá de nuevo'); Panel.refresh(); };
         box.querySelector('[name="policy"]').onchange = async (ev) => { const r = await api('/api/workspaces/policy', { slug: w.slug, policy: ev.target.value }); if (!r.ok) err(r.data.error || 'error'); };
         const del = box.querySelector('.dfoot .del');
         del.onclick = () => inlineConfirm(del, `¿quitar ${w.name} del registro?`, async () => { const r = await api('/api/workspaces/remove', { slug: w.slug }); if (!r.ok) { err(r.data.error || 'error'); return; } if (w.slug === WS_SLUG) location.href = HUB_BASE + '/'; else Panel.refresh(); });

package/web.syn

@@ -89,7 +89,8 @@ task as_text(x)
 
 task boot(profile, mode, ask_fn, pname, model)
     let cfg be provider.config_for(pname, model)
-    let p be when contains(agents.PROFILES, profile) then profile otherwise "build"
+    -- worker es interno de delegate: por la API tampoco se elige como perfil de sesión
+    let p be when contains(agents.names(), profile) then profile otherwise "build"
     let opts be loop.default_opts(agents.registry_for(p), agents.catalog_for(p), ask_fn)
     set opts to loop.with_steps(opts, agents.steps_for(p))
     set opts to loop.with_inbox(opts, agents.parent_inbox, "")