@rse/ase 2.0.2 → 2.0.3

package/dst/ase-task-board-tui-model.js

@@ -230,6 +230,183 @@ const useAgentsView = (agents, columns, boardH) => {
     };
     return { agentList, agentIdx, agent, agentOp, logLines, logH, logFirst, logMax, selectAgent, scrollLog, focusAgent };
 };
+/*  the wall-clock and the heartbeats of the agents of the agents view and the agent graph  */
+const useBeats = (agents, view) => {
+    /*  tick the wall-clock every second while the agents view is shown, for the live
+        durations of its footer (the time in the current state and the age of the heartbeat)  */
+    const [now, setNow] = React.useState(Date.now());
+    React.useEffect(() => {
+        if (view !== "agents")
+            return;
+        setNow(Date.now());
+        const timer = setInterval(() => {
+            setNow(Date.now());
+        }, 1000);
+        return () => {
+            clearInterval(timer);
+        };
+    }, [view]);
+    /*  the local time at which the latest heartbeat of each agent was received (measured
+        locally, as the clock of the agent relay may be skewed), for the heart of its card
+        (filled for BEAT_SHOWN_MS after a heartbeat, else empty), where the heartbeats are
+        recognized by their changed time stamps and a filled heart is re-rendered once it is
+        due to be emptied (as the wall-clock tick alone would empty it too early or too late)  */
+    const beats = React.useRef(new Map());
+    const beatsSeen = React.useMemo(() => {
+        const at = Date.now();
+        const list = agents?.agents ?? [];
+        const next = new Map();
+        for (const a of list) {
+            const prev = beats.current.get(a.id);
+            next.set(a.id, prev !== undefined && prev.beat === a.beat ? prev : { beat: a.beat, seen: at });
+        }
+        beats.current = next;
+        return next;
+    }, [agents]);
+    React.useEffect(() => {
+        if (view !== "agents" && view !== "flow")
+            return;
+        const latest = Math.max(0, ...[...beatsSeen.values()].map((b) => b.seen));
+        const due = latest + BEAT_SHOWN_MS - Date.now();
+        if (latest === 0 || due <= 0)
+            return;
+        const timer = setTimeout(() => {
+            setNow(Date.now());
+        }, due);
+        return () => {
+            clearTimeout(timer);
+        };
+    }, [view, beatsSeen]);
+    const beatOf = (id) => now - (beatsSeen.get(id)?.seen ?? 0) < BEAT_SHOWN_MS;
+    return { now, beatOf };
+};
+/*  the actions of the prompt popup of the terminal board: opening it for an edit request
+    or for a request by prompt of any name, cancelling it, and submitting it, with the
+    drafts of the cancelled (or failed to be sent) prompts and requests, per task  */
+const usePromptActions = (ctx) => {
+    const { log, all, cycle, agents, prompt, setPrompt, setNotice, track, promptLoad } = ctx;
+    /*  the drafts of the prompts of cancelled (or failed to be sent) edit requests, per task  */
+    const promptDrafts = React.useRef(new Map());
+    /*  the drafts of the cancelled (or failed to be sent) requests by prompt, per task  */
+    const requestDrafts = React.useRef(new Map());
+    /*  open the prompt popup of an edit request of a task (refused for a finished task, and
+        while an edit of it is in progress, as a new request would change the task under the
+        running edit), prefilled with its draft of a cancelled (or failed to be sent) prompt,
+        else with the prompt of its most recent failed edit request (for a retry)  */
+    const startPrompt = (id) => {
+        const card = all.cards.get(id);
+        if (card === undefined)
+            return;
+        if (cycle !== null && editRefused(cycle, card.actual)) {
+            setNotice(`editing task "${id}" by prompt refused: task is finished`);
+            return;
+        }
+        if (card.edit === "active") {
+            setNotice(`editing task "${id}" by prompt refused: edit in progress`);
+            return;
+        }
+        const draft = promptDrafts.current.get(id);
+        if (draft !== undefined) {
+            setPrompt({ id, ...draft, focus: "prompt", request: null });
+            return;
+        }
+        const token = ++promptLoad.current;
+        track({ text: "loading edit prompt of task", id }, editPrompt(log, id)).then((text) => {
+            if (token === promptLoad.current)
+                setPrompt({ id, text, pos: [...text].length, focus: "prompt", request: null });
+        }).catch((err) => {
+            if (token === promptLoad.current)
+                setNotice(`editing task "${id}" by prompt failed: ${err instanceof Error ? err.message : String(err)}`);
+        });
+    };
+    /*  open the prompt popup of a request by prompt of any name of a task (see "ase task
+        request", refused for a finished task), with the request name suggested from the
+        request agents announced to the agent relay, prefilled with its draft of a cancelled
+        (or failed to be sent) request, where a missing request name is to be entered first  */
+    const startRequest = (id) => {
+        const card = all.cards.get(id);
+        if (card === undefined)
+            return;
+        if (cycle !== null && editRefused(cycle, card.actual)) {
+            setNotice(`requesting task "${id}" by prompt refused: task is finished`);
+            return;
+        }
+        const choices = requestNames(agents);
+        const ignored = choices.filter((choice) => requestPrompt(agents, choice) === "ignored");
+        const draft = requestDrafts.current.get(id);
+        const name = draft?.name ?? choices[0] ?? "";
+        const focus = name === "" ? "name" : ignored.includes(name) ? "request" : "prompt";
+        setPrompt({ id, text: draft?.text ?? "", pos: draft?.pos ?? 0, focus, request: { name, choices, ignored, typed: "" } });
+    };
+    /*  cancel the prompt popup, keeping its prompt as the draft of the task (even if
+        empty, so that a cleared prompt is not prefilled again on reopening)  */
+    const cancelPrompt = () => {
+        if (prompt === null)
+            return;
+        if (prompt.request !== null) {
+            requestDrafts.current.set(prompt.id, { name: prompt.request.name, text: prompt.text, pos: prompt.pos });
+            setNotice(`requesting task "${prompt.id}" by prompt cancelled`);
+        }
+        else {
+            promptDrafts.current.set(prompt.id, { text: prompt.text, pos: prompt.pos });
+            setNotice(`editing task "${prompt.id}" by prompt cancelled`);
+        }
+        setPrompt(null);
+    };
+    /*  request a task by the prompt of its popup under its request name (processed by a
+        request agent of a definition, resp. by "ase agent editor" for "edit"), dropping
+        the draft of the task once sent, resp. keeping the request as its draft on failure,
+        where the prompt may be empty only for the requests of agents not requiring their prompts,
+        and is dropped for the requests of agents ignoring their prompts  */
+    const submitRequest = (id, text, pos, name) => {
+        let requests;
+        try {
+            requests = requestsOf(name);
+        }
+        catch (err) {
+            setNotice(`requesting task "${id}" by prompt failed: ${err instanceof Error ? err.message : String(err)}`);
+            return;
+        }
+        const use = requestPrompt(agents, name);
+        if (text.trim() === "" && use === "required") {
+            setNotice(`requesting "${name}" of task "${id}" failed: empty prompt`);
+            return;
+        }
+        setPrompt(null);
+        track({ text: `requesting "${name}" of task`, id }, requests.request(log, id, use === "ignored" ? "" : text)).then(() => {
+            requestDrafts.current.delete(id);
+            setNotice(`"${name}" of task "${id}" requested`);
+        }).catch((err) => {
+            requestDrafts.current.set(id, { name, text, pos });
+            setNotice(`requesting "${name}" of task "${id}" failed: ${err instanceof Error ? err.message : String(err)}`);
+        });
+    };
+    /*  request the edit of a task by the prompt of its popup (processed by "ase agent editor"),
+        dropping the draft of the task once sent, resp. keeping the prompt as its draft on failure,
+        or request a task by the prompt of its popup under its request name  */
+    const submitPrompt = () => {
+        if (prompt === null)
+            return;
+        const { id, text, pos } = prompt;
+        if (prompt.request !== null) {
+            submitRequest(id, text, pos, prompt.request.name);
+            return;
+        }
+        if (text.trim() === "") {
+            setNotice(`requesting edit of task "${id}" failed: empty edit prompt`);
+            return;
+        }
+        setPrompt(null);
+        track({ text: "requesting edit of task", id }, requestEdit(log, id, text)).then(() => {
+            promptDrafts.current.delete(id);
+            setNotice(`edit of task "${id}" requested`);
+        }).catch((err) => {
+            promptDrafts.current.set(id, { text, pos });
+            setNotice(`requesting edit of task "${id}" failed: ${err instanceof Error ? err.message : String(err)}`);
+        });
+    };
+    return { startPrompt, startRequest, cancelPrompt, submitPrompt };
+};
 /*  the state of the terminal board: all state, the derived values, and the actions  */
 export const useBoardState = (log, initial, relay) => {
     const { exit, suspendTerminal } = useApp();
@@ -270,10 +447,6 @@ export const useBoardState = (log, initial, relay) => {
     const [grow, setGrow] = React.useState(false);
     const editing = React.useRef(false);
     const drafts = React.useRef(new Map());
-    /*  the drafts of the prompts of cancelled (or failed to be sent) edit requests, per task  */
-    const promptDrafts = React.useRef(new Map());
-    /*  the drafts of the cancelled (or failed to be sent) requests by prompt, per task  */
-    const requestDrafts = React.useRef(new Map());
     /*  the busy popup of slow task store operations  */
     const { busy, busyTick, track } = useBusy();
     /*  the rendered boxes for the mouse hit-testing  */
@@ -361,7 +534,9 @@ export const useBoardState = (log, initial, relay) => {
         };
         const stop = watchTasks(log, refresh, setStore);
         return () => {
-            stop().catch(() => { });
+            stop().catch((err) => {
+                log.write("warning", `board: stopping task watcher failed: ${err instanceof Error ? err.message : String(err)}`);
+            });
         };
     }, [log]);
     /*  follow the agents passed by the agent relay (if any, else null, and undefined until
@@ -701,122 +876,8 @@ export const useBoardState = (log, initial, relay) => {
     React.useEffect(() => {
         promptLoad.current++;
     }, [confirm, transfer, assign, prompt, dialog?.id, sel.id, view]);
-    /*  open the prompt popup of an edit request of a task (refused for a finished task, and
-        while an edit of it is in progress, as a new request would change the task under the
-        running edit), prefilled with its draft of a cancelled (or failed to be sent) prompt,
-        else with the prompt of its most recent failed edit request (for a retry)  */
-    const startPrompt = (id) => {
-        const card = all.cards.get(id);
-        if (card === undefined)
-            return;
-        if (cycle !== null && editRefused(cycle, card.actual)) {
-            setNotice(`editing task "${id}" by prompt refused: task is finished`);
-            return;
-        }
-        if (card.edit === "active") {
-            setNotice(`editing task "${id}" by prompt refused: edit in progress`);
-            return;
-        }
-        const draft = promptDrafts.current.get(id);
-        if (draft !== undefined) {
-            setPrompt({ id, ...draft, focus: "prompt", request: null });
-            return;
-        }
-        const token = ++promptLoad.current;
-        track({ text: "loading edit prompt of task", id }, editPrompt(log, id)).then((text) => {
-            if (token === promptLoad.current)
-                setPrompt({ id, text, pos: [...text].length, focus: "prompt", request: null });
-        }).catch((err) => {
-            if (token === promptLoad.current)
-                setNotice(`editing task "${id}" by prompt failed: ${err instanceof Error ? err.message : String(err)}`);
-        });
-    };
-    /*  open the prompt popup of a request by prompt of any name of a task (see "ase task
-        request", refused for a finished task), with the request name suggested from the
-        request agents announced to the agent relay, prefilled with its draft of a cancelled
-        (or failed to be sent) request, where a missing request name is to be entered first  */
-    const startRequest = (id) => {
-        const card = all.cards.get(id);
-        if (card === undefined)
-            return;
-        if (cycle !== null && editRefused(cycle, card.actual)) {
-            setNotice(`requesting task "${id}" by prompt refused: task is finished`);
-            return;
-        }
-        const choices = requestNames(agents);
-        const ignored = choices.filter((choice) => requestPrompt(agents, choice) === "ignored");
-        const draft = requestDrafts.current.get(id);
-        const name = draft?.name ?? choices[0] ?? "";
-        const focus = name === "" ? "name" : ignored.includes(name) ? "request" : "prompt";
-        setPrompt({ id, text: draft?.text ?? "", pos: draft?.pos ?? 0, focus, request: { name, choices, ignored, typed: "" } });
-    };
-    /*  cancel the prompt popup, keeping its prompt as the draft of the task (even if
-        empty, so that a cleared prompt is not prefilled again on reopening)  */
-    const cancelPrompt = () => {
-        if (prompt === null)
-            return;
-        if (prompt.request !== null) {
-            requestDrafts.current.set(prompt.id, { name: prompt.request.name, text: prompt.text, pos: prompt.pos });
-            setNotice(`requesting task "${prompt.id}" by prompt cancelled`);
-        }
-        else {
-            promptDrafts.current.set(prompt.id, { text: prompt.text, pos: prompt.pos });
-            setNotice(`editing task "${prompt.id}" by prompt cancelled`);
-        }
-        setPrompt(null);
-    };
-    /*  request a task by the prompt of its popup under its request name (processed by a
-        request agent of a definition, resp. by "ase agent editor" for "edit"), dropping
-        the draft of the task once sent, resp. keeping the request as its draft on failure,
-        where the prompt may be empty only for the requests of agents not requiring their prompts,
-        and is dropped for the requests of agents ignoring their prompts  */
-    const submitRequest = (id, text, pos, name) => {
-        let requests;
-        try {
-            requests = requestsOf(name);
-        }
-        catch (err) {
-            setNotice(`requesting task "${id}" by prompt failed: ${err instanceof Error ? err.message : String(err)}`);
-            return;
-        }
-        const use = requestPrompt(agents, name);
-        if (text.trim() === "" && use === "required") {
-            setNotice(`requesting "${name}" of task "${id}" failed: empty prompt`);
-            return;
-        }
-        setPrompt(null);
-        track({ text: `requesting "${name}" of task`, id }, requests.request(log, id, use === "ignored" ? "" : text)).then(() => {
-            requestDrafts.current.delete(id);
-            setNotice(`"${name}" of task "${id}" requested`);
-        }).catch((err) => {
-            requestDrafts.current.set(id, { name, text, pos });
-            setNotice(`requesting "${name}" of task "${id}" failed: ${err instanceof Error ? err.message : String(err)}`);
-        });
-    };
-    /*  request the edit of a task by the prompt of its popup (processed by "ase agent editor"),
-        dropping the draft of the task once sent, resp. keeping the prompt as its draft on failure,
-        or request a task by the prompt of its popup under its request name  */
-    const submitPrompt = () => {
-        if (prompt === null)
-            return;
-        const { id, text, pos } = prompt;
-        if (prompt.request !== null) {
-            submitRequest(id, text, pos, prompt.request.name);
-            return;
-        }
-        if (text.trim() === "") {
-            setNotice(`requesting edit of task "${id}" failed: empty edit prompt`);
-            return;
-        }
-        setPrompt(null);
-        track({ text: "requesting edit of task", id }, requestEdit(log, id, text)).then(() => {
-            promptDrafts.current.delete(id);
-            setNotice(`edit of task "${id}" requested`);
-        }).catch((err) => {
-            promptDrafts.current.set(id, { text, pos });
-            setNotice(`requesting edit of task "${id}" failed: ${err instanceof Error ? err.message : String(err)}`);
-        });
-    };
+    /*  the actions of the prompt popup (with the drafts of its prompts and requests, per task)  */
+    const { startPrompt, startRequest, cancelPrompt, submitPrompt } = usePromptActions({ log, all, cycle, agents, prompt, setPrompt, setNotice, track, promptLoad });
     /*  toggle a flag (task titles, key hints, or standalone tasks) of the TUI surface  */
     const toggleFlag = (flag) => {
         BoardState.toggleFlag("tui", flag).then((state) => {
@@ -840,6 +901,7 @@ export const useBoardState = (log, initial, relay) => {
         if (grow && !growable)
             setGrow(false);
     }, [grow, growable]);
+    /*  the heights of the header, footer, and board area, and the inner board width  */
     const headH = 3;
     const footH = surface.keys ? (view === "agents" || view === "stats" || view === "flow" ? 5 : view === "lanes" ? 7 : 6) : 3;
     const boardH = rows - headH - footH;
@@ -943,52 +1005,8 @@ export const useBoardState = (log, initial, relay) => {
         };
     }, [pulsing]);
     const pulse = pulsing ? pulseTick : -1;
