npm - lampson - Versions diffs - 0.1.3 → 0.2.0 - Mend

lampson 0.1.3 → 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (55) hide show

package/public/js/terminal.js ADDED Viewed

@@ -0,0 +1,49 @@
+// terminal.js — terminal real: xterm.js ↔ WebSocket /api/term ↔ pty en el servidor
+// Frames binarios = bytes del pty; texto JSON = control (hello / exit). Cerrar el panel cierra el socket y mata el shell.
+let term = null, termWs = null, termFit = null;
+function termTheme() {
+  const s = getComputedStyle(document.documentElement); const v = n => s.getPropertyValue(n).trim();
+  return { background: v('--paper'), foreground: v('--ink'), cursor: v('--accent'), cursorAccent: v('--paper'), selectionBackground: v('--sel'),
+    black: v('--paper-3'), brightBlack: v('--ink-3'), red: v('--rubric'), brightRed: v('--rubric'), green: v('--str'), brightGreen: v('--str'),
+    yellow: v('--amber'), brightYellow: v('--amber'), blue: v('--term-blue'), brightBlue: v('--accent'), magenta: v('--rubric'), brightMagenta: v('--rubric'),
+    cyan: v('--accent'), brightCyan: v('--accent'), white: v('--ink-2'), brightWhite: v('--ink') };
+}
+function openTerm() {
+  if (term) { showPane('term'); termFit.fit(); term.focus(); return; }
+  showPane('term'); procOpen = null; clearInterval(procTimer);
+  term = new Terminal({ cursorBlink: true, fontFamily: getComputedStyle(document.documentElement).getPropertyValue('--mono'), fontSize: 13, lineHeight: 1.25, theme: termTheme(), scrollback: 5000, allowProposedApi: true });
+  termFit = new FitAddon.FitAddon(); term.loadAddon(termFit); term.open($('#xterm')); termFit.fit();
+  // URLs clickeables (npm run dev imprime http://localhost:3000): link provider mínimo con la API nativa
+  // de xterm v5 — el addon web-links no está vendorizado y no hace falta para http/https
+  const TERM_URL_RE = /https?:\/\/[^\s"'`<>()\[\]{}]*[^\s"'`<>()\[\]{}.,;:!?]/g;
+  term.registerLinkProvider({
+    provideLinks(y, cb) {
+      const line = term.buffer.active.getLine(y - 1);
+      if (!line) return cb(undefined);
+      const text = line.translateToString(true);
+      const links = []; let m; TERM_URL_RE.lastIndex = 0;
+      while ((m = TERM_URL_RE.exec(text))) {
+        links.push({ range: { start: { x: m.index + 1, y }, end: { x: m.index + m[0].length, y } }, text: m[0], activate: (_e, uri) => window.open(uri, '_blank') });
+      }
+      cb(links.length ? links : undefined);
+    }
+  });
+  $('#tmeta').textContent = 'conectando…';
+  termWs = new WebSocket((location.protocol === 'https:' ? 'wss://' : 'ws://') + location.host + BASE + '/api/term'); termWs.binaryType = 'arraybuffer';
+  const send = (o) => { if (termWs && termWs.readyState === 1) termWs.send(JSON.stringify(o)); };
+  termWs.onopen = () => { $('#termpane').classList.add('live'); send({ type: 'resize', cols: term.cols, rows: term.rows }); term.focus(); };
+  termWs.onmessage = (e) => { // "o" + salida del pty | "c" + JSON de control
+    const s = String(e.data);
+    if (s[0] === 'o') { term.write(s.slice(1)); return; }
+    let m; try { m = JSON.parse(s.slice(1)); } catch { return; }
+    if (m.type === 'hello') $('#tmeta').textContent = `${m.shell} · pid ${m.pid} · ${m.cwd || 'workspace'}`;
+    if (m.type === 'exit') { term.write(`\r\n\x1b[2m[shell terminado · código ${m.code}]\x1b[0m\r\n`); $('#termpane').classList.remove('live'); }
+  };
+  termWs.onclose = () => { $('#termpane').classList.remove('live'); if ($('#tmeta').textContent === 'conectando…') $('#tmeta').textContent = 'sin conexión'; };
+  term.onData(d => send({ type: 'in', data: d }));
+  term.onResize(({ cols, rows }) => send({ type: 'resize', cols, rows }));
+  new ResizeObserver(() => { if ($('#termpane').style.display !== 'none') termFit.fit(); }).observe($('#xterm'));
+}
+function closeTerm() { if (termWs) { try { termWs.close(); } catch (e) {} } if (term) term.dispose(); term = null; termWs = null; termFit = null; $('#xterm').innerHTML = ''; $('#termpane').classList.remove('live'); showPane('log'); }
+$('#term').onclick = openTerm;
+$('#tclose').onclick = closeTerm;

package/public/js/theme.js ADDED Viewed

@@ -0,0 +1,6 @@
+// theme.js — tema día / noche (el valor inicial ya lo puso el script del <head>)
+const SUN = '<svg width="16" height="16" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.8" stroke-linecap="round"><circle cx="12" cy="12" r="4"/><path d="M12 2.7v2.1M12 19.2v2.1M2.7 12h2.1M19.2 12h2.1M5.3 5.3l1.5 1.5M17.2 17.2l1.5 1.5M18.7 5.3l-1.5 1.5M6.8 17.2l-1.5 1.5"/></svg>';
+const MOON = '<svg width="16" height="16" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.8" stroke-linecap="round"><path d="M20.2 14.6A8.6 8.6 0 0 1 9.4 3.8a8.6 8.6 0 1 0 10.8 10.8z"/></svg>';
+function paintTheme() { const light = document.documentElement.getAttribute('data-theme') === 'light'; $('#theme').innerHTML = light ? MOON : SUN; $('#theme').title = light ? 'Cambiar a tema oscuro' : 'Cambiar a tema claro'; }
+$('#theme').onclick = () => { const r = document.documentElement; r.setAttribute('data-theme', r.getAttribute('data-theme') === 'light' ? 'dark' : 'light'); try { localStorage.setItem('lampson.theme', r.getAttribute('data-theme')); } catch (e) {} paintTheme(); if (typeof term !== 'undefined' && term) term.options.theme = termTheme(); };
+paintTheme();

package/public/js/todo.js ADDED Viewed

@@ -0,0 +1,10 @@
+// todo.js — lista de tareas del agente en la sesión actual (tool todo)
+async function loadTodo() {
+  let r; try { r = await (await fetch(BASE + '/api/todo' + (session ? '?session=' + encodeURIComponent(session) : ''))).json(); } catch (e) { return; }
+  const box = $('#todoBox'); box.innerHTML = '';
+  const items = r.items || []; const open = items.filter(i => i.status === 'pending' || i.status === 'in_progress').length;
+  $('#todoCount').textContent = items.length ? (open ? `${open} · ${items.length}` : `${items.length}`) : ''; autoSec('todo', open > 0);
+  if (!items.length) { box.innerHTML = '<div class="p none">ninguna</div>'; return; }
+  const mark = { completed: '☑', in_progress: '▶', cancelled: '✕', pending: '☐' };
+  for (const it of items) { const d = document.createElement('div'); d.className = 'p' + (it.status === 'in_progress' ? ' run' : ''); d.style.cursor = 'default'; d.innerHTML = `<span class="nm" style="opacity:${it.status === 'completed' || it.status === 'cancelled' ? .5 : 1}">${mark[it.status] || '☐'} ${esc(it.content)}</span>`; box.appendChild(d); }
+}

package/public/js/tree.js ADDED Viewed

@@ -0,0 +1,53 @@
+// tree.js — árbol de archivos (panel derecho) con estado git, y el visor de archivos
+let gitStatus = { changes: {} };
+async function loadGit() {
+  try { gitStatus = await (await fetch(BASE + '/api/git')).json(); } catch (e) { gitStatus = { repo: false, changes: {} }; }
+  const g = $('#git'); if (!gitStatus.repo) { g.style.display = 'none'; return; }
+  const k = gitStatus.counts || {}; const nuevos = (k.added||0)+(k.untracked||0);
+  const parts = []; // solo contadores distintos de cero — lo demás es ruido
+  if (k.modified) parts.push(`<b class="w">~${k.modified}</b>`);
+  if (nuevos) parts.push(`<b class="g">+${nuevos}</b>`);
+  if (k.deleted) parts.push(`<b class="r">−${k.deleted}</b>`);
+  g.innerHTML = `⎇ <span class="br">${esc(gitStatus.branch)}</span>` + (parts.length ? parts.join('') : '<b class="c">✓</b>');
+  g.title = parts.length ? `${k.modified||0} modificados · ${nuevos} nuevos · ${k.deleted||0} borrados` : 'working tree limpio';
+  g.style.display = 'flex';
+}
+function gitClass(path, isDir) {
+  const ch = gitStatus.changes || {};
+  if (!isDir) { const c = ch[path]; return c === '??' ? 'gU' : c === 'A' ? 'gA' : c === 'D' ? 'gD' : c ? 'gM' : ''; }
+  const p = path + '/'; for (const k in ch) if (k.startsWith(p)) return 'gM'; return '';
+}
+async function loadTree() {
+  await loadGit();
+  const box = $('#tree'); box.innerHTML = '';
+  let t; try { t = await (await fetch(BASE + '/api/tree')).json(); } catch (e) { box.innerHTML = '<div class="row none">sin árbol</div>'; return; }
+  const render = (entries, parent, depth) => {
+    for (const e of entries) {
+      const n = document.createElement('div'); n.className = 'node';
+      const gc = gitClass(e.path, e.is_dir); const code = (gitStatus.changes || {})[e.path];
+      const r = document.createElement('div'); r.className = 'row' + (e.is_dir ? ' dir' : '') + (gc ? ' ' + gc : ''); r.title = e.path + (code ? ' · git ' + code : '');
+      r.innerHTML = `<span class="tw">${e.is_dir ? '▸' : ''}</span><span>${esc(e.name)}${e.is_dir ? '/' : ''}</span>` + (code && !e.is_dir ? `<span class="gs">${code === '??' ? 'N' : code}</span>` : '');
+      n.appendChild(r);
+      if (e.is_dir) {
+        const k = document.createElement('div'); k.className = 'kids hidden'; render(e.children || [], k, depth + 1); n.appendChild(k);
+        r.querySelector('.tw').textContent = '▸';
+        r.onclick = () => { k.classList.toggle('hidden'); r.querySelector('.tw').textContent = k.classList.contains('hidden') ? '▸' : '▾'; };
+      } else { r.onclick = () => openFile(e.path, r); }
+      parent.appendChild(n);
+    }
+  };
+  render(t.entries || [], box, 0);
+  if (t.truncated) { const d = document.createElement('div'); d.className = 'row none'; d.textContent = '… árbol truncado'; box.appendChild(d); }
+}
+async function openFile(path, row) {
+  document.querySelectorAll('.row.active').forEach(x => x.classList.remove('active')); if (row) row.classList.add('active');
+  const r = await fetch(BASE + '/api/file?path=' + encodeURIComponent(path)); const d = await r.json();
+  if (!r.ok) { add('denied', esc(d.error || 'error')); return; }
+  $('#vpath').textContent = d.path; $('#vmeta').textContent = d.lines + ' líneas';
+  $('#vbody').className = ''; $('#vbody').innerHTML = String(d.content).split('\n').map((l, i) => `<span class="ln">${i + 1}</span>${esc(l)}`).join('\n');
+  showPane('viewer'); $('#stage').scrollTop = 0;
+}
+// el árbol se refresca solo cuando una tool pudo crear/borrar archivos, con un pequeño debounce; ↻ lo fuerza a mano
+function treeChanged() { debounce('tree', loadTree, 400); }
+$('#tree-reload').onclick = e => { e.stopPropagation(); const b = e.currentTarget; b.classList.remove('spin'); void b.offsetWidth; b.classList.add('spin'); loadTree(); };
+$('#vclose').onclick = () => { showPane('log'); procOpen = null; clearInterval(procTimer); $('#vbody').className = ''; document.querySelectorAll('.row.active, .m.active, .p.active').forEach(x => x.classList.remove('active')); memOpen = null; };

package/public/js/update.js ADDED Viewed

@@ -0,0 +1,14 @@
+// update.js — actualizaciones de Lampson (una vez por carga; el fetch a origin puede tardar)
+async function checkUpdate() {
+  let u; try { u = await (await fetch(BASE + '/api/update')).json(); } catch (e) { return; }
+  const b = $('#update'); if (!u.available) { b.style.display = 'none'; return; }
+  b.textContent = `⬆ actualizar · ${u.behind} commit${u.behind === 1 ? '' : 's'}`;
+  b.title = `${u.current} → ${u.latest}\n${(u.notes || []).map(n => '· ' + n).join('\n')}\n\nen terminal: ${u.command}`;
+  b.style.display = '';
+  b.onclick = async () => {
+    b.disabled = true; b.textContent = 'actualizando…';
+    let r; try { r = await (await fetch(BASE + '/api/update', { method: 'POST' })).json(); } catch (e) { r = { result: 'no se pudo actualizar: ' + e.message }; }
+    add('meta', '⬆ ' + esc(r.result || ''));
+    b.disabled = false; b.textContent = '⬆ reiniciá el servidor'; b.onclick = null;
+  };
+}

package/public/js/workspaces.js ADDED Viewed

@@ -0,0 +1,83 @@
+// workspaces.js — el selector de workspace de la cabecera (dentro de un workspace) y el Panel de workspaces.
+// La API de workspaces es del HUB (raíz, sin BASE): /api/workspaces…  Sin hub (standalone) el selector se oculta.
+let wsList = [], wsIdle = 4;
+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; }
+}
+async function paintWorkspacePill() {
+  const pill = $('#wsPill'); if (!pill) return;
+  if (!BASE) { pill.style.display = 'none'; return; }
+  const ok = await fetchWorkspaces();
+  const me = wsList.find(w => w.slug === WS_SLUG);
+  pill.style.display = ok ? '' : 'none';
+  pill.textContent = (me ? me.name : WS_SLUG) + ' ▾'; pill.title = (me ? me.path + '\n' : '') + 'cambiar de workspace · los demás siguen vivos';
+}
+const WS_NEW = { slug: '__new' };
+function openWorkspaces(selectSlug) {
+  Panel.open({
+    id: 'workspaces', eyebrow: 'workspaces', title: 'Workspaces', sub: 'cada uno corre en su propio proceso', layout: 'browse', select: selectSlug || WS_SLUG || null,
+    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>`,
+      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>
+        <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="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>`,
+      wire: (w, box) => {
+        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 = w.url; 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); };
+        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 = '/'; else Panel.refresh(); });
+      }
+    }
+  });
+}
+function wsNewForm() {
+  return `<div class="dhead"><span class="nm serif">Nuevo workspace</span></div><div class="dform">
+    <p class="lead">Un workspace es una carpeta de tu disco: el agente solo puede tocar lo que hay adentro. Corre en su propio proceso, con sus sesiones, tareas programadas, MCP y lámparas.</p>
+    <div class="dacts" style="margin-top:0"><button class="primary" data-pick>Elegir carpeta…</button><span class="ds" data-pickhint>abre el diálogo de tu sistema</span></div>
+    <label style="margin-top:14px">ruta <input name="path" spellcheck="false" autocomplete="off" placeholder="C:\\proyectos\\mi-app  ·  /home/yo/proyectos/mi-app"></label>
+    <div data-browser style="display:none"><div class="dcap" data-here></div><div class="bitems" data-dirs style="max-height:32vh;border:1px solid var(--rule);border-radius:var(--r);padding:4px"></div></div>
+    <div class="pfoot"><button class="primary" data-go>Crear y abrir</button><button data-browse>explorar en el servidor</button><span class="derr"></span></div></div>`;
+}
+function wsNewWire(box, err) {
+  const f = n => box.querySelector(`[name="${n}"]`);
+  const browser = box.querySelector('[data-browser]');
+  const showDir = async (p) => {
+    const r = await (await fetch('/api/workspaces/browse?path=' + encodeURIComponent(p || ''))).json();
+    browser.style.display = '';
+    box.querySelector('[data-here]').textContent = r.path + (r.error ? ' — ' + r.error : '');
+    f('path').value = r.path || '';
+    const list = box.querySelector('[data-dirs]'); list.innerHTML = '';
+    const up = document.createElement('div'); up.className = 'li nodot'; up.innerHTML = '<div><div class="nm">..</div></div>'; up.onclick = () => showDir(r.parent); list.appendChild(up);
+    for (const d of (r.dirs || [])) { const it = document.createElement('div'); it.className = 'li nodot'; it.innerHTML = `<div><div class="nm" style="font-weight:400">${esc(d)}/</div></div>`; it.onclick = () => showDir(r.path.replace(/[\\/]$/, '') + (r.path.includes('\\') ? '\\' : '/') + d); list.appendChild(it); }
+  };
+  box.querySelector('[data-browse]').onclick = () => showDir(f('path').value.trim());
+  box.querySelector('[data-pick]').onclick = async () => {
+    err('esperando el diálogo… (mirá la barra de tareas)');
+    const r = await api('/api/workspaces/pick', {});
+    if (!r.data.native) { err(''); box.querySelector('[data-pickhint]').textContent = 'no hay diálogo en este equipo (VPS): usá el explorador'; showDir(''); return; }
+    err(''); if (r.data.path) f('path').value = r.data.path;
+  };
+  box.querySelector('[data-go]').onclick = async () => {
+    const path = f('path').value.trim(); if (!path) { err('elegí una carpeta'); return; }
+    err('creando y arrancando… (el hub se reinicia un instante)');
+    const r = await api('/api/workspaces', { path });
+    if (!r.ok) { err(r.data.error || ('error ' + r.status)); return; }
+    // el hub se regenera con la ruta nueva y se reinicia (--watch): esperar a que vuelva y navegar
+    const url = r.data.url; let tries = 0;
+    const poll = async () => { tries++; try { const h = await fetch(BASE + '/api/hub'); if (h.ok && tries > 2) { location.href = url; return; } } catch (e) {} if (tries < 40) setTimeout(poll, 500); else err('el hub no volvió: abrí ' + url + ' a mano'); };
+    setTimeout(poll, 1200);
+  };
+  f('path').focus();
+}
+if ($('#wsPill')) { $('#wsPill').onclick = () => openWorkspaces(); paintWorkspacePill(); }

