@rse/ase 2.0.7 → 2.0.8

package/dst/ase-task-board-web-server.js

@@ -13,6 +13,7 @@ import { userId } from "./ase-service-otel.js";
 import { Config } from "./ase-config-core.js";
 import { configSchema, webColorDefaults, webColorNames } from "./ase-config-schema.js";
 import { buildBoard, watchTasks, toneOf, laneMoves, cardMoves, BoardState, attachmentTabs, isDiff, diffTones, dataLang, dataLoad, dataSpans, newTaskText, createTask, saveTask, TaskConflict, watchAgents } from "./ase-task-board-core.js";
+import { diffHunks, diffMarkdown, diffMarksToHTML } from "./ase-task-board-diff.js";
 import { layoutGraph, drawGraphSVG } from "./ase-task-board-graph.js";
 import { flowOf, layoutFlow, drawFlowSVG } from "./ase-task-board-flow.js";
 import { filterBoard, dropStandalone } from "./ase-task-board-filter.js";
@@ -94,9 +95,9 @@ const markedLoad = async (remote) => {
                         (title ? ` title="${escapeHTML(title)}"` : "") + ">" : escapeHTML(text);
             },
             code({ text, lang }) {
-                if (lang === "mermaid") {
+                if (lang === "mermaid" && !text.includes("⟦chg:")) {
                     try {
-                        return `<div class="diagram">${renderMermaidSVG(text)}</div>`;
+                        return `<div class="diagram">${renderMermaidSVG(text, { bg: "var(--c-paper)", fg: "var(--c-text)" })}</div>`;
                     }
                     catch {
                         /*  fall through to the plain rendering of the source  */
@@ -119,12 +120,12 @@ const renderPlan = async (body, remote = false) => {
         const outside = fence === "";
         fence = TaskFormat.fenceTrack(fence, line);
         return !outside || fence !== "" ? line : line
-            .replace(/^(\s*(?:[-*]|\d+[.)])\s+)\[([ x/?\->])\]/, (_m, lead, box) => `${lead}⟦box:${boxes[box]}⟧`);
+            .replace(/^(\s*(?:[-*]|\d+[.)])\s+(?:⟦chg:[a-z-]+⟧)?)\[([ x/?\->])\]/, (_m, lead, box) => `${lead}⟦box:${boxes[box]}⟧`);
     }).join("\n");
     if (!marked.has(remote))
         marked.set(remote, markedLoad(remote));
     const html = (await marked.get(remote)).parse(prepared, { async: false });
-    return html.replace(/⟦box:([a-z]+)⟧/g, (_m, state) => `<span class="box ${state}" title="[${escapeHTML(boxChars[state] ?? " ")}]"></span>`);
+    return diffMarksToHTML(html.replace(/⟦box:([a-z]+)⟧/g, (_m, state) => `<span class="box ${state}" title="[${escapeHTML(boxChars[state] ?? " ")}]"></span>`));
 };
 const colorRoles = Object.keys(webColorDefaults);
 const colorBases = (log) => {
@@ -154,10 +155,18 @@ const editorKeymap = (log) => {
     const value = cfg.get("board.web.editor.keymap");
     return value === "vim" || value === "emacs" ? value : "default";
 };
-/*  render a standalone document (styled by the client stylesheet) out of
-    key/value fields, separated by a line from the content  */
+/*  the color theme of the web board, resolved from the
+    "board.web.theme" configuration (on each page load)  */
+const boardTheme = (log) => {
+    const cfg = new Config("config", configSchema, log);
+    cfg.read();
+    const value = cfg.get("board.web.theme");
+    return value === "light" || value === "dark" ? value : "auto";
+};
+/*  render a standalone document (styled by the client stylesheet) out of key/value
+    fields (optionally marked as added or removed), separated by a line from the content  */
 const fieldsDocument = (fields, content) => {
-    const rows = fields.map(([k, v]) => `<tr><td class="k">${escapeHTML(k)}</td><td>${escapeHTML(v)}</td></tr>`).join("");
+    const rows = fields.map(([k, v, mark]) => `<tr${mark !== undefined ? ` class="${mark}"` : ""}><td class="k">${escapeHTML(k)}</td><td>${escapeHTML(v)}</td></tr>`).join("");
     return "<!DOCTYPE html><html><head><meta charset=\"utf-8\">" +
         "<link rel=\"stylesheet\" href=\"/task-board/colors.css\">" +
         "<link rel=\"stylesheet\" href=\"/task-board/ase-task-board-web-client.css\"></head><body class=\"plan\"><article>" +
@@ -166,6 +175,16 @@ const fieldsDocument = (fields, content) => {
 };
 /*  render a task plan as a standalone document: frontmatter fields and the numbered plan sections  */
 const taskDocument = async (keys, body) => fieldsDocument([...keys].filter(([k]) => k !== "Type"), await renderPlan(body));
+const isPlanText = (value) => {
+    const plan = value;
+    return typeof plan?.body === "string" && Array.isArray(plan.keys) && plan.keys.every((field) => Array.isArray(field) && field.length === 2 && field.every((text) => typeof text === "string"));
+};
+/*  render the diff of two task plans as a standalone document, in the look of a task plan  */
+const diffDocument = async (before, after) => fieldsDocument(diffHunks(before.keys, after.keys, (field) => JSON.stringify(field)).flatMap(({ kept, removed, added }) => [
+    ...kept,
+    ...removed.map(([k, v]) => [k, v, "del"]),
+    ...added.map(([k, v]) => [k, v, "add"])
+]), await renderPlan(diffMarkdown(before.body, after.body)));
 /*  render a task plan attachment as a standalone document: its fields and
     its content, with images embedded, Markdown rendered, YAML or JSON data syntax-highlighted, a diff
     colored per line, binary content as a placeholder, and else verbatim text  */
@@ -335,11 +354,13 @@ const guarded = (handler) => async (request, h) => {
 };
 /*  register the page routes of the web board: its client assets and its colors  */
 const registerPageRoutes = (server, log) => {
-    /*  the single page of the web board, with its stylesheet and browser-side code  */
+    /*  the single page of the web board, with its stylesheet and browser-side code,
+        and with its color theme (resolved on each page load) on its root element  */
     server.route({
         method: "GET",
         path: "/task-board",
-        handler: (_request, h) => h.response(clientAsset("html")).type("text/html; charset=utf-8")
+        handler: (_request, h) => h.response(clientAsset("html")
+            .replace(/<html\b/, `<html data-theme="${boardTheme(log)}"`)).type("text/html; charset=utf-8")
     });
     server.route({
         method: "GET",
@@ -439,12 +460,26 @@ const registerViewRoutes = (server, log) => {
                 group: board.groups.find((g) => g.lanes.some((l) => l.status === card.status))?.title ?? "",
                 epic: card.group,
                 doc: await taskDocument(parts.keys, parts.body),
+                plan: { keys: [...parts.keys].filter(([k]) => k !== "Type"), body: parts.body },
                 tabs: attachmentTabs(await Task.attachments(log, id), parts.keys.get("Modified") ?? ""),
                 pred: ref(board.pred.get(id) ?? []),
                 succ: ref(board.succ.get(id) ?? [])
             });
         })
     });
