synartesis 0.6.16 → 0.6.19

package/CHANGELOG.md

@@ -2,6 +2,104 @@
 
 What changed, and why it mattered. Dates are release dates.
 
+## 0.6.19 — 2026-09-15
+
+### Fixed
+
+- **Both guides showed output the command no longer produces.** The worked
+  examples of `show` were still the pre-0.6.18 single-line row, and the session
+  lists were still the pre-0.6.17 table of full uuids -- in the runbook, whose
+  pdf had just been rebuilt from that stale text, and in the user guide, whose
+  pdf had not been rebuilt at all, so the two shipped documents disagreed with
+  each other as well as with the terminal. Regenerated from real runs and both
+  pdfs built together.
+
+- **Four tap targets touching on a phone.** A rule added with the last release
+  set `gap:0` on the screenshot tabs, overriding the deliberate `gap:8px` set
+  with the two columns further up the same stylesheet. The buttons carry their
+  own border, so the four of them closed into one block with doubled seams and
+  no separation between adjacent targets. Measured at 375px: they abutted
+  exactly, at x=22 and x=188 across a width of 166.
+
+- `badgeOf` and `statusOf` took a `pad` that defaulted to true, and the one
+  call site of each passes it explicitly -- so the default could never apply,
+  and it was the wrong answer for the ordinary case anyway. Required now.
+
+## 0.6.18 — 2026-09-15
+
+A pass over the terminal and the site, most of it drafted by another model and
+reviewed here.
+
+### Changed
+
+- **`show` leads each action with the tool that ran.** It used to begin the row
+  with sequence, class and status, putting the tool name at column thirty-eight
+  where a long server name could push it off. The class and status now sit on
+  the line below it, and each action is separated by a blank line rather than
+  each action's recovery data being separated from the action.
+
+- **A held call is set in the accent colour**, which the palette reserves for
+  the one thing that wants a person. It was set in ink, like an ordinary fact.
+
+- **The site keeps its columns on a phone.** At 375px the interactive example's
+  caption left the undo control stranded alone on a second line; it takes its
+  own row now, with a tap target that meets the usual minimum. Figures in the
+  evidence blocks are set in tabular figures so they hold their columns as the
+  numbers change, and the install guide's two opening columns share a top edge.
+
+### Fixed
+
+- **Trailing whitespace on every action in `show`.** The padding that used to
+  line up the next column had nothing after it once the tool name moved, so it
+  dangled at the end of each line -- inside the escape codes, where trimming
+  the finished line cannot reach. Padded now only where a third column follows,
+  which is `--live` and usually absent.
+
+### Kept
+
+- **The turning mark in `watch` and the screen stays.** It was read as implying
+  an agent was at work on an empty journal. It sits beside "watching" and "no
+  journal here yet", which are statements about the command rather than about
+  an agent, and it answers the only question a quiet screen raises -- whether
+  this is still running. Nothing else in the frame changes to answer it: every
+  time shown is a wall clock reading of something that already happened, so
+  without the mark a live `watch` on a quiet journal is indistinguishable from
+  a crashed one. That is the command meant to be left running. There is now a
+  test.
+
+## 0.6.17 — 2026-09-15
+
+### Changed
+
+- **The session list says what each session did.** Three sessions a second
+  apart -- one that wrote a file, one that read one, one that did nothing --
+  printed as three identical rows distinguished only by a uuid, so the command
+  you run to find the session you want told you nothing about which session you
+  want. There are two new columns and one fewer:
+
+  ```
+  session   started        did                         state                       agent
+  331e43de  16:41:21       write_file report.txt       done, can undo              agent
+  ac635294  16:41:21       read only                                               agent
+  5856e14a  16:41:21       create_directory x          waiting for you             agent
+  e52213e6  16:41:20       write_file notes.md         undone                      agent
+  ```
+
+  `did` is the last action that changed something, named the way `watch` and
+  the screen already name one. `state` is where that leaves it, including the
+  two that look identical otherwise: a run that has been undone and one that
+  has not.
+
+  Ids are printed at eight characters, widened only if that would not tell the
+  runs apart -- any unambiguous prefix has always been accepted, and thirty-six
+  characters of hex on every line was the price of a collision that has not
+  happened. The `status` column is gone: `complete` is true of nearly every
+  line and pushed the column that varies off the edge. `active` is not true of
+  nearly every line, so it survives as "still open" -- it means a proxy still
+  working or one that was killed, and it is the whole reason `close` exists.
+
+  `--json` is untouched: full ids, same fields. That is what scripts read.
+
 ## 0.6.16 — 2026-09-15
 
 ### Fixed

package/dist/{chunk-OODDXM36.js → chunk-SZHVLCJR.js}

@@ -313,6 +313,18 @@ CREATE INDEX IF NOT EXISTS actions_undoable ON actions(run_id)
 -- rows it saves reading are the ones carrying the snapshots.
 CREATE INDEX IF NOT EXISTS actions_unresolved ON actions(run_id, server, tool)
   WHERE status = 'pending';
