lampson 0.2.4 → 0.2.5

package/chat.syn

@@ -329,9 +329,7 @@ let COMMANDS be [
     ["/ask", "", "permisos: PREGUNTAR antes de un comando peligroso (rm -rf, git push --force, sudo…)"],
     ["/yolo", "", "permisos: PERMITIR comandos peligrosos sin preguntar (los destructivos del sistema siguen bloqueados)"],
     ["/strict", "", "permisos: DENEGAR comandos peligrosos"],
-    ["/model", "<nombre>", "cambiar el modelo para esta sesión (mismo proveedor y key)"],
-    ["/provider", "[nombre] [modelo]", "cambiar de proveedor (deepseek, anthropic, openai, minimax…); sin args lista cuáles tienen key"],
-    ["/setup", "", "elegir proveedor, modelo y pegar la API key (queda en lampson/.lampson/config.json, local)"],
+    ["/model", "[proveedor] [modelo]", "elegir proveedor y modelo con flechas (la lista de modelos la da la API); pide la key solo si falta; queda guardado"],
     ["/paste", "", "adjuntar la imagen del portapapeles al próximo mensaje (copiá una captura y escribí /paste)"],
     ["/image", "<ruta>", "adjuntar una imagen (png/jpg/gif/webp) al próximo mensaje; /image sin ruta muestra o quita las pendientes"],
     ["/delete", "<id>", "borrar una sesión guardada, con confirmación (ver /sessions)"],
@@ -381,7 +379,7 @@ task complete_args(cmd, head, last)
         give workspace_paths(last)
     when cmd == "/resume" or cmd == "/delete"
         give apply((s) => s["id"], session.list())
-    when cmd == "/provider"
+    when cmd == "/provider" or cmd == "/model" or cmd == "/setup"
         when first
             give apply((p) => p["name"], provider.providers())
         give []
@@ -420,9 +418,8 @@ task complete_args(cmd, head, last)
             give []
         give apply((s) => s["id"], schedule.summary())
     when cmd == "/agent"
-        give ["build", "plan", "review", "explore", "worker"]
-    when cmd == "/model"
-        give []
+        -- solo los perfiles elegibles por el usuario: `worker` es interno de delegate (agents.names lo filtra)
+        give agents.names()
     give []
 
 -- rutas del workspace que empiezan con el prefijo escrito (directorios con "/" final para seguir completando)
@@ -599,51 +596,140 @@ task skills_list()
 -- ---------- onboarding ----------
 -- Primera vez (ningún proveedor con key) o /setup: elegir proveedor, modelo y pegar la key. Va a
 -- lampson/.lampson/config.json (local, gitignored) y vale para terminal y web. Sin TTY no pregunta.
-task setup_wizard()
-    print("")
-    let list be provider.providers()
-    -- menú ↑↓/Enter (o inicial / número) cuando hay TTY; sin TTY, la lista numerada + read_line de siempre.
-    -- Las etiquetas van en texto plano: las pinta el menú (ver lib/line.syn).
-    let labels be []
-    each p in list
-        set labels to append(labels, pad(p["name"], 12) + pad(p["model"], 26) + (when p["name"] == "ollama" then "(local, sin key)" otherwise (when p["has_key"] then "● key guardada" otherwise "")))
+-- ---------- /model · /provider · /setup: UN solo flujo ----------
+-- Proveedor → modelo (lista viva de la API del proveedor) → key solo si falta. Todo con menús ↑↓ cuando hay
+-- TTY; sin TTY, listas numeradas + read_line. Siempre se GUARDA en lampson/.lampson/config.json (igual que
+-- la web): ya no hay "solo esta sesión". Con args (`/model glm glm-5.3-flash`) aplica directo lo que vino y
+-- pregunta solo lo que falte. cur_name/cur_model = lo activo, para marcarlo y ponerlo primero.
+let MENU_MAX be 18
+
+-- menú o lista numerada según haya TTY. Devuelve el índice elegido, o nothing si el usuario canceló.
+task pick_from(question, labels)
     flush()
-    let pick be ed.choose("  " + cyan("Configuremos el modelo.") + " Elegí un proveedor:", labels, COLOR)
-    let name be ""
+    let pick be ed.choose("  " + question, labels, COLOR)
     when pick == nothing
-        print("  (sin cambios)")
+        give nothing
+    when pick != -1
+        give pick
+    print("  " + question + " (número)")
+    each e in enumerate(labels)
+        print("  " + pad(text(e["index"] + 1) + ".", 4) + e["item"])
+    let choice be read_line("  > ")
+    when choice == nothing or trim(choice) == ""
+        give nothing
+    let c be trim(choice)
+    when matches(c, "^[0-9]+$")
+        let i be floor(number(c)) - 1
+        when i >= 0 and i < length(labels)
+            give i
+        give nothing
+    -- también vale escribir el nombre (primera palabra de la etiqueta)
+    each e in enumerate(labels)
+        when lower(split(trim(e["item"]), " ")[0]) == lower(c)
+            give e["index"]
+    give nothing
+
+task ask_provider(cur_name)
+    let list be provider.providers()
+    -- el actual primero, después el resto en orden
+    let ordered be where(list, (p) => p["name"] == cur_name) + where(list, (p) => p["name"] != cur_name)
+    let labels be []
+    each p in ordered
+        let flag be when p["name"] == "ollama" then "local, sin key" otherwise (when p["has_key"] then "● key" otherwise "")
+        set labels to append(labels, pad(p["name"], 12) + pad(p["model"], 26) + pad(flag, 16) + (when p["name"] == cur_name then "◀ actual" otherwise ""))
+    let i be pick_from(cyan("Proveedor:"), labels)
+    when i == nothing
+        give ""
+    give ordered[i]["name"]
+
+-- modelos del proveedor según su API; si son muchos, un filtro antes del menú; siempre "otro…" para tipear
+task ask_model(name, cur_name, cur_model)
+    let pcfg be provider.config_for(name, "")
+    let default be when name == cur_name and cur_model != "" then cur_model otherwise pcfg["model"]
+    let lm be provider.list_models(pcfg)
+    when lm["error"] != nothing
+        print("  " + dim("no pude listar los modelos de " + name + " (" + lm["error"] + ")"))
+        let typed be read_line("  modelo [" + default + "]: ")
+        give when typed == nothing or trim(typed) == "" then default otherwise trim(typed)
+    let ids be lm["models"]
+    when length(ids) > MENU_MAX
+        print("  " + dim(text(length(ids)) + " modelos en " + name + " · escribí parte del nombre para filtrar (Enter = los primeros " + text(MENU_MAX) + ")"))
+        let f be read_line("  filtro: ")
+        let ff be when f == nothing then "" otherwise lower(trim(f))
+        when ff != ""
+            set ids to where(ids, (m) => contains(lower(m), ff))
+        when length(ids) == 0
+            print("  " + dim("ningún modelo contiene «" + ff + "»"))
+            set ids to lm["models"]
+        when length(ids) > MENU_MAX
+            set ids to slice(ids, 0, MENU_MAX)
+    -- el default primero (si la API lo lista), después el resto; al final la opción de escribir
+    let ordered be where(ids, (m) => m == default) + where(ids, (m) => m != default)
+    let labels be apply((m) => m + (when m == default then "   ◀ actual" otherwise ""), ordered)
+    set labels to append(labels, "otro… (escribir)")
+    let i be pick_from(cyan("Modelo de " + name + ":") + dim("  (según su API)"), labels)
+    when i == nothing
+        give ""
+    when i == length(labels) - 1
+        let typed be read_line("  modelo [" + default + "]: ")
+        give when typed == nothing or trim(typed) == "" then default otherwise trim(typed)
+    give ordered[i]
+
+-- pide la key si el proveedor no tiene una guardada. Devuelve false si el usuario canceló.
+task ensure_key(name)
+    when name == "ollama" or provider.has_key(name)
+        give true
+    print("  " + dim("la key se guarda en lampson/.lampson/config.json (solo en esta máquina)"))
+    let key be read_line("  API key de " + name + ": ")
+    when key == nothing
         give false
-    otherwise when pick == -1
-        print("  " + cyan("Configuremos el modelo.") + " Elegí un proveedor (número o nombre):")
-        each e in enumerate(list)
-            let p be e["item"]
-            print("  " + pad(text(e["index"] + 1) + ".", 4) + pad(p["name"], 12) + dim(p["model"]) + (when p["name"] == "ollama" then dim("  (local, sin key)") otherwise (when p["has_key"] then green("  ● key guardada") otherwise "")))
-        let choice be read_line("  proveedor: ")
-        when choice == nothing or trim(choice) == ""
+    when trim(key) == ""
+        print("  " + yellow("sin key: podés agregarla después con /model"))
+        give true
+    settings.set_key(name, trim(key))
+    give true
+
+-- pre_name / pre_model: lo que vino por args ("" = preguntar). Devuelve true si guardó algo.
+task setup_wizard(pre_name, pre_model, cur_name, cur_model)
+    print("")
+    let name be lower(trim(pre_name))
+    when name == ""
+        set name to ask_provider(cur_name)
+        when name == ""
             print("  (sin cambios)")
             give false
-        set name to lower(trim(choice))
-        when matches(name, "[0-9]+")
-            let i be floor(number(name)) - 1
-            when i >= 0 and i < length(list)
-                set name to list[i]["name"]
-        when not contains(provider.PRESETS, name)
-            print("  " + red("no conozco el proveedor " + name))
+    when not contains(provider.PRESETS, name)
+        print("  " + red("no conozco el proveedor " + name) + " · disponibles: " + join(sort_by(keys(provider.PRESETS), (x) => x), ", "))
+        give false
+    -- la key va antes que el modelo: sin key la API no lista los modelos
+    when not ensure_key(name)
+        print("  (sin cambios)")
+        give false
+    let model be trim(pre_model)
+    when model == ""
+        set model to ask_model(name, cur_name, cur_model)
+        when model == ""
+            print("  (sin cambios)")
             give false
-    otherwise
-        set name to list[pick]["name"]
-    let preset be provider.PRESETS[name]
-    let model be read_line("  modelo [" + preset["model"] + "]: ")
-    set model to when model == nothing then "" otherwise trim(model)
-    when name != "ollama"
-        print("  " + dim("la key se guarda en lampson/.lampson/config.json (solo en esta máquina); Enter para dejar la actual"))
-        let key be read_line("  API key de " + name + ": ")
-        when key != nothing and trim(key) != ""
-            settings.set_key(name, trim(key))
+    -- un "modelo" que empieza con / es un comando tipeado por error (o un stdin que se acabó): no se guarda
+    when starts_with(model, "/")
+        print("  (sin cambios)")
+        give false
+    set model to provider.normalize_model(name, model)
     settings.set_default(name, model)
-    print("  " + green("listo") + " · " + name + " · " + (when model == "" then preset["model"] otherwise model) + dim("   (cambialo cuando quieras con /setup o /provider)"))
+    print("  " + green("✓ " + name + " · " + model + " · guardado") + dim("   (/model para cambiarlo; /model <proveedor> [modelo] va directo)"))
     give true
 
+-- `/model x y` · `/provider x y` · `/setup`: args → (proveedor, modelo). Un solo arg que no es proveedor =
+-- modelo del proveedor actual.
+task setup_from_args(rest, cur_name, cur_model)
+    let args be where(split(trim(rest), " "), (x) => x != "")
+    when length(args) == 0
+        give setup_wizard("", "", cur_name, cur_model)
+    when length(args) == 1 and not contains(provider.PRESETS, lower(args[0]))
+        give setup_wizard(cur_name, args[0], cur_name, cur_model)
+    give setup_wizard(args[0], when length(args) > 1 then args[1] otherwise "", cur_name, cur_model)
+
 -- ---------- imágenes en el REPL ----------
 -- Una terminal no puede pegar una imagen, así que se lee del portapapeles (/paste) o de un archivo
 -- (/image ruta) con un script del sistema que devuelve "media_type|w|h|base64". Quedan pendientes
@@ -685,10 +771,14 @@ let cfg be provider.config()
 when not provider.configured() and cfg["provider"] != "ollama"
     print("")
     print("  Bienvenido a Lampson. Todavía no hay ninguna API key configurada.")
-    when setup_wizard()
+    when setup_wizard("", "", cfg["provider"], cfg["model"])
         set cfg to provider.config()
 let env_info be agents.env_info(cfg)
 let profile be lower(env("LAMPSON_AGENT", "build"))
+-- `--agent worker` (o cualquier nombre desconocido): worker es interno de delegate, no un perfil de sesión
+when not contains(agents.names(), profile)
+    print("agente '" + profile + "' no disponible · disponibles: " + join(agents.names(), ", ") + " · uso build")
+    set profile to "build"
 task system_for(p)
     give {"role": "system", "content": prompt.build(env_info, agents.addendum_for(p))}
 task opts_for(p, mode)
@@ -932,34 +1022,10 @@ while running
             let lines be when n == "" then 40 otherwise floor(number(n))
             print(dim("  " + trace.file_of(sid)))
             print(trace.tail(sid, lines))
-        otherwise when starts_with(input, "/model")
-            let want be trim(slice(input, 6, length(input)))
-            when want == ""
-                print("modelo actual: " + cfg["model"] + " · uso: /model <nombre>")
-                let lm be provider.list_models(cfg)
-                when lm["error"] != nothing
-                    print("  " + dim("no pude listar los modelos de " + cfg["provider"] + ": " + lm["error"]))
-                otherwise
-                    print("  disponibles en " + cfg["provider"] + ": " + join(lm["models"], ", "))
-            otherwise
-                set cfg["model"] to provider.normalize_model(cfg["provider"], want)
-                print("modelo=" + want + " (solo esta sesión; para fijarlo: LAMPSON_MODEL en lampson\\.env)")
-        otherwise when starts_with(input, "/provider")
-            let args be where(split(trim(slice(input, 9, length(input))), " "), (x) => x != "")
-            when length(args) == 0
-                print("  proveedor actual: " + cfg["provider"] + " · modelo " + cfg["model"])
-                each p in provider.providers()
-                    print("  " + (when p["has_key"] then green("● ") otherwise dim("○ ")) + pad(p["name"], 12) + dim(p["model"] + (when p["has_key"] then "" otherwise "   (sin key: LAMPSON_API_KEY_" + upper(p["name"]) + " en lampson\\.env)")))
-                print("  uso: /provider <nombre> [modelo]")
-            otherwise when not contains(provider.PRESETS, lower(args[0]))
-                print("  no conozco el proveedor " + args[0] + " · disponibles: " + join(sort_by(keys(provider.PRESETS), (x) => x), ", "))
-            otherwise
-                set cfg to provider.config_for(args[0], when length(args) > 1 then args[1] otherwise "")
-                when not cfg["has_key"]
-                    print("  " + yellow("ojo: no hay key para " + cfg["provider"] + " — agregá LAMPSON_API_KEY_" + upper(cfg["provider"]) + "=… en lampson\\.env (se usará LAMPSON_API_KEY, que probablemente falle)"))
-                print("  proveedor=" + cfg["provider"] + " · modelo=" + cfg["model"] + " · " + cfg["wire"] + " → " + cfg["base_url"] + dim("   (solo esta sesión; para fijarlo: LAMPSON_PROVIDER en .env)"))
-        otherwise when input == "/setup"
-            when setup_wizard()
+        otherwise when starts_with(input, "/model") or starts_with(input, "/provider") or starts_with(input, "/setup")
+            -- un solo flujo (ver setup_wizard): proveedor → modelo (lista de la API) → key si falta; se guarda en config.json
+            let rest be trim(replace_re(input, "^/(model|provider|setup)", ""))
+            when setup_from_args(rest, cfg["provider"], cfg["model"])
                 set cfg to provider.config()
         otherwise when input == "/paste"
             attach_image("clip", "")
@@ -1271,7 +1337,7 @@ while running
             let want be trim(slice(input, 6, length(input)))
             when want == ""
                 print("agente=" + profile + " · disponibles: " + join(agents.names(), ", "))
-            otherwise when contains(agents.PROFILES, want)
+            otherwise when contains(agents.names(), want)
                 set profile to want
                 set system_msg to system_for(profile)
                 set opts to opts_for(profile, mode)

package/hub.tpl.syn

@@ -57,13 +57,21 @@ serve on 8080
     -- la UI de un workspace: el mismo index.html; el frontend deduce /w/<slug> de la URL (BASE en js/core.js).
     -- Sin barra final: el runtime normaliza "/w/x/" → "/w/x" (301), así que la ruta canónica es esta
     route "GET /w/:slug"
+        -- entrar a un workspace apagado lo enciende (y levanta la pausa manual): si alguien abre la URL es para usarlo
+        let w be ws.get(params.slug)
+        when w != nothing and ws.health(w) == nothing
+            ws.start_ws(w)
+            ws.wait_ready(w, 8)
+            ws.summary()
         give html(read_file("public/index.html"))
 
     route "GET /api/hub" requires auth
         give {"ok": true, "port": ws.HUB_PORT, "idle_hours": ws.idle_hours(), "home": ws.home()}
 
     route "GET /api/workspaces" requires auth
-        give {"workspaces": ws.summary(), "idle_hours": ws.idle_hours()}
+        -- la caché del blackboard (tick + acciones) salvo ?fresh=1: la UI lo pide tras encender/apagar
+        let fresh be contains(query, "fresh")
+        give {"workspaces": when fresh then ws.summary() otherwise ws.summary_cached(20), "idle_hours": ws.idle_hours()}
 
     -- registrar una carpeta como workspace (y arrancarla)
     route "POST /api/workspaces" requires auth
@@ -73,6 +81,7 @@ serve on 8080
             let w be ws.ensure(text(b["path"]))
             ws.start_ws(w)
             ws.wait_ready(w, 8)
+            ws.summary()
             give {"ok": true, "workspace": w, "url": "/w/" + w["slug"] + "/"}
         recover err
             give fail(400, text(err))
@@ -84,7 +93,9 @@ serve on 8080
         when w == nothing
             give not_found("no such workspace")
         ws.start_ws(w)
-        give {"ok": ws.wait_ready(w, 8)}
+        let ok be ws.wait_ready(w, 8)
+        ws.summary()
+        give {"ok": ok}
 
     route "POST /api/workspaces/stop" requires auth
         expect body {slug: text}
@@ -92,13 +103,15 @@ serve on 8080
         let w be ws.get(text(b["slug"]))
         when w == nothing
             give not_found("no such workspace")
-        give {"ok": ws.stop_ws(w)}
+        give {"ok": ws.pause_ws(w)}
 
     route "POST /api/workspaces/remove" requires auth
         expect body {slug: text}
         let b be json of request
         try
-            give {"ok": true, "result": ws.remove(text(b["slug"]))}
+            let res be ws.remove(text(b["slug"]))
+            ws.summary()
+            give {"ok": true, "result": res}
         recover err
             give fail(400, text(err))
 
@@ -113,6 +126,7 @@ serve on 8080
             give fail(400, "policy must be auto | always | off")
         set w["policy"] to text(b["policy"])
         ws.put(w)
+        ws.summary()
         give {"ok": true}
 
     -- diálogo nativo del SO (PC); nothing → la UI usa el explorador propio

package/lib/provider.syn

@@ -36,7 +36,9 @@ export let PRESETS be {
     "openrouter": {"wire": "openai",    "base_url": "https://openrouter.ai/api/v1",      "model": "deepseek/deepseek-chat"},
     "ollama":     {"wire": "openai",    "base_url": "http://127.0.0.1:11434/v1",         "model": "qwen2.5-coder"},
     "anthropic":  {"wire": "anthropic", "base_url": "https://api.anthropic.com/v1",      "model": "claude-sonnet-4-6"},
-    "minimax":    {"wire": "anthropic", "base_url": "https://api.minimax.io/anthropic/v1", "model": "MiniMax-M3"}
+    "minimax":    {"wire": "anthropic", "base_url": "https://api.minimax.io/anthropic/v1", "model": "MiniMax-M3"},
+    -- Z.ai (Zhipu): API compatible con OpenAI. Coding Plan: LAMPSON_BASE_URL=https://api.z.ai/api/coding/paas/v4
+    "glm":        {"wire": "openai",    "base_url": "https://api.z.ai/api/paas/v4",       "model": "glm-5.3"}
 }
 
 -- Keys: una por proveedor en .env como LAMPSON_API_KEY_<PROVIDER> (LAMPSON_API_KEY_DEEPSEEK, _ANTHROPIC…);
@@ -95,7 +97,7 @@ export task providers()
 -- Nombres de modelo: DeepSeek, OpenAI, Anthropic, Groq, Kimi, Grok y OpenRouter publican ids en minúsculas
 -- y la API rechaza otra capitalización ("deepseek-v4-pro" sí, "DeepSeek-V4-Pro" → 400 invalid_request_error,
 -- visto 2026-08-27 con un nombre tipeado en /setup). MiniMax ("MiniMax-M3") y Ollama (tags) se dejan tal cual.
-let LOWERCASE_MODELS be ["deepseek", "openai", "anthropic", "groq", "kimi", "grok", "openrouter"]
+let LOWERCASE_MODELS be ["deepseek", "openai", "anthropic", "groq", "kimi", "grok", "openrouter", "glm"]
 
 export task normalize_model(name, model)
     let m be trim(text(model))
@@ -255,6 +257,9 @@ export task supports_vision(cfg)
         give contains(m, "vision") or starts_with(m, "grok-4")
     when p == "kimi"
         give contains(m, "vision") or contains(m, "vl")
+    -- GLM: los modelos con visión llevan sufijo v (glm-4.5v, glm-4.6v)
+    when p == "glm"
+        give contains(m, "vision") or ends_with(m, "v") or contains(m, "v-")
     give false
 
 -- Modelo sin visión: la imagen se reemplaza por una nota que el modelo puede explicarle al usuario

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.5",
   "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) -->