package/skills/lampson/SKILL.md CHANGED Viewed

@@ -40,6 +40,22 @@ description: How this harness works — tools, workspace mount, permissions, age
   brief — a child does not see this conversation, cannot ask the user and cannot delegate. Reports are
   self-reports: verify before claiming success. Live logs: `.lampson/agents/<id>.log`.
+## Scheduled tasks (`schedule` tool)
+- When the user says "every day at 9", "each 6 hours", "on Mondays", "periodically", "send me", propose
+  `schedule(action=add, name, at, kind, …)`: `at` = `every 6h` | `daily 09:00` | `mon,wed 08:30` |
+  `weekdays 09:00`; one-time: `today 15:14` | `tomorrow 09:00` | `once 2026-08-29 15:14` | `in 2h` (it turns itself off after running) — the USER'S LOCAL time: write the hour as they say it, never convert to UTC (the tool result shows the next run with its offset). Tasks belong to the current workspace. `kind=lamp` (a lamp that is ON: lamp + tool + args), `kind=bash` (one
+  command that finishes on its own), `kind=prompt` (an unattended agent run: write a self-contained prompt —
+  what to do, how to verify, what to report — and pick `agent` build/review/plan/explore).
+- `permission` is the envelope of a `prompt` run with nobody watching: `strict` (dangerous → denied),
+  `ask` (default: the user gets an approval request in the web UI and, if configured, a link on their
+  phone; denied if unanswered within `approval_timeout`), `yolo`. Prefer `strict` or `review`/`plan` profiles
+  for reports; `ask`/`build` only when the task must change things.
+- `add` ALWAYS asks the user (it authorizes future runs). `notify` = a webhook URL that receives the result
+  as JSON — the way to "search X and send it to me" without an MCP.
+- Tasks are executed by Lampson's resident process. If `schedule(action=list)` says no scheduler is running,
+  tell the user: `lampson --daemon start` (or keep `lampson --web` open). A `prompt` run's report lands in a NEW session named
+  `⏰ <name>` (never in the current chat — say so); `action=log` shows the runs.
 ## When you need the USER to run something
 The user can run any command themselves from the chat by prefixing it with `!` — e.g. `!npm run dev`,
 `!cat .env`, `!git push`. Their command runs without the permission policy and its output is added to
