p-spore 0.1.3 → 0.1.42

package/dist/ui/tui/tui-app.js

@@ -1,17 +1,18 @@
 import { randomUUID } from "node:crypto";
 import { ProcessTerminal, TuiAltScreen } from "@earendil-works/pi-tui";
 import { ProtocolClient } from "../../protocol/client.js";
-import { decodeLlmSettingsUpdate, defaultModelFor, MODEL_APIS, PROVIDER_OPTIONS, THINKING_LEVELS, } from "../../settings/llm-settings.js";
+import { BYPASS_PERMISSION_MODE, decodeLlmSettingsUpdate, defaultModelFor, MODEL_APIS, PERMISSION_MODES, permissionModeSummary, PROVIDER_OPTIONS, THINKING_LEVELS, } from "../../settings/llm-settings.js";
 import { TuiStore } from "./store.js";
 import { TUI_HELP_LINES } from "./commands.js";
 import { PsporeTuiView } from "./view.js";
+import { activityDetailLines } from "../shared/activity.js";
 import { conversationIntent, selectedAgent } from "../shared/presentation.js";
 export const MODEL_SETUP_OFFER_PROMPT = "Run the model setup wizard now? [Y/n]";
 export const MODEL_SETUP_OFFER_LINES = [
     "No model is configured yet, so prompts would fail with model_not_configured.",
     "",
-    "The wizard walks through provider, model, thinking level and API key.",
-    "The key is stored in a private 0600 file and is never shown in the TUI.",
+    "The wizard walks through provider, model, thinking, API key and optional proxy cookie.",
+    "The key and cookie are stored in private 0600 files and are never shown in the TUI.",
     "",
     "Answer n to skip; you can run /config wizard at any time.",
 ];
@@ -22,6 +23,8 @@ export function acceptsModelSetupOffer(answer) {
     const normalized = answer.trim().toLowerCase();
     return normalized === "" || normalized === "y" || normalized === "yes";
 }
