lampson 0.1.0 → 0.1.2

package/lib/tools/edit.syn

@@ -1,32 +1,35 @@
--- lib/tools/edit.syn — reemplazo exacto y único (sin fuzzy replacers: exactitud antes que magia)
-use "./common.syn" as c
-
-export task tool(path, old_string, new_string, replace_all)
-    require file("workspace")
-    require file("workspace/*")
-    let real be c.ws(path)
-    let shown be c.unws(real)
-    c.check_observed(real, "edit")
-    let content be read_file(real)
-    let parts be split(content, old_string)
-    let n be length(parts) - 1
-    when n == 0
-        raise("old_string not found in " + shown + " — read the file and copy the exact text (whitespace included)")
-    let all be when replace_all == nothing then false otherwise replace_all
-    when n > 1
-        when not all
-            raise(`old_string appears {text(n)} times in {shown}; include more surrounding context to make it unique, or pass replace_all=true`)
-    write_file(real, join(parts, new_string))
-    c.mark_observed(real)
-    give `edited {shown}: {text(n)} replacement(s)`
-
-export let SPEC be {
-    "name": "edit",
-    "description": "Replace an exact string in a file. old_string must match EXACTLY (including whitespace and indentation) and be unique in the file, otherwise the call fails — include more surrounding lines to disambiguate, or set replace_all=true to replace every occurrence. The file MUST have been read in this session (and not changed since), or the call is rejected.",
-    "parameters": {"type": "object", "properties": {
-        "path": {"type": "string"},
-        "old_string": {"type": "string"},
-        "new_string": {"type": "string"},
-        "replace_all": {"type": "boolean"}
-    }, "required": ["path", "old_string", "new_string"]}
-}
+-- lib/tools/edit.syn — reemplazo exacto y único (sin fuzzy replacers: exactitud antes que magia)
+use "./common.syn" as c
+
+export task tool(path, old_string, new_string, replace_all)
+    require file("workspace")
+    require file("workspace/*")
+    let real be c.ws(path)
+    let shown be c.unws(real)
+    c.check_observed(real, "edit")
+    let content be read_file(real)
+    let parts be split(content, old_string)
+    let n be length(parts) - 1
+    when n == 0
+        raise("old_string not found in " + shown + " — read the file and copy the exact text (whitespace included)")
+    let all be when replace_all == nothing then false otherwise replace_all
+    when n > 1
+        when not all
+            raise(`old_string appears {text(n)} times in {shown}; include more surrounding context to make it unique, or pass replace_all=true`)
+    let after be join(parts, new_string)
+    write_file(real, after)
+    c.mark_observed(real)
+    -- antes/después para que la UI muestre el diff (chat.syn / web); el modelo solo recibe la línea de abajo
+    share {"path": shown, "old": content, "new": after} as "lampson:ui:diff"
+    give `edited {shown}: {text(n)} replacement(s)`
+
+export let SPEC be {
+    "name": "edit",
+    "description": "Replace an exact string in a file. old_string must match EXACTLY (including whitespace and indentation) and be unique in the file, otherwise the call fails — include more surrounding lines to disambiguate, or set replace_all=true to replace every occurrence. The file MUST have been read in this session (and not changed since), or the call is rejected.",
+    "parameters": {"type": "object", "properties": {
+        "path": {"type": "string"},
+        "old_string": {"type": "string"},
+        "new_string": {"type": "string"},
+        "replace_all": {"type": "boolean"}
+    }, "required": ["path", "old_string", "new_string"]}
+}

package/lib/tools/memo.syn

