lampson 0.2.3 → 0.2.5

package/lib/term.syn

@@ -0,0 +1,162 @@
+-- lib/term.syn — terminales del navegador que SOBREVIVEN a un F5.
+--
+-- DISEÑO (mismo patrón que lib/tools/proc.syn): un proc_spawn hecho dentro de un handler muere cuando
+-- termina el request — y un socket es un request. Por eso el pty vive dentro de un AGENTE supervisor
+-- (lo único con ciclo de vida propio bajo `serve`) y el socket es sólo un PUENTE por el bus:
+--
+--   navegador → socket → bus "term.ctl.<id>"  → agente → proc_send / proc_resize / kill / replay
+--   agente    → bus "term.out.<id>" → socket → navegador   ("o" salida · "exit" código · "replay")
+--
+-- Cerrar la pestaña del navegador ya no mata la shell: el socket se va, el agente sigue. Al volver, la UI
+-- pide GET /api/terms, ve las que están vivas y se reengancha con ?id=<id>; el agente le reenvía los
+-- últimos chunks del pty (replay en memoria) para que la pantalla no aparezca en blanco.
+--
+-- Recolección: cada socket enganchado manda un ping; sin NINGÚN socket por IDLE_CLOSE segundos, el
+-- supervisor cierra la shell. Y todo muere con el proceso lampson, como siempre (sin huérfanos).
+--
+-- OJO (miga del runtime): un agente NO ve las constantes ni las tasks del módulo, sólo sus parámetros y
+-- las builtins — por eso KEEP_CHUNKS / IDLE_CLOSE viajan en el `spawn`.
+
+export let MAX_TERMS be 4
+let KEEP_CHUNKS be 240          -- replay: últimos N chunks del pty (bastante más que una pantalla)
+let IDLE_CLOSE be 1800          -- 30 min sin ningún socket enganchado → se recoge la shell
+let IDS_KEY be "term:ids"
+
+-- shell del terminal web: [cmd, args]. Windows: pwsh si está, si no PowerShell 5; unix: bash de login.
+-- En pwsh, los directorios de `ls` salen sin fondo azul (el default de $PSStyle se lee mal en oscuro).
+export task shell()
+    require exec
+    require env("OS")
+    when env("OS", "") == "Windows_NT"
+        try
+            run("pwsh", ["-NoLogo", "-Command", "exit"], 10)
+            give ["pwsh", ["-NoLogo", "-NoExit", "-Command", "$PSStyle.FileInfo.Directory = $PSStyle.Foreground.BrightBlue"]]
+        recover err
+            give ["powershell", ["-NoLogo"]]
+    give ["bash", ["-l"]]
+
+-- cwd del terminal: la ruta REAL del proyecto (LAMPSON_WORKSPACE), no la junction ./workspace —
+-- así el prompt muestra dónde estás de verdad y coincide con el header.
+export task cwd()
+    require env("LAMPSON_*")
+    give env("LAMPSON_WORKSPACE", "workspace")
+
+-- ---------- supervisor: un agente por terminal ----------
+agent TermSup
+    require exec
+    require time
+    require env("LAMPSON_*")
+    require env("OS")
+    require file("workspace")
+    require file("workspace/*")
+    let key be "term:" + id
+    let p be nothing
+    try
+        set p to proc_spawn(sh, args, {"cwd": dir, "pty": true, "cols": cols, "rows": rows})
+    recover err
+        share {"status": "exited", "pid": 0, "shell": sh, "cwd": dir, "started": nothing, "error": text(err)} as key
+    when p != nothing
+        share {"status": "running", "pid": proc_stats(p)["pid"], "shell": sh, "cwd": dir, "started": now(), "error": ""} as key
+        let sub be bus_subscribe("term.ctl." + id)
+        let chunks be []
+        let seen be now()
+        let open be true
+        while open
+            let ev be select({"p": p, "c": sub}, 20)
+            when ev == nothing
+                when proc_status(p) != "running"
+                    set open to false
+                otherwise when now() - seen > idle
+                    proc_close(p)
+                    set open to false
+            otherwise when ev["name"] == "c"
+                let m be ev["data"]
+                set seen to now()
+                when m["k"] == "in"
+                    proc_send(p, m["d"])
+                otherwise when m["k"] == "resize"
+                    proc_resize(p, floor(m["cols"]), floor(m["rows"]))
+                otherwise when m["k"] == "replay"
+                    -- sólo para el socket que lo pidió (`to`): con dos pestañas abiertas, la otra no repite
+                    bus_publish("term.out." + id, {"k": "replay", "to": m["to"], "d": join(chunks, "")})
+                otherwise when m["k"] == "kill"
+                    proc_close(p)
+                    set open to false
+            otherwise when ev["type"] == "exit"
+                bus_publish("term.out." + id, {"k": "exit", "to": "", "code": ev["data"]["exit_code"]})
+                set open to false
+            otherwise
+                let d be when is_bytes(ev["data"]) then decode(ev["data"], "utf8_lossy") otherwise ev["data"]
+                set chunks to append(chunks, d)
+                when length(chunks) > keep
+                    set chunks to slice(chunks, length(chunks) - keep, length(chunks))
+                bus_publish("term.out." + id, {"k": "o", "to": "", "d": d})
+        proc_close(p)
+        bus_unsubscribe(sub)
+        share {"status": "exited", "pid": 0, "shell": sh, "cwd": dir, "started": nothing, "error": ""} as key
+
+-- ---------- estado (blackboard) ----------
+
+export task state(id)
+    observe "term:" + id as st
+    give st
+
+export task alive(id)
+    let st be state(id)
+    when st == nothing
+        give false
+    give st["status"] == "running"
+
+task ids()
+    observe IDS_KEY as v
+    when v == nothing
+        give []
+    give v
+
+-- las terminales vivas, para que la UI reconstruya sus pestañas después de un F5
+export task list()
+    let out be []
+    each id in ids()
+        let st be state(id)
+        when st != nothing and st["status"] == "running"
+            set out to append(out, {"id": id, "pid": st["pid"], "shell": st["shell"], "cwd": st["cwd"], "started": st["started"]})
+    give out
+
+export task count()
+    give length(list())
+
+task new_id()
+    require time
+    require random
+    give "t" + text(floor(now() * 1000)) + "-" + text(floor(random() * 10000))
+
+-- arranca una terminal nueva y devuelve su id (nothing si ya se llegó al máximo)
+export task start(cols, rows)
+    require exec
+    require time
+    require random
+    require env("LAMPSON_*")
+    require env("OS")
+    require file("workspace")
+    require file("workspace/*")
+    when count() >= MAX_TERMS
+        give nothing
+    let sh be shell()
+    let dir be cwd()
+    let id be new_id()
+    -- "starting" ANTES del spawn: la clave puede tener el estado viejo de un id anterior y list() miente
+    share {"status": "starting", "pid": 0, "shell": sh[0], "cwd": dir, "started": now(), "error": ""} as "term:" + id
+    share append(ids(), id) as IDS_KEY
+    spawn TermSup with id = id, sh = sh[0], args = sh[1], dir = dir, cols = cols, rows = rows, keep = KEEP_CHUNKS, idle = IDLE_CLOSE
+    let waited be 0
+    while waited < 30 and state(id)["status"] == "starting"
+        sleep(0.1)
+        set waited to waited + 1
+    give id
+
+-- entrada del navegador hacia la shell (el socket es sólo el cartero)
+export task ctl(id, msg)
+    give bus_publish("term.ctl." + id, msg)
+
+export task kill(id)
+    give bus_publish("term.ctl." + id, {"k": "kill"})

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.3",
+  "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/layout.css