+/** How many older messages one scrollback request asks for. */
+const HISTORY_PAGE_SIZE = 200;
 export class PsporeTuiApp {
     #options;
     #store = new TuiStore();
@@ -31,8 +34,10 @@ export class PsporeTuiApp {
     #client;
     #stopping = false;
     #retryTimer;
+    #settleTimer;
     #retryMs = 250;
     #lastInterruptAt = 0;
+    #loadingHistory = false;
     #resolveExit;
     #view;
     constructor(options) {
@@ -47,12 +52,14 @@ export class PsporeTuiApp {
             onSubmit: (input) => void this.#submit(input),
             onInterrupt: () => void this.#interrupt(),
             onBack: () => this.#store.clearPanel(),
+            onScrollBack: () => void this.#loadOlderHistory(),
         });
         this.#view = view;
         this.#tui.setLayoutRoot(view);
         this.#tui.setFocus(view);
         this.#tui.start();
         void this.#connect();
+        void this.#refreshConfiguredModel();
         void this.#offerModelSetup();
         try {
             await new Promise((resolve) => {
@@ -63,7 +70,10 @@ export class PsporeTuiApp {
             this.#stopping = true;
             if (this.#retryTimer)
                 clearTimeout(this.#retryTimer);
+            if (this.#settleTimer)
+                clearTimeout(this.#settleTimer);
             await this.#client?.close().catch(() => undefined);
+            this.#view?.dispose();
             this.#tui.stop();
             this.#view = undefined;
             await this.#terminal.drainInput(250, 25);
@@ -90,6 +100,7 @@ export class PsporeTuiApp {
             if (connected)
                 return;
             this.#store.disconnected(error?.message ?? "Disconnected");
+            this.#scheduleSettle();
             this.#tui.requestRender();
             this.#scheduleReconnect();
         });
@@ -105,10 +116,50 @@ export class PsporeTuiApp {
         }
         catch (error) {
             this.#store.disconnected(`Daemon unavailable: ${toError(error).message}`);
+            this.#scheduleSettle();
             this.#tui.requestRender();
             this.#scheduleReconnect();
         }
     }
+    /**
+     * Fetches the page of history before the oldest message this client holds.
+     * The daemon broadcasts only a bounded tail, so scrollback is a request.
+     */
+    async #loadOlderHistory() {
+        if (this.#loadingHistory)
+            return;
+        const state = this.#store.snapshot();
+        const sessionId = state.selectedSessionId;
+        const session = state.kernel.sessions[sessionId];
+        if (!session || session.messageOffset === 0)
+            return;
+        const from = Math.max(0, session.messageOffset - HISTORY_PAGE_SIZE);
+        this.#loadingHistory = true;
+        try {
+            const page = await this.#command("session.transcript", { from, limit: session.messageOffset - from }, sessionId);
+            if (this.#store.applyTranscriptPage(page))
+                this.#tui.requestRender();
+        }
+        catch (error) {
+            this.#store.setNotice(`Could not load older history: ${toError(error).message}`);
+        }
+        finally {
+            this.#loadingHistory = false;
+        }
+    }
+    /** Surfaces a genuine outage once the store's masking window expires. */
+    #scheduleSettle() {
+        if (this.#stopping || this.#settleTimer)
+            return;
+        this.#settleTimer = setTimeout(() => {
+            this.#settleTimer = undefined;
+            if (this.#store.settleConnection())
+                this.#tui.requestRender();
+            else if (this.#store.snapshot().reconnecting)
+                this.#scheduleSettle();
+        }, 250);
+        this.#settleTimer.unref();
+    }
     #scheduleReconnect() {
         if (this.#stopping || this.#retryTimer)
             return;
@@ -130,6 +181,10 @@ export class PsporeTuiApp {
                 this.#store.setPanel("Command palette", TUI_HELP_LINES);
                 return;
             }
+            if (input === "/work" || input.startsWith("/work ")) {
+                this.#showWork(input.slice(5).trim());
+                return;
+            }
             if (input === "/back") {
                 this.#store.clearPanel();
                 return;
@@ -138,22 +193,54 @@ export class PsporeTuiApp {
                 await this.#config(input);
                 return;
             }
+            if (input === "/new" || input.startsWith("/new ")) {
+                const title = input.slice(4).trim();
+                const session = await this.#command("session.create", title ? { title } : {});
+                this.#store.selectSession(session.sessionId);
+                this.#store.setNotice(`New session ${session.sessionId}`);
+                return;
+            }
+            if (input === "/delete" || input.startsWith("/delete ")) {
+                const requested = input.slice(7).trim();
+                const sessionId = requested || this.#store.snapshot().selectedSessionId;
+                if (this.#selectedAgent() && !requested) {
+                    throw new Error("Only a root session can be deleted; use /agent-cancel for a child agent");
+                }
+                // Deleting also removes the transcript, so the id is echoed back rather
+                // than silently acting on whatever happened to be selected.
+                const deleted = await this.#command("session.delete", {}, sessionId);
+                this.#store.setNotice(`Deleted session ${deleted.sessionId}${deleted.title ? ` (${deleted.title})` : ""}`
+                    + `${deleted.transcriptRemoved ? " and its transcript" : ""}`);
+                return;
+            }
             if (input === "/abort") {
+                const selectedSessionId = this.#store.snapshot().selectedSessionId;
                 const child = this.#selectedAgent();
                 if (child)
                     await this.#command("agent.cancel", { agentId: child.id, reason: "cancelled from TUI" });
                 else
-                    await this.#command("session.abort", { reason: "TUI user requested abort" }, "main");
+                    await this.#command("session.abort", { reason: "TUI user requested abort" }, selectedSessionId);
                 this.#store.setNotice(child ? `Agent ${child.id} cancelled` : "Abort requested");
                 return;
             }
             if (input === "/compact") {
                 if (this.#selectedAgent())
-                    throw new Error("Compaction is available only for the main session");
-                await this.#command("session.compact", {}, "main");
+                    throw new Error("Compaction is available only for a root session");
+                await this.#command("session.compact", {}, this.#store.snapshot().selectedSessionId);
                 this.#store.setNotice("Compaction requested");
                 return;
             }
+            if (input.startsWith("/send-now ")) {
+                if (this.#selectedAgent())
+                    throw new Error("Queued root-session messages are unavailable for a child agent");
+                const displayIndex = Number(input.slice(10).trim());
+                if (!Number.isSafeInteger(displayIndex) || displayIndex < 1)
+                    throw new Error("Usage: /send-now QUEUE_NUMBER");
+                const sessionId = this.#store.snapshot().selectedSessionId;
+                await this.#command("session.queue.send-now", { index: displayIndex - 1 }, sessionId);
+                this.#store.setNotice("直接发送消息");
+                return;
+            }
             if (input === "/jobs") {
                 const jobs = await this.#command("jobs.list", {});
                 this.#store.setPanel("Automation jobs", jobs.map((job) => (`• ${job.id} · ${job.enabled ? "enabled" : "disabled"}${job.schedule?.cron ? ` · ${job.schedule.cron} ${job.schedule.timezone ?? ""}` : ""}`)));
@@ -204,10 +291,18 @@ export class PsporeTuiApp {
                 ]);
                 return;
             }
-            if (input === "/resources" || input === "/skills" || input === "/plugins") {
-                const command = input === "/skills" ? "skills.list" : input === "/plugins" ? "plugins.list" : "resources.list";
+            if (input === "/skills") {
+                const skills = await this.#command("skills.catalog", {});
+                this.#store.setPanel("Skills", skills.length === 0 ? ["No skills found"] : skills.flatMap((skill) => [
+                    `• ${skill.name} · ${skill.source} · ${skill.status}`,
+                    ...(skill.message ? [`    ${skill.message}`] : []),
+                ]));
+                return;
+            }
+            if (input === "/resources" || input === "/plugins") {
+                const command = input === "/plugins" ? "plugins.list" : "resources.list";
                 const resources = await this.#command(command, {});
-                this.#store.setPanel(input === "/skills" ? "Skills" : input === "/plugins" ? "Host plugins" : "Trusted resources", resources.map((resource) => (`• ${resource.record.kind} · ${resource.record.name} · ${resource.health.status}`)));
+                this.#store.setPanel(input === "/plugins" ? "Host plugins" : "Trusted resources", resources.map((resource) => (`• ${resource.record.kind} · ${resource.record.name} · ${resource.health.status}`)));
                 return;
             }
             if (input.startsWith("/resource-inspect ")) {
@@ -252,8 +347,10 @@ export class PsporeTuiApp {
                 const objective = input.slice(13).trim();
                 if (!objective)
                     throw new Error("Usage: /agent-spawn OBJECTIVE");
+                const snapshot = this.#store.snapshot();
+                const parentId = selectedAgent(snapshot.kernel, snapshot.selectedSessionId)?.rootId ?? snapshot.selectedSessionId;
                 const agent = await this.#command("agent.spawn", {
-                    parentId: "main",
+                    parentId,
                     objective,
                     workspaceMode: "shared-read",
                     budget: {
@@ -314,13 +411,7 @@ export class PsporeTuiApp {
                 await this.#approval(input);
                 return;
             }
-            const child = this.#selectedAgent();
-            const main = this.#store.snapshot().kernel.sessions["main"];
-            if (!child && main?.status === "running") {
-                this.#store.setNotice("Session is running; use /steer TEXT or /follow TEXT explicitly");
-                return;
-            }
-            await this.#prompt(input, "prompt");
+            await this.#prompt(input, "auto");
         }
         catch (error) {
             this.#store.setNotice(`Error: ${toError(error).message}`);
@@ -342,7 +433,8 @@ export class PsporeTuiApp {
             return;
         }
         await this.#command("session.prompt", { text: intent.text, mode: intent.mode }, intent.sessionId);
-        this.#store.setNotice(`${mode} accepted for main`);
+        const queued = this.#store.snapshot().kernel.sessions[intent.sessionId]?.status === "running" && mode === "auto";
+        this.#store.setNotice(queued ? "继续排队" : `Message accepted for ${intent.sessionId}`);
     }
     async #approval(input) {
         const parts = input.split(/\s+/);
@@ -446,6 +538,38 @@ export class PsporeTuiApp {
             await this.#saveSettings(updateFrom(current, { thinking: parseThinking(parts[2]) }));
             return;
         }
+        if (action === "permissions") {
+            if (parts.length !== 3)
+                throw new Error(`Usage: /config permissions ${PERMISSION_MODES.join("|")}|bypass`);
+            const permissionMode = parsePermissionMode(parts[2]);
+            await this.#saveSettings(updateFrom(current, { permissionMode }));
+            if (permissionMode === BYPASS_PERMISSION_MODE) {
+                this.#store.setNotice("Permissions bypassed: tools now run with your own privileges and no confirmation");
+            }
+            return;
+        }
+        if (action === "compact") {
+            if (parts.length < 3 || parts.length > 6) {
+                throw new Error("Usage: /config compact on|off [RESERVE_TOKENS] [KEEP_RECENT_TOKENS] [TRIGGER_TOKENS]");
+            }
+            const enabled = parseOnOff(parts[2], "/config compact");
+            const reserveTokens = parts[3] === undefined
+                ? current.autoCompactionReserveTokens
+                : parseCompactionTokens(parts[3], "reserve tokens");
+            const keepRecentTokens = parts[4] === undefined
+                ? current.autoCompactionKeepRecentTokens
+                : parseCompactionTokens(parts[4], "keep recent tokens");
+            const triggerTokens = parts[5] === undefined
+                ? current.autoCompactionTriggerTokens
+                : parseCompactionTokens(parts[5], "trigger tokens");
+            await this.#saveSettings(updateFrom(current, {
+                autoCompactionEnabled: enabled,
+                autoCompactionTriggerTokens: triggerTokens,
+                autoCompactionReserveTokens: reserveTokens,
+                autoCompactionKeepRecentTokens: keepRecentTokens,
+            }));
+            return;
+        }
         if (action === "key") {
             if (parts.length !== 2)
                 throw new Error("API keys are never accepted as command arguments; use /config key");
@@ -465,6 +589,25 @@ export class PsporeTuiApp {
             await this.#saveSettings(updateFrom(current, { clearApiKey: true }));
             return;
         }
+        if (action === "cookie") {
+            if (parts.length !== 2)
+                throw new Error("Cookies are never accepted as command arguments; use /config cookie");
+            const cookie = await this.#view?.requestValue("Cookie (hidden; Esc cancels)", { secret: true });
+            if (cookie === undefined) {
+                this.#store.setNotice("Cookie update cancelled");
+                return;
+            }
+            if (!cookie)
+                throw new Error("Cookie cannot be empty");
+            await this.#saveSettings(updateFrom(current, { cookie }));
+            return;
+        }
+        if (action === "clear-cookie") {
+            if (parts.length !== 2)
+                throw new Error("Usage: /config clear-cookie");
+            await this.#saveSettings(updateFrom(current, { clearCookie: true }));
+            return;
+        }
         throw new Error("Unknown config action; use /config, /config wizard, or /help");
     }
     /**
@@ -505,44 +648,61 @@ export class PsporeTuiApp {
         if (!settingsPort || !view)
             throw new Error("Settings wizard is unavailable");
         const current = await settingsPort.get();
-        this.#store.setPanel("Model setup wizard", [
-            "1  Provider — DeepSeek, OpenAI, or custom OpenAI",
-            "2  Model",
-            "3  Endpoint/API when custom",
-            "4  Thinking level",
-            "5  API key action",
-            "6  Review and apply",
-            "",
-            "Press Esc at any prompt to cancel without saving.",
+        this.#showWizardStep(1, "Choose a provider", [
+            `1  DeepSeek      ${current.provider === "deepseek" ? "← current" : ""}`,
+            `2  OpenAI        ${current.provider === "openai" ? "← current" : ""}`,
+            `3  Custom OpenAI ${current.provider === "custom-openai" ? "← current" : ""}`,
         ]);
-        const providerValue = await view.requestValue(`1/6 provider [${current.provider}] (1 deepseek · 2 openai · 3 custom)`);
+        const providerValue = await view.requestValue(`1/7 provider [${current.provider}] (1 deepseek · 2 openai · 3 custom)`);
         if (providerValue === undefined)
             return this.#cancelWizard();
         const provider = providerValue.trim() ? parseProvider(providerValue) : current.provider;
         const suggestedModel = provider === current.provider ? current.model : defaultModelFor(provider);
-        const modelValue = await view.requestValue(`2/6 model [${suggestedModel}]`);
+        this.#showWizardStep(2, "Choose a model", [
+            `Provider   ${provider}`,
+            `Suggested  ${suggestedModel}`,
+            "Press Enter to accept the suggestion, or type another model ID.",
+        ]);
+        const modelValue = await view.requestValue(`2/7 model [${suggestedModel}]`);
         if (modelValue === undefined)
             return this.#cancelWizard();
         const model = modelValue.trim() || suggestedModel;
         let baseUrl = "";
         let api = "provider-default";
         if (provider === "custom-openai") {
-            const baseUrlValue = await view.requestValue(`3/6 Base URL [${current.provider === provider ? current.baseUrl : "required"}]`);
+            this.#showWizardStep(3, "Connect an OpenAI-compatible endpoint", [
+                `Current URL  ${current.provider === provider ? current.baseUrl || "not set" : "not set"}`,
+                "The URL must use HTTP(S) and cannot contain credentials.",
+                "API compatibility can be Chat Completions or Responses.",
+            ]);
+            const baseUrlValue = await view.requestValue(`3/7 Base URL [${current.provider === provider ? current.baseUrl : "required"}]`);
             if (baseUrlValue === undefined)
                 return this.#cancelWizard();
             baseUrl = baseUrlValue.trim() || (current.provider === provider ? current.baseUrl : "");
             if (!baseUrl)
                 throw new Error("A Base URL is required for custom OpenAI");
-            const apiValue = await view.requestValue("3/6 API [chat] (chat · responses)");
+            const apiValue = await view.requestValue("3/7 API [chat] (chat · responses)");
             if (apiValue === undefined)
                 return this.#cancelWizard();
             api = parseOpenAiApi(apiValue.trim() || (current.provider === provider ? current.api : "chat"));
         }
-        const thinkingValue = await view.requestValue(`4/6 thinking [${current.thinking}] (${THINKING_LEVELS.join(" · ")})`);
+        this.#showWizardStep(4, "Choose thinking effort", [
+            `Current   ${current.thinking}`,
+            `Options   ${THINKING_LEVELS.join(" · ")}`,
+            "Higher effort can increase latency and token use when the provider supports it.",
+        ]);
+        const thinkingValue = await view.requestValue(`4/7 thinking [${current.thinking}] (${THINKING_LEVELS.join(" · ")})`);
         if (thinkingValue === undefined)
             return this.#cancelWizard();
         const thinking = parseThinking(thinkingValue.trim() || current.thinking);
-        const keyActionValue = await view.requestValue(`5/6 key [keep] (keep · set · clear)`);
+        this.#showWizardStep(5, "Manage the API key", [
+            `Status   ${current.hasApiKey ? "configured (hidden)" : "not configured"}`,
+            `File     ${current.apiKeyPath}`,
+            "keep    Leave the managed key unchanged",
+            "set     Enter a new key through hidden input",
+            "clear   Remove the managed key",
+        ]);
+        const keyActionValue = await view.requestValue(`5/7 key [keep] (keep · set · clear)`);
         if (keyActionValue === undefined)
             return this.#cancelWizard();
         const keyAction = keyActionValue.trim().toLowerCase() || "keep";
@@ -551,23 +711,46 @@ export class PsporeTuiApp {
         }
         let apiKey;
         if (keyAction === "set") {
-            apiKey = await view.requestValue("5/6 API key (hidden; Esc cancels)", { secret: true });
+            apiKey = await view.requestValue("5/7 API key (hidden; Esc cancels)", { secret: true });
             if (apiKey === undefined)
                 return this.#cancelWizard();
             if (!apiKey)
                 throw new Error("API key cannot be empty");
         }
-        this.#store.setPanel("Review model settings", [
+        this.#showWizardStep(6, "Optional LLM proxy cookie", [
+            `Status   ${current.hasCookie ? "configured (hidden)" : "not configured"}`,
+            `File     ${current.cookiePath}`,
+            "keep    Leave the managed cookie unchanged",
+            "set     Enter a Cookie header through hidden input",
+            "clear   Remove the managed cookie",
+        ]);
+        const cookieActionValue = await view.requestValue(`6/7 cookie [keep] (keep · set · clear)`);
+        if (cookieActionValue === undefined)
+            return this.#cancelWizard();
+        const cookieAction = cookieActionValue.trim().toLowerCase() || "keep";
+        if (!["keep", "set", "clear"].includes(cookieAction)) {
+            throw new Error("Cookie action must be keep, set, or clear");
+        }
+        let cookie;
+        if (cookieAction === "set") {
+            cookie = await view.requestValue("6/7 Cookie (hidden; Esc cancels)", { secret: true });
+            if (cookie === undefined)
+                return this.#cancelWizard();
+            if (!cookie)
+                throw new Error("Cookie cannot be empty");
+        }
+        this.#showWizardStep(7, "Review and apply", [
             `Provider   ${provider}`,
             `Model      ${model}`,
             `Base URL   ${baseUrl || "provider default"}`,
             `API        ${api}`,
             `Thinking   ${thinking}`,
             `API key    ${keyAction === "keep" ? current.hasApiKey ? "keep configured key" : "not configured" : keyAction}`,
+            `Cookie     ${cookieAction === "keep" ? current.hasCookie ? "keep configured cookie" : "not configured" : cookieAction}`,
             "",
-            "The key value is never displayed or stored in the TUI state.",
+            "The key and cookie values are never displayed or stored in the TUI state.",
         ]);
-        const confirmation = await view.requestValue("6/6 save and apply? [y/N]");
+        const confirmation = await view.requestValue("7/7 save and apply? [y/N]");
         if (confirmation === undefined || !/^(y|yes)$/i.test(confirmation.trim()))
             return this.#cancelWizard();
         await this.#saveSettings(updateFrom(current, {
@@ -578,7 +761,9 @@ export class PsporeTuiApp {
             thinking,
             customModel: provider === "custom-openai",
             ...(apiKey ? { apiKey } : {}),
+            ...(cookie ? { cookie } : {}),
             clearApiKey: keyAction === "clear",
+            clearCookie: cookieAction === "clear",
         }));
     }
     async #saveSettings(update) {
@@ -587,6 +772,7 @@ export class PsporeTuiApp {
             throw new Error("Model settings are unavailable");
         this.#store.setNotice("Validating model settings…");
         const saved = await settingsPort.save(decodeLlmSettingsUpdate(update, "TUI LLM settings"));
+        this.#store.setConfiguredModel({ provider: saved.provider, model: saved.model });
         const applied = await this.#options.onSettingsSaved?.();
         this.#showSettings(saved, applied?.message ?? "Settings saved; restart the daemon to apply them");
     }
@@ -594,6 +780,60 @@ export class PsporeTuiApp {
         this.#store.setPanel("Model settings", settingsLines(settings));
         this.#store.setNotice(message);
     }
+    #showWizardStep(step, title, lines) {
+        const progress = Array.from({ length: 7 }, (_, index) => index + 1 < step ? "●" : index + 1 === step ? "◉" : "○").join("─");
+        this.#store.setPanel(`Model setup · ${step}/7`, [
+            `${progress}  ${title}`,
+            "",
+            ...lines,
+            "",
+            "Esc cancels without saving.",
+        ]);
+    }
+    #showWork(query) {
+        const activities = this.#store.snapshot().activities;
+        if (!query) {
+            this.#store.setPanel("Work history", activities.length === 0
+                ? ["No work steps have been recorded in this daemon session yet."]
+                : activities.slice(-30).map((activity) => {
+                    const status = activity.status === "running" ? "RUN" : activity.status === "failed" ? "FAIL" : "DONE";
+                    const result = activity.resultSummary ? ` · ${activity.resultSummary}` : "";
+                    return `${status.padEnd(4)} ${activity.id.slice(0, 8)} · ${activity.label} · ${activity.summary}${result}`;
+                }));
+            return;
+        }
+        const matches = activities.filter((activity) => activity.id === query || activity.id.startsWith(query));
+        if (matches.length === 0)
+            throw new Error(`No work step matches ${query}`);
+        if (matches.length > 1)
+            throw new Error(`Work step ID is ambiguous: ${query}`);
+        const activity = matches[0];
+        if (!activity)
+            throw new Error(`No work step matches ${query}`);
+        this.#store.setPanel(`Work step ${activity.id.slice(0, 8)}`, activityDetailLines(activity));
+    }
+    async #refreshConfiguredModel() {
+        const settings = this.#options.settings;
+        if (!settings)
+            return;
+        try {
+            const configured = settings.isModelConfigured ? await settings.isModelConfigured() : true;
+            if (!configured || this.#stopping) {
+                this.#store.setConfiguredModel(undefined);
+                return;
+            }
+            const value = await settings.get();
+            if (!this.#stopping)
+                this.#store.setConfiguredModel({ provider: value.provider, model: value.model });
+        }
+        catch {
+            // The settings panel reports actionable errors on demand; header refresh stays non-blocking.
+        }
+        finally {
+            if (!this.#stopping)
+                this.#tui.requestRender();
+        }
+    }
     #cancelWizard() {
         this.#store.clearPanel();
         this.#store.setNotice("Settings wizard cancelled; nothing was changed");
@@ -609,7 +849,8 @@ export class PsporeTuiApp {
         return client.command(type, payload, sessionId === undefined ? {} : { sessionId });
     }
     async #interrupt() {
-        const running = this.#store.snapshot().kernel.sessions["main"]?.status === "running";
+        const snapshot = this.#store.snapshot();
+        const running = snapshot.kernel.sessions[snapshot.selectedSessionId]?.status === "running";
         if (running) {
             await this.#submit("/abort");
             this.#lastInterruptAt = Date.now();
@@ -650,6 +891,15 @@ function parseProvider(value) {
     }
     return provider;
 }
+function parsePermissionMode(value) {
+    const normalized = value?.trim().toLowerCase();
+    // `bypass` is the name users reach for; it maps onto the existing allow_all policy.
+    const mode = normalized === "bypass" ? "allow_all" : normalized;
+    if (!mode || !PERMISSION_MODES.includes(mode)) {
+        throw new Error(`Permission mode must be one of: ${PERMISSION_MODES.join(", ")} (or bypass)`);
+    }
+    return mode;
+}
 function parseThinking(value) {
     const normalized = value?.trim().toLowerCase();
     if (!normalized || !THINKING_LEVELS.includes(normalized)) {
@@ -673,8 +923,15 @@ function updateFrom(settings, changes) {
         api: changes.api ?? settings.api,
         thinking: changes.thinking ?? settings.thinking,
         customModel: changes.customModel ?? settings.customModel,
+        permissionMode: changes.permissionMode ?? settings.permissionMode,
+        autoCompactionEnabled: changes.autoCompactionEnabled ?? settings.autoCompactionEnabled,
+        autoCompactionTriggerTokens: changes.autoCompactionTriggerTokens ?? settings.autoCompactionTriggerTokens,
+        autoCompactionReserveTokens: changes.autoCompactionReserveTokens ?? settings.autoCompactionReserveTokens,
+        autoCompactionKeepRecentTokens: changes.autoCompactionKeepRecentTokens ?? settings.autoCompactionKeepRecentTokens,
         ...(changes.apiKey ? { apiKey: changes.apiKey } : {}),
+        ...(changes.cookie ? { cookie: changes.cookie } : {}),
         clearApiKey: changes.clearApiKey ?? false,
+        clearCookie: changes.clearCookie ?? false,
     };
 }
 function settingsLines(settings) {
@@ -684,9 +941,30 @@ function settingsLines(settings) {
         `Base URL   ${settings.baseUrl || "provider default"}`,
         `API        ${settings.api}`,
         `Thinking   ${settings.thinking}`,
+        `Approvals  ${settings.permissionMode} — ${permissionModeSummary(settings.permissionMode)}`,
+        `Compact    ${settings.autoCompactionEnabled ? "on" : "off"} · trigger ${settings.autoCompactionTriggerTokens} · reserve ${settings.autoCompactionReserveTokens} · keep ${settings.autoCompactionKeepRecentTokens}`,
         `API key    ${settings.hasApiKey ? "configured (hidden)" : "not configured"}`,
+        `  file     ${settings.apiKeyPath}`,
+        `Cookie     ${settings.hasCookie ? "configured (hidden)" : "not configured"}`,
+        `  file     ${settings.cookiePath}`,
+        `Config     ${settings.configPath}`,
+        `Catalog    ${settings.modelsPath}`,
         "",
         "Use /config wizard for guided setup, or /help for direct commands.",
     ];
 }
+function parseOnOff(value, label) {
+    if (value === "on")
+        return true;
+    if (value === "off")
+        return false;
+    throw new Error(`${label} expects on or off`);
+}
+function parseCompactionTokens(value, label) {
+    const parsed = Number(value);
+    if (!Number.isSafeInteger(parsed) || parsed <= 0 || parsed > 1_000_000) {
+        throw new Error(`${label} must be an integer from 1 to 1000000`);
+    }
+    return parsed;
+}
 //# sourceMappingURL=tui-app.js.map