@co0ontty/wand 4.72.2 → 4.75.0-beta.g1d477a2

package/dist/models.js

@@ -57,6 +57,28 @@ const QODER_FALLBACK_MODELS = [
 const PI_FALLBACK_MODELS = [
     { id: "default", label: "跟随 Pi 默认", alias: true },
 ];
+const EFFORT_ID_PATTERN = /^[a-z][a-z0-9_-]{0,31}$/;
+function effortLevels(ids) {
+    return ids.map((effort) => ({ effort }));
+}
+/** 探针失败时的已知档位。下一次 CLI 成功应答会把它换掉。 */
+export const FALLBACK_PROVIDER_THINKING = {
+    claude: effortLevels(["low", "medium", "high", "xhigh", "max"]),
+    opencode: effortLevels(["low", "medium", "high", "max"]),
+    grok: effortLevels(["low", "medium", "high", "xhigh"]),
+    qoder: effortLevels(["auto", "none", "low", "medium", "high", "xhigh", "max", "ultracode"]),
+    pi: effortLevels(["minimal", "low", "medium", "high", "xhigh", "max"]),
+};
+function cloneThinkingEfforts(efforts) {
+    const copy = (levels) => levels.map((level) => ({ ...level }));
+    return {
+        claude: copy(efforts.claude),
+        opencode: copy(efforts.opencode),
+        grok: copy(efforts.grok),
+        qoder: copy(efforts.qoder),
+        pi: copy(efforts.pi),
+    };
+}
 function cloneModels(models) {
     return models.map((model) => ({
         ...model,
@@ -73,6 +95,7 @@ function cloneCache(cache) {
         grokModels: cloneModels(cache.grokModels),
         qoderModels: cloneModels(cache.qoderModels),
         piModels: cloneModels(cache.piModels),
+        thinkingEfforts: cloneThinkingEfforts(cache.thinkingEfforts),
         claudeVersion: cache.claudeVersion,
         opencodeVersion: cache.opencodeVersion,
         refreshedAt: cache.refreshedAt,
@@ -82,7 +105,8 @@ function defaultCommandRunner(file, args, options) {
     return execFileAsync(file, args, {
         env: options.env,
         timeout: options.timeout,
-        maxBuffer: 1024 * 1024,
+        maxBuffer: 4 * 1024 * 1024,
+        ...(options.input !== undefined ? { input: options.input } : {}),
     }).then(({ stdout, stderr }) => ({ stdout: String(stdout), stderr: String(stderr) }));
 }
 function normalizeClaudeModelId(value) {
@@ -238,6 +262,7 @@ function createInitialCache(options) {
         grokModels: cloneModels(GROK_FALLBACK_MODELS),
         qoderModels: cloneModels(QODER_FALLBACK_MODELS),
         piModels: cloneModels(PI_FALLBACK_MODELS),
+        thinkingEfforts: cloneThinkingEfforts(FALLBACK_PROVIDER_THINKING),
         claudeVersion: null,
         opencodeVersion: null,
         refreshedAt: now.toISOString(),
@@ -275,11 +300,11 @@ async function probeCodexModels(runner, env) {
 }
 async function probeOpenCode(runner, env) {
     const [modelsResult, versionResult] = await Promise.allSettled([
-        runner("opencode", ["models"], { env, timeout: 8000 }),
+        runner("opencode", ["models", "--verbose"], { env, timeout: 8000 }),
         runner("opencode", ["--version"], { env, timeout: 5000 }),
     ]);
     const models = modelsResult.status === "fulfilled"
-        ? { ok: true, value: parseOpenCodeModels(modelsResult.value.stdout) }
+        ? { ok: true, value: parseOpenCodeModelCatalog(modelsResult.value.stdout) }
         : { ok: false };
     const version = versionResult.status === "fulfilled"
         ? {
@@ -308,14 +333,143 @@ async function probeQoderModels(runner, env) {
     }
 }
 async function probePiModels(runner, env) {
+    const rpcText = await commandText(runner, "pi", ["--mode", "rpc", "--no-session"], env, 12_000, `${JSON.stringify({ id: "wand-models", type: "get_available_models" })}\n`);
+    const fromRpc = parsePiRpcModels(rpcText);
+    if (fromRpc.length > 1 || (fromRpc.length === 1 && fromRpc[0]?.id !== "default")) {
+        return { ok: true, value: fromRpc };
+    }
     try {
         const { stdout } = await runner("pi", ["--list-models"], { env, timeout: 8000 });
-        return { ok: true, value: parsePiModels(stdout) };
+        const parsed = parsePiModels(stdout);
+        return parsed.some((model) => model.id !== "default") ? { ok: true, value: parsed } : { ok: false };
     }
     catch {
         return { ok: false };
     }
 }
+/** 从 CLI 的 help / 非法档位报错里抽出 `low, medium, high` 这种列表。 */
+export function parseCliEffortList(text) {
+    const patterns = [
+        /valid values(?:\s+are)?\s*:\s*([^.`\n]+)/i,
+        /use one of:\s*([^.`\n]+)/i,
+        /set thinking level:\s*([^.`\n]+)/i,
+    ];
+    for (const pattern of patterns) {
+        const match = text.match(pattern);
+        if (!match?.[1])
+            continue;
+        const ids = match[1]
+            .split(/[,/]/)
+            .map((part) => part.trim().toLowerCase())
+            .filter((part) => EFFORT_ID_PATTERN.test(part));
+        if (ids.length)
+            return Array.from(new Set(ids));
+    }
+    return [];
+}
+function effortLevelsFromIds(ids) {
+    return ids.map((effort) => ({ effort }));
+}
+async function commandText(runner, file, args, env, timeout, input) {
+    try {
+        const result = await runner(file, args, { env, timeout, ...(input !== undefined ? { input } : {}) });
+        return `${result.stderr}\n${result.stdout}`;
+    }
+    catch (error) {
+        const record = error;
+        return `${String(record.stderr ?? "")}\n${String(record.stdout ?? "")}\n${String(record.message ?? "")}`;
+    }
+}
+async function probeEffortList(runner, env, file, args) {
+    const text = await commandText(runner, file, args, env, 8000);
+    const ids = parseCliEffortList(text);
+    return ids.length ? { ok: true, value: effortLevelsFromIds(ids) } : { ok: false };
+}
+function variantsToEfforts(value) {
+    const ids = [];
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            if (typeof item === "string")
+                ids.push(item);
+            else if (isRecord(item) && typeof item.effort === "string")
+                ids.push(item.effort);
+        }
+    }
+    else if (isRecord(value)) {
+        ids.push(...Object.keys(value));
+    }
+    const unique = Array.from(new Set(ids.map((id) => id.trim().toLowerCase()).filter((id) => EFFORT_ID_PATTERN.test(id))));
+    return effortLevelsFromIds(unique);
+}
+/**
+ * `opencode models --verbose` 是「一行 id + 一段 JSON」。
+ * variants 是这个模型自己的推理档位；没有 JSON 时退回一行一个 id。
+ */
+export function parseOpenCodeModelCatalog(stdout) {
+    const verbose = parseOpenCodeVerboseModels(stdout);
+    if (verbose.length)
+        return verbose;
+    return parseOpenCodeModels(stdout);
+}
+function parseOpenCodeVerboseModels(stdout) {
+    const lines = stdout.split(/\r?\n/);
+    const found = [];
+    for (let index = 0; index < lines.length; index += 1) {
+        const header = lines[index]?.trim() ?? "";
+        if (!/^[a-z0-9][a-z0-9._-]*\/[a-z0-9][a-z0-9._:/-]*$/i.test(header))
+            continue;
+        if ((lines[index + 1] ?? "").trim() !== "{")
+            continue;
+        let depth = 0;
+        let end = index + 1;
+        for (; end < lines.length; end += 1) {
+            for (const character of lines[end] ?? "") {
+                if (character === "{")
+                    depth += 1;
+                else if (character === "}")
+                    depth -= 1;
+            }
+            if (depth === 0)
+                break;
+        }
+        if (depth !== 0)
+            continue;
+        let record = null;
+        try {
+            record = JSON.parse(lines.slice(index + 1, end + 1).join("\n"));
+        }
+        catch {
+            record = null;
+        }
+        const reasoningEfforts = record ? variantsToEfforts(record.variants) : [];
+        found.push({
+            id: header,
+            label: header,
+            ...(reasoningEfforts.length ? { reasoningEfforts } : {}),
+        });
+        index = end;
+    }
+    if (!found.length)
+        return [];
+    return [
+        { id: "default", label: "跟随 OpenCode 默认", alias: true },
+        ...found,
+    ];
+}
+function unionModelEfforts(models) {
+    const seen = new Set();
+    const levels = [];
+    for (const model of models) {
+        for (const level of model.reasoningEfforts ?? []) {
+            const effort = level.effort.trim().toLowerCase();
+            if (!EFFORT_ID_PATTERN.test(effort) || seen.has(effort))
+                continue;
+            seen.add(effort);
+            levels.push({ effort, ...(level.description ? { description: level.description } : {}) });
+        }
+    }
+    return levels;
+}
 function createOfficialModelsApi(apiKey) {
     const client = new Anthropic({ apiKey });
     return {
@@ -400,7 +554,7 @@ export function parseGrokModels(stdout) {
             defaultModel = defaultMatch[1];
             continue;
         }
-        const bulletMatch = line.match(/^\*+\s*([A-Za-z0-9][A-Za-z0-9._:-]{0,127})(?:\s*\(.*\))?\s*$/);
+        const bulletMatch = line.match(/^[-*•]+\s+([A-Za-z0-9][A-Za-z0-9._:-]{0,127})(?:\s*\(.*\))?\s*$/);
         if (bulletMatch) {
             ids.push(bulletMatch[1]);
             continue;
@@ -460,12 +614,88 @@ export function parseQoderModels(stdout) {
     }
     return [...cloneModels(QODER_FALLBACK_MODELS), ...discovered];
 }
+const PI_THINKING_LEVELS = ["off", "minimal", "low", "medium", "high", "xhigh", "max"];
+/**
+ * Same rule as Pi's `getSupportedThinkingLevels`: no reasoning means only off;
+ * `xhigh` / `max` exist only when `thinkingLevelMap` defines them; `null` drops a level.
+ */
+export function piThinkingLevelsForModel(model) {
+    if (!model.reasoning)
+        return ["off"];
+    const map = model.thinkingLevelMap ?? {};
+    return PI_THINKING_LEVELS.filter((level) => {
+        if (!Object.prototype.hasOwnProperty.call(map, level)) {
+            return level !== "xhigh" && level !== "max";
+        }
+        return map[level] !== null;
+    });
+}
+/** `pi --mode rpc` + `get_available_models`. One JSON response holds every model's thinking map. */
+export function parsePiRpcModels(stdout) {
+    let models = null;
+    for (const rawLine of stdout.split(/\r?\n/)) {
+        const line = rawLine.trim();
+        if (!line.startsWith("{"))
+            continue;
+        let record = null;
+        try {
+            record = JSON.parse(line);
+        }
+        catch {
+            record = null;
+        }
+        if (!record || record.type !== "response" || record.command !== "get_available_models" || record.success !== true) {
+            continue;
+        }
+        const data = isRecord(record.data) ? record.data : null;
+        if (data && Array.isArray(data.models))
+            models = data.models;
+    }
+    if (!models)
+        return [];
+    const discovered = [];
+    const seen = new Set();
+    for (const entry of models) {
+        if (!isRecord(entry))
+            continue;
+        const provider = typeof entry.provider === "string" ? entry.provider.trim() : "";
+        const modelId = typeof entry.id === "string" ? entry.id.trim() : "";
+        const id = provider && modelId ? `${provider}/${modelId}` : "";
+        if (!id || !PI_MODEL_ID_PATTERN.test(id) || id.length > 128 || seen.has(id))
+            continue;
+        seen.add(id);
+        const name = typeof entry.name === "string" && entry.name.trim() ? entry.name.trim() : id;
+        const reasoningEfforts = effortLevelsFromIds(piThinkingLevelsForModel({
+            reasoning: entry.reasoning === true,
+            thinkingLevelMap: isRecord(entry.thinkingLevelMap) || entry.thinkingLevelMap === null
+                ? entry.thinkingLevelMap
+                : undefined,
+        }));
+        discovered.push({
+            id,
+            label: name === id ? id : `${name} · ${id}`,
+            ...(reasoningEfforts.length ? { reasoningEfforts } : {}),
+        });
+    }
+    if (!discovered.length)
+        return [];
+    const union = unionModelEfforts(discovered);
+    return [
+        {
+            id: "default",
+            label: "跟随 Pi 默认",
+            alias: true,
+            ...(union.length ? { reasoningEfforts: union } : {}),
+        },
+        ...discovered,
+    ];
+}
 /**
  * Parse `pi --list-models`.
  *
  * Pi prints a padEnd-aligned table whose selectable `--model` value is
- * `provider/id` (for example `xai/grok-4.6`). The first two columns are the
- * only ones we keep; context / max-out / thinking / images are display-only.
+ * `provider/id` (for example `xai/grok-4.6`). The table only says thinking
+ * yes/no, so per-model levels come from `parsePiRpcModels` instead.
  */
 export function parsePiModels(stdout) {
     const discovered = [];
@@ -566,6 +796,7 @@ function catalogRevision(cache) {
         grokModels: cache.grokModels,
         qoderModels: cache.qoderModels,
         piModels: cache.piModels,
+        thinkingEfforts: cache.thinkingEfforts,
         claudeVersion: cache.claudeVersion,
         opencodeVersion: cache.opencodeVersion,
     });
@@ -637,6 +868,35 @@ function parsePersistedModelList(value) {
     }
     return result;
 }
+function parsePersistedThinkingEfforts(value) {
+    const fallback = cloneThinkingEfforts(FALLBACK_PROVIDER_THINKING);
+    if (!isRecord(value))
+        return fallback;
+    const providers = ["claude", "opencode", "grok", "qoder", "pi"];
+    for (const provider of providers) {
+        const levels = parsePersistedEffortLevels(value[provider]);
+        if (levels)
+            fallback[provider] = levels;
+    }
+    return fallback;
+}
+function parsePersistedEffortLevels(value) {
+    if (!Array.isArray(value))
+        return null;
+    const levels = [];
+    const seen = new Set();
+    for (const entry of value) {
+        if (!isRecord(entry))
+            return null;
+        const effort = safePersistedString(entry.effort, 32)?.toLowerCase() ?? "";
+        if (!EFFORT_ID_PATTERN.test(effort) || seen.has(effort))
+            return null;
+        seen.add(effort);
+        const description = safePersistedString(entry.description);
+        levels.push({ effort, ...(description ? { description } : {}) });
+    }
+    return levels.length ? levels : null;
+}
 function parsePersistedModelCatalog(value) {
     if (!isRecord(value) || value.version !== MODEL_CATALOG_CACHE_VERSION || !isRecord(value.catalog))
         return null;
@@ -664,6 +924,7 @@ function parsePersistedModelCatalog(value) {
         grokModels,
         qoderModels,
         piModels,
+        thinkingEfforts: parsePersistedThinkingEfforts(catalog.thinkingEfforts),
         claudeVersion,
         opencodeVersion,
         refreshedAt,
@@ -703,7 +964,7 @@ async function discoverModelCache(options, previous) {
     const now = options.now?.() ?? new Date();
     const env = resolveChildEnv(options);
     const runner = options.commandRunner ?? defaultCommandRunner;
-    const [claudeVersionProbe, codexProbe, opencodeProbe, grokProbe, qoderProbe, piProbe, apiProbe] = await Promise.all([
+    const [claudeVersionProbe, codexProbe, opencodeProbe, grokProbe, qoderProbe, piProbe, apiProbe, claudeEffortProbe, grokEffortProbe, qoderEffortProbe, piEffortProbe,] = await Promise.all([
         probeClaudeVersion(runner, env),
         probeCodexModels(runner, env),
         probeOpenCode(runner, env),
@@ -711,6 +972,10 @@ async function discoverModelCache(options, previous) {
         probeQoderModels(runner, env),
         probePiModels(runner, env),
         listClaudeModelsFromApi(options, env),
+        probeEffortList(runner, env, "claude", ["--effort", "__wand_probe__", "--help"]),
+        probeEffortList(runner, env, "grok", ["--effort", "__wand_probe__", "-p", "x", "--output-format", "streaming-json", "--max-turns", "1"]),
+        probeEffortList(runner, env, "qodercli", ["-p", "x", "--reasoning-effort", "__wand_probe__"]),
+        probeEffortList(runner, env, "pi", ["--help"]),
     ]);
     const claudeVersion = claudeVersionProbe.ok ? claudeVersionProbe.value : previous.claudeVersion;
     const priorVerifications = loadClaudeVerifications(options.storage);
@@ -743,6 +1008,19 @@ async function discoverModelCache(options, previous) {
         grokModels: grokProbe.ok ? grokProbe.value : cloneModels(previous.grokModels),
         qoderModels: qoderProbe.ok ? qoderProbe.value : cloneModels(previous.qoderModels),
         piModels: piProbe.ok ? piProbe.value : cloneModels(previous.piModels),
+        thinkingEfforts: {
+            claude: claudeEffortProbe.ok ? claudeEffortProbe.value : cloneThinkingEfforts(previous.thinkingEfforts).claude,
+            opencode: opencodeProbe.models.ok && unionModelEfforts(opencodeProbe.models.value).length
+                ? unionModelEfforts(opencodeProbe.models.value)
+                : cloneThinkingEfforts(previous.thinkingEfforts).opencode,
+            grok: grokEffortProbe.ok ? grokEffortProbe.value : cloneThinkingEfforts(previous.thinkingEfforts).grok,
+            qoder: qoderEffortProbe.ok ? qoderEffortProbe.value : cloneThinkingEfforts(previous.thinkingEfforts).qoder,
+            pi: piProbe.ok && unionModelEfforts(piProbe.value).length
+                ? unionModelEfforts(piProbe.value)
+                : piEffortProbe.ok
+                    ? piEffortProbe.value
+                    : cloneThinkingEfforts(previous.thinkingEfforts).pi,
+        },
         claudeVersion,
         opencodeVersion: opencodeProbe.version.ok ? opencodeProbe.version.value : previous.opencodeVersion,
         refreshedAt: now.toISOString(),
@@ -763,6 +1041,7 @@ export class ModelCatalogService {
     hasPersistedSnapshot;
     refreshPromise = null;
     inFlightIncludesVerification = false;
+    changeListeners = new Set();
     constructor(getOptions) {
         this.getOptions = getOptions;
         const initialOptions = getOptions();
@@ -774,6 +1053,11 @@ export class ModelCatalogService {
     snapshot() {
         return { ...cloneCache(this.cache), revision: this.revision };
     }
+    /** 目录内容真正变化时通知。客户端靠它刷新下拉，不用自己再跑一遍 CLI。 */
+    onChanged(listener) {
+        this.changeListeners.add(listener);
+        return () => { this.changeListeners.delete(listener); };
+    }
     refresh(request = {}) {
         const verifyClaudeCandidates = request.verifyClaudeCandidates === true;
         if (this.refreshPromise) {
@@ -811,7 +1095,16 @@ export class ModelCatalogService {
             savePersistedModelCatalog(options.storage, this.cache, this.revision);
             this.hasPersistedSnapshot = Boolean(options.storage);
         }
-        return { ...this.snapshot(), changed, checkedAt };
+        const result = { ...this.snapshot(), changed, checkedAt };
+        if (changed) {
+            for (const listener of this.changeListeners) {
+                try {
+                    listener(result);
+                }
+                catch { /* 通知失败不影响目录本身 */ }
+            }
+        }
+        return result;
     }
 }
 /**

package/dist/native/darwin-arm64/wand-render.sha256

@@ -0,0 +1 @@
+27b881febe0177ec8c610a0e3b2884c425434adfc79ecc40e938fd8a1e375de5  wand-render

package/dist/native/darwin-arm64/wand-render.version

@@ -0,0 +1 @@
+0.1.3

package/dist/native/darwin-arm64/wand-structured-renderd.sha256

@@ -0,0 +1 @@
+e0e940747fbe5af0da033763fdbb786c063443d3207aee4b2934e3fe98139776  wand-structured-renderd

package/dist/native/darwin-arm64/wand-structured-renderd.version

@@ -0,0 +1 @@
+0.1.3

package/dist/native/darwin-x64/wand-render.sha256

@@ -0,0 +1 @@
+1481b8f4688e5d0bfa2e6c1e4b41da288820fcfb43a737b027401e55334bedaf  wand-render

package/dist/native/darwin-x64/wand-render.version

@@ -0,0 +1 @@
+0.1.3

package/dist/native/darwin-x64/wand-structured-renderd.sha256

@@ -0,0 +1 @@
+f67206b4d171f26172787e8184e684d61170c30646ab7d72a1f4232b737b4738  wand-structured-renderd

package/dist/native/darwin-x64/wand-structured-renderd.version

@@ -0,0 +1 @@
+0.1.3

package/dist/native/linux-arm64/wand-render.sha256

@@ -0,0 +1 @@
+e51aee7fde515b0356c1a6919b66812ae4ff679f693847f61e816166e99d8805  wand-render

package/dist/native/linux-arm64/wand-render.version

@@ -0,0 +1 @@
+0.1.3

package/dist/native/linux-arm64/wand-structured-renderd.sha256

@@ -0,0 +1 @@
+af342aa8e7dcde0ce2563629921c9080131ed666ba743901ecfa22c31f04bb98  wand-structured-renderd

package/dist/native/linux-arm64/wand-structured-renderd.version

@@ -0,0 +1 @@
+0.1.3

package/dist/native/linux-x64/wand-render.sha256

@@ -0,0 +1 @@
+27c00887d03a24867f120a67852e5d0666cf7ddae18c3d708cbcca9c45a82427  wand-render

package/dist/native/linux-x64/wand-render.version

@@ -0,0 +1 @@
+0.1.3

package/dist/native/linux-x64/wand-structured-renderd.sha256

@@ -0,0 +1 @@
+52e1ec6dc79695c6af248b4b3bce160b3fb7be2c5f786172c78e13685c89ce39  wand-structured-renderd

package/dist/native/linux-x64/wand-structured-renderd.version

@@ -0,0 +1 @@
+0.1.3

package/dist/process-manager.d.ts

@@ -2,7 +2,7 @@ import { EventEmitter } from "node:events";
 import { WandStorage } from "./storage.js";
 import { ExecutionMode, ProcessEventHandler, SessionProvider, SessionSnapshot, SessionSource, WandConfig } from "./types.js";
 import { type PermissionResolution } from "./claude-pty-bridge.js";
-import { type PtyTerminalSnapshot } from "./pty-terminal-state.js";
+import { type PtyTerminalSnapshot, type PtyHistoryPage } from "./pty-terminal-state.js";
 import { type TerminalHost } from "./terminal-host.js";
 import { type ClaudeHistorySession, type CodexHistorySession, type OpenCodeHistorySession, type QoderHistorySession } from "./provider-history-scanner.js";
 export type { ClaudeHistorySession, CodexHistorySession, OpenCodeHistorySession, QoderHistorySession, } from "./provider-history-scanner.js";
@@ -15,6 +15,11 @@ export declare class SessionInputError extends Error {
     readonly sessionStatus?: SessionSnapshot["status"] | undefined;
     constructor(message: string, code: "SESSION_NOT_FOUND" | "SESSION_NOT_RUNNING" | "SESSION_NO_PTY", sessionId: string, sessionStatus?: SessionSnapshot["status"] | undefined);
 }
+/** Write outcome is unknown to the caller; do not record this as accepted input. */
+export declare class PtyInputDeliveryError extends Error {
+    readonly sessionId: string;
+    constructor(sessionId: string, cause: unknown);
+}
 export declare class ProcessManager extends EventEmitter {
     private readonly config;
     private readonly storage;
@@ -39,6 +44,7 @@ export declare class ProcessManager extends EventEmitter {
     private bindRestoredTerminal;
     private initializeClaudeBridge;
     private bindTerminalProcess;
+    private handleTerminalResync;
     private handleTerminalExit;
     private handleTerminalData;
     on(_event: "process", listener: ProcessEventHandler): this;
@@ -107,8 +113,13 @@ export declare class ProcessManager extends EventEmitter {
      */
     setSessionMode(id: string, mode: ExecutionMode): SessionSnapshot;
     sendInput(id: string, input: string, view?: "chat" | "terminal", shortcutKey?: string, trackUserInput?: boolean): SessionSnapshot;
+    sendInputConfirmed(id: string, input: string, view?: "chat" | "terminal", shortcutKey?: string, trackUserInput?: boolean): Promise<SessionSnapshot>;
+    private preparePtyInput;
+    private validatePtyInput;
+    private trackPtyInput;
     resize(id: string, cols: number, rows: number): SessionSnapshot;
     getTerminalState(id: string): PtyTerminalSnapshot | null;
+    getTerminalHistoryPage(id: string, before: number, revision: number): Promise<PtyHistoryPage | null>;
     /**
      * Finalize provider-only state while leaving the owning PTY shell alive. The
      * session itself remains running so terminal input can continue normally.