@@ -62,6 +78,11 @@ the terminal button and run `npm run dev`), then tell me the URL".
   a vision model instead of guessing what the image shows.
 - Sessions can be deleted (`/delete <id>`, or ✕ in the web sidebar).
+## Workspaces
+- Each project folder is a workspace with its own Lampson process; the user switches between them from the
+  header pill or http://127.0.0.1:8080 (the hub). You only ever see this workspace. If the user asks to work on
+  another project, tell them to open it as a workspace (hub screen, or `lampson` in that folder) — you cannot.
 ## Network exposure
 - The web server listens on all interfaces but every `/api/*` route (and the terminal socket) only
   accepts loopback clients; others get 401 unless they present `LAMPSON_WEB_TOKEN`. If the user asks

package/skills/synsema/SKILL.md CHANGED Viewed

@@ -3,7 +3,7 @@ name: synsema
 description: Writing, checking, running and testing Synsema (.syn) code — syntax reflexes, capabilities, live processes / pseudo-terminals, and the runtime traps that cost hours. Load before touching any .syn file.
 ---
-# Synsema quick reference (v0.6.11)
+# Synsema quick reference (v0.6.12)
 > Curated 10 KB summary for the agent (the full reference is ~450 KB and lives in the user's editor
 > skill). Kept in sync by hand with each `synsema update`; if `synsema --version` is newer than the
@@ -55,6 +55,9 @@ description: Writing, checking, running and testing Synsema (.syn) code — synt
   `proc_spawn` in a handler is gone when the handler returns. A process that must outlive requests lives
   inside an `agent` spawned from the handler (own lifecycle; blackboard `share/observe` + `bus_*` are shared
   with handlers). That is how lampson's `process` tool works (`lib/tools/proc.syn`).
+- **Reverse proxy streams (v0.6.12+)**: `proxy to "http://127.0.0.1:N"` passes SSE in real time and tunnels
+  `Upgrade: websocket`; needs `require net("<upstream host>")`; `GET /*path` does not match `/`. **Cron expressions
+  (v0.6.12+)**: `cron_every("0 9 * * mon-fri", task, {"tz": "-03:00"})` — fixed offset, no DST, no persistence.
 - **Own terminal / raw keys (v0.6.11+)**: `let h be term_open({"ctrl_c": "exit"})` → `nothing` without a
   TTY / under `test`/`serve` (fall back to `read_line`); `term_recv(h, secs)` → `{type: "key", key, text,
   ctrl, alt, shift}` (`key` = `"char"|"enter"|"tab"|"backspace"|"up"|…`), `paste`, `resize`, `eof`;