@gaunt-sloth/agent 2.0.0-beta.5 → 2.0.0-beta.6

package/dist/modules/sessionResume.js

@@ -0,0 +1,268 @@
+/**
+ * @packageDocumentation
+ * GS2-20 — **the one seam through which a session re-enters a stored conversation.**
+ *
+ * Three spellings reach it — `--resume <id>` on `gth chat` / `gth code` / bare `gth`, `/resume <id>`
+ * inside a running session, and `gth history resume <id>` — and every one of them is exactly two
+ * calls: {@link resolveResumeTarget} decides whether the conversation CAN be resumed and gathers what
+ * a resume needs, and {@link applyResumeTarget} makes the session be in it. Neither surface (the
+ * readline loop, the Ink TUI) knows anything a resume requires beyond those two calls, so a check
+ * added here is applied to every spelling, and a spelling cannot drift into meaning something else.
+ *
+ * The seam sits here, in the agent package, rather than wholly on `GthAgentRunner`, because half of
+ * what a resume does is not the runner's: reading the history store, comparing workspaces and
+ * re-binding the recorder are session concerns the runner deliberately does not have. The runner
+ * owns the half that touches the graph — `GthAgentRunner.resumeConversation` rotates onto the
+ * stored thread and installs the conversation's grants — and this module owns the checks and the
+ * recorder. Both halves are exercised by both spellings, so breaking either breaks both.
+ *
+ * **The checks run in a fixed order, and each refusal has its own sentence**, because the person
+ * typing an id needs to know which of five different things is wrong, and "cannot resume" tells
+ * them none of it:
+ *
+ * 1. history is off — the one switch that governs recording, checkpointing and resuming alike;
+ * 2. the store did not open — asked for and not available, which is a different fact from off;
+ * 3. no such conversation;
+ * 4. the conversation exists and is not resumable — never had a thread, lost it, or its thread was
+ *    never checkpointed — with the reason class where it is known;
+ * 5. it was recorded in another directory — the same comparison ACP's `session/new` makes.
+ */
+import { resolve } from 'node:path';
+import { isHistoryEnabled, } from '@gaunt-sloth/core/history/historyEnabled.js';
+import { listResumableConversationsSafe, lookupConversationSafe, } from '@gaunt-sloth/core/history/recordSession.js';
+import { formatConversationList } from '@gaunt-sloth/core/history/historyFormat.js';
+import { loadConversationGrantsSafe, } from '@gaunt-sloth/core/core/approvals/conversationGrants.js';
+import { isSameWorkspace } from '#src/modules/workspace.js';
+/** The commands whose sessions checkpoint a thread; every other command's rows are single-shot. */
+const INTERACTIVE_COMMANDS = new Set(['chat', 'code']);
+/**
+ * Decide whether conversation `id` can be resumed by this session, and gather what the resume
+ * needs. Never throws: a failure to read is a refusal with a reason, never a crash.
+ */
+export async function resolveResumeTarget(session, id) {
+    if (!isHistoryEnabled(session.config))
+        return refuse({ kind: 'history-off' });
+    // Asked for and not available: the store did not open, so nothing below could be read anyway,
+    // and calling the id "unknown" would blame the person for the disk.
+    if (!session.checkpointer.durable)
+        return refuse({ kind: 'store-unavailable' });
+    const stored = lookupConversationSafe(session.config, id);
+    if (!stored)
+        return refuse({ kind: 'unknown', id });
+    const { summary, turns } = stored;
+    if (!summary.threadId) {
+        const reason = INTERACTIVE_COMMANDS.has(summary.command ?? '') ? 'no-thread' : 'single-shot';
+        return refuse({ kind: 'not-resumable', id, reason, command: summary.command });
+    }
+    // A thread with no checkpoint is refused exactly like a null thread: there is no state to
+    // re-enter, and driving the graph on it would silently start a fresh conversation under an old
+    // id — which is the one thing a resume must never do.
+    let checkpointed;
+    try {
+        const tuple = await session.checkpointer.saver.getTuple({
+            configurable: { thread_id: summary.threadId },
+        });
+        checkpointed = tuple !== undefined;
+    }
+    catch {
+        return refuse({ kind: 'not-resumable', id, reason: 'unreadable', command: summary.command });
+    }
+    if (!checkpointed) {
+        return refuse({ kind: 'not-resumable', id, reason: 'no-checkpoint', command: summary.command });
+    }
+    // The same comparison ACP's `session/new` makes, on resolved paths. A row with no project on
+    // record has nothing to compare and proceeds: the check refuses a KNOWN mismatch, and a datum
+    // that was never written is not one.
+    if (summary.project) {
+        const stored = resolve(summary.project);
+        const current = resolve(session.workspace);
+        if (!isSameWorkspace(stored, current)) {
+            return refuse({ kind: 'workspace-mismatch', id, stored, current });
+        }
+    }
+    return {
+        ok: true,
+        target: {
+            conversationId: id,
+            threadId: summary.threadId,
+            summary,
+            turns,
+            grants: loadConversationGrantsSafe(session.config, id),
+        },
+    };
+}
+const refuse = (refusal) => ({ ok: false, refusal });
+/**
+ * Make the session BE in the resolved conversation: the runner rotates onto the stored thread and
+ * installs the conversation's grants, and the checkpointer is told which row to mark if a write
+ * fails from here on. The caller switches its own recorder id to `target.conversationId`, because
+ * that id is the caller's variable; nothing else is needed.
+ *
+ * Rejects when the runner refuses — a turn still running, or a tool approval still pending on the
+ * thread being left — and then nothing has moved: the checkpointer is bound only after the runner
+ * has actually rotated, so a refused resume leaves the session exactly where it was.
+ */
+export async function applyResumeTarget(session, target) {
+    await session.runner.resumeConversation({ threadId: target.threadId, grants: target.grants });
+    session.checkpointer.bindConversation?.(target.conversationId);
+}
+/**
+ * The conversations a bare `/resume` offers: every resumable one except the conversation the
+ * session is already in. Fail-soft and empty when history is off or the store is absent.
+ */
+export function listResumeCandidates(config, currentConversationId, limit = 20) {
+    return listResumableConversationsSafe(config, { limit, exclude: currentConversationId });
+}
+/**
+ * Parse the id a person typed after `--resume`, `/resume` or `history resume`. A positive integer
+ * in decimal, or `null` — the ids `gth history list` prints are exactly that, and anything else is
+ * a typo worth naming rather than a lookup worth making.
+ */
+export function parseResumeId(raw) {
+    if (raw === undefined)
+        return null;
+    const trimmed = raw.trim().replace(/^#/, '');
+    if (!/^\d+$/.test(trimmed))
+        return null;
+    const id = Number.parseInt(trimmed, 10);
+    return Number.isSafeInteger(id) && id > 0 ? id : null;
+}
+// ── Notices — shared by both surfaces so one refusal has one sentence. ────────────────────────────
+const plural = (n, noun) => `${n} ${noun}${n === 1 ? '' : 's'}`;
+/**
+ * The banner a resumed session shows first: which conversation, when it started, how much of it is
+ * on record, and under which command and model — the facts a person needs to confirm they picked
+ * the right id. It also states the one thing a resume changes that nothing on screen shows: the
+ * approvals granted in that conversation are in force again.
+ */
+export function resumedConversationNotice(target) {
+    const { summary } = target;
+    const recorded = `${plural(summary.turnCount, 'turn')} recorded under gth ${summary.command ?? 'chat'}`;
+    const model = summary.model ? `, with ${summary.model}` : '';
+    return {
+        title: `Resumed conversation #${target.conversationId}`,
+        lines: [
+            `Started ${summary.startedTs}${summary.project ? ` in ${summary.project}` : ''}.`,
+            `${recorded}${model}.`,
+            target.turns.length > 0
+                ? 'The recorded turns are shown below; the model continues from where it left off.'
+                : 'No turns were recorded yet; the model continues from where it left off.',
+            'Approvals you granted in it are in force again, and new ones will be kept with it.',
+        ],
+    };
+}
+/**
+ * The sentence for each refusal. One title states what did not happen and why; the body says what
+ * to do instead. `inSession` picks the pointer: the slash commands a running session has, or the
+ * CLI commands a shell has.
+ */
+export function resumeRefusalNotice(refusal, options = {}) {
+    const list = options.inSession ? '/resume with no id' : '`gth history list`';
+    switch (refusal.kind) {
+        case 'history-off':
+            return {
+                title: 'Cannot resume: history is off',
+                lines: [
+                    'Recording is on by default; `history.enabled: false` in your config turns it off, and ' +
+                        'this session has it off. Only a recorded conversation can be resumed.',
+                    'Remove that key, or set it to true, and start again.',
+                ],
+                tone: 'warn',
+            };
+        case 'store-unavailable':
+            return {
+                title: 'Cannot resume: the conversation store did not open',
+                lines: [
+                    'The history database could not be opened, so nothing can be read from it; the notice ' +
+                        'about the store says why.',
+                    'Nothing was changed.',
+                ],
+                tone: 'warn',
+            };
+        case 'unknown':
+            return {
+                title: `No conversation #${refusal.id}`,
+                lines: [
+                    'There is no conversation with that id in the history store.',
+                    `Run ${list} to see the ones that can be resumed.`,
+                ],
+                tone: 'warn',
+            };
+        case 'not-resumable': {
+            const why = refusal.reason === 'single-shot'
+                ? `It was recorded by \`gth ${refusal.command ?? 'ask'}\`, a single-shot run, which keeps ` +
+                    'no conversation state to pick up.'
+                : refusal.reason === 'no-thread'
+                    ? 'Its conversation state is not on record: either a checkpoint write failed while it ' +
+                        'was running and it was marked unresumable, or it was recorded before conversation ' +
+                        'state was kept.'
+                    : refusal.reason === 'no-checkpoint'
+                        ? // GS2-107 — two ways to arrive here, and the sentence has to be true of both: the
+                            // session ended before it wrote anything, or `gth history prune` removed the state
+                            // afterwards. Nothing on the row distinguishes them, so neither is claimed.
+                            'Its conversation state is not in the store — either the session ended before its ' +
+                                'first turn completed, or `gth history prune` has since removed it.'
+                        : 'Its conversation state could not be read from the store.';
+            return {
+                title: `Conversation #${refusal.id} cannot be resumed`,
+                lines: [why, `You can still read it with \`gth history show ${refusal.id}\`.`],
+                tone: 'warn',
+            };
+        }
+        case 'workspace-mismatch':
+            return {
+                title: `Conversation #${refusal.id} belongs to another project`,
+                lines: [
+                    `It was recorded in ${refusal.stored}, and this session is in ${refusal.current}.`,
+                    'A conversation is resumed from the directory it was recorded in, because its tools and ' +
+                        'file paths point there. Change to that directory and run it again.',
+                    'Nothing was changed.',
+                ],
+                tone: 'warn',
+            };
+    }
+}
+/** A bare `/resume`: the conversations this session could move to, and how. */
+export function resumePickerNotice(candidates) {
+    if (candidates.length === 0) {
+        return {
+            title: 'No other conversation can be resumed',
+            lines: [
+                'Only a conversation recorded by an interactive `chat` or `code` session that completed ' +
+                    'at least one turn can be resumed, and this session is not offered to itself.',
+                'Nothing was changed.',
+            ],
+        };
+    }
+    return {
+        title: 'Conversations you can resume',
+        lines: [
+            ...formatConversationList(candidates),
+            'Resume one with /resume <id>. Later, from a shell, `gth history resume <id>` does the same.',
+        ],
+    };
+}
+/** `/resume <id>` naming the conversation the session is already in: nothing to do, and said so. */
+export function resumeSameConversationNotice(id) {
+    return {
+        title: `Already in conversation #${id}`,
+        lines: ['This session is recording under that conversation now.', 'Nothing was changed.'],
+    };
+}
+/** `/resume` on a surface with no conversation store behind it (the fixture agent). */
+export function resumeUnavailableNotice() {
+    return {
+        title: 'Resume unavailable',
+        lines: ['This session has no conversation store to resume from.', 'Nothing was changed.'],
+        tone: 'warn',
+    };
+}
+/** A resume whose apply step threw. The session is left in the conversation it was in. */
+export function resumeFailedNotice(reason) {
+    return {
+        title: 'Resume did not happen',
+        lines: [`The session was left where it was: ${reason}`],
+        tone: 'warn',
+    };
+}
+//# sourceMappingURL=sessionResume.js.map

package/dist/modules/sessionResume.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sessionResume.js","sourceRoot":"","sources":["../../src/modules/sessionResume.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EACL,gBAAgB,GAEjB,MAAM,6CAA6C,CAAC;AACrD,OAAO,EACL,8BAA8B,EAC9B,sBAAsB,GACvB,MAAM,4CAA4C,CAAC;AAEpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AACpF,OAAO,EACL,0BAA0B,GAE3B,MAAM,wDAAwD,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAgD5D,mGAAmG;AACnG,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAA6B,EAC7B,EAAU;IAEV,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;IAC9E,8FAA8F;IAC9F,oEAAoE;IACpE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC;IAEhF,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAElC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC;QAC7F,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,0FAA0F;IAC1F,+FAA+F;IAC/F,sDAAsD;IACtD,IAAI,YAAqB,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC;YACtD,YAAY,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE;SAC9C,CAAC,CAAC;QACH,YAAY,GAAG,KAAK,KAAK,SAAS,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAClG,CAAC;IAED,6FAA6F;IAC7F,8FAA8F;IAC9F,qCAAqC;IACrC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACtC,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE;YACN,cAAc,EAAE,EAAE;YAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO;YACP,KAAK;YACL,MAAM,EAAE,0BAA0B,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACvD;KACF,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,OAAsB,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;AAUtF;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAGC,EACD,MAAoB;IAEpB,MAAM,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9F,OAAO,CAAC,YAAY,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAyB,EACzB,qBAAyC,EACzC,KAAK,GAAG,EAAE;IAEV,OAAO,8BAA8B,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;AAC3F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAAuB;IACnD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,qGAAqG;AAErG,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,IAAY,EAAU,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAExF;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAoB;IAC5D,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC3B,MAAM,QAAQ,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,uBAAuB,OAAO,CAAC,OAAO,IAAI,MAAM,EAAE,CAAC;IACxG,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,OAAO;QACL,KAAK,EAAE,yBAAyB,MAAM,CAAC,cAAc,EAAE;QACvD,KAAK,EAAE;YACL,WAAW,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG;YACjF,GAAG,QAAQ,GAAG,KAAK,GAAG;YACtB,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBACrB,CAAC,CAAC,iFAAiF;gBACnF,CAAC,CAAC,yEAAyE;YAC7E,oFAAoF;SACrF;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAsB,EACtB,OAAO,GAA4B,EAAE;IAErC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,oBAAoB,CAAC;IAC7E,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,aAAa;YAChB,OAAO;gBACL,KAAK,EAAE,+BAA+B;gBACtC,KAAK,EAAE;oBACL,wFAAwF;wBACtF,uEAAuE;oBACzE,sDAAsD;iBACvD;gBACD,IAAI,EAAE,MAAM;aACb,CAAC;QACJ,KAAK,mBAAmB;YACtB,OAAO;gBACL,KAAK,EAAE,oDAAoD;gBAC3D,KAAK,EAAE;oBACL,uFAAuF;wBACrF,2BAA2B;oBAC7B,sBAAsB;iBACvB;gBACD,IAAI,EAAE,MAAM;aACb,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,KAAK,EAAE,oBAAoB,OAAO,CAAC,EAAE,EAAE;gBACvC,KAAK,EAAE;oBACL,6DAA6D;oBAC7D,OAAO,IAAI,uCAAuC;iBACnD;gBACD,IAAI,EAAE,MAAM;aACb,CAAC;QACJ,KAAK,eAAe,EAAE,CAAC;YACrB,MAAM,GAAG,GACP,OAAO,CAAC,MAAM,KAAK,aAAa;gBAC9B,CAAC,CAAC,4BAA4B,OAAO,CAAC,OAAO,IAAI,KAAK,qCAAqC;oBACzF,mCAAmC;gBACrC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,WAAW;oBAC9B,CAAC,CAAC,qFAAqF;wBACrF,oFAAoF;wBACpF,iBAAiB;oBACnB,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,eAAe;wBAClC,CAAC,CAAC,kFAAkF;4BAClF,mFAAmF;4BACnF,4EAA4E;4BAC5E,mFAAmF;gCACnF,oEAAoE;wBACtE,CAAC,CAAC,0DAA0D,CAAC;YACrE,OAAO;gBACL,KAAK,EAAE,iBAAiB,OAAO,CAAC,EAAE,oBAAoB;gBACtD,KAAK,EAAE,CAAC,GAAG,EAAE,iDAAiD,OAAO,CAAC,EAAE,KAAK,CAAC;gBAC9E,IAAI,EAAE,MAAM;aACb,CAAC;QACJ,CAAC;QACD,KAAK,oBAAoB;YACvB,OAAO;gBACL,KAAK,EAAE,iBAAiB,OAAO,CAAC,EAAE,6BAA6B;gBAC/D,KAAK,EAAE;oBACL,sBAAsB,OAAO,CAAC,MAAM,4BAA4B,OAAO,CAAC,OAAO,GAAG;oBAClF,yFAAyF;wBACvF,oEAAoE;oBACtE,sBAAsB;iBACvB;gBACD,IAAI,EAAE,MAAM;aACb,CAAC;IACN,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,kBAAkB,CAAC,UAAiC;IAClE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,KAAK,EAAE,sCAAsC;YAC7C,KAAK,EAAE;gBACL,yFAAyF;oBACvF,8EAA8E;gBAChF,sBAAsB;aACvB;SACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,8BAA8B;QACrC,KAAK,EAAE;YACL,GAAG,sBAAsB,CAAC,UAAU,CAAC;YACrC,6FAA6F;SAC9F;KACF,CAAC;AACJ,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,4BAA4B,CAAC,EAAU;IACrD,OAAO;QACL,KAAK,EAAE,4BAA4B,EAAE,EAAE;QACvC,KAAK,EAAE,CAAC,wDAAwD,EAAE,sBAAsB,CAAC;KAC1F,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,uBAAuB;IACrC,OAAO;QACL,KAAK,EAAE,oBAAoB;QAC3B,KAAK,EAAE,CAAC,wDAAwD,EAAE,sBAAsB,CAAC;QACzF,IAAI,EAAE,MAAM;KACb,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,OAAO;QACL,KAAK,EAAE,uBAAuB;QAC9B,KAAK,EAAE,CAAC,sCAAsC,MAAM,EAAE,CAAC;QACvD,IAAI,EAAE,MAAM;KACb,CAAC;AACJ,CAAC"}

package/dist/modules/slashCommands.d.ts

@@ -14,7 +14,10 @@
  * can append more entries via {@link createCommandRegistry} without this module changing.
  */
 import type { ApprovalRefusal, ApprovalRefusalLift, ApprovalRung, McpAnnotationTrustChange, McpAnnotationTrustView, ResolvedApprovals, ToolAnnotationHint } from '@gaunt-sloth/core/config.js';
+import type { TokenBudget } from '@gaunt-sloth/core/config.js';
+import type { AutocompactStatus } from '@gaunt-sloth/core/core/compactionThreshold.js';
 import type { ApprovalGrant } from '@gaunt-sloth/core/core/approvals/grants.js';
+import type { ConversationCompaction } from '@gaunt-sloth/core/core/compaction.js';
 /**
  * TUI-C63 — one advertised key binding: the keys as the user's keyboard spells them, and what
  * they do. The keys are a display string, not a parsed chord — this module never matches on it.
@@ -39,12 +42,40 @@ export interface KeyBindingGroup {
 export interface SlashCommandContext {
     mode: string;
     modelDisplayName: string;
+    /**
+     * CFG-38 — the resolved provider (`config.modelProviderType`, the raw `llm.type` the loader
+     * stashes), so `/status` and `/model` can render the shared `model (provider)` spelling instead
+     * of a model id that is ambiguous on its own (the same id is served by `anthropic` and by
+     * `openrouter`, and an OpenAI-compatible endpoint answers to a name that says nothing about who
+     * is serving it).
+     *
+     * Optional and legitimately absent — a module config hands the loader an already-built
+     * `BaseChatModel`, so there is no provider string to stash. That case renders the bare model
+     * with nothing extra, which is what `modelProviderLabel` does with an absent provider.
+     */
+    modelProviderType?: string;
     /** Count of committed turns so far (for `/help`-style introspection if needed). */
     turnCount: number;
+    /**
+     * GS2-20 — the conversation this session is recording under, as `gth history list` numbers it,
+     * so `/status` can name what `gth history resume <id>` would take. Undefined when nothing is
+     * being recorded (history off, the store did not open, or a surface with no store at all).
+     */
+    conversationId?: number;
     /** Whether tool-call panels currently show their full args/result (drives `/verbose` copy). */
     toolsExpanded: boolean;
     /** Whether the docked debug panel is currently shown (drives `/debug` copy). */
     debugVisible: boolean;
+    /**
+     * EXT-161 — the preventive compaction threshold in force, for `/status`.
+     *
+     * A snapshot rather than a live read because `run` is synchronous and resolving a window can do
+     * I/O. The surface refreshes it when the session starts and again whenever `/autocompact`
+     * changes it, which is what makes `/status` report a session override rather than the seeded
+     * value it replaced. Omitted on a surface with no resolved model (the fixture agent), where
+     * `/status` simply says nothing about compaction instead of claiming a state it cannot know.
+     */
+    autocompact?: AutocompactStatus;
     /**
      * TUI-C37 — whether terminal mouse reporting is currently on (drives `/mouse` copy). Undefined on
      * surfaces that have no mouse layer at all, where `/mouse` reports itself unavailable rather than
@@ -146,6 +177,12 @@ export interface DebugDumpInput {
  */
 export interface ConfigSummaryInput {
     modelDisplayName?: string;
+    /**
+     * CFG-38 — `config.modelProviderType`, rendered beside the model. Both surfaces already hand
+     * this function the whole resolved config, which carries the field, so widening the structural
+     * type is all the threading `/config` needs.
+     */
+    modelProviderType?: string;
     agent?: {
         backend?: string;
     };
@@ -267,6 +304,43 @@ export interface SlashCommandResult {
         reasoning: string;
         turnNumber: number;
     };
+    /**
+     * GS2-23 — a request from `/compact` to fold the older conversation into a summary in the
+     * model's context. Takes the `approvals: { rung }` route for the same reason: the command cannot
+     * reach the runner, so it states the request and the surface awaits
+     * `runner.compactConversation` and commits {@link compactionNotice} for what LANDED. `focus` is
+     * the free text after the command — what the summary should concentrate on.
+     */
+    compact?: {
+        focus?: string;
+    };
+    /**
+     * EXT-161 — a request from `/autocompact` to report or move the preventive compaction threshold.
+     *
+     * Takes the same route as `approvals` and `compact`: the command cannot reach the agent, so it
+     * states the request — already PARSED, so the surface never re-reads the grammar — and the
+     * surface applies it and reports what landed. `{ show: true }` is the bare form, which reports
+     * rather than erroring; `{ budget }` sets it for the rest of the session.
+     *
+     * A malformed argument never reaches here: the command answers with its own `notice` and leaves
+     * the threshold in force, because a typo must not switch a protection off.
+     */
+    autocompact?: {
+        show: true;
+    } | {
+        budget: TokenBudget;
+    };
+    /**
+     * GS2-20 — a request from `/resume` to re-enter a stored conversation. With an `id` the surface
+     * resolves and applies it through the one seam in `sessionResume.ts` — the same two calls
+     * `--resume <id>` makes at boot — and commits the resumed-conversation banner and the restored
+     * turns, or the refusal. With no `id` the surface lists the conversations that can be resumed,
+     * leaving out the one it is in. The command itself stays pure: it cannot reach the store or the
+     * runner, so it states the request.
+     */
+    resume?: {
+        id?: number;
+    };
     /** When true, the component quits the app (runs `onExit`). */
     exit?: boolean;
 }
@@ -617,6 +691,74 @@ export declare function resolveDebugDumpRedact(resolvedConfig: unknown, args: st
  * best-effort pattern-based, so even the softened note still says review-before-sharing.
  */
 export declare function debugDumpNotice(archiveDir: string, redacted: boolean): SlashCommandNotice;
+/**
+ * TUI-C56 — the same archive path, written for a screen the session is no longer on.
+ *
+ * The notice above is painted into the session's frame, which on the full-screen surface lives in
+ * the alternate screen and is discarded the moment the user exits. This is the block deferred to
+ * the exit-output channel instead, so the path is still on the terminal after the session is gone.
+ *
+ * It repeats rather than replaces the notice, and it is one self-contained line rather than the
+ * notice's seven, because the two are read in different places: the notice arrives in a session
+ * the user is still in and can act on immediately, while this lands under whatever the user's
+ * terminal held before they started. So it carries its own label and its own statement of what
+ * redaction did — a reader who scrolled past the session start has no other context — and stops
+ * there: the opt-out instructions and the review-before-sharing detail belong to the moment of
+ * running the command, not to a line found later.
+ */
+export declare function debugDumpExitLine(archiveDir: string, redacted: boolean): string;
+/**
+ * GS2-23 — the line a surface prints the moment `/compact` starts, because the model call behind
+ * it takes seconds and a command that goes quiet reads as a command that did nothing (DL-1).
+ */
+export declare const COMPACTING_LINE = "Compacting the conversation \u2014 the model is summarising the older messages\u2026";
+/**
+ * GS2-23 — the notice for a landed `/compact`, built from what the runner RETURNS rather than from
+ * what was asked for, so it can only describe the compaction actually applied.
+ *
+ * It says three things, because those are the three the person cannot otherwise observe: what was
+ * folded, what was kept, and how much smaller the model's context is. And it says what did NOT
+ * change — the transcript on screen — because the screen is the person's record and a notice that
+ * only mentioned the model would leave them expecting lines to vanish. The size is a message count
+ * and a character estimate; tokens are not counted here.
+ */
+export declare function compactionNotice(outcome: ConversationCompaction, focus?: string): SlashCommandNotice;
+/** GS2-23 — `/compact` on a surface with no conversation state behind it (the fixture agent). */
+export declare function compactionUnavailableNotice(): SlashCommandNotice;
+/**
+ * GS2-23 — `/compact` whose summary call failed, or that was refused (a turn still running). The
+ * conversation is left as it was in every such case, and the notice says so before it says why.
+ */
+export declare function compactionFailedNotice(reason: string): SlashCommandNotice;
+/**
+ * EXT-161 — how a resolved threshold and its provenance read to a person.
+ *
+ * One renderer for both `/autocompact` and `/status`, so the two cannot describe the same number
+ * differently — which they would within a release of being written separately.
+ */
+export declare function autocompactLines(status: AutocompactStatus): string[];
+/**
+ * EXT-161 — the notice `/autocompact` prints, whether it reported or changed the threshold.
+ *
+ * A request to CHANGE the threshold while the config has compaction off is refused by the
+ * controller, and the status that comes back still says `enabled: false`. That combination is
+ * reported as the refusal it is: a notice titled "threshold set" over a body saying nothing will
+ * ever fire would tell the user the opposite of what happened. The bare report keeps the OFF lines.
+ */
+export declare function autocompactNotice(status: AutocompactStatus, changed: boolean): SlashCommandNotice;
+/**
+ * EXT-161 — `/autocompact` on a surface with no resolved model behind it (the fixture agent), or
+ * before the agent has initialised. It reports unavailability rather than inventing a number.
+ */
+export declare function autocompactUnavailableNotice(): SlashCommandNotice;
+/**
+ * EXT-161 — a malformed `/autocompact` argument.
+ *
+ * **The previous threshold stays in force.** A bad argument must not disable compaction: the user
+ * asked to change a number, not to switch a protection off, and a typo that silently turned the
+ * feature off would be discovered only by an overflow much later.
+ */
+export declare function autocompactRejectedNotice(message: string): SlashCommandNotice;
 /**
  * Build the default command registry. Returns a fresh array each call so callers may push
  * extension commands onto it (EXT-5) without sharing mutable module state.