@oharness/server 0.12.0 → 0.14.0

package/dist/page/client/panels.js

@@ -441,6 +441,10 @@ async function showMemoryPage(id) {
   }
   // Nothing to tidy is not worth a row.
   if (findings.length || consolidate.lastAuto) panel.appendChild(tidy);
+  // Supplied by the dreaming plugin; absent when it is switched off. Its own
+  // page holds the detail; here, one line and the way there.
+  const dream = result.sections && result.sections.dreaming;
+  if (dream) panel.appendChild(dreamCard(dream));
   const editor = (note, extra) => {
     const form = el("form", "memory-editor"), summary = el("input", ""), body = el("textarea", ""), tags = el("input", "");
     summary.placeholder = t("memory.summaryPlaceholder"); summary.value = note?.summary || ""; summary.required = true;
@@ -604,7 +608,7 @@ async function showMemoryPage(id) {
  * has a row of its own on the rail as well as Settings', and lights that one
  * whichever way it was reached.
  */
-const SUB_PANELS = { usage: "nav-usage", audit: "nav-settings", permissions: "nav-settings" };
+const SUB_PANELS = { usage: "nav-usage", audit: "nav-settings", permissions: "nav-settings", dreaming: "nav-settings" };
 
 /** Which panel the panel view is currently showing, sub-panels included. */
 let shownPanel = null;
@@ -617,6 +621,226 @@ let shownPanel = null;
  * left intact underneath it, and the composer is hidden — there is nothing to
  * send a message to while reading a list of providers.
  */
+/** Spent money, at the precision a small amount needs. */
+function dreamCost(usd) {
+  return "$" + (usd || 0).toFixed(usd > 0 && usd < 0.01 ? 4 : 2);
+}
+
+/** Whether a timestamp falls in this local calendar month. */
+function inThisMonth(at) {
+  const d = new Date(at), now = new Date();
+  return d.getFullYear() === now.getFullYear() && d.getMonth() === now.getMonth();
+}
+
+/** The Memory page's line about dreaming, and the way to its page. */
+function dreamCard(dream) {
+  const card = el("div", "row-card dream-card");
+  const head = el("div", "row-head");
+  head.appendChild(el("span", "row-title", t("dream.title")));
+  head.appendChild(el("span", "memory-dream-tag " + (dream.auto ? "apply" : ""), t(dream.auto ? "dream.auto" : "dream.manual")));
+  const open = el("button", "ghost", t("dream.open")); open.type = "button";
+  open.onclick = () => { setNav("dreaming"); void showDreaming(); };
+  head.appendChild(open);
+  card.appendChild(head);
+  const facts = [];
+  if ((dream.proposals || []).length) facts.push(t("dream.waitingCount", { n: dream.proposals.length }));
+  facts.push(t("dream.monthSpend", { tokens: formatTokens((dream.spend && dream.spend.tokens) || 0), cost: dreamCost(dream.spend && dream.spend.costUsd) }));
+  card.appendChild(el("div", "muted small", facts.join("  ·  ")));
+  return card;
+}
+
+/** The switch for whether dreaming runs on its own. */
+function dreamAutoSwitch(on, onChange) {
+  const button = el("button", "switch");
+  button.type = "button";
+  button.setAttribute("role", "switch");
+  button.setAttribute("aria-checked", on ? "true" : "false");
+  button.setAttribute("aria-label", t("dream.autoSwitch"));
+  button.title = t(on ? "dream.autoOnHint" : "dream.autoOffHint");
+  button.addEventListener("click", (event) => {
+    // Inside a row's summary, a click would also open or close the row.
+    event.preventDefault(); event.stopPropagation();
+    button.disabled = true;
+    void Promise.resolve(onChange(!on));
+  });
+  return button;
+}
+
+/** When the next automatic dream happens, scope by scope, in words. */
+function dreamNext(dream) {
+  if (!dream.auto) return t("dream.next.manual");
+  const settings = dream.settings || {};
+  const parts = [];
+  for (const scope of (dream.schedule && dream.schedule.scopes) || []) {
+    let state;
+    if (scope.dreamedToday) state = t("dream.next.doneToday");
+    else if (!scope.waiting) state = t("dream.next.nothing");
+    else if (scope.waiting >= settings.minClaims || (scope.oldestAt && Date.now() - scope.oldestAt >= settings.maxWaitHours * 3600000)) state = t("dream.next.due");
+    else {
+      const hours = Math.max(1, Math.ceil((scope.oldestAt + settings.maxWaitHours * 3600000 - Date.now()) / 3600000));
+      state = t("dream.next.gathering", { n: scope.waiting, min: settings.minClaims, hours });
+    }
+    parts.push(t("memory.dream.scope." + scope.scope) + ": " + state);
+  }
+  return parts.join("  ·  ");
+}
+
+/** Before and after, side by side, for one change. */
+function dreamDiff(change) {
+  const box = el("div", "dream-diff");
+  const side = (label, notes, empty) => {
+    const col = el("div", "dream-diff-side");
+    col.appendChild(el("div", "muted small", label));
+    if (!notes.length) col.appendChild(el("div", "muted small", empty));
+    for (const note of notes) {
+      if (note.removed) col.appendChild(el("div", "muted small", t("dream.diff.removed")));
+      else if (note.editedSince) col.appendChild(el("div", "muted small", t("dream.diff.editedSince")));
+      else col.appendChild(el("pre", "memory-dream-body", note.summary + "\n\n" + note.body));
+    }
+    return col;
+  };
+  box.appendChild(side(t("memory.dream.before"), (change.before || []).filter((note) => note.body), t("dream.diff.none")));
+  box.appendChild(side(t("memory.dream.after"), change.after || [], t("dream.diff.none")));
+  return box;
+}
+
+/**
+ * Dreaming's own page: whether it runs and when next, what this month cost,
+ * the suggestions waiting, and every run, each with what it changed.
+ */
+async function showDreaming() {
+  const session = activeId;
+  const page = [...pluginPages.values()].find((one) => one.renderer === "memory");
+  const result = page ? await getJson("/plugin-page?id=" + encodeURIComponent(page.id) + "&session=" + encodeURIComponent(session || "")) : {};
+  if (shownPanel !== "dreaming" || activeId !== session) return;
+  panelBody.replaceChildren(); panelNotes.replaceChildren();
+  const panel = el("div", "panel memory-panel dream-panel"); panelBody.appendChild(panel);
+  const dream = result.sections && result.sections.dreaming;
+  const head = el("div", "dream-head");
+  head.appendChild(el("h2", "", t("dream.title")));
+  panel.appendChild(head);
+  if (!dream) { panel.appendChild(el("p", "muted", t("dream.off"))); return; }
+  head.appendChild(el("span", "dream-spacer"));
+  // Whether it runs on its own: the user's choice, kept in their plugin config.
+  const autoLabel = el("label", "dream-auto");
+  autoLabel.appendChild(el("span", "small", t("dream.autoSwitch")));
+  const autoSwitch = dreamAutoSwitch(dream.auto, (next) => act({ action: "setAuto", auto: next }));
+  autoLabel.appendChild(autoSwitch);
+  head.appendChild(autoLabel);
+  const act = async (input) => {
+    try {
+      const reply = await api("/plugin-page", { page: page.id, session, input: { action: "section", section: "dreaming", input } }, 120000);
+      if (reply.error) throw Object.assign(new Error(reply.error), { code: reply.code, params: reply.params });
+    } catch (error) {
+      if (shownPanel === "dreaming") panelNotes.appendChild(el("p", "small memory-error", memoryText(error)));
+      return;
+    }
+    if (shownPanel === "dreaming" && activeId === session) await showDreaming();
+  };
+  const now = el("button", "ghost", dream.running ? t("memory.dream.running") : t("memory.dream.now"));
+  now.type = "button"; now.disabled = !!dream.running;
+  now.onclick = () => { now.disabled = true; now.textContent = t("memory.dream.running"); void act({ action: "dreamNow" }); };
+  head.appendChild(now);
+  panel.appendChild(el("p", "muted small", dreamNext(dream)));
+  if (dream.error) panel.appendChild(el("p", "small memory-error", dream.error));
+  if (dream.running) setTimeout(() => { if (shownPanel === "dreaming" && activeId === session) void showDreaming(); }, 3000);
+
+  const runs = dream.runs || [], log = dream.log || [], proposals = dream.proposals || [];
+  const monthRuns = runs.filter((run) => inThisMonth(run.at));
+  const monthLog = log.filter((item) => inThisMonth(item.at));
+  const metrics = el("div", "dream-metrics");
+  const metric = (label, value, sub) => {
+    const box = el("div", "dream-metric");
+    box.appendChild(el("div", "muted small", label));
+    box.appendChild(el("div", "dream-metric-value", value));
+    box.appendChild(el("div", "muted small", sub));
+    metrics.appendChild(box);
+  };
+  metric(t("dream.metric.applied"), String(monthLog.length), t("dream.metric.undone", { n: monthLog.filter((item) => item.undone).length }));
+  metric(t("dream.metric.waiting"), String(proposals.length), t("dream.metric.suggestions"));
+  metric(t("dream.metric.spent"), formatTokens((dream.spend && dream.spend.tokens) || 0), t("dream.metric.cost", { cost: dreamCost(dream.spend && dream.spend.costUsd) }));
+  metric(t("dream.metric.runs"), String(monthRuns.length), t("dream.metric.read", { n: monthRuns.reduce((sum, run) => sum + (run.digested || 0), 0) }));
+  panel.appendChild(metrics);
+  const settings = dream.settings || {};
+  panel.appendChild(el("p", "muted small", t("dream.budgetToday", { used: formatTokens((dream.schedule && dream.schedule.spentToday) || 0), limit: formatTokens(settings.dailyTokens || 0) })));
+
+  const evidence = (row, claims) => {
+    if (!claims || !claims.length) return;
+    const list = el("ul", "memory-dream-evidence small");
+    for (const claim of claims) list.appendChild(el("li", "", t("memory.dream.kind." + claim.kind) + " · " + new Date(claim.at).toLocaleDateString(LOCALE) + " · " + (claim.quote ? "“" + claim.quote + "”" : claim.text)));
+    row.appendChild(list);
+  };
+  const changeRow = (item) => {
+    const row = el("div", "dream-change");
+    const line = el("div", "dream-line");
+    line.appendChild(el("span", "memory-dream-tag " + (item.undone ? "" : "apply"), item.undone ? t("memory.dream.undone") : t("memory.dream.op." + item.op)));
+    line.appendChild(el("span", "dream-grow", t("memory.dream.scope." + item.scope) + " · " + item.summary));
+    const compare = el("button", "ghost dream-small", t("dream.compare")); compare.type = "button";
+    let diff;
+    compare.onclick = () => { if (diff) { diff.remove(); diff = undefined; } else { diff = dreamDiff(item); row.appendChild(diff); } };
+    line.appendChild(compare);
+    if (!item.undone) {
+      const undo = el("button", "ghost dream-small", t("memory.dream.undo")); undo.type = "button";
+      undo.onclick = () => { undo.disabled = true; void act({ action: "undo", scope: item.scope, id: item.id }); };
+      line.appendChild(undo);
+    }
+    row.appendChild(line);
+    evidence(row, item.evidence);
+    return row;
+  };
+
+  panel.appendChild(el("h3", "dream-section", t("dream.suggestions", { n: proposals.length })));
+  if (!proposals.length) panel.appendChild(el("p", "muted small", t("dream.noSuggestions")));
+  for (const item of proposals) {
+    const row = el("details", "dream-change");
+    const line = el("summary", "dream-line");
+    line.appendChild(el("span", "memory-dream-tag review", t("memory.dream.op." + item.op)));
+    line.appendChild(el("span", "dream-grow", t("memory.dream.scope." + item.scope) + " · " + (item.summary || (item.targets[0] && item.targets[0].summary) || "")));
+    if (item.why) line.appendChild(el("span", "muted small", t("memory.dream.why." + item.why)));
+    row.appendChild(line);
+    if (item.reason) row.appendChild(el("p", "small", item.reason));
+    for (const target of item.targets || []) if (target.body) { row.appendChild(el("div", "muted small", t("memory.dream.before") + " · " + target.summary)); row.appendChild(el("pre", "memory-dream-body before", target.body)); }
+    if (item.body) { row.appendChild(el("div", "muted small", t("memory.dream.proposed") + " · " + item.summary + (item.tags && item.tags.length ? " · #" + item.tags.join(" #") : ""))); row.appendChild(el("pre", "memory-dream-body", item.body)); }
+    evidence(row, item.evidence);
+    const buttons = el("div", "memory-actions");
+    if (item.op === "create" || item.op === "update" || item.op === "merge") {
+      const apply = el("button", "ghost", t("memory.dream.applyOne")); apply.type = "button";
+      apply.onclick = () => { apply.disabled = true; void act({ action: "applyProposal", scope: item.scope, id: item.id }); };
+      buttons.appendChild(apply);
+    }
+    const dismiss = el("button", "ghost", t("memory.dream.dismiss")); dismiss.type = "button";
+    dismiss.onclick = () => { void act({ action: "dismissProposal", scope: item.scope, id: item.id }); };
+    buttons.appendChild(dismiss);
+    row.appendChild(buttons);
+    panel.appendChild(row);
+  }
+
+  panel.appendChild(el("h3", "dream-section", t("dream.history")));
+  if (!runs.length) panel.appendChild(el("p", "muted small", t("dream.noHistory")));
+  for (const run of runs) {
+    const row = el("details", "dream-run");
+    const line = el("summary", "dream-line");
+    line.appendChild(el("span", "dream-when", new Date(run.at).toLocaleString(LOCALE, { month: "short", day: "numeric", hour: "2-digit", minute: "2-digit" })));
+    const bad = run.outcome === "refused" || run.outcome === "failed" || run.outcome === "budget";
+    line.appendChild(el("span", "memory-dream-tag " + (bad ? "review" : ""), t("dream.trigger." + run.trigger)));
+    const counts = t("dream.run.counts", { read: run.digested, applied: run.applied, suggested: run.proposals });
+    line.appendChild(el("span", "dream-grow", run.outcome === "no-call" ? t("dream.run.noCall") : bad ? t("dream.run." + run.outcome) + " · " + counts : counts));
+    line.appendChild(el("span", "muted small", formatTokens((run.tokens.input || 0) + (run.tokens.output || 0)) + " · " + dreamCost(run.costUsd)));
+    row.appendChild(line);
+    const changes = log.filter((item) => item.run === run.id);
+    if (!changes.length) row.appendChild(el("p", "muted small", t(run.outcome === "refused" ? "dream.run.refusedDetail" : "dream.run.noChanges")));
+    for (const item of changes) row.appendChild(changeRow(item));
+    for (const error of run.errors || []) row.appendChild(el("p", "small memory-error", error));
+    if (run.model) row.appendChild(el("p", "muted small", t("dream.run.model", { model: run.model, seconds: run.seconds })));
+    panel.appendChild(row);
+  }
+  const byHand = log.filter((item) => item.fromProposal);
+  if (byHand.length) {
+    panel.appendChild(el("h3", "dream-section", t("dream.appliedByYou")));
+    for (const item of byHand) panel.appendChild(changeRow(item));
+  }
+}
+
 function setNav(active) {
   // Every nav destination funnels through here, so one call covers them all.
   track("panel_opened", { panel: active });

package/dist/page/client/panels.js.map

@@ -1 +1 @@
-{"version":3,"file":"panels.js","sourceRoot":"","sources":["../../../src/page/client/panels.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqpB/B,CAAC"}
+{"version":3,"file":"panels.js","sourceRoot":"","sources":["../../../src/page/client/panels.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAq3B/B,CAAC"}

package/dist/page/client/routines.js

@@ -400,6 +400,21 @@ async function showSettings(opts) {
     return box;
   };
 
+  // A row of small figures inside an opened row: a label, a value, and a line
+  // under it. What the row's page is about, at a glance, without opening it.
+  const shortWhen = (at) => new Date(at).toLocaleString(LOCALE, { month: "short", day: "numeric", hour: "2-digit", minute: "2-digit" });
+  const stats = (box, items) => {
+    const grid = el("div", "setting-stats");
+    for (const item of items) {
+      const tile = el("div", "setting-stat" + (item.tone ? " " + item.tone : ""));
+      tile.appendChild(el("div", "setting-stat-label", item.label));
+      tile.appendChild(el("div", "setting-stat-value", item.value));
+      if (item.sub) tile.appendChild(el("div", "setting-stat-sub", item.sub));
+      grid.appendChild(tile);
+    }
+    box.appendChild(grid);
+  };
+
   // A labelled block inside an opened row: what the label names, printed as
   // typed. Used for the permission rules and the settings files, both of
   // which are lists someone reads once and closes again.
@@ -501,12 +516,60 @@ async function showSettings(opts) {
         : !result.enabled ? "off"
         : result.syncing ? "syncing"
         : (result.errors && result.errors.length) || result.error ? "error" : "on";
-      box.appendChild(el("div", "small", t("memory.state." + state)));
       const entries = result.entries || [];
       const project = entries.filter((entry) => entry.scope !== "user").length;
-      box.appendChild(el("div", "muted small", result.userAvailable
-        ? t("memory.countsScoped", { project, user: entries.length - project })
-        : t("memory.counts", { count: entries.length })));
+      const tidy = result.reviewTotal || (result.review || []).length;
+      stats(box, [
+        { label: t("settings.stat.sync"), value: t("settings.stat.syncState." + state), sub: result.lastSync ? t("settings.stat.syncedAgo", { when: shortWhen(result.lastSync) }) : "", tone: state === "error" || state === "account" ? "warn" : "" },
+        { label: t("settings.stat.notes"), value: String(entries.length), sub: result.userAvailable ? t("settings.stat.notesSplit", { project, user: entries.length - project }) : "" },
+        { label: t("settings.stat.tidy"), value: String(tidy), sub: t(tidy ? "settings.stat.tidySome" : "settings.stat.tidyNone") },
+      ]);
+    });
+    // Dreaming builds on memory and shows on its page data; its row hides
+    // itself when the plugin is off.
+    const openDream = el("button", "ghost", t("settings.memoryOpen"));
+    openDream.type = "button";
+    openDream.addEventListener("click", () => { setNav("dreaming"); void showDreaming(); });
+    // The switch is drawn once the state is known; until then, a disabled one.
+    // One read draws both the switch and, once the row has been opened, its
+    // tiles, so flipping the switch updates what the tiles say too.
+    const autoSlot = el("span", "dream-auto-slot");
+    autoSlot.appendChild(Object.assign(el("button", "switch"), { type: "button", disabled: true }));
+    const dreamRow = field(t("dream.title"), "", t("dream.settingsHint"), autoSlot, openDream);
+    let dreamTiles;
+    const fillDream = (box, dream) => {
+      box.replaceChildren();
+      const last = (dream.runs || [])[0];
+      const waiting = (dream.proposals || []).length;
+      stats(box, [
+        { label: t("dream.stat.mode"), value: t(dream.auto ? "dream.stat.modeAuto" : "dream.stat.modeManual"), sub: t(dream.auto ? "dream.stat.modeAutoSub" : "dream.stat.modeManualSub"), tone: dream.auto ? "ok" : "" },
+        { label: t("dream.stat.last"), value: last ? shortWhen(last.at) : t("dream.stat.never"), sub: last ? t("dream.stat.lastSub", { applied: last.applied, suggested: last.proposals }) : "" },
+        { label: t("dream.stat.month"), value: formatTokens((dream.spend && dream.spend.tokens) || 0) + " tokens", sub: dreamCost(dream.spend && dream.spend.costUsd) },
+        ...(waiting ? [{ label: t("dream.stat.waiting"), value: String(waiting), sub: t("dream.metric.suggestions"), tone: "warn" }] : []),
+      ]);
+    };
+    const readDream = async () => {
+      const result = await getJson("/plugin-page?id=" + encodeURIComponent(page.id) + "&session=" + encodeURIComponent(activeId || ""));
+      const dream = result.sections && result.sections.dreaming;
+      // The field helper returns the row body; the row itself is its parent.
+      if (!dream) dreamRow.parentNode.hidden = true;
+      return dream;
+    };
+    const drawAuto = async () => {
+      const dream = await readDream();
+      if (!dream) return;
+      autoSlot.replaceChildren(dreamAutoSwitch(dream.auto, async (next) => {
+        await api("/plugin-page", { page: page.id, session: activeId, input: { action: "section", section: "dreaming", input: { action: "setAuto", auto: next } } });
+        await drawAuto();
+      }));
+      if (dreamTiles) fillDream(dreamTiles, dream);
+    };
+    void drawAuto();
+    preview(dreamRow, async (box) => {
+      const dream = await readDream();
+      if (!dream) return void box.replaceChildren();
+      dreamTiles = box;
+      fillDream(box, dream);
     });
   }
 

package/dist/page/client/routines.js.map

@@ -1 +1 @@
-{"version":3,"file":"routines.js","sourceRoot":"","sources":["../../../src/page/client/routines.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kFA4xCgD,CAAC"}
+{"version":3,"file":"routines.js","sourceRoot":"","sources":["../../../src/page/client/routines.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kFA21CgD,CAAC"}

package/dist/page/client/shell.js

@@ -51,6 +51,7 @@ function repaintPanel() {
   else if (shownPanel === "audit") void showAudit();
   else if (shownPanel === "permissions") void showPermissions();
   else if (shownPanel?.startsWith("nav-plugin-")) void showMemoryPage(shownPanel.slice("nav-plugin-".length));
+  else if (shownPanel === "dreaming") void showDreaming();
 }
 
 async function loadProjects() {
@@ -854,7 +855,13 @@ function showUpdatePrompt(prompt) {
   head.appendChild(el("div", "upd-title", title));
   dialog.appendChild(head);
 
-  if (kind === "download" && prompt.notes) dialog.appendChild(el("div", "upd-notes", prompt.notes));
+  // The notes are build/release-notes.md as written, so headings, lists and
+  // emphasis render rather than show their markers.
+  if (kind === "download" && prompt.notes) {
+    const notes = el("div", "upd-notes");
+    notes.appendChild(renderMarkdown(prompt.notes));
+    dialog.appendChild(notes);
+  }
   const body =
     kind === "download"
       ? t("update.prompt.availableBody", vars)

package/dist/page/client/shell.js.map

@@ -1 +1 @@
-{"version":3,"file":"shell.js","sourceRoot":"","sources":["../../../src/page/client/shell.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MA2/BzB,CAAC"}
+{"version":3,"file":"shell.js","sourceRoot":"","sources":["../../../src/page/client/shell.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAkgCzB,CAAC"}

package/dist/page/client/state.js

@@ -578,8 +578,18 @@ async function deleteProject(cwd, name) {
 let sessionRows = [];
 
 async function loadSessions() {
+  const revision = sidebarTaskRevision;
+  const request = ++sessionListRequest;
   const body = await getJson("/sessions");
+  if (request !== sessionListRequest) return;
+  if (body.error) return void addNotice(body.error, "err");
   sessionRows = body.sessions || [];
+  for (const s of sessionRows) {
+    const cached = sidebarTasks.get(s.id);
+    if (!cached || cached.revision <= revision) {
+      sidebarTasks.set(s.id, { tasks: s.tasks || [], revision });
+    }
+  }
   sessionOrder = body.order || {};
   paintSessions();
 }
@@ -707,7 +717,7 @@ function paintSessions() {
     if (open) {
       const all = showingAll.has(ROUTINE_GROUP) || scheduled.length <= PREVIEW + 1;
       for (const s of all ? scheduled : scheduled.slice(0, PREVIEW)) {
-        sessionList.appendChild(sessionRow(s, true));
+        sessionList.appendChild(sessionBlock(s, true));
       }
       if (!all) sessionList.appendChild(showMore(ROUTINE_GROUP, true));
     }
@@ -730,7 +740,7 @@ function paintSessions() {
     const shown = all
       ? list
       : list.filter((s, i) => i < PREVIEW || s.pinned);
-    for (const s of shown) sessionList.appendChild(sessionRow(s, named));
+    for (const s of shown) sessionList.appendChild(sessionBlock(s, named));
     if (!all) sessionList.appendChild(showMore(cwd, named));
   }
 }
@@ -1210,6 +1220,9 @@ async function deleteSession(id) {
   // leaves them pointing at nothing. Said once, rather than blocked.
   if (body.forks) addNotice(t("session.deletedForks", { n: body.forks }), "notice");
 
+  sidebarTasks.delete(id);
+  delete taskTreeOpen[id];
+  saveTaskTreeOpen();
   sessionRows = sessionRows.filter((s) => s.id !== id);
   paintSessions();
   await loadSessions();

package/dist/page/client/state.js.map

@@ -1 +1 @@
-{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/page/client/state.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8/C9B,CAAC"}
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/page/client/state.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2gD9B,CAAC"}