-    /*  tick the wall-clock every second while the agents view is shown, for the live
-        durations of its footer (the time in the current state and the age of the heartbeat)  */
-    const [now, setNow] = React.useState(Date.now());
-    React.useEffect(() => {
-        if (view !== "agents")
-            return;
-        setNow(Date.now());
-        const timer = setInterval(() => {
-            setNow(Date.now());
-        }, 1000);
-        return () => {
-            clearInterval(timer);
-        };
-    }, [view]);
-    /*  the local time at which the latest heartbeat of each agent was received (measured
-        locally, as the clock of the agent relay may be skewed), for the heart of its card
-        (filled for BEAT_SHOWN_MS after a heartbeat, else empty), where the heartbeats are
-        recognized by their changed time stamps and a filled heart is re-rendered once it is
-        due to be emptied (as the wall-clock tick alone would empty it too early or too late)  */
-    const beats = React.useRef(new Map());
-    const beatsSeen = React.useMemo(() => {
-        const at = Date.now();
-        const list = agents?.agents ?? [];
-        const next = new Map();
-        for (const a of list) {
-            const prev = beats.current.get(a.id);
-            next.set(a.id, prev !== undefined && prev.beat === a.beat ? prev : { beat: a.beat, seen: at });
-        }
-        beats.current = next;
-        return next;
-    }, [agents]);
-    React.useEffect(() => {
-        if (view !== "agents" && view !== "flow")
-            return;
-        const latest = Math.max(0, ...[...beatsSeen.values()].map((b) => b.seen));
-        const due = latest + BEAT_SHOWN_MS - Date.now();
-        if (latest === 0 || due <= 0)
-            return;
-        const timer = setTimeout(() => {
-            setNow(Date.now());
-        }, due);
-        return () => {
-            clearTimeout(timer);
-        };
-    }, [view, beatsSeen]);
-    const beatOf = (id) => now - (beatsSeen.get(id)?.seen ?? 0) < BEAT_SHOWN_MS;
+    /*  the wall-clock and the heartbeats of the agents (for the agents view and the agent graph)  */
+    const { now, beatOf } = useBeats(agents, view);
     return {
         log, exit, columns, rows, all, board, surface, view, setView, filter, setFilter, typing, setTyping,
         sel, setSel, dialog, setDialog, scroll, layout, notice, setNotice, carry, setCarry, cycle,

package/dst/ase-task-board-tui-popup.js

@@ -56,7 +56,7 @@ const wrap = (line, width) => {
     return out;
 };
 /*  make a text safe for the terminal: expand tabs and strip control characters  */
-export const sanitize = (text) => text.replace(/\t/g, "    ").replace(/[\p{Cc}؜‎‏‪-‮⁦-⁩]/gu, "");
+export const sanitize = (text) => text.replace(/\t/g, "    ").replace(/[\p{Cc}\u{061C}\u{200E}\u{200F}\u{202A}-\u{202E}\u{2066}-\u{2069}]/gu, "");
 /*  mark the checkbox of a plan line in the read dialog: checkboxes of items
     which are done, in progress, or open are accented, while checkboxes of
     items which are questioned, delegated, or dropped are signaled  */
@@ -344,8 +344,7 @@ export const promptNext = (prompt) => promptIgnored(prompt) ? "request" : "promp
     wrapped onto the five lines of the frame of an input box (like in the web board, in
     accent color, resp. in signal color while focused), scrolled to show the cursor, with
     the request and cancel buttons below it (in accent color, resp. in signal color while
-    focused), and with
-    every inner cell written (with spaces) to hide the content underneath  */
+    focused), and with every inner cell written (with spaces) to hide the content underneath  */
 export const renderPrompt = (prompt, columns, rows, choices = []) => {
     const { id, text, pos, request } = prompt;
     const box = promptBox(columns, rows, request !== null);