+    /*  the diff of two states of a task plan, rendered statelessly out of the states
+        kept by the client, as the changes are followed per task dialog  */
+    server.route({
+        method: "POST",
+        path: "/task-board/api/diff",
+        options: { payload: { parse: true, allow: "application/json" } },
+        handler: guarded(async (request, h) => {
+            const p = request.payload;
+            if (!isPlanText(p?.before) || !isPlanText(p.after))
+                return h.response({ error: "invalid diff request" }).code(400);
+            return h.response({ doc: await diffDocument(p.before, p.after) });
+        })
+    });
     /*  one task plan as text for editing, with the entity tag it is based on and the editor key bindings  */
     server.route({
         method: "GET",

package/dst/ase-task-board.js

@@ -108,27 +108,35 @@ export default class TaskBoardCommand {
             .option("--agent-relay <url>", "agent relay to receive the live presence of the agents from, " +
             "as \"ase[s]://<addr>:<port>[/<token>]\" (default: the configured \"project.relay.url\", else none; " +
             "the web board always follows the configured one)")
+            .option("-T, --task <id>", "show only the task dialog of the given task as a task viewer, " +
+            "following all its changes live (with --text or without a terminal: print its plan and exit)")
             .action(async (opts) => {
+            /*  refuse the task viewer on an unknown task  */
+            const plan = opts.task !== undefined ? await Task.load(this.log, opts.task) : "";
+            if (opts.task !== undefined && plan === "")
+                throw new Error(`board: no task "${opts.task}"`);
             /*  serve and open the web board  */
             if (opts.web === true) {
                 if (opts.agentRelay !== undefined)
                     this.log.write("warning", "board: \"--agent-relay\" is ignored by the web board, " +
                         "which follows the configured \"project.relay.url\"");
-                const url = `http://${SERVICE_HOST}:${await this.servicePort()}/task-board`;
+                const url = `http://${SERVICE_HOST}:${await this.servicePort()}/task-board` +
+                    (opts.task !== undefined ? `?task=${encodeURIComponent(opts.task)}` : "");
                 await writeStdout(`${url}\n`);
                 await this.openBrowser(url);
                 return;
             }
-            /*  print the plain text overview if requested or without a terminal  */
+            /*  print the plain text overview (resp. the plan of the task
+                of the task viewer) if requested or without a terminal  */
             if (opts.text === true || !process.stdout.isTTY || !process.stdin.isTTY) {
-                await writeStdout(await textOverview(this.log, opts.agentRelay));
+                await writeStdout(opts.task !== undefined ? plan : await textOverview(this.log, opts.agentRelay));
                 return;
             }
             /*  run the interactive terminal board, with the production build of React
                 (its development build records a never cleared performance measure per render)  */
             process.env.NODE_ENV ??= "production";
             const { runTUI } = await import("./ase-task-board-tui.js");
-            await runTUI(this.log, opts.agentRelay);
+            await runTUI(this.log, opts.agentRelay, opts.task);
         });
     }
 }

package/dst/ase-task-store-client.js

@@ -5,10 +5,9 @@
 */
 import path from "node:path";
 import fs from "node:fs";
-import { ofetch } from "ofetch";
-import { Agent } from "undici";
 import { WebSocket } from "ws";
 import { LRUCache } from "lru-cache";
+import { dispatchFetch, insecureAgent } from "./ase-lib-fetch.js";
 import { Config } from "./ase-config-core.js";
 import { configSchema } from "./ase-config-schema.js";
 import { parseScope, userStateDir } from "./ase-config-scope.js";
@@ -217,7 +216,7 @@ export class RemoteTaskStoreClient {
         this.insecure = insecure;
         this.lifecycle = configured;
         this.idscheme = configuredIdScheme;
-        this.dispatcher = insecure ? new Agent({ connect: { rejectUnauthorized: false } }) : undefined;
+        this.dispatcher = insecure ? insecureAgent() : undefined;
     }
     /*  raise a failed connection as an unreachable store error,
         reporting the innermost cause (like "connect ECONNREFUSED")  */
@@ -232,7 +231,7 @@ export class RemoteTaskStoreClient {
         a null result, any other error response is raised as a problem carrying
         its status, and a failed connection is raised as an unreachable store error  */
     async request(method, url, body, headers = {}, tolerated = []) {
-        const r = await ofetch.raw(`${this.base}${url}`, {
+        const r = await dispatchFetch.raw(`${this.base}${url}`, {
             method,
             headers: {
                 Authorization: `Bearer ${this.token}`,
@@ -408,7 +407,7 @@ export class RemoteTaskStoreClient {
         return await this.task(await this.request("POST", `${this.tasks}/${encodeURIComponent(id)}/attachment${append ? "?append=true" : ""}`, attachment)) !== null;
     }
     async content(id, index) {
-        const r = await ofetch.raw(`${this.base}${this.tasks}/${encodeURIComponent(id)}/attachment/${index}/content`, {
+        const r = await dispatchFetch.raw(`${this.base}${this.tasks}/${encodeURIComponent(id)}/attachment/${index}/content`, {
             headers: { Authorization: `Bearer ${this.token}` },
             responseType: "arrayBuffer",
             dispatcher: this.dispatcher,

package/dst/man/ase-config-init.md

@@ -63,7 +63,8 @@ file lock and atomically.
       `project.task.effort.line` `0.025`,
       `project.task.effort.iteration` `2.5`, the full set of
       `project.artifact.*` globs, the `board.tui.color.*`,
-      `board.web.color.*`, and `board.web.editor.keymap` defaults, and
+      `board.web.color.*`, `board.web.editor.keymap`, and
+      `board.web.theme` defaults, and
       `telemetry.enabled` `false`, `telemetry.prices.ai`
       `*=4.00/20.00/0.20/5.00`, and `telemetry.prices.hr` `*=110`.
     - `vibe`:

package/dst/man/ase-config.md

@@ -361,6 +361,11 @@ Task board (all writable on the `user` and `project` scopes only, see
   The key bindings of the task plan editor of the web board (default:
   `default`).
 
+- `board.web.theme` (`auto`, `light`, or `dark`):
+  The color theme of the web board, where `auto` follows the light or
+  dark preference of the operating system resp. browser (default:
+  `auto`).
+
 ## ENVIRONMENT
 
 - `EDITOR`, `VISUAL`:

package/dst/man/ase-task-board.md

@@ -7,6 +7,7 @@
 \[`-w`|`--web`\]
 \[`-t`|`--text`\]
 \[`--agent-relay` *url*\]
+\[`-T`|`--task` *id*\]
 
 ## DESCRIPTION
 
@@ -89,6 +90,11 @@ set snapshot `kind="changeset"` of the `implementer` and `integrator`
 agents) is colored per line, YAML and JSON data are syntax-highlighted,
 and a change set snapshot older than the plan is marked `(stale)`.
 
+While the task dialog is open, the last change of the shown plan is displayed
+as a diff in the plan tab, with the removed and added lines colored (in the
+terminal board also signed) and their changed words shown inverse, until `#` clears it or a next change
+replaces it. Closing the task dialog or switching to another task drops it.
+
 A task is moved into another state (changing its `Status:`) either by
 picking it up with `SPACE` and dropping it with a second `SPACE` onto
 the selected lane (only lanes whose state is reachable from the current
@@ -214,6 +220,26 @@ waiting) with their status and their last processing log line, and
 finally all warnings of the board (behind `⚠`, e.g. on dependency
 cycles).
 
+### Task Viewer
+
+With `--task`, the terminal and the web board act as a *task viewer*:
+instead of the board, they show only the task dialog of the given task,
+spanning the entire window and following all changes of the task live.
+All actions of the task dialog stay available, and a click onto a
+predecessor or successor shows that task instead. The shown view of the
+board stays untouched. An unknown task is refused with an error.
+
+The terminal board quits on `q` or `Ctrl`+`C` only, and with a warning
+once the shown task no longer exists (e.g. as it was deleted or renamed
+elsewhere).
+
+The web board has no closing keys, as a page cannot close its browser
+tab. Once the shown task no longer exists, it shows only a notice, and
+shows the task again as soon as it exists again.
+
+With `--text`, and also without an interactive terminal, the plan of the
+task is printed as plain text and the command exits.
+
 ### Statistics View
 
 The third view *statistics* shows the statistics of the tasks matching the
@@ -410,6 +436,10 @@ relay, the agent graph view is skipped.
   board always follows the configured `project.relay.url` (and hence
   warns about the option).
 
+- \[`-T`|`--task` *id*\]:
+  Show only the task dialog of the task *id* instead of the board, as a
+  viewer and watcher of the task (see **Task Viewer**).
+
 ## KEYS
 
 The following keys are supported by the terminal board (and, unless
@@ -426,6 +456,9 @@ letter under the kitty keyboard protocol.
   views).
 - `?`: Hide or show the key hint lines (persisted); while hidden, the
   information line ends with `?: show key hints`.
+- `L`: Cycle the color theme through `auto`, `light`, and `dark`,
+  overriding `board.web.theme` in the current browser until cycled back
+  to its value (web board only).
 - `D`: Delete the selected task, after a confirmation (not in the
   agent logs and statistics views).
 - `T`: Transfer the selected task to another state via the transfer
@@ -515,7 +548,8 @@ letter under the kitty keyboard protocol.
 - `↑`/`↓`: Scroll the content.
 - `PgUp`/`PgDn`: Scroll the content by one page.
 - `e`: Edit the task plan.
-- `D`, `T`, `A`, `E`, `R`, `M`: As in every view.
+- `#`: Clear the diff of the last change of the task plan.
+- `D`, `T`, `A`, `E`, `R`, `M`, `L`: As in every view.
 - `⏎`, `ESC`: Close the task dialog.
 
 ### Filter Field
@@ -594,6 +628,11 @@ The following configuration keys (on scope `user` or `project`, see
   The key bindings of the task plan editor of the web board: `default`,
   `vim`, or `emacs` (default: `default`).
 
+- `board.web.theme`:
+  The color theme of the web board: `light`, `dark`, or `auto`, which
+  follows the light or dark preference of the operating system resp.
+  browser (default: `auto`).
+
 - `project.relay.url`:
   The default agent relay of the boards (see `--agent-relay`).
 
@@ -625,7 +664,7 @@ The following configuration keys (on scope `user` or `project`, see
 The command exits with status `0` once the terminal board is quit, the
 text overview is printed, resp. the web board is opened, and with
 status `1` on any error (e.g. an *ASE* service without web board on
-`--web`).
+`--web`, or an unknown task on `--task`).
 
 ## EXAMPLES
 
@@ -636,6 +675,9 @@ $ ase task board
 # show the web board in the browser
 $ ase task board --web
 
+# view and watch a single task in the terminal
+$ ase task board --task T1
+
 # print the lane overview, including the agents of a remote agent relay
 $ ase task board --text --agent-relay ase://relay.example.com:42043
 ```

package/package.json

@@ -6,7 +6,7 @@
     "homepage":                             "https://ase.tools",
     "repository":                           { "url": "git+https://github.com/rse/ase.git", "type": "git" },
     "bugs":                                 { "url": "https://github.com/rse/ase/issues" },
-    "version":                              "2.0.7",
+    "version":                              "2.0.8",
     "license":                              "Apache-2.0",
     "author": {
         "name":                             "Dr. Ralf S. Engelschall",
@@ -31,7 +31,7 @@
         "globals":                          "17.14.0",
         "typescript":                       "6.0.3",
         "eslint-plugin-vue":                "10.12.0",
-        "vue-eslint-parser":                "10.4.1",
+        "vue-eslint-parser":                "10.4.2",
         "vue-tsc":                          "3.3.14",
 
         "@rse/stx":                         "1.1.7",
@@ -39,9 +39,9 @@
         "shx":                              "0.4.0",
         "sync-directory":                   "6.0.6",
         "stylus":                           "0.64.0",
-        "vite":                             "8.3.5",
+        "vite":                             "8.3.6",
         "@vitejs/plugin-vue":               "6.0.10",
-        "vue":                              "3.5.44",
+        "vue":                              "3.5.45",
         "mousetrap":                        "1.6.5",
         "@codemirror/view":                 "6.43.15",
         "@codemirror/state":                "6.7.6",
@@ -78,7 +78,7 @@
         "valibot":                          "1.5.0",
         "execa":                            "10.2.1",
         "mkdirp":                           "3.0.1",
-        "@hapi/hapi":                       "21.4.12",
+        "@hapi/hapi":                       "21.4.13",
         "beautiful-mermaid":                "1.1.3",
         "@d2lang/d2":                       "0.1.34",
         "elkjs":                            "0.12.1",
@@ -87,6 +87,7 @@
         "react":                            "19.3.1",
         "chokidar":                         "6.0.0",
         "marked":                           "18.1.3",
+        "diff":                             "9.0.0",
         "shiki":                            "4.6.0",
         "cli-table3":                       "0.6.5",
         "chalk":                            "6.0.1",
@@ -105,7 +106,7 @@
         "p-queue":                          "10.0.0",
         "pacote":                           "22.0.1",
         "ofetch":                           "1.5.1",
-        "undici":                           "8.12.3",
+        "undici":                           "8.12.4",
         "picomatch":                        "4.0.7",
         "lru-cache":                        "11.5.3",
         "@rse/specbook":                    "1.6.2",

package/plugin/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
     "name":        "ase",
-    "version":     "2.0.7",
+    "version":     "2.0.8",
     "description": "Agentic Software Engineering (ASE)",
     "keywords":    [ "agentic", "software", "engineering" ],
     "homepage":    "https://ase.tools",

package/plugin/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
     "name":        "ase",
-    "version":     "2.0.7",
+    "version":     "2.0.8",
     "description": "Agentic Software Engineering (ASE)",
     "keywords":    [ "agentic", "software", "engineering" ],
     "homepage":    "https://ase.tools",

package/plugin/.github/plugin/plugin.json

@@ -1,6 +1,6 @@
 {
     "name":        "ase",
-    "version":     "2.0.7",
+    "version":     "2.0.8",
     "description": "Agentic Software Engineering (ASE)",
     "keywords":    [ "agentic", "software", "engineering" ],
     "homepage":    "https://ase.tools",

package/plugin/meta/ase-common-task.md

@@ -58,6 +58,30 @@ Task Skill Common Steps
 
 </define>
 
+<define name="task-focus">
+
+Resolve the plan sections under focus: treat <getopt-option-focus/> as a
+comma-separated list of *section tokens*. Trim every token, then expand
+the synonyms `SPEC` and `WHAT` to `SPECIFICATION`, the synonyms `DES` and
+`HOW` to `DESIGN`, and the synonyms `VERIFY`, `VER`, and `WHEN` to
+`VERIFICATION`, and expand the sentinel `all` (the default) to
+`SPECIFICATION,DESIGN,VERIFICATION`. Set <sections/> to the resulting
+list, *keeping the given order*. The getopt parser validates only the
+*first* token, so you *MUST* validate each token yourself: if any token
+is *empty*, *not* one of the recognized sections or synonyms (matched
+*case-sensitively*), or results in a section already present in
+<sections/>, bind <token/> to that offending token, then only output the
+following <template/> and immediately *STOP* processing the entire
+current skill:
+
+<template>
+⧉ **ASE**: ☻ skill: **<arg1/>**, ▶ ERROR: invalid `--focus` token: **<token/>**
+</template>
+
+Do not output anything else.
+
+</define>
+
 <define name="task-load-content">
 
 <if condition="