@@ -14,6 +14,9 @@ header { grid-area:top; border-bottom:1px solid var(--rule); background:var(--pa
 .hbtn:hover { color:var(--ink); border-color:var(--ink-3); }
 .hbtn.upd { color:var(--amber); border-color:var(--amber); }
 .hbtn.upd:hover { color:var(--ink); border-color:var(--ink); }
+/* terminal minimizada: la shell sigue viva y el botón la trae de vuelta */
+.hbtn.live { color:var(--str); border-color:var(--str); }
+.hbtn.live:hover { color:var(--ink); border-color:var(--ink); }
 .theme-toggle { display:flex; align-items:center; justify-content:center; background:none; border:0; color:var(--ink-3); cursor:pointer; padding:6px; border-radius:var(--r); line-height:0; }
 .theme-toggle:hover { color:var(--ink); background:var(--paper-2); }
 header select { font:400 11.5px/1 var(--mono); color:var(--ink-2); background:var(--paper); border:1px solid var(--rule); border-radius:var(--r); padding:5px 6px; cursor:pointer; }
@@ -54,14 +57,41 @@ main { grid-area:main; display:grid; grid-template-rows:1fr auto; min-height:0;
 #viewer pre { margin:0; padding:14px 18px; font:400 12.5px/1.62 var(--mono); tab-size:4; }
 #viewer pre .ln { display:inline-block; width:4ch; margin-right:16px; color:var(--ink-3); text-align:right; user-select:none; }
 #viewer pre.log { color:var(--ink-2); white-space:pre-wrap; }
-/* terminal real (xterm.js sobre un pty del servidor) — ocupa la zona central como un archivo abierto */
-#termpane { display:none; height:100%; flex-direction:column; }
-#termpane .vh { position:static; }
+/* terminal real (xterm.js sobre un pty del servidor) — ocupa la zona central como un archivo abierto.
+   Varias terminales conviven como pestañas: una instancia de xterm por .xt, sólo la activa a la vista. */
+#termpane { display:none; height:100%; flex-direction:column; overflow:hidden; }
+#termpane .vh { position:static; flex:none; }
 #termpane .vh .st { width:7px; height:7px; border-radius:50%; background:var(--ink-3); }
 #termpane.live .vh .st { background:var(--str); }
-#xterm { flex:1; min-height:0; padding:10px 14px; background:var(--paper); }
-#xterm .xterm { height:100%; }
-#xterm .xterm-viewport { background:transparent !important; }
+/* cabecera del panel en UNA línea: pestañas y botones no se encogen y la meta se recorta */
+#termpane .vh b, #termpane .vh .ttabs, #termpane .vh .hbtn, #termpane .vh .wbtn { flex:none; white-space:nowrap; }
+#termpane .vh #tmeta { min-width:0; overflow:hidden; text-overflow:ellipsis; white-space:nowrap; }
+/* pestañas: en cuál estás se ve de lejos (la activa lleva el acento del tema, clara y oscura) */
+.vh .ttabs { display:flex; align-items:center; gap:5px; }
+.vh .ttab { cursor:pointer; min-width:20px; text-align:center; padding:2px 7px; border-radius:2px; border:1px solid var(--rule-2); color:var(--ink-3); background:transparent; }
+.vh .ttab:hover { color:var(--ink); border-color:var(--ink-3); }
+.vh .ttab.on { color:var(--accent); border-color:var(--accent); background:var(--accent-bg); font-weight:600; }
+.vh .ttab.dead { text-decoration:line-through; opacity:.75; }
+/* «+ nueva terminal»: mismo botón que los del encabezado, en el acento para que se vea */
+.vh .hbtn.sm { padding:4px 9px; font-size:9.5px; letter-spacing:.08em; }
+.vh .hbtn.new { color:var(--accent); border-color:var(--accent); }
+.vh .hbtn.new:hover { background:var(--accent-bg); color:var(--accent); border-color:var(--accent); }
+.vh .hbtn.new:disabled { color:var(--ink-3); border-color:var(--rule-2); background:transparent; }
+/* minimizar · pantalla completa · cerrar, a la derecha como en cualquier ventana */
+.vh .wbtn { cursor:pointer; width:22px; height:20px; display:inline-flex; align-items:center; justify-content:center; border-radius:2px; color:var(--ink-3); font-size:12px; line-height:1; }
+.vh .wbtn:hover { color:var(--ink); background:var(--paper); }
+.vh .wbtn.cl:hover { color:var(--rubric); }
+/* El aire alrededor de cada terminal va como MARGEN, nunca como padding: el FitAddon mide el alto/ancho
+   del contenedor con getComputedStyle (que con box-sizing:border-box incluye su padding) y sólo
+   descuenta el padding del .xterm, que es 0. Con padding calculaba una fila de más, el .xterm-screen
+   desbordaba el hueco, el #stage sacaba su barra de scroll, eso robaba 7px de ancho, el
+   ResizeObserver volvía a ajustar y cada rebote hacía clear()+resize() del terminal y un resize del
+   pty: el parpadeo. Con margen el fit mide exactamente el hueco; overflow:hidden es el cinturón. */
+#termpane.max { position:fixed; inset:0; z-index:60; height:auto; background:var(--paper); }
+#xterms { flex:1; min-height:0; display:flex; }
+#xterms .xt { flex:1; min-height:0; margin:10px 14px; background:var(--paper); overflow:hidden; }
+#xterms .xt .xterm { height:100%; }
+#xterms .xt .xterm-viewport { background:transparent !important; }
 
 /* ---- composer ---- */
 form { padding:12px 40px 12px; border-top:1px solid var(--rule); background:var(--paper); box-sizing:border-box; width:100%; max-width:100%; min-width:0; }

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) -->
@@ -21,7 +22,7 @@
     <span class="brand">lampson<span class="proj" id="proj">…</span></span>
     <span class="spacer"></span>
     <button class="hbtn upd" id="update" style="display:none"></button>
-    <button class="hbtn" id="term" title="abrir un terminal real (shell en el workspace)">&gt;_ terminal</button>
+    <button class="hbtn" id="term" title="terminal real (shell en el workspace): lo abre, lo trae de vuelta si está minimizado y lo esconde si está a la vista — verde = shell abierta">&gt;_ terminal</button>
     <button class="hbtn" id="new" title="empezar una conversación nueva">+ sesión</button>
     <button class="theme-toggle" id="cfgBtn" type="button" title="configuración: zona horaria, aprobaciones a distancia, proveedor"><svg width="16" height="16" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.8" stroke-linecap="round" stroke-linejoin="round"><circle cx="12" cy="12" r="3"/><path d="M19.4 15a1.7 1.7 0 0 0 .3 1.8l.1.1a2 2 0 1 1-2.8 2.8l-.1-.1a1.7 1.7 0 0 0-1.8-.3 1.7 1.7 0 0 0-1 1.5V21a2 2 0 1 1-4 0v-.1a1.7 1.7 0 0 0-1.1-1.5 1.7 1.7 0 0 0-1.8.3l-.1.1a2 2 0 1 1-2.8-2.8l.1-.1a1.7 1.7 0 0 0 .3-1.8 1.7 1.7 0 0 0-1.5-1H3a2 2 0 1 1 0-4h.1a1.7 1.7 0 0 0 1.5-1.1 1.7 1.7 0 0 0-.3-1.8l-.1-.1a2 2 0 1 1 2.8-2.8l.1.1a1.7 1.7 0 0 0 1.8.3h.1a1.7 1.7 0 0 0 1-1.5V3a2 2 0 1 1 4 0v.1a1.7 1.7 0 0 0 1 1.5 1.7 1.7 0 0 0 1.8-.3l.1-.1a2 2 0 1 1 2.8 2.8l-.1.1a1.7 1.7 0 0 0-.3 1.8v.1a1.7 1.7 0 0 0 1.5 1H21a2 2 0 1 1 0 4h-.1a1.7 1.7 0 0 0-1.5 1z"/></svg></button>
     <button class="theme-toggle" id="theme" type="button" title="cambiar tema"></button>
@@ -92,7 +93,7 @@
   <div id="stage">
     <div id="viewer"><div class="vh"><b id="vpath"></b><span id="vmeta"></span><span class="spacer"></span><span class="x" id="vclose">✕ cerrar</span></div><pre id="vbody"></pre></div>
     <div id="log"></div>
-    <div id="termpane"><div class="vh"><span class="st"></span><b>terminal</b><span id="tmeta"></span><span class="spacer"></span><span class="x" id="tclose">✕ cerrar</span></div><div id="xterm"></div></div>
+    <div id="termpane"><div class="vh"><span class="st"></span><b>terminal</b><span class="ttabs" id="ttabs"></span><button class="hbtn sm new" id="tnew" title="abrir otra terminal: una shell nueva en el workspace">+ nueva terminal</button><span id="tmeta"></span><span class="spacer"></span><span class="wbtn" id="tmin" title="minimizar: esconde el panel y la shell sigue viva">&#8212;</span><span class="wbtn" id="tmax" title="pantalla completa">&#9633;</span><span class="wbtn cl" id="tclose" title="cerrar esta terminal y matar su shell">&#10005;</span></div><div id="xterms"></div></div>
   </div>
   <div>
     <form id="f">

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 || [];