@zhijiewang/openharness 2.1.0 → 2.3.0

package/dist/repl.js

@@ -2,68 +2,68 @@
  * Imperative REPL — extracted business logic from React REPL.tsx.
  * Uses TerminalRenderer for display instead of Ink.
  */
-import { createAssistantMessage, createMessage, createInfoMessage } from './types/message.js';
-import { query } from './query/index.js';
-import { createStore } from './harness/store.js';
-import { createSession, saveSession, loadSession } from './harness/session.js';
-import { CostTracker, estimateCost, getContextWindow } from './harness/cost.js';
-import { autoCommitAIEdits, isGitRepo } from './git/index.js';
-import { cybergotchiEvents } from './cybergotchi/events.js';
-import { loadCompanionConfig, saveCompanionConfig } from './cybergotchi/config.js';
-import { readOhConfig, writeOhConfig } from './harness/config.js';
-import { roll } from './cybergotchi/bones.js';
-import { getSpecies } from './cybergotchi/species.js';
-import { EYE_STYLES, RARITY_COLORS, RARITY_STARS } from './cybergotchi/types.js';
-import { TerminalRenderer } from './renderer/index.js';
-import { formatTokenCount } from './utils/format.js';
-import { formatToolArgs, summarizeToolOutput } from './utils/tool-summary.js';
-import { getCommandEntries } from './commands/index.js';
-import { handleUserInput } from './harness/submit-handler.js';
-import { estimateMessageTokens, getContextWarning } from './harness/context-warning.js';
-import { setActiveTheme } from './utils/theme-data.js';
-import { resetStyleCache } from './renderer/layout.js';
-import { resetMdStyleCache } from './renderer/markdown.js';
-import { resetDiffStyleCache } from './renderer/diff.js';
-import { homedir } from 'node:os';
+import { homedir } from "node:os";
+import { getCommandEntries } from "./commands/index.js";
+import { roll } from "./cybergotchi/bones.js";
+import { loadCompanionConfig, saveCompanionConfig } from "./cybergotchi/config.js";
+import { cybergotchiEvents } from "./cybergotchi/events.js";
+import { getSpecies } from "./cybergotchi/species.js";
+import { EYE_STYLES, RARITY_COLORS, RARITY_STARS } from "./cybergotchi/types.js";
+import { autoCommitAIEdits, isGitRepo } from "./git/index.js";
+import { readOhConfig, writeOhConfig } from "./harness/config.js";
+import { estimateMessageTokens, getContextWarning } from "./harness/context-warning.js";
+import { CostTracker, estimateCost, getContextWindow } from "./harness/cost.js";
+import { createSession, loadSession, saveSession } from "./harness/session.js";
+import { createStore } from "./harness/store.js";
+import { handleUserInput } from "./harness/submit-handler.js";
+import { query } from "./query/index.js";
+import { resetDiffStyleCache } from "./renderer/diff.js";
+import { TerminalRenderer } from "./renderer/index.js";
+import { resetStyleCache } from "./renderer/layout.js";
+import { resetMdStyleCache } from "./renderer/markdown.js";
+import { createAssistantMessage, createInfoMessage, createMessage } from "./types/message.js";
+import { formatTokenCount } from "./utils/format.js";
+import { setActiveTheme } from "./utils/theme-data.js";
+import { formatToolArgs, summarizeToolOutput } from "./utils/tool-summary.js";
 export async function startREPL(config) {
     if (config.theme)
         setActiveTheme(config.theme);
     const renderer = new TerminalRenderer();
     // Set banner in live area (avoids the empty gap between scrollback banner and bottom-anchored input)
     if (config.welcomeText) {
-        renderer.setBannerLines(config.welcomeText.split('\n'));
+        renderer.setBannerLines(config.welcomeText.split("\n"));
     }
     // Session
     let session;
     const sessionExtras = {
         workingDir: process.cwd(),
-        gitBranch: isGitRepo() ? (await import('./git/index.js')).gitBranch() : undefined,
-        tools: config.tools.map(t => t.name),
+        gitBranch: isGitRepo() ? (await import("./git/index.js")).gitBranch() : undefined,
+        tools: config.tools.map((t) => t.name),
     };
     try {
         session = config.resumeSessionId
             ? loadSession(config.resumeSessionId)
-            : createSession(config.provider.name, config.model ?? '', sessionExtras);
+            : createSession(config.provider.name, config.model ?? "", sessionExtras);
     }
     catch {
-        session = createSession(config.provider.name, config.model ?? '', sessionExtras);
+        session = createSession(config.provider.name, config.model ?? "", sessionExtras);
     }
     // Wake context: inject session summary when resuming
     if (config.resumeSessionId && session.hibernate) {
-        const { buildWakeContext } = await import('./harness/session.js');
+        const { buildWakeContext } = await import("./harness/session.js");
         const wakeMsg = buildWakeContext(session);
-        const { createInfoMessage } = await import('./types/message.js');
+        const { createInfoMessage } = await import("./types/message.js");
         session.messages.push(createInfoMessage(wakeMsg));
     }
     // Initialize checkpoints for file rewind
-    const { initCheckpoints } = await import('./harness/checkpoints.js');
+    const { initCheckpoints } = await import("./harness/checkpoints.js");
     initCheckpoints(session.id);
     // Start background cron executor
-    const { CronExecutor } = await import('./services/CronExecutor.js');
+    const { CronExecutor } = await import("./services/CronExecutor.js");
     const cronExecutor = new CronExecutor(config.provider, config.tools, config.systemPrompt, config.permissionMode, config.model);
     cronExecutor.start();
     // A2A: publish agent card for cross-process discovery
-    const { createSessionCard, publishCard, unpublishCard } = await import('./services/a2a.js');
+    const { createSessionCard, publishCard, unpublishCard } = await import("./services/a2a.js");
     const agentCard = createSessionCard(session.id, {
         provider: config.provider.name,
         model: config.model,
@@ -75,8 +75,8 @@ export async function startREPL(config) {
     const store = createStore({
         messages: config.resumeSessionId ? session.messages : (config.initialMessages ?? []),
         loading: false,
-        currentModel: config.model ?? '',
-        inputText: '',
+        currentModel: config.model ?? "",
+        inputText: "",
         inputCursor: 0,
         inputHistory: [],
         historyIndex: -1,
@@ -127,47 +127,53 @@ export async function startREPL(config) {
     });
     function updateAutocomplete() {
         acIsPath = false;
-        if (inputText.startsWith('/') && inputText.length > 1 && !inputText.includes(' ')) {
+        if (inputText.startsWith("/") && inputText.length > 1 && !inputText.includes(" ")) {
             // Slash command autocomplete
             const prefix = inputText.slice(1).toLowerCase();
-            const entries = getCommandEntries().filter(e => e.name.startsWith(prefix)).slice(0, 5);
-            acSuggestions = entries.map(e => e.name);
-            acDescriptions = entries.map(e => e.description);
+            const entries = getCommandEntries()
+                .filter((e) => e.name.startsWith(prefix))
+                .slice(0, 5);
+            acSuggestions = entries.map((e) => e.name);
+            acDescriptions = entries.map((e) => e.description);
             acTokenStart = 0;
             acIndex = -1;
         }
-        else if (inputText.length > 0 && !inputText.startsWith('/')) {
+        else if (inputText.length > 0 && !inputText.startsWith("/")) {
             // File path autocomplete: extract token under cursor
             const beforeCursor = inputText.slice(0, inputCursor);
             const tokenMatch = beforeCursor.match(/(\S+)$/);
-            if (tokenMatch && (tokenMatch[1].includes('/') || tokenMatch[1].includes('\\') || tokenMatch[1].startsWith('.') || tokenMatch[1].startsWith('~'))) {
+            if (tokenMatch &&
+                (tokenMatch[1].includes("/") ||
+                    tokenMatch[1].includes("\\") ||
+                    tokenMatch[1].startsWith(".") ||
+                    tokenMatch[1].startsWith("~"))) {
                 const token = tokenMatch[1];
                 acTokenStart = inputCursor - token.length;
-                const expanded = token.startsWith('~') ? token.replace('~', homedir()) : token;
-                const lastSep = Math.max(expanded.lastIndexOf('/'), expanded.lastIndexOf('\\'));
-                const dir = lastSep >= 0 ? expanded.slice(0, lastSep + 1) : '.';
+                const expanded = token.startsWith("~") ? token.replace("~", homedir()) : token;
+                const lastSep = Math.max(expanded.lastIndexOf("/"), expanded.lastIndexOf("\\"));
+                const dir = lastSep >= 0 ? expanded.slice(0, lastSep + 1) : ".";
                 const prefix = lastSep >= 0 ? expanded.slice(lastSep + 1) : expanded;
                 try {
-                    const { readdirSync, statSync } = require('node:fs');
+                    const { readdirSync, statSync } = require("node:fs");
                     const entries = readdirSync(dir)
                         .filter((name) => name.toLowerCase().startsWith(prefix.toLowerCase()))
                         .slice(0, 10);
                     acSuggestions = entries.map((name) => {
-                        const full = dir === '.' ? name : dir + name;
+                        const full = dir === "." ? name : dir + name;
                         try {
-                            return statSync(full).isDirectory() ? full + '/' : full;
+                            return statSync(full).isDirectory() ? `${full}/` : full;
                         }
                         catch {
                             return full;
                         }
                     });
                     acDescriptions = entries.map((name) => {
-                        const full = dir === '.' ? name : dir + name;
+                        const full = dir === "." ? name : dir + name;
                         try {
-                            return statSync(full).isDirectory() ? '[dir]' : '[file]';
+                            return statSync(full).isDirectory() ? "[dir]" : "[file]";
                         }
                         catch {
-                            return '';
+                            return "";
                         }
                     });
                     acIsPath = acSuggestions.length > 0;
@@ -199,19 +205,19 @@ export async function startREPL(config) {
         saveCompanionConfig(companionConfig);
         const bones = roll(companionConfig.seed);
         const species = getSpecies(bones.species);
-        const eyes = EYE_STYLES[bones.eyeStyle % EYE_STYLES.length] ?? 'o o';
+        const eyes = EYE_STYLES[bones.eyeStyle % EYE_STYLES.length] ?? "o o";
         const idleFrames = species.frames.idle;
         const color = RARITY_COLORS[bones.rarity];
         const nameLine = `${companionConfig.soul.name} ${RARITY_STARS[bones.rarity]}`;
         // Render initial frame
-        const frame0 = (idleFrames[0] ?? []).map((l) => l.replace('{E}', eyes));
+        const frame0 = (idleFrames[0] ?? []).map((l) => l.replace("{E}", eyes));
         renderer.setCompanion([...frame0, nameLine], color);
         // Animate on timer
         renderer.onAnimation((frameIdx) => {
             if (!companionVisible)
                 return;
             const f = idleFrames[frameIdx % idleFrames.length] ?? idleFrames[0] ?? [];
-            const lines = f.map((l) => l.replace('{E}', eyes));
+            const lines = f.map((l) => l.replace("{E}", eyes));
             renderer.setCompanion([...lines, nameLine], color);
         });
     }
@@ -219,42 +225,54 @@ export async function startREPL(config) {
     /** Sync local aliases back to the centralized store */
     function syncStore() {
         store.setState({
-            messages, loading, currentModel, inputText, inputCursor,
-            inputHistory, historyIndex, vimMode, fastMode,
-            acSuggestions, acDescriptions, acIndex, acTokenStart, acIsPath,
+            messages,
+            loading,
+            currentModel,
+            inputText,
+            inputCursor,
+            inputHistory,
+            historyIndex,
+            vimMode,
+            fastMode,
+            acSuggestions,
+            acDescriptions,
+            acIndex,
+            acTokenStart,
+            acIsPath,
         });
     }
     function syncRenderer() {
         syncStore();
         renderer.setMessages(messages);
         renderer.setLoading(loading);
-        const hints = `exit to quit${loading ? ' | Ctrl+C stop | Ctrl+O thinking' : ' | Tab expand tools | Ctrl+O transcript'}${companionConfig?.soul?.name ? ` | @${companionConfig.soul.name}` : ''}`;
+        const hints = `exit to quit${loading ? " | Ctrl+C stop | Ctrl+O thinking" : " | Tab expand tools | Ctrl+O transcript"}${companionConfig?.soul?.name ? ` | @${companionConfig.soul.name}` : ""}`;
         renderer.setStatusHints(hints);
         // Status line: model | tokens | cost | ctx
         const inTok = cost.totalInputTokens;
         const outTok = cost.totalOutputTokens;
         const totalCostVal = cost.totalCost;
-        const tokensStr = (inTok > 0 || outTok > 0) ? `${formatTokenCount(inTok)}↑ ${formatTokenCount(outTok)}↓` : '';
-        const costStr = totalCostVal > 0 ? `$${totalCostVal.toFixed(4)}` : '';
-        let ctxStr = '';
+        const tokensStr = inTok > 0 || outTok > 0 ? `${formatTokenCount(inTok)}↑ ${formatTokenCount(outTok)}↓` : "";
+        const costStr = totalCostVal > 0 ? `$${totalCostVal.toFixed(4)}` : "";
+        let ctxStr = "";
         const ctxWindow = getContextWindow(currentModel);
         if (ctxWindow > 0 && estimatedTokenCount > 0) {
             const usage = Math.min(1, estimatedTokenCount / ctxWindow);
             const barWidth = 10;
             const filled = Math.max(1, Math.round(usage * barWidth));
-            const bar = '█'.repeat(filled) + '░'.repeat(barWidth - filled);
+            const bar = "█".repeat(filled) + "░".repeat(barWidth - filled);
             const pct = Math.max(1, Math.ceil(usage * 100));
             ctxStr = `ctx [${bar}] ${pct}%`;
         }
         // Use template if configured, otherwise default format
         if (cachedConfig?.statusLineFormat) {
             const line = cachedConfig.statusLineFormat
-                .replace('{model}', currentModel || '')
-                .replace('{tokens}', tokensStr)
-                .replace('{cost}', costStr)
-                .replace('{ctx}', ctxStr)
-                .replace(/\s*│\s*│/g, '│') // collapse empty sections
-                .replace(/^│\s*/, '').replace(/\s*│$/, ''); // trim leading/trailing separators
+                .replace("{model}", currentModel || "")
+                .replace("{tokens}", tokensStr)
+                .replace("{cost}", costStr)
+                .replace("{ctx}", ctxStr)
+                .replace(/\s*│\s*│/g, "│") // collapse empty sections
+                .replace(/^│\s*/, "")
+                .replace(/\s*│$/, ""); // trim leading/trailing separators
             renderer.setStatusLine(line);
         }
         else {
@@ -267,7 +285,7 @@ export async function startREPL(config) {
                 parts.push(costStr);
             if (ctxStr)
                 parts.push(ctxStr);
-            renderer.setStatusLine(parts.join(' │ '));
+            renderer.setStatusLine(parts.join(" │ "));
         }
         // Context warning
         updateContextWarning();
@@ -284,7 +302,7 @@ export async function startREPL(config) {
     // Input handling
     renderer.onKeypress((key) => {
         // Ctrl+C: abort or exit
-        if (key.ctrl && key.char === 'c') {
+        if (key.ctrl && key.char === "c") {
             if (loading && abortController) {
                 abortController.abort();
             }
@@ -297,84 +315,84 @@ export async function startREPL(config) {
         // Search: use terminal's native search (Ctrl+Shift+F in VS Code)
         // Vim mode
         if (vimMode !== null) {
-            if (key.name === 'escape') {
-                vimMode = 'normal';
+            if (key.name === "escape") {
+                vimMode = "normal";
                 renderer.setVimMode(vimMode);
                 return;
             }
-            if (vimMode === 'normal') {
+            if (vimMode === "normal") {
                 // -- Mode transitions --
-                if (key.char === 'i') {
-                    vimMode = 'insert';
+                if (key.char === "i") {
+                    vimMode = "insert";
                     renderer.setVimMode(vimMode);
                     return;
                 }
-                if (key.char === 'a') {
-                    vimMode = 'insert';
+                if (key.char === "a") {
+                    vimMode = "insert";
                     renderer.setVimMode(vimMode);
                     if (inputCursor < inputText.length)
                         inputCursor++;
                     renderer.setInputCursor(inputCursor);
                     return;
                 }
-                if (key.char === 'I') {
-                    vimMode = 'insert';
+                if (key.char === "I") {
+                    vimMode = "insert";
                     renderer.setVimMode(vimMode);
                     inputCursor = 0;
                     renderer.setInputCursor(inputCursor);
                     return;
                 }
-                if (key.char === 'A') {
-                    vimMode = 'insert';
+                if (key.char === "A") {
+                    vimMode = "insert";
                     renderer.setVimMode(vimMode);
                     inputCursor = inputText.length;
                     renderer.setInputCursor(inputCursor);
                     return;
                 }
-                if (key.char === 'o') {
-                    vimMode = 'insert';
+                if (key.char === "o") {
+                    vimMode = "insert";
                     renderer.setVimMode(vimMode);
-                    inputText = inputText + '\n';
+                    inputText = `${inputText}\n`;
                     inputCursor = inputText.length;
                     renderer.setInputText(inputText);
                     renderer.setInputCursor(inputCursor);
                     return;
                 }
                 // -- Movement --
-                if (key.char === 'h' || key.name === 'left') {
+                if (key.char === "h" || key.name === "left") {
                     if (inputCursor > 0) {
                         inputCursor--;
                         renderer.setInputCursor(inputCursor);
                     }
                     return;
                 }
-                if (key.char === 'l' || key.name === 'right') {
+                if (key.char === "l" || key.name === "right") {
                     if (inputCursor < inputText.length) {
                         inputCursor++;
                         renderer.setInputCursor(inputCursor);
                     }
                     return;
                 }
-                if (key.char === 'j' || key.name === 'down') {
+                if (key.char === "j" || key.name === "down") {
                     navigateHistory(1);
                     return;
                 }
-                if (key.char === 'k' || key.name === 'up') {
+                if (key.char === "k" || key.name === "up") {
                     navigateHistory(-1);
                     return;
                 }
-                if (key.char === '0') {
+                if (key.char === "0") {
                     inputCursor = 0;
                     renderer.setInputCursor(inputCursor);
                     return;
                 }
-                if (key.char === '$') {
+                if (key.char === "$") {
                     inputCursor = inputText.length;
                     renderer.setInputCursor(inputCursor);
                     return;
                 }
                 // Word forward (w)
-                if (key.char === 'w') {
+                if (key.char === "w") {
                     const rest = inputText.slice(inputCursor);
                     const m = rest.match(/^\S*\s+/);
                     inputCursor = m ? Math.min(inputCursor + m[0].length, inputText.length) : inputText.length;
@@ -382,7 +400,7 @@ export async function startREPL(config) {
                     return;
                 }
                 // Word backward (b)
-                if (key.char === 'b') {
+                if (key.char === "b") {
                     const before = inputText.slice(0, inputCursor);
                     const m = before.match(/\S+\s*$/);
                     inputCursor = m ? inputCursor - m[0].length : 0;
@@ -390,7 +408,7 @@ export async function startREPL(config) {
                     return;
                 }
                 // End of word (e)
-                if (key.char === 'e') {
+                if (key.char === "e") {
                     const rest = inputText.slice(inputCursor + 1);
                     const m = rest.match(/^\s*\S*/);
                     inputCursor = m ? Math.min(inputCursor + 1 + m[0].length, inputText.length) : inputText.length;
@@ -398,7 +416,7 @@ export async function startREPL(config) {
                     return;
                 }
                 // -- Editing --
-                if (key.char === 'x') {
+                if (key.char === "x") {
                     if (inputCursor < inputText.length) {
                         inputText = inputText.slice(0, inputCursor) + inputText.slice(inputCursor + 1);
                         if (inputCursor >= inputText.length && inputCursor > 0)
@@ -409,21 +427,21 @@ export async function startREPL(config) {
                     return;
                 }
                 // dd — delete entire line
-                if (key.char === 'd') {
+                if (key.char === "d") {
                     // Simple: clear entire input (like dd in single-line mode)
-                    inputText = '';
+                    inputText = "";
                     inputCursor = 0;
                     renderer.setInputText(inputText);
                     renderer.setInputCursor(inputCursor);
                     return;
                 }
                 // Submit with Enter even in normal mode
-                if (key.name === 'return') {
+                if (key.name === "return") {
                     if (inputText.trim() && !loading) {
                         handleSubmit(inputText.trim());
                         inputHistory.unshift(inputText);
                         historyIndex = -1;
-                        inputText = '';
+                        inputText = "";
                         inputCursor = 0;
                         acSuggestions = [];
                         acDescriptions = [];
@@ -438,25 +456,25 @@ export async function startREPL(config) {
         }
         // Session browser navigation
         if (renderer.isSessionBrowserOpen()) {
-            if (key.name === 'up') {
+            if (key.name === "up") {
                 renderer.sessionBrowserUp();
                 return;
             }
-            if (key.name === 'down') {
+            if (key.name === "down") {
                 renderer.sessionBrowserDown();
                 return;
             }
-            if (key.name === 'return') {
+            if (key.name === "return") {
                 const id = renderer.sessionBrowserSelect();
                 if (id)
                     handleSubmit(`/resume ${id}`);
                 return;
             }
-            if (key.name === 'escape') {
+            if (key.name === "escape") {
                 renderer.closeSessionBrowser();
                 return;
             }
-            if (key.name === 'backspace') {
+            if (key.name === "backspace") {
                 renderer.sessionBrowserBackspace();
                 return;
             }
@@ -467,12 +485,12 @@ export async function startREPL(config) {
             return; // swallow other keys during browser
         }
         // Ctrl+K: toggle code block expansion
-        if (key.ctrl && key.char === 'k' && !loading) {
+        if (key.ctrl && key.char === "k" && !loading) {
             renderer.toggleCodeBlockExpansion();
             return;
         }
         // Ctrl+O: cycle through views — thinking toggle → transcript (flush all to scrollback)
-        if (key.ctrl && key.char === 'o') {
+        if (key.ctrl && key.char === "o") {
             if (loading) {
                 // During streaming: toggle thinking expansion
                 renderer.toggleThinkingExpanded();
@@ -483,23 +501,23 @@ export async function startREPL(config) {
                 renderer.clearLiveArea();
                 renderer.setMessages(messages);
                 renderer.flushMessages();
-                renderer.notify('Transcript written to scrollback (scroll up to review)');
+                renderer.notify("Transcript written to scrollback (scroll up to review)");
             }
             return;
         }
         // Scroll wheel: adjust manual scroll offset
-        if (key.name === 'scrollup') {
+        if (key.name === "scrollup") {
             renderer.scrollBy(3);
             return;
         }
-        if (key.name === 'scrolldown') {
+        if (key.name === "scrolldown") {
             renderer.scrollBy(-3);
             return;
         }
-        if (key.name === 'pageup' || key.name === 'pagedown' || key.name === 'mouse')
+        if (key.name === "pageup" || key.name === "pagedown" || key.name === "mouse")
             return;
         // Tab: autocomplete slash commands or file paths, or cycle tool call expansion
-        if (key.name === 'tab' && !loading) {
+        if (key.name === "tab" && !loading) {
             if (acSuggestions.length > 0) {
                 acIndex = (acIndex + 1) % acSuggestions.length;
                 if (acIsPath) {
@@ -522,20 +540,20 @@ export async function startREPL(config) {
             return;
         }
         // Alt+Enter or paste newline: insert newline at cursor
-        if (key.name === 'newline') {
-            inputText = inputText.slice(0, inputCursor) + '\n' + inputText.slice(inputCursor);
+        if (key.name === "newline") {
+            inputText = `${inputText.slice(0, inputCursor)}\n${inputText.slice(inputCursor)}`;
             inputCursor++;
             renderer.setInputText(inputText);
             renderer.setInputCursor(inputCursor);
             return;
         }
         // Enter: submit
-        if (key.name === 'return') {
+        if (key.name === "return") {
             if (inputText.trim() && !loading) {
                 handleSubmit(inputText.trim());
                 inputHistory.unshift(inputText);
                 historyIndex = -1;
-                inputText = '';
+                inputText = "";
                 inputCursor = 0;
                 acSuggestions = [];
                 acIndex = -1;
@@ -546,36 +564,36 @@ export async function startREPL(config) {
             return;
         }
         // History
-        if (key.name === 'up') {
+        if (key.name === "up") {
             navigateHistory(-1);
             return;
         }
-        if (key.name === 'down') {
+        if (key.name === "down") {
             navigateHistory(1);
             return;
         }
         // Editing
-        if (key.name === 'backspace') {
+        if (key.name === "backspace") {
             if (inputCursor > 0) {
                 inputText = inputText.slice(0, inputCursor - 1) + inputText.slice(inputCursor);
                 inputCursor--;
             }
         }
-        else if (key.name === 'delete') {
+        else if (key.name === "delete") {
             inputText = inputText.slice(0, inputCursor) + inputText.slice(inputCursor + 1);
         }
-        else if (key.name === 'left') {
+        else if (key.name === "left") {
             if (inputCursor > 0)
                 inputCursor--;
         }
-        else if (key.name === 'right') {
+        else if (key.name === "right") {
             if (inputCursor < inputText.length)
                 inputCursor++;
         }
-        else if (key.ctrl && key.char === 'a') {
+        else if (key.ctrl && key.char === "a") {
             inputCursor = 0;
         }
-        else if (key.ctrl && key.char === 'e') {
+        else if (key.ctrl && key.char === "e") {
             inputCursor = inputText.length;
         }
         else if (key.char && key.char.length === 1 && !key.ctrl && !key.meta) {
@@ -587,9 +605,20 @@ export async function startREPL(config) {
         updateAutocomplete();
         // Sync local aliases back to store after each keypress
         store.setState({
-            messages, loading, currentModel, inputText, inputCursor,
-            inputHistory, historyIndex, vimMode, fastMode,
-            acSuggestions, acDescriptions, acIndex, acTokenStart, acIsPath,
+            messages,
+            loading,
+            currentModel,
+            inputText,
+            inputCursor,
+            inputHistory,
+            historyIndex,
+            vimMode,
+            fastMode,
+            acSuggestions,
+            acDescriptions,
+            acIndex,
+            acTokenStart,
+            acIsPath,
         });
     });
     function navigateHistory(dir) {
@@ -600,7 +629,7 @@ export async function startREPL(config) {
         else if (dir > 0) {
             if (historyIndex <= 0) {
                 historyIndex = -1;
-                inputText = '';
+                inputText = "";
             }
             else {
                 historyIndex--;
@@ -615,29 +644,65 @@ export async function startREPL(config) {
         // Clear any previous errors on new input
         renderer.setError(null);
         // Exit
-        if (input === 'exit' || input === 'quit' || input === '/exit' || input === '/quit' || input === '/q') {
+        if (input === "exit" || input === "quit" || input === "/exit" || input === "/quit" || input === "/q") {
             // Hibernate: save session state for potential wake-up resume
             try {
-                const { buildHibernateState } = await import('./harness/session.js');
+                const { buildHibernateState } = await import("./harness/session.js");
                 session.hibernate = buildHibernateState(messages);
             }
-            catch { /* ignore */ }
+            catch {
+                /* ignore */
+            }
             // Dream consolidation: prune stale memories before exit
             try {
-                const { consolidateMemories } = await import('./harness/memory.js');
-                const { readOhConfig } = await import('./harness/config.js');
+                const { consolidateMemories } = await import("./harness/memory.js");
+                const { readOhConfig } = await import("./harness/config.js");
                 const ohCfg = readOhConfig();
                 if (ohCfg?.memory?.consolidateOnExit !== false) {
                     consolidateMemories();
                 }
             }
-            catch { /* ignore */ }
+            catch {
+                /* ignore */
+            }
+            // Post-session learning: extract skills + update user profile
+            try {
+                const { runExtraction } = await import("./services/SkillExtractor.js");
+                const { updateUserProfile, loadUserProfile, detectMemories } = await import("./harness/memory.js");
+                // Skill extraction (async, may take a few seconds)
+                const extracted = await runExtraction(config.provider, messages, session.id, currentModel);
+                if (extracted.length > 0) {
+                    console.log(`[learn] Extracted ${extracted.length} skill(s) from this session.`);
+                }
+                // User profile update
+                if (messages.length >= 6) {
+                    const detected = await detectMemories(config.provider, messages, currentModel);
+                    const profileUpdates = detected.filter((d) => d.type === "user");
+                    if (profileUpdates.length > 0) {
+                        const currentProfile = loadUserProfile();
+                        const newObservations = profileUpdates.map((d) => d.content).join("\n");
+                        const merged = currentProfile
+                            ? `${currentProfile}\n\n## Recent Observations\n${newObservations}`
+                            : newObservations;
+                        updateUserProfile(merged);
+                    }
+                }
+            }
+            catch {
+                /* learning is optional — don't block exit */
+            }
             // Emit sessionEnd hook
             try {
-                const { emitHookAsync } = await import('./harness/hooks.js');
-                await emitHookAsync('sessionEnd', {});
+                const { emitHookAsync } = await import("./harness/hooks.js");
+                await emitHookAsync("sessionEnd", {
+                    sessionId: session.id,
+                    model: currentModel,
+                    provider: config.provider.name,
+                });
+            }
+            catch {
+                /* ignore */
             }
-            catch { /* ignore */ }
             cleanup();
             process.exit(0);
         }
@@ -653,14 +718,14 @@ export async function startREPL(config) {
         messages = result.messages;
         // Check for special commands
         const lastMsg = messages[messages.length - 1];
-        if (lastMsg?.content === '__OPEN_SESSION_BROWSER__') {
+        if (lastMsg?.content === "__OPEN_SESSION_BROWSER__") {
             messages = messages.slice(0, -1);
             renderer.openSessionBrowser();
             syncRenderer();
             return;
         }
-        if (lastMsg?.content?.startsWith('__SWITCH_THEME__:')) {
-            const themeName = lastMsg.content.split(':')[1];
+        if (lastMsg?.content?.startsWith("__SWITCH_THEME__:")) {
+            const themeName = lastMsg.content.split(":")[1];
             messages = messages.slice(0, -1);
             setActiveTheme(themeName);
             resetStyleCache();
@@ -668,35 +733,41 @@ export async function startREPL(config) {
             resetDiffStyleCache();
             // Persist theme to config
             try {
-                const cfg = cachedConfig ?? { provider: config.provider.name, model: currentModel, permissionMode: config.permissionMode };
+                const cfg = cachedConfig ?? {
+                    provider: config.provider.name,
+                    model: currentModel,
+                    permissionMode: config.permissionMode,
+                };
                 cfg.theme = themeName;
                 writeOhConfig(cfg);
                 cachedConfig = cfg;
             }
-            catch { /* ignore */ }
+            catch {
+                /* ignore */
+            }
             messages = [...messages, createInfoMessage(`Theme switched to ${themeName}`)];
             syncRenderer();
             return;
         }
-        if (lastMsg?.content === '__COMPANION_OFF__' || lastMsg?.content === '__COMPANION_ON__') {
-            companionVisible = lastMsg.content === '__COMPANION_ON__';
+        if (lastMsg?.content === "__COMPANION_OFF__" || lastMsg?.content === "__COMPANION_ON__") {
+            companionVisible = lastMsg.content === "__COMPANION_ON__";
             messages = messages.slice(0, -1);
             if (!companionVisible)
-                renderer.setCompanion(null, 'cyan');
-            messages = [...messages, createInfoMessage(`Companion ${companionVisible ? 'shown' : 'hidden'}`)];
+                renderer.setCompanion(null, "cyan");
+            messages = [...messages, createInfoMessage(`Companion ${companionVisible ? "shown" : "hidden"}`)];
             syncRenderer();
             return;
         }
         if (result.newModel)
             currentModel = result.newModel;
         if (result.vimToggled) {
-            vimMode = vimMode === null ? 'normal' : null;
-            messages = [...messages, createInfoMessage(vimMode ? 'Vim mode ON' : 'Vim mode OFF')];
+            vimMode = vimMode === null ? "normal" : null;
+            messages = [...messages, createInfoMessage(vimMode ? "Vim mode ON" : "Vim mode OFF")];
             renderer.setVimMode(vimMode);
         }
         if (result.fastModeToggled) {
             fastMode = !fastMode;
-            messages = [...messages, createInfoMessage(fastMode ? 'Fast mode ON — optimized for speed' : 'Fast mode OFF')];
+            messages = [...messages, createInfoMessage(fastMode ? "Fast mode ON — optimized for speed" : "Fast mode OFF")];
         }
         // Clear old live area BEFORE syncRenderer when a query will follow.
         // syncRenderer → scheduleRender → queueMicrotask(render). The microtask fires
@@ -721,16 +792,17 @@ export async function startREPL(config) {
         renderer.setError(null);
         renderer.clearToolCalls();
         abortController = new AbortController();
-        let accumulated = '';
+        let accumulated = "";
         const callIdToToolName = new Map();
         const askUser = (toolName, description, riskLevel) => {
-            return renderer.askPermission(toolName, description, riskLevel ?? 'medium');
+            return renderer.askPermission(toolName, description, riskLevel ?? "medium");
         };
         const askUserQuestion = (question, options) => {
             return renderer.askQuestion(question, options);
         };
         const effectiveSystemPrompt = fastMode
-            ? config.systemPrompt + "\n\nIMPORTANT: Fast mode is active. Be extremely concise. Skip explanations. Go straight to the answer or action."
+            ? config.systemPrompt +
+                "\n\nIMPORTANT: Fast mode is active. Be extremely concise. Skip explanations. Go straight to the answer or action."
             : config.systemPrompt;
         const queryConfig = {
             provider: config.provider,
@@ -745,116 +817,135 @@ export async function startREPL(config) {
         try {
             for await (const event of query(prompt, queryConfig, messages)) {
                 switch (event.type) {
-                    case 'text_delta':
+                    case "text_delta": {
                         // Content auto-scrolls via terminal native scrollback
                         accumulated += event.content;
                         // Move completed lines to messages, keep partial in streaming
-                        const lines = accumulated.split('\n');
+                        const lines = accumulated.split("\n");
                         if (lines.length > 1) {
-                            const completedText = lines.slice(0, -1).join('\n');
+                            const completedText = lines.slice(0, -1).join("\n");
                             const last = messages[messages.length - 1];
                             if (last?.meta?.isStreaming) {
-                                messages = [...messages.slice(0, -1), { ...last, content: last.content + completedText + '\n' }];
+                                messages = [...messages.slice(0, -1), { ...last, content: `${last.content + completedText}\n` }];
                             }
                             else {
-                                messages = [...messages, createMessage('assistant', completedText + '\n', { meta: { isStreaming: true } })];
+                                messages = [
+                                    ...messages,
+                                    createMessage("assistant", `${completedText}\n`, { meta: { isStreaming: true } }),
+                                ];
                             }
                             accumulated = lines[lines.length - 1];
                         }
                         renderer.setMessages(messages);
                         renderer.setStreamingText(accumulated);
                         break;
-                    case 'thinking_delta':
+                    }
+                    case "thinking_delta":
                         if (!renderer.getThinkingStartedAt())
                             renderer.setThinkingStartedAt(Date.now());
                         renderer.setThinkingText(event.content);
                         break;
-                    case 'tool_call_start': {
+                    case "tool_call_start": {
                         callIdToToolName.set(event.callId, event.toolName);
-                        const isAgentTool = event.toolName === 'Agent' || event.toolName === 'ParallelAgents';
-                        renderer.setToolCall(event.callId, { toolName: event.toolName, status: 'running', startedAt: Date.now(), isAgent: isAgentTool });
+                        const isAgentTool = event.toolName === "Agent" || event.toolName === "ParallelAgents";
+                        renderer.setToolCall(event.callId, {
+                            toolName: event.toolName,
+                            status: "running",
+                            startedAt: Date.now(),
+                            isAgent: isAgentTool,
+                        });
                         break;
                     }
-                    case 'tool_call_complete': {
-                        const tcToolName = callIdToToolName.get(event.callId) ?? '';
+                    case "tool_call_complete": {
+                        const tcToolName = callIdToToolName.get(event.callId) ?? "";
                         const existingTc = renderer.getToolCall(event.callId);
-                        const isAgentCall = tcToolName === 'Agent' || tcToolName === 'ParallelAgents';
-                        const agentDesc = isAgentCall ? event.arguments.description : undefined;
+                        const isAgentCall = tcToolName === "Agent" || tcToolName === "ParallelAgents";
+                        const agentDesc = isAgentCall
+                            ? event.arguments.description
+                            : undefined;
                         renderer.setToolCall(event.callId, {
                             ...existingTc,
                             toolName: tcToolName,
-                            status: 'running',
+                            status: "running",
                             args: formatToolArgs(tcToolName, event.arguments),
                             agentDescription: agentDesc ?? existingTc?.agentDescription,
                         });
                         break;
                     }
-                    case 'tool_output_delta': {
+                    case "tool_output_delta": {
                         // Accumulate streaming output lines
                         const existing = renderer.getToolCall(event.callId) ?? {
-                            toolName: callIdToToolName.get(event.callId) ?? 'unknown',
-                            status: 'running',
+                            toolName: callIdToToolName.get(event.callId) ?? "unknown",
+                            status: "running",
                         };
                         const lines = existing.liveOutput ?? [];
-                        const chunks = event.chunk.split('\n');
+                        const chunks = event.chunk.split("\n");
                         const merged = [...lines];
-                        if (merged.length > 0 && !event.chunk.startsWith('\n')) {
-                            merged[merged.length - 1] = (merged[merged.length - 1] ?? '') + chunks[0];
-                            merged.push(...chunks.slice(1).filter((c) => c !== ''));
+                        if (merged.length > 0 && !event.chunk.startsWith("\n")) {
+                            merged[merged.length - 1] = (merged[merged.length - 1] ?? "") + chunks[0];
+                            merged.push(...chunks.slice(1).filter((c) => c !== ""));
                         }
                         else {
-                            merged.push(...chunks.filter((c) => c !== ''));
+                            merged.push(...chunks.filter((c) => c !== ""));
                         }
                         renderer.setToolCall(event.callId, { ...existing, liveOutput: merged });
                         break;
                     }
-                    case 'tool_call_end': {
+                    case "tool_call_end": {
                         const toolName = callIdToToolName.get(event.callId) ?? event.callId;
                         const prevTc = renderer.getToolCall(event.callId);
-                        const elapsed = prevTc?.startedAt ? Math.floor((Date.now() - prevTc.startedAt) / 1000) : 0;
+                        const _elapsed = prevTc?.startedAt ? Math.floor((Date.now() - prevTc.startedAt) / 1000) : 0;
                         renderer.setToolCall(event.callId, {
                             toolName,
-                            status: event.isError ? 'error' : 'done',
+                            status: event.isError ? "error" : "done",
                             output: event.output?.slice(0, 500),
                             args: prevTc?.args,
                             resultSummary: event.output ? summarizeToolOutput(event.output) : undefined,
                             startedAt: prevTc?.startedAt,
                         });
-                        cybergotchiEvents.emit('cybergotchi', { type: event.isError ? 'toolError' : 'toolSuccess', toolName });
+                        cybergotchiEvents.emit("cybergotchi", { type: event.isError ? "toolError" : "toolSuccess", toolName });
                         // Auto-commit with file list
                         if (!event.isError && isGitRepo()) {
-                            const rawArgs = prevTc?.args ?? '';
-                            const filePath = rawArgs.startsWith('$') ? null : rawArgs;
+                            const rawArgs = prevTc?.args ?? "";
+                            const filePath = rawArgs.startsWith("$") ? null : rawArgs;
                             const hash = autoCommitAIEdits(toolName, filePath ? [filePath] : [], process.cwd());
                             if (hash) {
                                 // Show changed files in commit message
                                 let commitMsg = `git: committed ${hash}`;
                                 try {
-                                    const { execSync } = await import('node:child_process');
-                                    const files = execSync(`git diff-tree --no-commit-id --name-only -r ${hash}`, { encoding: 'utf-8', stdio: ['pipe', 'pipe', 'pipe'] }).trim();
+                                    const { execSync } = await import("node:child_process");
+                                    const files = execSync(`git diff-tree --no-commit-id --name-only -r ${hash}`, {
+                                        encoding: "utf-8",
+                                        stdio: ["pipe", "pipe", "pipe"],
+                                    }).trim();
                                     if (files)
-                                        commitMsg += `\n${files.split('\n').map(f => `  ${f}`).join('\n')}`;
+                                        commitMsg += `\n${files
+                                            .split("\n")
+                                            .map((f) => `  ${f}`)
+                                            .join("\n")}`;
+                                }
+                                catch {
+                                    /* ignore */
                                 }
-                                catch { /* ignore */ }
                                 messages = [...messages, createInfoMessage(commitMsg)];
-                                cybergotchiEvents.emit('cybergotchi', { type: 'commit' });
+                                cybergotchiEvents.emit("cybergotchi", { type: "commit" });
                             }
                         }
                         break;
                     }
-                    case 'cost_update':
+                    case "cost_update":
                         currentModel = event.model;
-                        cost.record('provider', event.model, event.inputTokens, event.outputTokens, event.cost || estimateCost(event.model, event.inputTokens, event.outputTokens));
+                        cost.record("provider", event.model, event.inputTokens, event.outputTokens, event.cost || estimateCost(event.model, event.inputTokens, event.outputTokens));
                         renderer.setTokenCount(cost.totalOutputTokens);
                         syncRenderer();
                         break;
-                    case 'rate_limited':
+                    case "rate_limited":
                         renderer.setError(`⏳ Rate limited — retrying in ${event.retryIn}s (attempt ${event.attempt}/3)`);
                         break;
-                    case 'error':
+                    case "error":
                         renderer.setError(event.message);
                         break;
-                    case 'turn_complete': {
+                    case "turn_complete": {
                         // Save thinking summary before clearing
                         const thinkElapsed = renderer.getThinkingStartedAt()
                             ? Math.floor((Date.now() - renderer.getThinkingStartedAt()) / 1000)
@@ -865,7 +956,7 @@ export async function startREPL(config) {
                         else {
                             renderer.setLastThinkingSummary(null);
                         }
-                        renderer.setThinkingText('');
+                        renderer.setThinkingText("");
                         renderer.setThinkingStartedAt(null);
                         // Finalize streaming message
                         if (accumulated) {
@@ -876,7 +967,7 @@ export async function startREPL(config) {
                             else {
                                 messages = [...messages, createAssistantMessage(accumulated)];
                             }
-                            accumulated = '';
+                            accumulated = "";
                         }
                         else {
                             const last = messages[messages.length - 1];
@@ -884,7 +975,7 @@ export async function startREPL(config) {
                                 messages = [...messages.slice(0, -1), { ...last, meta: {} }];
                             }
                         }
-                        renderer.setStreamingText('');
+                        renderer.setStreamingText("");
                         // Collapse all tool calls from this turn (clean up visual noise)
                         renderer.collapseAllToolCalls();
                         // Save session
@@ -893,7 +984,9 @@ export async function startREPL(config) {
                         try {
                             saveSession(session);
                         }
-                        catch { /* ignore */ }
+                        catch {
+                            /* ignore */
+                        }
                         break;
                     }
                 }
@@ -912,14 +1005,14 @@ export async function startREPL(config) {
                     messages = [...messages.slice(0, -1), { ...last, content: last.content + accumulated, meta: {} }];
                 }
                 else {
-                    messages = [...messages, createAssistantMessage(accumulated + '\n\n[interrupted]')];
+                    messages = [...messages, createAssistantMessage(`${accumulated}\n\n[interrupted]`)];
                 }
-                accumulated = '';
+                accumulated = "";
             }
             loading = false;
             abortController = null;
             renderer.setLoading(false);
-            renderer.setStreamingText('');
+            renderer.setStreamingText("");
             // Content auto-scrolls via terminal native scrollback
             syncRenderer();
         }
@@ -938,12 +1031,21 @@ export async function startREPL(config) {
         try {
             saveSession(session);
         }
-        catch { /* ignore */ }
+        catch {
+            /* ignore */
+        }
     }
     // Ensure terminal restoration on unexpected exit
-    process.on('exit', cleanup);
-    process.on('SIGTERM', () => { cleanup(); process.exit(143); });
-    process.on('uncaughtException', (err) => { cleanup(); console.error('Fatal:', err); process.exit(1); });
+    process.on("exit", cleanup);
+    process.on("SIGTERM", () => {
+        cleanup();
+        process.exit(143);
+    });
+    process.on("uncaughtException", (err) => {
+        cleanup();
+        console.error("Fatal:", err);
+        process.exit(1);
+    });
     // Start
     renderer.start();
     // Banner is already printed to stdout by main.tsx (visible in terminal scrollback)