@@ -1,148 +1,148 @@
--- lib/tools/memo.syn — memoria por proyecto: notas Markdown que el agente escribe y relee
---
--- Dónde: lampson/memory/<slug>/<nombre>.md — <slug> sale de la ruta REAL del workspace
--- (LAMPSON_WORKSPACE, que fija el launcher): "<carpeta>-<hash8>". Así cada proyecto tiene su carpeta
--- aunque dos se llamen igual, y las notas viven en lampson (no ensucian el repo del usuario).
---
--- El system prompt lleva SOLO el índice (nombre + primera línea de cada nota); el contenido entra al
--- contexto cuando el agente llama `memory(read)`. Son archivos: el humano los lee/edita a mano y la
--- UI web los muestra.
-use "./common.syn" as c
-
-export let ROOT be "memory"
-
-task valid_name(name)
-    when name == nothing or name == ""
-        give false
-    give matches(name, "[a-zA-Z0-9_-]{1,60}")
-
--- slug del proyecto montado
-export task slug()
-    require env("LAMPSON_*")
-    let ws be env("LAMPSON_WORKSPACE", "workspace")
-    let norm be replace_text(lower(ws), "\\", "/")
-    let parts be where(split(norm, "/"), (x) => x != "")
-    let base be when length(parts) > 0 then parts[length(parts) - 1] otherwise "workspace"
-    let runs be find_all(base, "[a-z0-9]+")
-    let clean be when length(runs) == 0 then "project" otherwise join(runs, "-")
-    let h be slice(decode(sha256(norm), "hex"), 0, 8)
-    give clean + "-" + h
-
-export task dir()
-    require env("LAMPSON_*")
-    give ROOT + "/" + slug()
-
-task path(name)
-    give dir() + "/" + name + ".md"
-
--- [{name, title}] — title = primera línea no vacía (sin '#')
-export task list()
-    require env("LAMPSON_*")
-    require file.read("memory")
-    require file.read("memory/*")
-    let out be []
-    try
-        each e in list_dir(dir())
-            when not e["is_dir"] and c.ends_with(e["name"], ".md")
-                let name be slice(e["name"], 0, length(e["name"]) - 3)
-                let title be ""
-                each line in split(read_file(path(name)), "\n")
-                    when title == "" and trim(line) != ""
-                        set title to trim(replace_text(line, "#", ""))
-                set out to append(out, {"name": name, "title": when length(title) > 120 then slice(title, 0, 120) otherwise title})
-    recover err
-        -- el runtime lanza "Not a directory: …" (mayúscula) cuando memory/<slug> aún no existe
-        let e be lower(text(err))
-        when not contains(e, "not a directory") and not contains(e, "not found") and not contains(e, "no such")
-            raise(err)
-        give []
-    give sort_by(out, (x) => x["name"])
-
-export task note_read(name)
-    require env("LAMPSON_*")
-    require file.read("memory")
-    require file.read("memory/*")
-    when not valid_name(name)
-        raise("invalid note name")
-    try
-        give read_file(path(name))
-    recover err
-        raise("no such note '" + name + "'. Existing: " + join(apply((x) => x["name"], list()), ", "))
-
-export task note_write(name, content)
-    require env("LAMPSON_*")
-    require file("memory")
-    require file("memory/*")
-    when not valid_name(name)
-        raise("invalid note name '" + text(name) + "' (letters, digits, - or _)")
-    write_file(path(name), content)
-    give "saved memory/" + slug() + "/" + name + ".md (" + text(length(content)) + " chars)"
-
-export task note_append(name, content)
-    require env("LAMPSON_*")
-    require file("memory")
-    require file("memory/*")
-    when not valid_name(name)
-        raise("invalid note name")
-    let prev be ""
-    try
-        set prev to read_file(path(name))
-    recover err
-        set prev to ""
-    let joined be when prev == "" then content otherwise prev + "\n\n" + content
-    write_file(path(name), joined)
-    give "appended to " + name + ".md (" + text(length(joined)) + " chars total)"
-
-export task note_clear(name)
-    require env("LAMPSON_*")
-    require file("memory")
-    require file("memory/*")
-    when not valid_name(name)
-        raise("invalid note name")
-    write_file(path(name), "")
-    give "cleared " + name + ".md (the file stays empty; the user can delete it)"
-
--- sección del system prompt
-export task prompt_section()
-    require env("LAMPSON_*")
-    require file.read("memory")
-    require file.read("memory/*")
-    let items be list()
-    let head be "\n\n# Project memory (your own notes about THIS project, in memory/" + slug() + "/ — read with memory(read), keep them current with memory(write|append))"
-    when length(items) == 0
-        give head + "\n(empty — when you discover something non-obvious about this project: how to run/test it, gotchas, decisions, where things live — save it with memory(write). Keep notes short and factual.)"
-    let lines be [head]
-    each it in items
-        set lines to append(lines, "- " + it["name"] + ": " + it["title"])
-    give join(lines, "\n")
-
--- ---------- tool ----------
-
-export task tool(action, name, content)
-    require env("LAMPSON_*")
-    require file("memory")
-    require file("memory/*")
-    when action == "list"
-        let items be list()
-        when length(items) == 0
-            give "no notes yet for this project"
-        give join(apply((x) => x["name"] + ": " + x["title"], items), "\n")
-    when action == "read"
-        give note_read(name)
-    when action == "write"
-        give note_write(name, content)
-    when action == "append"
-        give note_append(name, content)
-    when action == "delete"
-        give note_clear(name)
-    raise("unknown action '" + text(action) + "' (list | read | write | append | delete)")
-
-export let SPEC be {
-    "name": "memory",
-    "description": "Your persistent notes about THIS project, kept across sessions (Markdown files in Lampson's memory folder, never inside the repo). Use `write` to save non-obvious facts you discovered and will need again: how to run/build/test, environment quirks, architecture decisions, where things live, bugs and their causes, what the user prefers. `append` adds to an existing note, `read` loads one, `list` shows them, `delete` clears one. The system prompt shows the index of notes — read the relevant ones before repeating an investigation. Keep notes short, factual and current: update a note instead of writing a contradictory one.",
-    "parameters": {"type": "object", "properties": {
-        "action": {"type": "string", "enum": ["list", "read", "write", "append", "delete"]},
-        "name": {"type": "string", "description": "Note id: letters, digits, - or _ (e.g. how-to-run, db-schema, gotchas)"},
-        "content": {"type": "string", "description": "write/append: Markdown content (first line = title)"}
-    }, "required": ["action"]}
-}
+-- lib/tools/memo.syn — memoria por proyecto: notas Markdown que el agente escribe y relee
+--
+-- Dónde: lampson/memory/<slug>/<nombre>.md — <slug> sale de la ruta REAL del workspace
+-- (LAMPSON_WORKSPACE, que fija el launcher): "<carpeta>-<hash8>". Así cada proyecto tiene su carpeta
+-- aunque dos se llamen igual, y las notas viven en lampson (no ensucian el repo del usuario).
+--
+-- El system prompt lleva SOLO el índice (nombre + primera línea de cada nota); el contenido entra al
+-- contexto cuando el agente llama `memory(read)`. Son archivos: el humano los lee/edita a mano y la
+-- UI web los muestra.
+use "./common.syn" as c
+
+export let ROOT be "memory"
+
+task valid_name(name)
+    when name == nothing or name == ""
+        give false
+    give matches(name, "[a-zA-Z0-9_-]{1,60}")
+
+-- slug del proyecto montado
+export task slug()
+    require env("LAMPSON_*")
+    let ws be env("LAMPSON_WORKSPACE", "workspace")
+    let norm be replace_text(lower(ws), "\\", "/")
+    let parts be where(split(norm, "/"), (x) => x != "")
+    let base be when length(parts) > 0 then parts[length(parts) - 1] otherwise "workspace"
+    let runs be find_all(base, "[a-z0-9]+")
+    let clean be when length(runs) == 0 then "project" otherwise join(runs, "-")
+    let h be slice(decode(sha256(norm), "hex"), 0, 8)
+    give clean + "-" + h
+
+export task dir()
+    require env("LAMPSON_*")
+    give ROOT + "/" + slug()
+
+task path(name)
+    give dir() + "/" + name + ".md"
+
+-- [{name, title}] — title = primera línea no vacía (sin '#')
+export task list()
+    require env("LAMPSON_*")
+    require file.read("memory")
+    require file.read("memory/*")
+    let out be []
+    try
+        each e in list_dir(dir())
+            when not e["is_dir"] and c.ends_with(e["name"], ".md")
+                let name be slice(e["name"], 0, length(e["name"]) - 3)
+                let title be ""
+                each line in split(read_file(path(name)), "\n")
+                    when title == "" and trim(line) != ""
+                        set title to trim(replace_text(line, "#", ""))
+                set out to append(out, {"name": name, "title": when length(title) > 120 then slice(title, 0, 120) otherwise title})
+    recover err
+        -- el runtime lanza "Not a directory: …" (mayúscula) cuando memory/<slug> aún no existe
+        let e be lower(text(err))
+        when not contains(e, "not a directory") and not contains(e, "not found") and not contains(e, "no such")
+            raise(err)
+        give []
+    give sort_by(out, (x) => x["name"])
+
+export task note_read(name)
+    require env("LAMPSON_*")
+    require file.read("memory")
+    require file.read("memory/*")
+    when not valid_name(name)
+        raise("invalid note name")
+    try
+        give read_file(path(name))
+    recover err
+        raise("no such note '" + name + "'. Existing: " + join(apply((x) => x["name"], list()), ", "))
+
+export task note_write(name, content)
+    require env("LAMPSON_*")
+    require file("memory")
+    require file("memory/*")
+    when not valid_name(name)
+        raise("invalid note name '" + text(name) + "' (letters, digits, - or _)")
+    write_file(path(name), content)
+    give "saved memory/" + slug() + "/" + name + ".md (" + text(length(content)) + " chars)"
+
+export task note_append(name, content)
+    require env("LAMPSON_*")
+    require file("memory")
+    require file("memory/*")
+    when not valid_name(name)
+        raise("invalid note name")
+    let prev be ""
+    try
+        set prev to read_file(path(name))
+    recover err
+        set prev to ""
+    let joined be when prev == "" then content otherwise prev + "\n\n" + content
+    write_file(path(name), joined)
+    give "appended to " + name + ".md (" + text(length(joined)) + " chars total)"
+
+export task note_clear(name)
+    require env("LAMPSON_*")
+    require file("memory")
+    require file("memory/*")
+    when not valid_name(name)
+        raise("invalid note name")
+    write_file(path(name), "")
+    give "cleared " + name + ".md (the file stays empty; the user can delete it)"
+
+-- sección del system prompt
+export task prompt_section()
+    require env("LAMPSON_*")
+    require file.read("memory")
+    require file.read("memory/*")
+    let items be list()
+    let head be "\n\n# Project memory (your own notes about THIS project, in memory/" + slug() + "/ — read with memory(read), keep them current with memory(write|append))"
+    when length(items) == 0
+        give head + "\n(empty — when you discover something non-obvious about this project: how to run/test it, gotchas, decisions, where things live — save it with memory(write). Keep notes short and factual.)"
+    let lines be [head]
+    each it in items
+        set lines to append(lines, "- " + it["name"] + ": " + it["title"])
+    give join(lines, "\n")
+
+-- ---------- tool ----------
+
+export task tool(action, name, content)
+    require env("LAMPSON_*")
+    require file("memory")
+    require file("memory/*")
+    when action == "list"
+        let items be list()
+        when length(items) == 0
+            give "no notes yet for this project"
+        give join(apply((x) => x["name"] + ": " + x["title"], items), "\n")
+    when action == "read"
+        give note_read(name)
+    when action == "write"
+        give note_write(name, content)
+    when action == "append"
+        give note_append(name, content)
+    when action == "delete"
+        give note_clear(name)
+    raise("unknown action '" + text(action) + "' (list | read | write | append | delete)")
+
+export let SPEC be {
+    "name": "memory",
+    "description": "Your persistent notes about THIS project, kept across sessions (Markdown files in Lampson's memory folder, never inside the repo). Use `write` to save non-obvious facts you discovered and will need again: how to run/build/test, environment quirks, architecture decisions, where things live, bugs and their causes, what the user prefers. `append` adds to an existing note, `read` loads one, `list` shows them, `delete` clears one. The system prompt shows the index of notes — read the relevant ones before repeating an investigation. Keep notes short, factual and current: update a note instead of writing a contradictory one.",
+    "parameters": {"type": "object", "properties": {
+        "action": {"type": "string", "enum": ["list", "read", "write", "append", "delete"]},
+        "name": {"type": "string", "description": "Note id: letters, digits, - or _ (e.g. how-to-run, db-schema, gotchas)"},
+        "content": {"type": "string", "description": "write/append: Markdown content (first line = title)"}
+    }, "required": ["action"]}
+}