+
+-- Partial again, and for the third time the partial half is the point. The
+-- session list says what each session did, which means the last action in it
+-- that changed something. Without this, a run that read ten thousand files and
+-- wrote once is walked backwards through all ten thousand reads to find the
+-- write -- and those rows carry the snapshots.
+--
+-- The one of these three the planner finds on its own, so lastWrite does not
+-- name it: the query's WHERE clause is this predicate exactly, and seq is the
+-- ordering it asks for, so the index both filters and sorts.
+CREATE INDEX IF NOT EXISTS actions_writes ON actions(run_id, seq)
+  WHERE class <> 'readonly';
 `;
 
 // src/journal/journal.ts
@@ -824,6 +836,17 @@ var SqliteJournal = class {
       return raw === void 0 ? void 0 : toRun(raw);
     });
   }
+  lastWrite(runId) {
+    return this.#run("lastWrite", () => {
+      const raw = this.#db.prepare(
+        `SELECT * FROM actions
+            WHERE run_id = ? AND class <> 'readonly'
+            ORDER BY seq DESC
+            LIMIT 1`
+      ).get(runId);
+      return raw === void 0 ? void 0 : toAction(raw);
+    });
+  }
   recentActions(limit) {
     return this.#run(
       "recentActions",
@@ -1907,4 +1930,4 @@ export {
   observeState,
   connectStdioUpstream
 };
-//# sourceMappingURL=chunk-OODDXM36.js.map
+//# sourceMappingURL=chunk-SZHVLCJR.js.map

package/dist/cli.js

@@ -36,7 +36,7 @@ import {
   verifyAgainstServers,
   warnUntested,
   wasRefused
-} from "./chunk-OODDXM36.js";
+} from "./chunk-SZHVLCJR.js";
 import {
   DriftConflict,
   ManifestError,
@@ -3279,6 +3279,62 @@ function hint(candidate) {
   out(hintLine(candidate, pathArgs(candidate.needs)));
   out("");
 }
+function idWidth(runs) {
+  for (let width = 8; width < 36; width += 1) {
+    const seen = new Set(runs.map((run) => run.id.slice(0, width)));
+    if (seen.size === runs.length) {
+      return width;
+    }
+  }
+  return 36;
+}
+function didWhat(journal, run, total) {
+  const write = journal.lastWrite(run.id);
+  if (write === void 0) {
+    return {
+      what: style.quiet(total === 0 ? "nothing" : "read only"),
+      state: style.quiet(run.status === "active" ? "still open" : "")
+    };
+  }
+  const what = subject(write.args);
+  const said = plainly(write);
+  const rest = total - 1;
+  return {
+    what: `${style.strong(write.tool)}${what === "" ? "" : ` ${what}`}` + (rest > 0 ? style.quiet(`  +${String(rest)} more`) : ""),
+    // A run still open outranks whatever its last action did. `complete` was
+    // dropped as a column because it is true of nearly every line, but
+    // `active` is not -- it is a proxy still working or one that was killed,
+    // and it is the whole reason `close` exists. Losing it with the column it
+    // shared would have been a real loss hidden inside a tidier table.
+    //
+    // Otherwise the action's own state, and always, not only when it asks
+    // something of the reader: a run that has been undone and one that has not
+    // look identical otherwise, and which of the two this is happens to be the
+    // question the command gets asked.
+    state: run.status === "active" ? style.accent("still open") : said.needs ? style.accent(said.text) : style.quiet(said.text)
+  };
+}
+function laid(text, width) {
+  const codes = /\u001b\[[0-9;]*m/g;
+  const bare = text.replace(codes, "");
+  if (bare.length <= width) {
+    return text + " ".repeat(width - bare.length);
+  }
+  let kept = "";
+  let shown = 0;
+  let at = 0;
+  for (const match of text.matchAll(codes)) {
+    const plain = text.slice(at, match.index);
+    const room = width - 1 - shown;
+    if (plain.length >= room) {
+      return `${kept}${plain.slice(0, room)}\u2026\x1B[0m`;
+    }
+    kept += plain + match[0];
+    shown += plain.length;
+    at = match.index + match[0].length;
+  }
+  return `${kept}${text.slice(at, at + width - 1 - shown)}\u2026`;
+}
 function runList(journal, asJson, journalPath) {
   const runs = [...journal.listRuns()].reverse();
   const tally2 = journal.tallyRuns();
@@ -3291,13 +3347,14 @@ function runList(journal, asJson, journalPath) {
     out("no runs recorded");
     return 0;
   }
+  const width = idWidth(runs);
   out("");
   out(`  ${style.label("sessions")}  ${style.quiet("most recent first")}`);
-  out(`  ${rule(96)}`);
+  out(`  ${rule(88)}`);
   out("");
   out(
     style.quiet(
-      `  ${"session".padEnd(36)}  ${"started".padEnd(15)}  ${"status".padEnd(12)}  actions  agent`
+      `  ${"session".padEnd(width)}  ${"started".padEnd(13)}  ${"did".padEnd(26)}  ${"state".padEnd(26)}  agent`
     )
   );
   for (const run of runs) {
@@ -3305,11 +3362,12 @@ function runList(journal, asJson, journalPath) {
     const { unknown, waiting } = actions;
     const notes = [
       unknown === 0 ? "" : `${String(unknown)} of unknown outcome`,
-      waiting === 0 ? "" : `${String(waiting)} awaiting approval`
+      waiting > 1 ? `${String(waiting)} awaiting approval` : ""
     ].filter((note2) => note2 !== "");
     const note = notes.length === 0 ? "" : `  ${style.accent(`(${notes.join("; ")})`)}`;
+    const did = didWhat(journal, run, actions.actions);
     out(
-      `  ${style.strong(run.id)}  ${style.quiet(shortTime(run.startedAt).trimEnd().padEnd(13))}  ${run.status.padEnd(12)}  ${String(actions.actions).padStart(7)}  ${run.label ?? "-"}${note}`
+      `  ${style.strong(run.id.slice(0, width))}  ${style.quiet(shortTime(run.startedAt).trimEnd().padEnd(13))}  ${laid(did.what, 26)}  ${laid(did.state, 26)}  ${style.quiet(run.label ?? "-")}${note}`
     );
   }
   out("");
@@ -3344,7 +3402,8 @@ async function runShow(argv, journal, asJson) {
     return 0;
   }
   out("");
-  out(`  ${style.label("session")}  ${style.strong(run.label ?? "an agent")}  ${style.quiet(run.id)}`);
+  out(`  ${style.label("session")}  ${style.strong(run.label ?? "an agent")}`);
+  out(`  ${style.quiet(run.id)}`);
   out(`  ${rule(54)}`);
   out("");
   out(`  ${style.quiet("agent  ")} ${run.label ?? "-"}`);
@@ -3359,7 +3418,6 @@ async function runShow(argv, journal, asJson) {
     return 0;
   }
   out("");
-  out("");
   out(`  ${style.label("timeline")}`);
   out(`  ${rule(72)}`);
   out("");
@@ -3367,7 +3425,11 @@ async function runShow(argv, journal, asJson) {
   for (const action of actions) {
     const now = live.get(action.seq);
     out(
-      `  ${style.quiet(String(action.seq).padStart(3))}  ${badgeOf(action)} ${statusOf(action)}  ${style.strong(`${action.server}.${action.tool}`)}` + (now === void 0 ? "" : `  ${conditionOf(now)}`)
+      `  ${style.quiet(String(action.seq).padStart(3))}  ${style.strong(`${action.server}.${action.tool}`)}`
+    );
+    const alongside = now !== void 0;
+    out(
+      `       ${badgeOf(action, alongside)} ${statusOf(action, alongside)}` + (now === void 0 ? "" : `  ${conditionOf(now)}`)
     );
     if (now?.diff !== void 0) {
       for (const line2 of now.diff.split("\n")) {
@@ -3404,11 +3466,11 @@ async function runShow(argv, journal, asJson) {
           out(`         ${line2}`);
         }
       } else {
-        out(`       ${style.quiet("undo:")} ${style.quiet(summariseArgs(inverseArgs(action.inverse), 90))}`);
+        out(`       ${style.quiet("undo:")} ${style.strong(summariseArgs(inverseArgs(action.inverse), 90))}`);
       }
     }
+    out("");
   }
-  out("");
   out(`  ${summarise2(actions)}`);
   if (inspection !== void 0) {
     out("");
@@ -3462,17 +3524,19 @@ var CLASS_MARK = {
   unclassified: "?"
 };
 var BADGE_WIDTH = "irreversible".length + 2;
-function badgeOf(action) {
-  const plain = `${CLASS_MARK[action.class]} ${action.class}`.padEnd(BADGE_WIDTH);
+function badgeOf(action, pad2) {
+  const name = `${CLASS_MARK[action.class]} ${action.class}`;
+  const plain = pad2 ? name.padEnd(BADGE_WIDTH) : name;
   return action.class === "irreversible" ? style.accent(plain) : style.quiet(plain);
 }
-function statusOf(action) {
-  const text = labelFor(action).padEnd(13);
+function statusOf(action, pad2) {
+  const label = labelFor(action);
+  const text = pad2 ? label.padEnd(13) : label;
   if (wasRefused(action)) {
     return style.accent(text);
   }
   if (action.status === "gated") {
-    return style.strong(text);
+    return style.accent(text);
   }
   return style.quiet(text);
 }

package/dist/proxy.js

@@ -23,7 +23,7 @@ import {
   verifyAgainstServers,
   warnUntested,
   withIdempotencyKey
-} from "./chunk-OODDXM36.js";
+} from "./chunk-SZHVLCJR.js";
 import {
   SnapshotError,
   UpstreamError,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "synartesis",
-  "version": "0.6.16",
+  "version": "0.6.19",
   "description": "An undo layer for AI agents.",
   "type": "module",
   "private": false,