@hoilab/ada-cli 0.84.21 → 0.84.22

package/dist/modes/interactive/interactive-mode.js

@@ -14,6 +14,7 @@ import { APP_NAME, APP_TITLE, CONFIG_DIR_NAME, getAgentDir, getAuthPath, getDebu
 import { parseSkillBlock } from "../../core/agent-session.js";
 import { SessionImportFileNotFoundError } from "../../core/agent-session-runtime.js";
 import { CACHE_TTL_MS, collectCacheMisses, computeCacheWaste, detectCacheMiss, } from "../../core/cache-stats.js";
+import { DEFAULT_THINKING_LEVEL, THINKING_LEVEL_OPTIONS } from "../../core/defaults.js";
 import { FooterDataProvider } from "../../core/footer-data-provider.js";
 import { configureHttpDispatcher, formatHttpIdleTimeoutMs } from "../../core/http-dispatcher.js";
 import { KeybindingsManager } from "../../core/keybindings.js";
@@ -27,6 +28,7 @@ import { BUILTIN_SLASH_COMMANDS } from "../../core/slash-commands.js";
 import { isInstallTelemetryEnabled } from "../../core/telemetry.js";
 import { hasTrustRequiringProjectResources, ProjectTrustStore } from "../../core/trust-manager.js";
 import { getUsageCostBreakdown } from "../../core/usage-totals.js";
+import { reduceGoal } from "../../core/workflows/goal-engine/state.js";
 import { getChangelogPath, getNewEntries, normalizeChangelogLinks, parseChangelog } from "../../utils/changelog.js";
 import { copyToClipboard, readClipboardText } from "../../utils/clipboard.js";
 import { extensionForImageMimeType, readClipboardImage } from "../../utils/clipboard-image.js";
@@ -58,11 +60,13 @@ import { LoginDialogComponent } from "./components/login-dialog.js";
 import { createMermaidMarkdownTransformer } from "./components/mermaid.js";
 import { ModelSelectorComponent } from "./components/model-selector.js";
 import { formatAuthSelectorProviderType, OAuthSelectorComponent, } from "./components/oauth-selector.js";
+import { PromptOptimization } from "./components/prompt-optimization.js";
 import { ScopedModelsSelectorComponent } from "./components/scoped-models-selector.js";
 import { SessionSelectorComponent } from "./components/session-selector.js";
 import { SettingsSelectorComponent } from "./components/settings-selector.js";
 import { SkillInvocationMessageComponent } from "./components/skill-invocation-message.js";
 import { BranchSummaryStatusIndicator, CompactionStatusIndicator, IdleStatus, RetryStatusIndicator, WorkingStatusIndicator, } from "./components/status-indicator.js";
+import { ThinkingSelectorComponent } from "./components/thinking-selector.js";
 import { ToolExecutionComponent } from "./components/tool-execution.js";
 import { TreeSelectorComponent } from "./components/tree-selector.js";
 import { TrustSelectorComponent } from "./components/trust-selector.js";
@@ -91,6 +95,9 @@ class ExpandableText extends Text {
 function isCustomSessionEntry(item) {
     return "type" in item && item.type === "custom";
 }
+function isCompactionCostNotice(item) {
+    return "type" in item && item.type === "compaction_cost";
+}
 const DEAD_TERMINAL_ERROR_CODES = new Set(["EIO", "EPIPE", "ENOTCONN"]);
 function isDeadTerminalError(error) {
     if (!error || typeof error !== "object" || !("code" in error)) {
@@ -99,6 +106,34 @@ function isDeadTerminalError(error) {
     const code = error.code;
     return code !== undefined && DEAD_TERMINAL_ERROR_CODES.has(code);
 }
+export function parseDefaultFlagArgs(commandName, args) {
+    if (!args?.trim())
+        return { persist: false };
+    let persist = false;
+    const searchTerms = [];
+    for (const token of args.trim().split(/\s+/u)) {
+        if (token === "--default") {
+            persist = true;
+            continue;
+        }
+        if (token.startsWith("--default=")) {
+            persist = true;
+            const value = token.slice("--default=".length);
+            if (value)
+                searchTerms.push(value);
+            continue;
+        }
+        if (token.startsWith("--")) {
+            return {
+                persist,
+                searchTerm: searchTerms.join(" ") || undefined,
+                error: `Unknown /${commandName} option "${token}". Supported option: --default.`,
+            };
+        }
+        searchTerms.push(token);
+    }
+    return { persist, searchTerm: searchTerms.join(" ") || undefined };
+}
 const ANTHROPIC_SUBSCRIPTION_AUTH_WARNING = "Anthropic subscription auth is active. Third-party harness usage draws from extra usage and is billed per token, not your Claude plan limits. Manage extra usage at https://claude.ai/settings/usage. Disable this warning in /settings.";
 function isAnthropicSubscriptionAuthKey(apiKey) {
     return typeof apiKey === "string" && apiKey.startsWith("sk-ant-oat");
@@ -130,6 +165,11 @@ export function formatResumeCommand(sessionManager) {
 function hasDefaultModelProvider(providerId) {
     return providerId in defaultModelPerProvider;
 }
+function llamaCppPostLoginGuidance(actionLabel, loadedModelCount) {
+    return loadedModelCount === 0
+        ? `${actionLabel}. No llama.cpp models are loaded. Use /llama to load a model, then /model to select it.`
+        : `${actionLabel}. Use /model to select a loaded llama.cpp model, or /llama to manage models.`;
+}
 const AUTH_TYPE_ORDER = { oauth: 0, api_key: 1 };
 function createFuzzyAutocompleteItems(items, prefix, getSearchText, toAutocompleteItem) {
     const filtered = fuzzyFilter(items, prefix, getSearchText);
@@ -446,6 +486,15 @@ export class InteractiveMode {
         const modelCommand = slashCommands.find((command) => command.name === "model");
         if (modelCommand) {
             modelCommand.getArgumentCompletions = (prefix) => {
+                const trimmedPrefix = prefix.trimStart();
+                if (trimmedPrefix.startsWith("--") && !trimmedPrefix.includes(" ")) {
+                    return "--default".startsWith(trimmedPrefix)
+                        ? [{ value: "--default ", label: "--default", description: "Set as startup default" }]
+                        : null;
+                }
+                const parsed = parseDefaultFlagArgs("model", prefix);
+                if (parsed.error)
+                    return null;
                 const models = this.session.scopedModels.length > 0
                     ? this.session.scopedModels.map((s) => s.model)
                     : this.session.modelRuntime.getAvailableSnapshot();
@@ -458,10 +507,31 @@ export class InteractiveMode {
                     name: m.name,
                     label: `${m.provider}/${m.id}`,
                 }));
-                return createFuzzyAutocompleteItems(items, prefix, getModelSearchText, (item) => ({
-                    value: item.label,
+                const searchPrefix = parsed.persist ? (parsed.searchTerm ?? "") : prefix;
+                return createFuzzyAutocompleteItems(items, searchPrefix, getModelSearchText, (item) => ({
+                    value: parsed.persist ? `--default ${item.label}` : item.label,
                     label: item.id,
-                    description: item.provider,
+                    description: parsed.persist ? `${item.provider} · set as startup default` : item.provider,
+                }));
+            };
+        }
+        const thinkingCommand = slashCommands.find((command) => command.name === "thinking");
+        if (thinkingCommand) {
+            thinkingCommand.getArgumentCompletions = (prefix) => {
+                const trimmedPrefix = prefix.trimStart();
+                if (trimmedPrefix.startsWith("--") && !trimmedPrefix.includes(" ")) {
+                    return "--default".startsWith(trimmedPrefix)
+                        ? [{ value: "--default ", label: "--default", description: "Set as startup default" }]
+                        : null;
+                }
+                const parsed = parseDefaultFlagArgs("thinking", prefix);
+                if (parsed.error)
+                    return null;
+                const searchPrefix = parsed.persist ? (parsed.searchTerm ?? "") : prefix;
+                return createFuzzyAutocompleteItems(this.session.getAvailableThinkingLevels(), searchPrefix, (level) => level, (level) => ({
+                    value: parsed.persist ? `--default ${level}` : level,
+                    label: level,
+                    description: parsed.persist ? "set as startup default" : undefined,
                 }));
             };
         }
@@ -679,7 +749,7 @@ export class InteractiveMode {
             const accent = (text) => theme.fg("accent", text);
             const dim = (text) => theme.fg("dim", text);
             const muted = (text) => theme.fg("muted", text);
-            const logo = theme.bold(theme.fg("accent", APP_NAME)) + theme.fg("dim", ` v${this.version}`);
+            const _logo = theme.bold(theme.fg("accent", APP_NAME)) + theme.fg("dim", ` v${this.version}`);
             // Welcome screen (central): ASCII logo + environment status + quick commands
             const asciiLogo = [
                 "  █████╗ ██████╗  █████╗",
@@ -836,7 +906,18 @@ export class InteractiveMode {
             }
         });
         // Show startup warnings
-        const { migratedProviders, modelFallbackMessage, initialMessage, initialImages, initialMessages } = this.options;
+        const { migratedProviders, startupDiagnostics, modelFallbackMessage, initialMessage, initialImages, initialMessages, } = this.options;
+        for (const diagnostic of startupDiagnostics ?? []) {
+            if (diagnostic.type === "error") {
+                this.showError(diagnostic.message);
+            }
+            else if (diagnostic.type === "warning") {
+                this.showWarning(diagnostic.message);
+            }
+            else {
+                this.showStatus(diagnostic.message);
+            }
+        }
         if (migratedProviders && migratedProviders.length > 0) {
             this.showWarning(`Migrated credentials to auth.json: ${migratedProviders.join(", ")}`);
         }
@@ -2373,9 +2454,23 @@ export class InteractiveMode {
                 return;
             }
             if (text === "/model" || text.startsWith("/model ")) {
-                const searchTerm = text.startsWith("/model ") ? text.slice(7).trim() : undefined;
+                const args = parseDefaultFlagArgs("model", text.startsWith("/model ") ? text.slice(7).trim() : undefined);
                 this.editor.setText("");
-                await this.handleModelCommand(searchTerm);
+                if (args.error) {
+                    this.showError(args.error);
+                    return;
+                }
+                await this.handleModelCommand(args.searchTerm, { persist: args.persist });
+                return;
+            }
+            if (text === "/thinking" || text.startsWith("/thinking ")) {
+                const args = parseDefaultFlagArgs("thinking", text.startsWith("/thinking ") ? text.slice(10).trim() : undefined);
+                this.editor.setText("");
+                if (args.error) {
+                    this.showError(args.error);
+                    return;
+                }
+                this.handleThinkingCommand(args.searchTerm, { persist: args.persist });
                 return;
             }
             if (text === "/export" || text.startsWith("/export ")) {
@@ -2429,6 +2524,24 @@ export class InteractiveMode {
                 void this.handleVaultCommand(args);
                 return;
             }
+            if (text === "/goal" || text.startsWith("/goal ")) {
+                const args = text.startsWith("/goal ") ? text.slice(6).trim() : "";
+                this.editor.setText("");
+                void this.handleGoalCommand(args);
+                return;
+            }
+            if (text === "/graph" || text.startsWith("/graph ")) {
+                const args = text.startsWith("/graph ") ? text.slice(7).trim() : "";
+                this.editor.setText("");
+                void this.handleGraphCommand(args);
+                return;
+            }
+            if (text === "/workflow" || text.startsWith("/workflow ")) {
+                const args = text.startsWith("/workflow ") ? text.slice(10).trim() : "";
+                this.editor.setText("");
+                void this.handleWorkflowCommand(args);
+                return;
+            }
             if (text === "/changelog") {
                 this.handleChangelogCommand();
                 this.editor.setText("");
@@ -2584,6 +2697,9 @@ export class InteractiveMode {
                     this.showStatus(event.message);
                 }
                 break;
+            case "prompt_optimization":
+                this.showPromptOptimization(event);
+                break;
             case "agent_start":
                 this.pendingTools.clear();
                 if (this.settingsManager.getShowTerminalProgress()) {
@@ -2788,9 +2904,21 @@ export class InteractiveMode {
                     }
                 }
                 else if (event.result) {
+                    const entries = this.sessionManager.buildContextEntries();
+                    if (entries[0]?.type !== "compaction") {
+                        throw new Error("Completed compaction is missing from the session context");
+                    }
                     this.chatContainer.clear();
-                    this.rebuildChatFromMessages();
+                    // The latest compaction is prepended for model context; append it below at its chronological position.
+                    this.renderSessionEntries(entries.slice(1));
                     this.addMessageToChat(createCompactionSummaryMessage(event.result.summary, event.result.tokensBefore, new Date().toISOString()));
+                    if (event.result.usage) {
+                        this.addCompactionCostNotice({
+                            type: "compaction_cost",
+                            kind: "compaction",
+                            usage: event.result.usage,
+                        });
+                    }
                     this.footer.invalidate();
                 }
                 else if (event.errorMessage) {
@@ -2882,6 +3010,23 @@ export class InteractiveMode {
      * If multiple status messages are emitted back-to-back (without anything else being added to the chat),
      * we update the previous status line instead of appending new ones to avoid log spam.
      */
+    /** Muestra cómo el optimizador mejoró el prompt (o qué pregunta aclarar). */
+    showPromptOptimization(event) {
+        const component = new PromptOptimization(this.ui, event);
+        if (this.streamingComponent) {
+            const idx = this.chatContainer.children.indexOf(this.streamingComponent);
+            if (idx >= 0) {
+                this.chatContainer.children.splice(idx, 0, component);
+            }
+            else {
+                this.chatContainer.addChild(component);
+            }
+        }
+        else {
+            this.chatContainer.addChild(component);
+        }
+        this.ui.requestRender();
+    }
     showStatus(message) {
         const children = this.chatContainer.children;
         const last = children.length > 0 ? children[children.length - 1] : undefined;
@@ -2936,8 +3081,7 @@ export class InteractiveMode {
                         // (sensitive data will not be stored in memory).
                         const text = customMessageText(message.content);
                         this.chatContainer.addChild(new Spacer(1));
-                        this.chatContainer.addChild(new Text(theme.fg("warning", "⚠️ ") + theme.bold(theme.fg("warning", "Ada Memory")) +
-                            "\n" + text, 1, 0));
+                        this.chatContainer.addChild(new Text(`${theme.fg("warning", "⚠️ ") + theme.bold(theme.fg("warning", "Ada Memory"))}\n${text}`, 1, 0));
                         break;
                     }
                     const renderer = this.session.extensionRunner.getMessageRenderer(message.customType);
@@ -3021,6 +3165,10 @@ export class InteractiveMode {
                 this.addCustomEntryToChat(item);
                 continue;
             }
+            if (isCompactionCostNotice(item)) {
+                this.addCompactionCostNotice(item);
+                continue;
+            }
             const message = item;
             // Assistant messages need special handling for tool calls
             if (message.role === "assistant") {
@@ -3088,10 +3236,28 @@ export class InteractiveMode {
             if (entry.type === "custom") {
                 return [entry];
             }
-            return sessionEntryToContextMessages(entry);
+            const messages = sessionEntryToContextMessages(entry);
+            if ((entry.type === "compaction" || entry.type === "branch_summary") && entry.usage && messages.length > 0) {
+                return [...messages, { type: "compaction_cost", kind: entry.type, usage: entry.usage }];
+            }
+            return messages;
         });
         this.renderSessionItems(items, options);
     }
+    /**
+     * Render billing usage for a compaction or branch summary. The notice is derived
+     * from persisted summary usage and is not stored as a separate session entry.
+     */
+    addCompactionCostNotice(notice) {
+        if (!this.settingsManager.getShowCacheMissNotices())
+            return;
+        const { usage } = notice;
+        const tokens = usage.input + usage.output + usage.cacheRead + usage.cacheWrite;
+        const cost = usage.cost.total >= 0.01 ? ` (~$${usage.cost.total.toFixed(2)})` : "";
+        const label = notice.kind === "compaction" ? "Compaction" : "Branch summary";
+        this.chatContainer.addChild(new Spacer(1));
+        this.chatContainer.addChild(new Text(theme.fg("warning", `${label}: ${formatTokens(tokens)} tokens billed${cost}`), 1, 0));
+    }
     /**
      * Show a transcript notice when a completed assistant message paid for a
      * significant cache miss. Only states observable facts: the miss itself,
@@ -3728,21 +3894,34 @@ export class InteractiveMode {
     showSettingsSelector() {
         this.showSelector((done) => {
             let selector;
+            const defaultProvider = this.settingsManager.getDefaultProvider();
+            const defaultModelId = this.settingsManager.getDefaultModel();
+            const defaultModel = defaultProvider && defaultModelId ? `${defaultProvider}/${defaultModelId}` : "not set";
             selector = new SettingsSelectorComponent({
                 autoCompact: this.session.autoCompactionEnabled,
+                defaultModel,
+                availableDefaultModels: this.session.modelRuntime.getAvailableSnapshot(),
                 showImages: this.settingsManager.getShowImages(),
                 imageWidthCells: this.settingsManager.getImageWidthCells(),
                 autoResizeImages: this.settingsManager.getImageAutoResize(),
                 blockImages: this.settingsManager.getBlockImages(),
                 projectMemory: this.settingsManager.getProjectMemoryEnabled(),
                 memoryMode: this.settingsManager.getMemoryMode(),
+                // Ada Intelligence Engine (§16.2)
+                workflowsEnabled: this.settingsManager.getWorkflowsEnabled(),
+                goalEngineEnabled: this.settingsManager.getGoalEngineEnabled(),
+                goalWorkTier: this.settingsManager.getGoalWorkTier(),
+                goalMaxTurns: this.settingsManager.getGoalMaxTurns(),
+                goalRepeatTolerance: this.settingsManager.getGoalRepeatTolerance(),
+                promptOptimizerMode: this.settingsManager.getPromptOptimizerMode(),
                 enableSkillCommands: this.settingsManager.getEnableSkillCommands(),
                 steeringMode: this.session.steeringMode,
                 followUpMode: this.session.followUpMode,
                 transport: this.settingsManager.getTransport(),
                 httpIdleTimeoutMs: this.settingsManager.getHttpIdleTimeoutMs(),
-                thinkingLevel: this.session.thinkingLevel,
-                availableThinkingLevels: this.session.getAvailableThinkingLevels(),
+                thinkingLevel: this.settingsManager.getDefaultThinkingLevel() ?? DEFAULT_THINKING_LEVEL,
+                availableThinkingLevels: [...THINKING_LEVEL_OPTIONS],
+                modelThinkingLevels: this.settingsManager.getAllModelThinkingLevels(),
                 currentTheme: this.themeController.getThemeSelection() || "dark",
                 terminalTheme: this.themeController.getTerminalTheme(),
                 availableThemes: getAvailableThemes(),
@@ -3770,6 +3949,19 @@ export class InteractiveMode {
                     this.session.setAutoCompactionEnabled(enabled);
                     this.footer.setAutoCompactEnabled(enabled);
                 },
+                onDefaultModelChange: async (model) => {
+                    try {
+                        await this.session.setModel(model, { persist: true });
+                        this.footer.invalidate();
+                        this.updateEditorBorderColor();
+                        this.showStatus(`Default model: ${model.provider}/${model.id}`);
+                        void this.maybeWarnAboutAnthropicSubscriptionAuth(model);
+                        this.checkDaxnutsEasterEgg(model);
+                    }
+                    catch (error) {
+                        this.showError(error instanceof Error ? error.message : String(error));
+                    }
+                },
                 onShowImagesChange: (enabled) => {
                     this.settingsManager.setShowImages(enabled);
                     for (const child of this.chatContainer.children) {
@@ -3800,6 +3992,26 @@ export class InteractiveMode {
                     // Rebuild the prompt so the new injection mode takes effect.
                     this.session.rebuildSystemPrompt();
                 },
+                onWorkflowsEnabledChange: (enabled) => {
+                    this.settingsManager.setWorkflowsEnabled(enabled);
+                },
+                onPromptOptimizerModeChange: (mode) => {
+                    this.settingsManager.setPromptOptimizerMode(mode);
+                    // Aplica el modo en la sesión en vivo (sin reiniciar).
+                    this.session.setPromptOptimizerMode(mode);
+                },
+                onGoalEngineEnabledChange: (enabled) => {
+                    this.settingsManager.setGoalEngineEnabled(enabled);
+                },
+                onGoalWorkTierChange: (tier) => {
+                    this.settingsManager.setGoalWorkTier(tier);
+                },
+                onGoalMaxTurnsChange: (turns) => {
+                    this.settingsManager.setGoalMaxTurns(turns);
+                },
+                onRepeatToleranceChange: (tolerance) => {
+                    this.settingsManager.setGoalRepeatTolerance(tolerance);
+                },
                 onEnableSkillCommandsChange: (enabled) => {
                     this.settingsManager.setEnableSkillCommands(enabled);
                     this.setupAutocompleteProvider();
@@ -3820,10 +4032,31 @@ export class InteractiveMode {
                     this.showStatus(`HTTP idle timeout: ${formatHttpIdleTimeoutMs(timeoutMs)}`);
                 },
                 onThinkingLevelChange: (level) => {
-                    this.session.setThinkingLevel(level);
+                    this.session.setThinkingLevel(level, { persist: true });
                     this.footer.invalidate();
                     this.updateEditorBorderColor();
                 },
+                onModelThinkingLevelChange: (provider, modelId, level) => {
+                    this.settingsManager.setModelThinkingLevel(provider, modelId, level);
+                    // If the override is for the current model, apply it to the session too
+                    const current = this.session.model;
+                    if (current && current.provider === provider && current.id === modelId) {
+                        this.session.setThinkingLevel(level);
+                        this.footer.invalidate();
+                        this.updateEditorBorderColor();
+                    }
+                },
+                onModelThinkingLevelRemove: (provider, modelId) => {
+                    this.settingsManager.removeModelThinkingLevel(provider, modelId);
+                    // If the override was for the current model, revert to global default
+                    const current = this.session.model;
+                    if (current && current.provider === provider && current.id === modelId) {
+                        const globalDefault = this.settingsManager.getDefaultThinkingLevel() ?? DEFAULT_THINKING_LEVEL;
+                        this.session.setThinkingLevel(globalDefault);
+                        this.footer.invalidate();
+                        this.updateEditorBorderColor();
+                    }
+                },
                 onThemeChange: (themeSetting) => {
                     this.settingsManager.setTheme(themeSetting);
                     void this.themeController.setThemeSetting(themeSetting);
@@ -3943,18 +4176,56 @@ export class InteractiveMode {
             return { component: selector, focus: selector.getSettingsList() };
         });
     }
-    async handleModelCommand(searchTerm) {
+    handleThinkingCommand(searchTerm, options = {}) {
+        const availableLevels = this.session.getAvailableThinkingLevels();
         if (!searchTerm) {
-            this.showModelSelector();
+            this.showThinkingSelector(options);
+            return;
+        }
+        const normalized = searchTerm.trim().toLowerCase();
+        const level = availableLevels.find((candidate) => candidate.toLowerCase() === normalized);
+        if (!level) {
+            this.showError(`Unknown thinking level "${searchTerm}". Available levels: ${availableLevels.join(", ")}.`);
+            return;
+        }
+        this.selectThinkingLevel(level, options.persist === true);
+    }
+    selectThinkingLevel(level, persist) {
+        try {
+            this.session.setThinkingLevel(level, { persist });
+            this.footer.invalidate();
+            this.updateEditorBorderColor();
+            this.showStatus(persist ? `Default thinking level: ${level}` : `Thinking level: ${level}`);
+        }
+        catch (error) {
+            this.showError(error instanceof Error ? error.message : String(error));
+        }
+    }
+    showThinkingSelector(options = {}) {
+        this.showSelector((done) => {
+            const selectLevel = (level, persist) => {
+                this.selectThinkingLevel(level, persist);
+                done();
+            };
+            const selector = new ThinkingSelectorComponent(this.session.thinkingLevel ?? DEFAULT_THINKING_LEVEL, this.session.getAvailableThinkingLevels(), (level) => selectLevel(level, options.persist === true), () => {
+                done();
+                this.ui.requestRender();
+            }, (level) => selectLevel(level, true));
+            return { component: selector, focus: selector };
+        });
+    }
+    async handleModelCommand(searchTerm, options = {}) {
+        if (!searchTerm) {
+            this.showModelSelector(undefined, options);
             return;
         }
         const model = await this.findExactModelMatch(searchTerm);
         if (model) {
             try {
-                await this.session.setModel(model);
+                await this.session.setModel(model, { persist: options.persist === true });
                 this.footer.invalidate();
                 this.updateEditorBorderColor();
-                this.showStatus(`Model: ${model.id}`);
+                this.showStatus(options.persist ? `Default model: ${model.provider}/${model.id}` : `Model: ${model.id}`);
                 void this.maybeWarnAboutAnthropicSubscriptionAuth(model);
                 this.checkDaxnutsEasterEgg(model);
             }
@@ -3963,7 +4234,7 @@ export class InteractiveMode {
             }
             return;
         }
-        this.showModelSelector(searchTerm);
+        this.showModelSelector(searchTerm, options);
     }
     async findExactModelMatch(searchTerm) {
         const cachedModels = this.session.scopedModels.length > 0
@@ -4078,15 +4349,15 @@ export class InteractiveMode {
             return { component: selector, focus: selector };
         });
     }
-    showModelSelector(initialSearchInput) {
+    showModelSelector(initialSearchInput, options = {}) {
         this.showSelector((done) => {
-            const selector = new ModelSelectorComponent(this.ui, this.session.model, this.settingsManager, this.session.modelRuntime, this.session.scopedModels, async (model) => {
+            const selectModel = async (model, persist) => {
                 try {
-                    await this.session.setModel(model);
+                    await this.session.setModel(model, { persist });
                     this.footer.invalidate();
                     this.updateEditorBorderColor();
                     done();
-                    this.showStatus(`Model: ${model.id}`);
+                    this.showStatus(persist ? `Default model: ${model.provider}/${model.id}` : `Model: ${model.id}`);
                     void this.maybeWarnAboutAnthropicSubscriptionAuth(model);
                     this.checkDaxnutsEasterEgg(model);
                 }
@@ -4094,10 +4365,11 @@ export class InteractiveMode {
                     done();
                     this.showError(error instanceof Error ? error.message : String(error));
                 }
-            }, () => {
+            };
+            const selector = new ModelSelectorComponent(this.ui, this.session.model, this.session.modelRuntime, this.session.scopedModels, (model) => selectModel(model, options.persist === true), () => {
                 done();
                 this.ui.requestRender();
-            }, initialSearchInput);
+            }, initialSearchInput, (model) => selectModel(model, true));
             return { component: selector, focus: selector, dispose: () => selector.dispose() };
         });
     }
@@ -4653,7 +4925,11 @@ export class InteractiveMode {
         if (isUnknownModel(previousModel)) {
             const availableModels = this.session.modelRuntime.getAvailableSnapshot();
             const providerModels = availableModels.filter((model) => model.provider === providerId);
-            if (!hasDefaultModelProvider(providerId)) {
+            // Matches LLAMA_PROVIDER_ID from extensions/llama/provider.ts; kept inline to avoid coupling interactive mode to the built-in extension.
+            if (providerId === "llama.cpp") {
+                selectionError = llamaCppPostLoginGuidance(actionLabel, providerModels.length);
+            }
+            else if (!hasDefaultModelProvider(providerId)) {
                 selectionError = `${actionLabel}, but no default model is configured for provider "${providerId}". Use /model to select a model.`;
             }
             else if (providerModels.length === 0) {
@@ -4667,7 +4943,7 @@ export class InteractiveMode {
                 }
                 else {
                     try {
-                        await this.session.setModel(selectedModel);
+                        await this.session.setModel(selectedModel, { persist: true });
                     }
                     catch (error) {
                         selectedModel = undefined;
@@ -5251,7 +5527,10 @@ export class InteractiveMode {
         let info = `${theme.bold("🧠 Ada Memory")}\n\n`;
         info += `${theme.fg("dim", "Enabled:")} ${status.enabled ? "yes" : "no"} · ${theme.fg("dim", "Mode:")} ${status.mode}\n`;
         info += `${theme.fg("dim", "Indexes:")} ${status.memoryIndexDocs} memory docs · ${status.sessionIndexDocs} session docs\n\n`;
-        info += entries.length > 0 ? entries.join("\n") : theme.fg("dim", "No memory entries yet. Ask the agent to remember something, or use memory_add.");
+        info +=
+            entries.length > 0
+                ? entries.join("\n")
+                : theme.fg("dim", "No memory entries yet. Ask the agent to remember something, or use memory_add.");
         this.chatContainer.addChild(new Spacer(1));
         this.chatContainer.addChild(new Text(info, 1, 0));
         this.ui.requestRender();
@@ -5295,7 +5574,7 @@ export class InteractiveMode {
         const entries = await memoryEngine.auditEntries(25);
         const lines = [
             `${theme.bold("🛡️ Memory audit")}`,
-            `${theme.fg("dim", "Integrity:")} ${integrity.valid ? theme.fg("success", "OK (" + integrity.entriesChecked + " entries)") : theme.fg("error", `TAMPERED at ${integrity.tamperedAt ?? "?"}`)}`,
+            `${theme.fg("dim", "Integrity:")} ${integrity.valid ? theme.fg("success", `OK (${integrity.entriesChecked} entries)`) : theme.fg("error", `TAMPERED at ${integrity.tamperedAt ?? "?"}`)}`,
         ];
         if (entries.length === 0) {
             lines.push(theme.fg("dim", "No audit entries yet."));
@@ -5358,7 +5637,10 @@ export class InteractiveMode {
                     return;
                 }
                 vault.add(name, value);
-                show([`✅ '${name}' saved to the project vault (encrypted).`, "  Use @vault:" + name + " in a message to pass it to the agent."]);
+                show([
+                    `✅ '${name}' saved to the project vault (encrypted).`,
+                    `  Use @vault:${name} in a message to pass it to the agent.`,
+                ]);
                 return;
             }
             case "session": {
@@ -5406,7 +5688,7 @@ export class InteractiveMode {
                 }
                 if (!name) {
                     const names = available
-                        .map((e) => `  ${e.name}  (${e.source === "session" ? "sesión" : "proyecto"}${e.category ? " · " + e.category : ""})`)
+                        .map((e) => `  ${e.name}  (${e.source === "session" ? "sesión" : "proyecto"}${e.category ? ` · ${e.category}` : ""})`)
                         .join("\n");
                     show([
                         "Secretos disponibles:",
@@ -5418,12 +5700,13 @@ export class InteractiveMode {
                 }
                 const exists = available.some((e) => e.name === name);
                 show(exists
-                    ? [`Listo. Escribe esto en el chat:  @vault:${name}`, "El agente recibirá el valor; nunca se persiste en la sesión."]
+                    ? [
+                        `Listo. Escribe esto en el chat:  @vault:${name}`,
+                        "El agente recibirá el valor; nunca se persiste en la sesión.",
+                    ]
                     : [`No existe el secreto '${name}'. /vault list para verlos.`]);
                 return;
             }
-            case "list":
-            case "status":
             default: {
                 const status = vault.status();
                 const entries = vault.list();
@@ -5447,6 +5730,366 @@ export class InteractiveMode {
             }
         }
     }
+    /** /goal <intent> | status | approve | pause | resume | list — Goal Engine CLI (§16.4). */
+    async handleGoalCommand(args) {
+        const goalEngine = this.session.resourceLoader.getGoalEngine?.();
+        const show = (lines) => {
+            this.chatContainer.addChild(new Spacer(1));
+            this.chatContainer.addChild(new Text(lines.join("\n"), 1, 0));
+            this.ui.requestRender();
+        };
+        if (!goalEngine) {
+            show(["Goal Engine unavailable."]);
+            return;
+        }
+        const [action, ...rest] = args.split(/\s+/).filter(Boolean);
+        switch (action ?? "list") {
+            case "list": {
+                const goals = await goalEngine.list().catch(() => []);
+                show([
+                    "Goals:",
+                    ...(goals.length === 0
+                        ? ["  (none)"]
+                        : goals.map((g) => `  ${g.status === "active" ? "◆" : "·"} ${g.id} [${g.status}] ${g.goal}`)),
+                ]);
+                return;
+            }
+            case "status": {
+                const id = rest[0] ?? "";
+                if (!id) {
+                    show(["Uso: /goal status <id>"]);
+                    return;
+                }
+                const state = await goalEngine.get(id);
+                if (!state) {
+                    show([`Goal no encontrado: ${id}`]);
+                    return;
+                }
+                show([
+                    `Goal: ${state.goal}`,
+                    `  id: ${state.id} · fase: ${state.phase} · estado: ${state.status}`,
+                    `  turnos: ${state.turnsUsed}/25 · repetidos: ${state.repeatedTurns}`,
+                    `  iteración: ${state.iteration}${state.iterations.length > 0 ? ` (${state.iterations.length} registrada${state.iterations.length === 1 ? "" : "s"})` : ""}`,
+                    ...(state.judge.lastVerdict
+                        ? [`  juez: ${state.judge.lastVerdict} — ${state.judge.lastReason ?? ""}`]
+                        : []),
+                    ...(state.replanRationale ? [`  último replan: ${state.replanRationale}`] : []),
+                    ...(state.evidence.length > 0 ? [`  evidencia: ${state.evidence.length} citas`] : []),
+                    ...(state.tasks.length > 0
+                        ? [
+                            `  plan (${state.tasks.length}):`,
+                            ...state.tasks.map((t) => `    ${t.status === "done" ? "✓" : t.status === "running" ? "◐" : "○"} ${t.title}`),
+                        ]
+                        : []),
+                ]);
+                return;
+            }
+            case "replan": {
+                // P1: re-planificación manual (también automática tras continue).
+                const id = rest[0] ?? "";
+                if (!id) {
+                    show(["Uso: /goal replan <id>"]);
+                    return;
+                }
+                const state = await goalEngine.replan(id).catch((e) => {
+                    show(["No se pudo re-planificar:", `  ${e instanceof Error ? e.message : String(e)}`]);
+                    return null;
+                });
+                if (state)
+                    show([
+                        `Re-planificado → iteración ${state.iteration}`,
+                        `  ${state.replanRationale ?? ""}`,
+                        ...state.tasks.map((t) => `  ○ ${t.title}`),
+                    ]);
+                return;
+            }
+            case "add": {
+                // P2: añadir sub-tarea en cualquier fase.
+                const id = rest[0] ?? "";
+                const title = rest.slice(1).join(" ");
+                if (!id || !title) {
+                    show(["Uso: /goal add <id> <título>"]);
+                    return;
+                }
+                const state = await goalEngine.addTask(id, title).catch(() => null);
+                show(state
+                    ? [`Añadida: ${title}`, `  plan (${state.tasks.length} sub-tareas)`]
+                    : ["No se pudo añadir (id inválido)"]);
+                return;
+            }
+            case "rm": {
+                // P2: quitar sub-tarea.
+                const id = rest[0] ?? "";
+                const taskId = rest[1] ?? "";
+                if (!id || !taskId) {
+                    show(["Uso: /goal rm <id> <taskId>"]);
+                    return;
+                }
+                const state = await goalEngine.get(id);
+                if (!state) {
+                    show(["Goal no encontrado"]);
+                    return;
+                }
+                const { state: next } = reduceGoal(state, { type: "goal_task_remove", taskId }, {
+                    repeatTolerance: 1,
+                });
+                await goalEngine.commit(state, next);
+                show([`Quitada. Plan (${next.tasks.length}):`, ...next.tasks.map((t) => `  ${t.title}`)]);
+                return;
+            }
+            case "mv": {
+                // P2: reordenar sub-tarea.
+                const id = rest[0] ?? "";
+                const taskId = rest[1] ?? "";
+                const dir = rest[2] === "down" ? "down" : "up";
+                if (!id || !taskId) {
+                    show(["Uso: /goal mv <id> <taskId> up|down"]);
+                    return;
+                }
+                const state = await goalEngine.get(id);
+                if (!state) {
+                    show(["Goal no encontrado"]);
+                    return;
+                }
+                const { state: next } = reduceGoal(state, { type: "goal_task_move", taskId, dir }, {
+                    repeatTolerance: 1,
+                });
+                await goalEngine.commit(state, next);
+                show([`Reordenado. Plan (${next.tasks.length}):`, ...next.tasks.map((t) => `  ${t.title}`)]);
+                return;
+            }
+            case "new": {
+                const intent = rest.join(" ");
+                if (!intent) {
+                    show(["Uso: /goal new <intent>"]);
+                    return;
+                }
+                const state = await goalEngine.createGoal({
+                    goal: intent,
+                    doneCriteria: [],
+                    verifyCommand: "",
+                });
+                show([`Contrato creado: ${state.id}`, "  Aprueba con: /goal approve <id>", `  ${intent}`]);
+                return;
+            }
+            case "approve": {
+                const id = rest[0] ?? "";
+                if (!id) {
+                    show(["Uso: /goal approve <id>"]);
+                    return;
+                }
+                const state = await goalEngine.approve(id).catch(() => null);
+                show(state ? [`Goal activo: ${state.goal}`] : ["No se pudo aprobar (id inválido)"]);
+                return;
+            }
+            case "pause": {
+                const id = rest[0] ?? "";
+                if (!id) {
+                    show(["Uso: /goal pause <id>"]);
+                    return;
+                }
+                const state = await goalEngine.pause(id, "pausado desde CLI");
+                show([`Pausado: ${state.status}`]);
+                return;
+            }
+            case "resume": {
+                const id = rest[0] ?? "";
+                if (!id) {
+                    show(["Uso: /goal resume <id>"]);
+                    return;
+                }
+                const state = await goalEngine.resume(id).catch(() => null);
+                show(state ? [`Reanudado: ${state.status}`] : ["No se pudo reanudar"]);
+                return;
+            }
+            case "plan-on": {
+                // P5: modo plan-only (persistente).
+                this.settingsManager.setPlanOnlyEnabled(true);
+                show(["Plan-only ACTIVADO: el goal no ejecutará hasta aprobar el plan."]);
+                return;
+            }
+            case "plan-off": {
+                this.settingsManager.setPlanOnlyEnabled(false);
+                show(["Plan-only desactivado: el goal lanza sub-tareas automáticamente."]);
+                return;
+            }
+            default:
+                show([
+                    "Subcomandos: new <intent> | list | status <id> | approve <id> | pause <id> | resume <id> | replan <id> | add <id> <título> | rm <id> <taskId> | mv <id> <taskId> up|down | plan-on | plan-off",
+                ]);
+                return;
+        }
+    }
+    /** /graph gaps | context <id> | search <term> | add — Grafo CLI (§16.4). */
+    async handleGraphCommand(args) {
+        const graph = this.session.resourceLoader.getGraph?.();
+        const show = (lines) => {
+            this.chatContainer.addChild(new Spacer(1));
+            this.chatContainer.addChild(new Text(lines.join("\n"), 1, 0));
+            this.ui.requestRender();
+        };
+        if (!graph) {
+            show(["Graph unavailable."]);
+            return;
+        }
+        const [action, ...rest] = args.split(/\s+/).filter(Boolean);
+        switch (action ?? "gaps") {
+            case "gaps": {
+                const gaps = graph.gaps();
+                show([
+                    "Gaps (spine incompleto):",
+                    ...(gaps.length === 0 ? ["  ✓ spine completo"] : gaps.map((g) => `  ${g.id}: falta ${g.missing}`)),
+                ]);
+                return;
+            }
+            case "context": {
+                const id = rest[0] ?? "";
+                if (!id) {
+                    show(["Uso: /graph context <id>"]);
+                    return;
+                }
+                const res = graph.context(id);
+                if (!res.ok || !res.data || !res.data.node) {
+                    show([`Error: ${res.error ?? "no encontrado"}`]);
+                    return;
+                }
+                show([
+                    `Nodo: ${res.data.node.id} [${res.data.node.type}]`,
+                    `  ${res.data.node.description}`,
+                    `  vecinos: ${res.data.neighbors.length}`,
+                    ...res.data.neighbors.map((e) => `  ${e.subject} --${e.predicate}--> ${e.object}`),
+                ]);
+                return;
+            }
+            case "search": {
+                const term = rest.join(" ");
+                if (!term) {
+                    show(["Uso: /graph search <term>"]);
+                    return;
+                }
+                const hits = graph.search(term);
+                show([
+                    `Resultados para "${term}":`,
+                    ...(hits.length === 0 ? ["  (ninguno)"] : hits.map((h) => `  ${h.node.id} — ${h.node.description}`)),
+                ]);
+                return;
+            }
+            case "gate": {
+                const res = graph.gate();
+                show(res.data?.passed ? ["✓ Gate superado"] : [`✗ Gate bloqueado:`, ...(res.data?.failures ?? [])]);
+                return;
+            }
+            default:
+                show(["Subcomandos: gaps | context <id> | search <term> | gate"]);
+                return;
+        }
+    }
+    /** /workflow run <name> [k=v...] | list | status <id> | abort <id> — CLI del engine (§16.4). */
+    async handleWorkflowCommand(args) {
+        const manager = this.session.resourceLoader.getWorkflowManager?.();
+        const show = (lines) => {
+            this.chatContainer.addChild(new Spacer(1));
+            this.chatContainer.addChild(new Text(lines.join("\n"), 1, 0));
+            this.ui.requestRender();
+        };
+        if (!manager) {
+            show(["Workflow manager unavailable."]);
+            return;
+        }
+        const [action, ...rest] = args.split(/\s+/).filter(Boolean);
+        switch (action ?? "list") {
+            case "list": {
+                const runs = await manager.list().catch(() => []);
+                show([
+                    "Workflow runs:",
+                    ...(runs.length === 0
+                        ? ["  (ninguno)"]
+                        : runs.slice(0, 20).map((r) => `  ${r.runId} [${r.status}] ${r.name} — ${r.updatedAt}`)),
+                ]);
+                return;
+            }
+            case "status": {
+                const runId = rest[0] ?? "";
+                if (!runId) {
+                    show(["Uso: /workflow status <runId>"]);
+                    return;
+                }
+                const state = await manager.state(runId).catch(() => null);
+                if (!state) {
+                    show([`Run no encontrado: ${runId}`]);
+                    return;
+                }
+                show([
+                    `Run: ${state.name} (${state.runId})`,
+                    `  estado: ${state.status} · fase: ${state.currentPhase ?? "—"}`,
+                    `  agentes: ${state.agentCount} · tokens: ${state.tokenUsage.total} · coste: $${state.tokenUsage.cost.toFixed(4)}`,
+                ]);
+                return;
+            }
+            case "abort": {
+                const runId = rest[0] ?? "";
+                if (!runId) {
+                    show(["Uso: /workflow abort <runId>"]);
+                    return;
+                }
+                const aborted = manager.abort(runId);
+                show(aborted ? [`Abort solicitado: ${runId}`] : [`No se pudo abortar (¿run inexistente?): ${runId}`]);
+                return;
+            }
+            case "run": {
+                const name = rest[0];
+                if (!name) {
+                    show([
+                        "Uso: /workflow run <name> [k=v...]",
+                        "  builtins: deep_research · code_review · product_build · codebase_audit · multi_perspective",
+                    ]);
+                    return;
+                }
+                // args k=v
+                const wfArgs = {};
+                for (const part of rest.slice(1)) {
+                    const eq = part.indexOf("=");
+                    if (eq > 0)
+                        wfArgs[part.slice(0, eq)] = part.slice(eq + 1);
+                }
+                const script = await this.resolveBuiltinWorkflow(name);
+                if (!script) {
+                    show([`Workflow no encontrado: ${name}`]);
+                    return;
+                }
+                // Confirmación de coste estimado (fail-closed).
+                const ok = await this.confirm(`Lanzar workflow "${name}" con ${Object.keys(wfArgs).length} args. Coste estimado: variable (ver settings.workflows.budget). ¿Continuar?`);
+                if (!ok) {
+                    show(["Cancelado."]);
+                    return;
+                }
+                show([`Lanzando ${name}… (progreso: /workflow list, /workflow status <runId>)`]);
+                void manager
+                    .execute(script, { args: wfArgs, sessionId: this.session.sessionManager.getSessionId() })
+                    .then((r) => show([`✓ ${name} terminó (${r.runId}).`]))
+                    .catch((e) => show([`✗ ${name} falló: ${e instanceof Error ? e.message : String(e)}`]));
+                return;
+            }
+            default:
+                show(["Subcomandos: run <name> [k=v...] | list | status <runId> | abort <runId>"]);
+                return;
+        }
+    }
+    /**
+     * Confirmación fail-closed del TUI: pide "y"/"yes" explícito en el input
+     * de diálogo. Cualquier otra respuesta (o escape) = NO.
+     */
+    async confirm(prompt) {
+        const answer = await this.showExtensionInput(`${prompt} [y/N]`, "y");
+        const normalized = (answer ?? "").trim().toLowerCase();
+        return normalized === "y" || normalized === "yes";
+    }
+    /** Resuelve un workflow builtin (deep_research, code_review, …) a su script. */
+    /** Resuelve un workflow por nombre: builtin o script guardado del usuario. */
+    async resolveBuiltinWorkflow(name) {
+        const { resolveWorkflowScriptByName } = await import("../../core/workflows/resolve-script.js");
+        return resolveWorkflowScriptByName(this.session.resourceLoader.getAgentDir(), name)?.script ?? null;
+    }
     handleChangelogCommand() {
         const changelogPath = getChangelogPath();
         const allEntries = parseChangelog(changelogPath);