package/lib/tools/process.syn

@@ -1,46 +1,46 @@
--- lib/tools/process.syn — tool `process`: servidores y watchers gestionados (start / logs / stop / list)
-use "./proc.syn" as proc
-
-export task tool(action, name, command, tail)
-    require exec
-    require time
-    require env("LAMPSON_*")
-    require env("OS")
-    require file(".lampson")
-    require file(".lampson/*")
-    when action == "start"
-        when command == nothing or command == ""
-            raise("start needs a command")
-        give proc.start(name, command)
-    when action == "logs"
-        give proc.logs(name, tail)
-    when action == "stop"
-        give proc.halt(name)
-    when action == "ports"
-        let ls be proc.listeners()
-        when length(ls) == 0
-            give "no TCP ports listening (>=1024)"
-        let lines be []
-        each l in ls
-            set lines to append(lines, "port " + text(l["port"]) + "  pid " + text(l["pid"]) + "  " + l["name"])
-        give join(lines, "\n")
-    when action == "list"
-        let items be proc.list()
-        when length(items) == 0
-            give "no managed processes"
-        let lines be []
-        each p in items
-            set lines to append(lines, p["name"] + "  " + (when p["running"] then "running" otherwise "exited") + "  $ " + p["command"])
-        give join(lines, "\n")
-    raise("unknown action '" + text(action) + "' (start | logs | stop | list | ports)")
-
-export let SPEC be {
-    "name": "process",
-    "description": "Manage long-running processes (dev servers, watchers, APIs) so you can SEE their output. start: launches `command` detached with a `name`; its stdout/stderr go to a log you can read any time. After every bash call you automatically receive the NEW log lines of every managed process, so errors in a server you started reach you without asking. logs: last `tail` lines (default 60). A process is EXITED only when its pid is really gone; then its log ends with `[process exited with code N]` — read the reason there instead of retrying the command in bash. stop: kills the process and its whole tree (npm → node included). list: what is running. ports: every TCP port listening on the machine with its pid and program — use it when a port is busy (EADDRINUSE) or to check whether something is already up. Always use this instead of `cmd &` in bash, and stop what you started when the task is done.",
-    "parameters": {"type": "object", "properties": {
-        "action": {"type": "string", "enum": ["start", "logs", "stop", "list", "ports"]},
-        "name": {"type": "string", "description": "Short id: letters, digits, - or _ (e.g. web, api, dev)"},
-        "command": {"type": "string", "description": "start only: the shell command (runs with cwd = workspace root)"},
-        "tail": {"type": "integer", "description": "logs only: number of lines (default 60)"}
-    }, "required": ["action"]}
-}
+-- lib/tools/process.syn — tool `process`: servidores y watchers gestionados (start / logs / stop / list)
+use "./proc.syn" as proc
+
+export task tool(action, name, command, tail)
+    require exec
+    require time
+    require env("LAMPSON_*")
+    require env("OS")
+    require file(".lampson")
+    require file(".lampson/*")
+    when action == "start"
+        when command == nothing or command == ""
+            raise("start needs a command")
+        give proc.start(name, command)
+    when action == "logs"
+        give proc.logs(name, tail)
+    when action == "stop"
+        give proc.halt(name)
+    when action == "ports"
+        let ls be proc.listeners()
+        when length(ls) == 0
+            give "no TCP ports listening (>=1024)"
+        let lines be []
+        each l in ls
+            set lines to append(lines, "port " + text(l["port"]) + "  pid " + text(l["pid"]) + "  " + l["name"])
+        give join(lines, "\n")
+    when action == "list"
+        let items be proc.list()
+        when length(items) == 0
+            give "no managed processes"
+        let lines be []
+        each p in items
+            set lines to append(lines, p["name"] + "  " + (when p["running"] then "running" otherwise "exited") + "  $ " + p["command"])
+        give join(lines, "\n")
+    raise("unknown action '" + text(action) + "' (start | logs | stop | list | ports)")
+
+export let SPEC be {
+    "name": "process",
+    "description": "Manage long-running processes (dev servers, watchers, APIs) so you can SEE their output. start: launches `command` detached with a `name`; its stdout/stderr go to a log you can read any time. After every bash call you automatically receive the NEW log lines of every managed process, so errors in a server you started reach you without asking. logs: last `tail` lines (default 60). A process is EXITED only when its pid is really gone; then its log ends with `[process exited with code N]` — read the reason there instead of retrying the command in bash. stop: kills the process and its whole tree (npm → node included). list: what is running. ports: every TCP port listening on the machine with its pid and program — use it when a port is busy (EADDRINUSE) or to check whether something is already up. Always use this instead of `cmd &` in bash, and stop what you started when the task is done.",
+    "parameters": {"type": "object", "properties": {
+        "action": {"type": "string", "enum": ["start", "logs", "stop", "list", "ports"]},
+        "name": {"type": "string", "description": "Short id: letters, digits, - or _ (e.g. web, api, dev)"},
+        "command": {"type": "string", "description": "start only: the shell command (runs with cwd = workspace root)"},
+        "tail": {"type": "integer", "description": "logs only: number of lines (default 60)"}
+    }, "required": ["action"]}
+}

package/lib/tools/write.syn

@@ -6,10 +6,14 @@ export task tool(path, content)
     require file("workspace/*")
     let real be c.ws(path)
     -- sobrescribir un archivo existente exige haberlo leído (y que no haya cambiado): igual que edit
+    let before be ""
     when file_exists(real)
         c.check_observed(real, "write")
+        set before to read_file(real)
     write_file(real, content)
     c.mark_observed(real)
+    -- antes/después para que la UI muestre el diff (archivo nuevo: before = "")
+    share {"path": c.unws(real), "old": before, "new": content} as "lampson:ui:diff"
     give `wrote {text(length(content))} chars to {c.unws(real)}`
 
 export let SPEC be {