@spfunctions/cli 1.7.19 → 1.7.20

package/dist/commands/agent.js

@@ -1,4119 +0,0 @@
-"use strict";
-/**
- * sf agent — Interactive TUI agent powered by pi-tui + pi-agent-core.
- *
- * Layout:
- *   [Header overlay]  — thesis id, confidence, model
- *   [Spacer]          — room for header
- *   [Chat container]  — messages (user, assistant, tool, system)
- *   [Editor]          — multi-line input with slash command autocomplete
- *   [Spacer]          — room for footer
- *   [Footer overlay]  — tokens, cost, tool count, /help hint
- *
- * Slash commands (bypass LLM):
- *   /help   /tree   /edges   /pos   /eval   /model   /clear   /exit
- */
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.agentCommand = agentCommand;
-const fs_1 = __importDefault(require("fs"));
-const path_1 = __importDefault(require("path"));
-const os_1 = __importDefault(require("os"));
-const client_js_1 = require("../client.js");
-const kalshi_js_1 = require("../kalshi.js");
-const polymarket_js_1 = require("../polymarket.js");
-const topics_js_1 = require("../topics.js");
-const config_js_1 = require("../config.js");
-const loader_js_1 = require("../skills/loader.js");
-// ─── Session persistence ─────────────────────────────────────────────────────
-function getSessionDir() {
-    return path_1.default.join(os_1.default.homedir(), '.sf', 'sessions');
-}
-function getSessionPath(thesisId) {
-    return path_1.default.join(getSessionDir(), `${thesisId}.json`);
-}
-function loadSession(thesisId) {
-    const p = getSessionPath(thesisId);
-    try {
-        if (fs_1.default.existsSync(p)) {
-            return JSON.parse(fs_1.default.readFileSync(p, 'utf-8'));
-        }
-    }
-    catch { /* corrupt file, ignore */ }
-    return null;
-}
-function saveSession(thesisId, model, messages) {
-    const dir = getSessionDir();
-    fs_1.default.mkdirSync(dir, { recursive: true });
-    fs_1.default.writeFileSync(getSessionPath(thesisId), JSON.stringify({
-        thesisId,
-        model,
-        updatedAt: new Date().toISOString(),
-        messages,
-    }, null, 2));
-}
-// ─── ANSI 24-bit color helpers (no chalk dependency) ─────────────────────────
-const rgb = (r, g, b) => (s) => `\x1b[38;2;${r};${g};${b}m${s}\x1b[39m`;
-const bgRgb = (r, g, b) => (s) => `\x1b[48;2;${r};${g};${b}m${s}\x1b[49m`;
-const bold = (s) => `\x1b[1m${s}\x1b[22m`;
-const dim = (s) => `\x1b[2m${s}\x1b[22m`;
-const italic = (s) => `\x1b[3m${s}\x1b[23m`;
-const underline = (s) => `\x1b[4m${s}\x1b[24m`;
-const strikethrough = (s) => `\x1b[9m${s}\x1b[29m`;
-const C = {
-    emerald: rgb(16, 185, 129), // #10b981
-    zinc200: rgb(228, 228, 231), // #e4e4e7
-    zinc400: rgb(161, 161, 170), // #a1a1aa
-    zinc600: rgb(82, 82, 91), // #52525b
-    zinc800: rgb(39, 39, 42), // #27272a
-    red: rgb(239, 68, 68), // #ef4444
-    amber: rgb(245, 158, 11), // #f59e0b
-    white: rgb(255, 255, 255), // #ffffff
-    bgZinc900: bgRgb(24, 24, 27), // #18181b
-    bgZinc800: bgRgb(39, 39, 42), // #27272a
-};
-// ─── Custom components ───────────────────────────────────────────────────────
-/** Mutable single-line component (TruncatedText is immutable) */
-function createMutableLine(piTui) {
-    const { truncateToWidth, visibleWidth } = piTui;
-    return class MutableLine {
-        text;
-        cachedWidth;
-        cachedLines;
-        constructor(text) {
-            this.text = text;
-        }
-        setText(text) {
-            this.text = text;
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        invalidate() {
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        render(width) {
-            if (this.cachedLines && this.cachedWidth === width)
-                return this.cachedLines;
-            this.cachedWidth = width;
-            this.cachedLines = [truncateToWidth(this.text, width)];
-            return this.cachedLines;
-        }
-    };
-}
-/**
- * Header bar — trading terminal style.
- * Shows: thesis ID, confidence+delta, positions P&L, edge count, top edge
- */
-function createHeaderBar(piTui) {
-    const { truncateToWidth, visibleWidth } = piTui;
-    return class HeaderBar {
-        thesisId = '';
-        confidence = 0;
-        confidenceDelta = 0;
-        pnlDollars = 0;
-        positionCount = 0;
-        edgeCount = 0;
-        topEdge = ''; // e.g. "RECESSION +21¢"
-        cachedWidth;
-        cachedLines;
-        setFromContext(ctx, positions) {
-            this.thesisId = (ctx.thesisId || '').slice(0, 8);
-            this.confidence = typeof ctx.confidence === 'number'
-                ? Math.round(ctx.confidence * 100)
-                : (typeof ctx.confidence === 'string' ? Math.round(parseFloat(ctx.confidence) * 100) : 0);
-            this.confidenceDelta = ctx.lastEvaluation?.confidenceDelta
-                ? Math.round(ctx.lastEvaluation.confidenceDelta * 100)
-                : 0;
-            this.edgeCount = (ctx.edges || []).length;
-            // Top edge by absolute size
-            const edges = ctx.edges || [];
-            if (edges.length > 0) {
-                const top = [...edges].sort((a, b) => Math.abs(b.edge || b.edgeSize || 0) - Math.abs(a.edge || a.edgeSize || 0))[0];
-                const name = (top.market || top.marketTitle || top.marketId || '').slice(0, 20);
-                const edge = top.edge || top.edgeSize || 0;
-                this.topEdge = `${name} ${edge > 0 ? '+' : ''}${Math.round(edge)}\u00A2`;
-            }
-            // P&L from positions
-            if (positions && positions.length > 0) {
-                this.positionCount = positions.length;
-                this.pnlDollars = positions.reduce((sum, p) => {
-                    const pnl = p.unrealized_pnl || 0;
-                    return sum + pnl;
-                }, 0) / 100; // cents → dollars
-            }
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        updateConfidence(newConf, delta) {
-            this.confidence = Math.round(newConf * 100);
-            this.confidenceDelta = Math.round(delta * 100);
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        invalidate() {
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        // Keep legacy update() for compatibility with /switch etc.
-        update(left, center, right) {
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        render(width) {
-            if (this.cachedLines && this.cachedWidth === width)
-                return this.cachedLines;
-            this.cachedWidth = width;
-            // Build segments
-            const id = C.emerald(bold(this.thesisId));
-            // Confidence with arrow
-            const arrow = this.confidenceDelta > 0 ? '\u25B2' : this.confidenceDelta < 0 ? '\u25BC' : '\u2500';
-            const arrowColor = this.confidenceDelta > 0 ? C.emerald : this.confidenceDelta < 0 ? C.red : C.zinc600;
-            const deltaStr = this.confidenceDelta !== 0 ? ` (${this.confidenceDelta > 0 ? '+' : ''}${this.confidenceDelta})` : '';
-            const conf = arrowColor(`${arrow} ${this.confidence}%${deltaStr}`);
-            // P&L
-            let pnl = '';
-            if (this.positionCount > 0) {
-                const pnlStr = this.pnlDollars >= 0
-                    ? C.emerald(`+$${this.pnlDollars.toFixed(2)}`)
-                    : C.red(`-$${Math.abs(this.pnlDollars).toFixed(2)}`);
-                pnl = C.zinc600(`${this.positionCount} pos `) + pnlStr;
-            }
-            // Edges
-            const edges = C.zinc600(`${this.edgeCount} edges`);
-            // Top edge
-            const top = this.topEdge ? C.zinc400(this.topEdge) : '';
-            // Assemble with separators
-            const sep = C.zinc600(' \u2502 ');
-            const parts = [id, conf, pnl, edges, top].filter(Boolean);
-            const content = parts.join(sep);
-            let line = C.bgZinc900(' ' + truncateToWidth(content, width - 2, '') + ' ');
-            const lineVw = visibleWidth(line);
-            if (lineVw < width) {
-                line = line + C.bgZinc900(' '.repeat(width - lineVw));
-            }
-            this.cachedLines = [line];
-            return this.cachedLines;
-        }
-    };
-}
-/** Combined footer bar: thesis info (line 1) + model/exchange (line 2) */
-function createFooterBar(piTui) {
-    const { truncateToWidth, visibleWidth } = piTui;
-    return class FooterBar {
-        // Thesis info (was HeaderBar)
-        thesisId = '';
-        confidence = 0;
-        confidenceDelta = 0;
-        pnlDollars = 0;
-        positionCount = 0;
-        edgeCount = 0;
-        topEdge = '';
-        // Model info
-        tokens = 0;
-        cost = 0;
-        toolCount = 0;
-        modelName = '';
-        tradingEnabled = false;
-        exchangeOpen = null;
-        cachedWidth;
-        cachedLines;
-        isExplorer = false;
-        setFromContext(ctx, positions) {
-            if (ctx._explorerMode) {
-                this.isExplorer = true;
-                this.thesisId = 'Explorer';
-                this.confidence = 0;
-                this.confidenceDelta = 0;
-                this.edgeCount = (ctx.edges || []).length;
-                const edges = ctx.edges || [];
-                if (edges.length > 0) {
-                    const top = [...edges].sort((a, b) => Math.abs(b.edge) - Math.abs(a.edge))[0];
-                    this.topEdge = `${(top.title || '').slice(0, 20)} +${Math.round(top.edge)}¢`;
-                }
-            }
-            else {
-                this.isExplorer = false;
-                this.thesisId = (ctx.thesisId || '').slice(0, 8);
-                this.confidence = typeof ctx.confidence === 'number'
-                    ? Math.round(ctx.confidence * 100)
-                    : (typeof ctx.confidence === 'string' ? Math.round(parseFloat(ctx.confidence) * 100) : 0);
-                this.confidenceDelta = ctx.lastEvaluation?.confidenceDelta
-                    ? Math.round(ctx.lastEvaluation.confidenceDelta * 100)
-                    : 0;
-                this.edgeCount = (ctx.edges || []).length;
-                const edges = ctx.edges || [];
-                if (edges.length > 0) {
-                    const top = [...edges].sort((a, b) => Math.abs(b.edge || b.edgeSize || 0) - Math.abs(a.edge || a.edgeSize || 0))[0];
-                    const name = (top.market || top.marketTitle || top.marketId || '').slice(0, 20);
-                    const edge = top.edge || top.edgeSize || 0;
-                    this.topEdge = `${name} ${edge > 0 ? '+' : ''}${Math.round(edge)}\u00A2`;
-                }
-            }
-            if (positions && positions.length > 0) {
-                this.positionCount = positions.length;
-                this.pnlDollars = positions.reduce((sum, p) => sum + (p.unrealized_pnl || 0), 0) / 100;
-            }
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        updateConfidence(newConf, delta) {
-            this.confidence = Math.round(newConf * 100);
-            this.confidenceDelta = Math.round(delta * 100);
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        invalidate() {
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        update() {
-            this.cachedWidth = undefined;
-            this.cachedLines = undefined;
-        }
-        render(width) {
-            if (this.cachedLines && this.cachedWidth === width)
-                return this.cachedLines;
-            this.cachedWidth = width;
-            // Line 1: thesis info (or explorer mode)
-            const sep = C.zinc600(' \u2502 ');
-            let line1Parts;
-            if (this.isExplorer) {
-                const id = C.emerald(bold('Explorer'));
-                const edges = C.zinc600(`${this.edgeCount} public edges`);
-                const top = this.topEdge ? C.zinc400(this.topEdge) : '';
-                let pnl = '';
-                if (this.positionCount > 0) {
-                    const pnlStr = this.pnlDollars >= 0
-                        ? C.emerald(`+$${this.pnlDollars.toFixed(2)}`)
-                        : C.red(`-$${Math.abs(this.pnlDollars).toFixed(2)}`);
-                    pnl = C.zinc600(`${this.positionCount} pos `) + pnlStr;
-                }
-                line1Parts = [id, pnl, edges, top].filter(Boolean);
-            }
-            else {
-                const id = C.emerald(this.thesisId);
-                const arrow = this.confidenceDelta > 0 ? '\u25B2' : this.confidenceDelta < 0 ? '\u25BC' : '\u2500';
-                const arrowColor = this.confidenceDelta > 0 ? C.emerald : this.confidenceDelta < 0 ? C.red : C.zinc600;
-                const deltaStr = this.confidenceDelta !== 0 ? ` (${this.confidenceDelta > 0 ? '+' : ''}${this.confidenceDelta})` : '';
-                const conf = arrowColor(`${arrow} ${this.confidence}%${deltaStr}`);
-                let pnl = '';
-                if (this.positionCount > 0) {
-                    const pnlStr = this.pnlDollars >= 0
-                        ? C.emerald(`+$${this.pnlDollars.toFixed(2)}`)
-                        : C.red(`-$${Math.abs(this.pnlDollars).toFixed(2)}`);
-                    pnl = C.zinc600(`${this.positionCount} pos `) + pnlStr;
-                }
-                const edges = C.zinc600(`${this.edgeCount} edges`);
-                const top = this.topEdge ? C.zinc400(this.topEdge) : '';
-                line1Parts = [id, conf, pnl, edges, top].filter(Boolean);
-            }
-            let line1 = C.bgZinc800(' ' + truncateToWidth(line1Parts.join(sep), width - 2, '') + ' ');
-            const l1vw = visibleWidth(line1);
-            if (l1vw < width)
-                line1 += C.bgZinc800(' '.repeat(width - l1vw));
-            // Line 2: model + exchange
-            const model = C.zinc600(this.modelName.split('/').pop() || this.modelName);
-            const tokStr = this.tokens >= 1000 ? `${(this.tokens / 1000).toFixed(1)}k` : `${this.tokens}`;
-            const tokens = C.zinc600(`${tokStr} tok`);
-            const exchange = this.exchangeOpen === true ? C.emerald('OPEN') : this.exchangeOpen === false ? C.red('CLOSED') : C.zinc600('...');
-            const trading = this.tradingEnabled ? C.amber('trading') : C.zinc600('read-only');
-            const help = C.zinc600('/help');
-            const leftText = [model, tokens, exchange, trading].join(sep);
-            const lw = visibleWidth(leftText);
-            const rw = visibleWidth(help);
-            const gap = Math.max(1, width - lw - rw - 2);
-            let line2 = C.bgZinc900(' ' + leftText + ' '.repeat(gap) + help + ' ');
-            const l2vw = visibleWidth(line2);
-            if (l2vw < width)
-                line2 += C.bgZinc900(' '.repeat(width - l2vw));
-            this.cachedLines = [line1, line2];
-            return this.cachedLines;
-        }
-    };
-}
-// ─── Formatted renderers ─────────────────────────────────────────────────────
-function renderCausalTree(context, piTui) {
-    const tree = context.causalTree;
-    if (!tree?.nodes?.length)
-        return C.zinc600('  No causal tree data');
-    const lines = [];
-    for (const node of tree.nodes) {
-        const id = node.id || '';
-        const label = node.label || node.description || '';
-        const prob = typeof node.probability === 'number'
-            ? Math.round(node.probability * 100)
-            : (typeof node.impliedProbability === 'number' ? Math.round(node.impliedProbability * 100) : null);
-        const depth = (id.match(/\./g) || []).length;
-        const indent = '  '.repeat(depth + 1);
-        if (prob !== null) {
-            // Progress bar: 10 chars
-            const filled = Math.round(prob / 10);
-            const bar = '\u2588'.repeat(filled) + '\u2591'.repeat(10 - filled);
-            const probColor = prob >= 70 ? C.emerald : prob >= 40 ? C.amber : C.red;
-            // Dots to pad between label and percentage
-            const labelPart = `${indent}${C.zinc600(id)}  ${C.zinc400(label)} `;
-            const probPart = ` ${probColor(`${prob}%`)}  ${probColor(bar)}`;
-            lines.push(labelPart + probPart);
-        }
-        else {
-            lines.push(`${indent}${C.zinc600(id)}  ${C.zinc400(label)}`);
-        }
-    }
-    return lines.join('\n');
-}
-function renderEdges(context, piTui) {
-    const edges = context.edges;
-    if (!edges?.length)
-        return C.zinc600('  No edge data');
-    const positions = context._positions || [];
-    const lines = [];
-    for (const e of edges) {
-        // Context API field names: market, marketId, thesisPrice, edge, orderbook.spread, orderbook.liquidityScore
-        const name = (e.market || e.marketId || '').slice(0, 18).padEnd(18);
-        const marketStr = typeof e.marketPrice === 'number' ? `${e.marketPrice}\u00A2` : '?';
-        const thesisStr = typeof e.thesisPrice === 'number' ? `${e.thesisPrice}\u00A2` : '?';
-        const edgeVal = typeof e.edge === 'number' ? (e.edge > 0 ? `+${e.edge}` : `${e.edge}`) : '?';
-        const ob = e.orderbook || {};
-        const spreadStr = typeof ob.spread === 'number' ? `${ob.spread}\u00A2` : '?';
-        const liq = ob.liquidityScore || 'low';
-        const liqBars = liq === 'high' ? '\u25A0\u25A0\u25A0' : liq === 'medium' ? '\u25A0\u25A0 ' : '\u25A0  ';
-        const liqColor = liq === 'high' ? C.emerald : liq === 'medium' ? C.amber : C.red;
-        // Check if we have a position on this edge (match by marketId prefix in ticker)
-        const pos = positions.find((p) => p.ticker === e.marketId ||
-            (e.marketId && p.ticker?.includes(e.marketId)));
-        let posStr = C.zinc600('\u2014');
-        if (pos) {
-            const side = pos.side?.toUpperCase() || 'YES';
-            const pnl = typeof pos.unrealized_pnl === 'number'
-                ? (pos.unrealized_pnl >= 0 ? C.emerald(`+$${(pos.unrealized_pnl / 100).toFixed(0)}`) : C.red(`-$${(Math.abs(pos.unrealized_pnl) / 100).toFixed(0)}`))
-                : '';
-            posStr = C.emerald(`${side} (${pos.quantity}@${pos.average_price_paid}\u00A2 ${pnl})`);
-        }
-        lines.push(`  ${C.zinc200(name)} ${C.zinc400(marketStr)} \u2192 ${C.zinc400(thesisStr)}  edge ${edgeVal.includes('+') ? C.emerald(edgeVal) : C.red(edgeVal)}  spread ${C.zinc600(spreadStr)}  ${liqColor(liqBars)} ${liqColor(liq.padEnd(4))}  ${posStr}`);
-    }
-    return lines.join('\n');
-}
-function renderPositions(positions) {
-    if (!positions?.length)
-        return C.zinc600('  No positions');
-    const lines = [];
-    let totalPnl = 0;
-    for (const p of positions) {
-        const ticker = (p.ticker || '').slice(0, 18).padEnd(18);
-        const side = (p.side || 'yes').toUpperCase().padEnd(3);
-        const qty = String(p.quantity || 0);
-        const avg = `${p.average_price_paid || 0}\u00A2`;
-        const now = typeof p.current_value === 'number' && p.current_value > 0
-            ? `${p.current_value}\u00A2`
-            : '?\u00A2';
-        const pnlCents = p.unrealized_pnl || 0;
-        totalPnl += pnlCents;
-        const pnlDollars = (pnlCents / 100).toFixed(2);
-        const pnlStr = pnlCents >= 0
-            ? C.emerald(`+$${pnlDollars}`)
-            : C.red(`-$${Math.abs(parseFloat(pnlDollars)).toFixed(2)}`);
-        const arrow = pnlCents >= 0 ? C.emerald('\u25B2') : C.red('\u25BC');
-        lines.push(`  ${C.zinc200(ticker)} ${C.zinc400(side)}  ${C.zinc400(qty)} @ ${C.zinc400(avg)}  now ${C.zinc200(now)}  ${pnlStr}  ${arrow}`);
-    }
-    const totalDollars = (totalPnl / 100).toFixed(2);
-    lines.push(C.zinc600('  ' + '\u2500'.repeat(40)));
-    lines.push(totalPnl >= 0
-        ? `  Total P&L: ${C.emerald(bold(`+$${totalDollars}`))}`
-        : `  Total P&L: ${C.red(bold(`-$${Math.abs(parseFloat(totalDollars)).toFixed(2)}`))}`);
-    return lines.join('\n');
-}
-// ─── Thesis selector (arrow keys + enter, like Claude Code) ─────────────────
-async function selectThesis(theses, includeExplorer = false) {
-    return new Promise((resolve) => {
-        let selected = 0;
-        const items = [];
-        if (includeExplorer) {
-            items.push({ id: '_explorer', conf: -1, title: 'Explorer mode — no thesis, full market access' });
-        }
-        for (const t of theses) {
-            const conf = typeof t.confidence === 'number' ? Math.round(t.confidence * 100) : 0;
-            const title = (t.rawThesis || t.thesis || t.title || '').slice(0, 55);
-            items.push({ id: t.id, conf, title });
-        }
-        const write = process.stdout.write.bind(process.stdout);
-        // Use alternate screen buffer for clean rendering (like Claude Code)
-        write('\x1b[?1049h'); // enter alternate screen
-        write('\x1b[?25l'); // hide cursor
-        function render() {
-            write('\x1b[H\x1b[2J'); // cursor home + clear screen
-            write('\n  \x1b[2mSelect thesis\x1b[22m\n\n');
-            for (let i = 0; i < items.length; i++) {
-                const item = items[i];
-                const sel = i === selected;
-                const cursor = sel ? '\x1b[38;2;16;185;129m › \x1b[39m' : '   ';
-                if (item.id === '_explorer') {
-                    const title = sel ? `\x1b[38;2;16;185;129m${item.title}\x1b[39m` : `\x1b[38;2;80;80;88m${item.title}\x1b[39m`;
-                    write(`${cursor}${title}\n`);
-                }
-                else {
-                    const id = sel ? `\x1b[38;2;16;185;129m${item.id.slice(0, 8)}\x1b[39m` : `\x1b[38;2;55;55;60m${item.id.slice(0, 8)}\x1b[39m`;
-                    const conf = `\x1b[38;2;55;55;60m${item.conf}%\x1b[39m`;
-                    const title = sel ? `\x1b[38;2;160;160;165m${item.title}\x1b[39m` : `\x1b[38;2;80;80;88m${item.title}\x1b[39m`;
-                    write(`${cursor}${id}  ${conf}  ${title}\n`);
-                }
-            }
-            write(`\n  \x1b[38;2;55;55;60m↑↓ navigate · enter select\x1b[39m`);
-        }
-        render();
-        if (process.stdin.isTTY)
-            process.stdin.setRawMode(true);
-        process.stdin.resume();
-        process.stdin.setEncoding('utf8');
-        const onKey = (key) => {
-            const buf = Buffer.from(key);
-            if (buf[0] === 0x1b && buf[1] === 0x5b && buf[2] === 0x41) {
-                selected = (selected - 1 + items.length) % items.length;
-                render();
-            }
-            else if (buf[0] === 0x1b && buf[1] === 0x5b && buf[2] === 0x42) {
-                selected = (selected + 1) % items.length;
-                render();
-            }
-            else if (key === 'k') {
-                selected = (selected - 1 + items.length) % items.length;
-                render();
-            }
-            else if (key === 'j') {
-                selected = (selected + 1) % items.length;
-                render();
-            }
-            else if (key === '\r' || key === '\n') {
-                cleanup();
-                resolve(items[selected].id);
-            }
-            else if (buf[0] === 0x03) {
-                cleanup();
-                process.exit(0);
-            }
-        };
-        function cleanup() {
-            process.stdin.removeListener('data', onKey);
-            if (process.stdin.isTTY)
-                process.stdin.setRawMode(false);
-            process.stdin.pause();
-            write('\x1b[?25h'); // show cursor
-            write('\x1b[?1049l'); // exit alternate screen — restores original content
-        }
-        process.stdin.on('data', onKey);
-    });
-}
-// ─── Main command ────────────────────────────────────────────────────────────
-async function agentCommand(thesisId, opts) {
-    // ── Validate API keys ──────────────────────────────────────────────────────
-    const directOrKey = opts?.modelKey || process.env.OPENROUTER_API_KEY;
-    const sfApiKey = process.env.SF_API_KEY;
-    const sfApiUrl = process.env.SF_API_URL || 'https://simplefunctions.dev';
-    // Proxy mode: no local OpenRouter key, but have SF API key → route through server
-    const useProxy = !directOrKey && !!sfApiKey;
-    const openrouterKey = directOrKey || sfApiKey; // SF key used as Bearer for proxy
-    const llmBaseUrl = useProxy ? `${sfApiUrl}/api/proxy` : 'https://openrouter.ai/api/v1';
-    if (!openrouterKey) {
-        console.error('Need an API key to power the agent LLM.');
-        console.error('');
-        console.error('  Option 1 (recommended): sf login');
-        console.error('  Option 2: Get an OpenRouter key at https://openrouter.ai/keys');
-        console.error('     export OPENROUTER_API_KEY=sk-or-v1-...');
-        console.error('     sf agent --model-key sk-or-v1-...');
-        console.error('     sf setup  (saves to ~/.sf/config.json)');
-        process.exit(1);
-    }
-    // Pre-flight: validate key (skip for proxy mode — server validates)
-    if (!useProxy) {
-        try {
-            const checkRes = await fetch('https://openrouter.ai/api/v1/auth/key', {
-                headers: { 'Authorization': `Bearer ${openrouterKey}` },
-                signal: AbortSignal.timeout(8000),
-            });
-            if (!checkRes.ok) {
-                console.error('OpenRouter API key is invalid or expired.');
-                console.error('Get a new key at https://openrouter.ai/keys');
-                process.exit(1);
-            }
-        }
-        catch (err) {
-            const msg = err instanceof Error ? err.message : String(err);
-            if (!msg.includes('timeout')) {
-                console.warn(`Warning: Could not verify OpenRouter key (${msg}). Continuing anyway.`);
-            }
-        }
-    }
-    else {
-        console.log('  \x1b[2mUsing SimpleFunctions LLM proxy (no OpenRouter key needed)\x1b[22m');
-    }
-    const sfClient = new client_js_1.SFClient();
-    // ── Resolve thesis ID (interactive selection if needed) ─────────────────────
-    let resolvedThesisId = thesisId || null;
-    let explorerMode = false;
-    if (!resolvedThesisId) {
-        let active = [];
-        try {
-            const data = await sfClient.listTheses();
-            const theses = (data.theses || data);
-            active = theses.filter((t) => t.status === 'active');
-        }
-        catch {
-            // No API key or network error — explorer mode
-            active = [];
-        }
-        if (active.length === 0) {
-            // No theses — go straight to explorer mode
-            explorerMode = true;
-        }
-        else if (active.length === 1) {
-            resolvedThesisId = active[0].id;
-        }
-        else if (process.stdin.isTTY && !opts?.noTui) {
-            // Multiple theses — interactive selector with explorer option at top
-            const selected = await selectThesis(active, true);
-            if (selected === '_explorer') {
-                explorerMode = true;
-            }
-            else {
-                resolvedThesisId = selected;
-            }
-        }
-        else {
-            // Non-interactive (--plain, telegram, piped) — use first active
-            resolvedThesisId = active[0].id;
-        }
-    }
-    // ── Fetch initial context ──────────────────────────────────────────────────
-    let latestContext;
-    if (explorerMode) {
-        const { fetchGlobalContext } = await import('../client.js');
-        latestContext = await fetchGlobalContext();
-        latestContext._explorerMode = true;
-    }
-    else {
-        latestContext = await sfClient.getContext(resolvedThesisId);
-    }
-    // ── Branch: plain-text mode ────────────────────────────────────────────────
-    if (opts?.noTui) {
-        return runPlainTextAgent({ openrouterKey, sfClient, resolvedThesisId: resolvedThesisId || '_explorer', latestContext, useProxy, llmBaseUrl, sfApiKey, sfApiUrl, opts });
-    }
-    // ── Dynamic imports (all ESM-only packages) ────────────────────────────────
-    const piTui = await import('@mariozechner/pi-tui');
-    const piAi = await import('@mariozechner/pi-ai');
-    const piAgent = await import('@mariozechner/pi-agent-core');
-    const { TUI, ProcessTerminal, Container, Text, Markdown, Editor, Loader, Spacer, CombinedAutocompleteProvider, truncateToWidth, visibleWidth, } = piTui;
-    const { getModel, streamSimple, Type } = piAi;
-    const { Agent } = piAgent;
-    // ── Component class factories (need piTui ref) ─────────────────────────────
-    const MutableLine = createMutableLine(piTui);
-    const FooterBar = createFooterBar(piTui);
-    // ── Model setup ────────────────────────────────────────────────────────────
-    const rawModelName = opts?.model || 'anthropic/claude-sonnet-4.6';
-    let currentModelName = rawModelName.replace(/^openrouter\//, '');
-    function resolveModel(name) {
-        let m;
-        try {
-            m = getModel('openrouter', name);
-        }
-        catch {
-            m = {
-                modelId: name,
-                provider: 'openrouter',
-                api: 'openai-completions',
-                baseUrl: 'https://openrouter.ai/api/v1',
-                id: name,
-                name: name,
-                inputPrice: 0,
-                outputPrice: 0,
-                contextWindow: 200000,
-                supportsImages: true,
-                supportsTools: true,
-            };
-        }
-        // Override baseUrl in proxy mode
-        if (useProxy)
-            m.baseUrl = llmBaseUrl;
-        return m;
-    }
-    let model = resolveModel(currentModelName);
-    // ── Tracking state ─────────────────────────────────────────────────────────
-    let totalTokens = 0;
-    let totalCost = 0;
-    let totalToolCalls = 0;
-    let isProcessing = false;
-    // Cache for positions (fetched by /pos or get_positions tool)
-    let cachedPositions = null;
-    // ── Heartbeat polling state ───────────────────────────────────────────────
-    // Background poll delta endpoint every 60s.
-    // If confidence changed ≥ 3%, auto-trigger agent analysis.
-    // If agent is busy (isProcessing), queue and deliver after agent finishes.
-    let lastPollTimestamp = new Date().toISOString();
-    let pendingHeartbeatDelta = null; // queued delta when agent is busy
-    let heartbeatPollTimer = null;
-    // ── Inline confirmation mechanism ─────────────────────────────────────────
-    // Tools can call promptUser() during execution to ask the user a question.
-    // This temporarily unlocks the editor, waits for input, then resumes.
-    let pendingPrompt = null;
-    // ── Setup TUI ──────────────────────────────────────────────────────────────
-    const terminal = new ProcessTerminal();
-    const tui = new TUI(terminal);
-    // Markdown theme for assistant messages
-    const mdTheme = {
-        heading: (s) => C.zinc200(bold(s)),
-        link: (s) => C.emerald(s),
-        linkUrl: (s) => C.zinc600(s),
-        code: (s) => C.zinc200(s),
-        codeBlock: (s) => C.zinc400(s),
-        codeBlockBorder: (s) => C.zinc600(s),
-        quote: (s) => C.zinc400(s),
-        quoteBorder: (s) => C.zinc600(s),
-        hr: (s) => C.zinc600(s),
-        listBullet: (s) => C.emerald(s),
-        bold: (s) => bold(s),
-        italic: (s) => italic(s),
-        strikethrough: (s) => strikethrough(s),
-        underline: (s) => underline(s),
-    };
-    const mdDefaultStyle = {
-        color: (s) => C.zinc400(s),
-    };
-    // Editor theme — use dim zinc borders instead of default green
-    const editorTheme = {
-        borderColor: (s) => `\x1b[38;2;50;50;55m${s}\x1b[39m`,
-        selectList: {
-            selectedPrefix: (s) => C.emerald(s),
-            selectedText: (s) => C.zinc200(s),
-            description: (s) => C.zinc600(s),
-            scrollInfo: (s) => C.zinc600(s),
-            noMatch: (s) => C.zinc600(s),
-        },
-    };
-    // ── Build components ───────────────────────────────────────────────────────
-    // No header bar — all info in footer (2 lines)
-    const footerBar = new FooterBar();
-    footerBar.modelName = currentModelName;
-    footerBar.tradingEnabled = (0, config_js_1.loadConfig)().tradingEnabled || false;
-    // Fetch positions for footer P&L (non-blocking, best-effort)
-    let initialPositions = null;
-    try {
-        initialPositions = await (0, kalshi_js_1.getPositions)();
-        if (initialPositions) {
-            for (const pos of initialPositions) {
-                const livePrice = await (0, kalshi_js_1.getMarketPrice)(pos.ticker);
-                if (livePrice !== null) {
-                    pos.current_value = livePrice;
-                    pos.unrealized_pnl = Math.round((livePrice - pos.average_price_paid) * pos.quantity);
-                }
-            }
-        }
-    }
-    catch { /* positions not available, fine */ }
-    footerBar.setFromContext(latestContext, initialPositions || undefined);
-    // Fetch exchange status for footer (non-blocking)
-    fetch('https://api.elections.kalshi.com/trade-api/v2/exchange/status', { headers: { 'Accept': 'application/json' } })
-        .then(r => r.json())
-        .then(d => { footerBar.exchangeOpen = !!d.exchange_active; footerBar.update(); tui.requestRender(); })
-        .catch(() => { });
-    const topSpacer = new Spacer(1);
-    const bottomSpacer = new Spacer(1);
-    const chatContainer = new Container();
-    const editor = new Editor(tui, editorTheme, { paddingX: 1 });
-    // Slash command autocomplete
-    const slashCommands = [
-        { name: 'help', description: 'Show available commands' },
-        { name: 'tree', description: 'Display causal tree' },
-        { name: 'edges', description: 'Display edge/spread table' },
-        { name: 'pos', description: 'Display Kalshi positions' },
-        { name: 'eval', description: 'Trigger deep evaluation' },
-        { name: 'switch', description: 'Switch thesis (e.g. /switch f582bf76)' },
-        { name: 'compact', description: 'Compress conversation history' },
-        { name: 'new', description: 'Start fresh session' },
-        { name: 'model', description: 'Switch model (e.g. /model anthropic/claude-sonnet-4)' },
-        { name: 'env', description: 'Show environment variable status' },
-        { name: 'clear', description: 'Clear screen (keeps history)' },
-        { name: 'exit', description: 'Exit agent (auto-saves)' },
-    ];
-    // Add trading commands if enabled
-    if ((0, config_js_1.loadConfig)().tradingEnabled) {
-        slashCommands.splice(-2, 0, // insert before /clear and /exit
-        { name: 'buy', description: 'TICKER QTY PRICE — quick buy' }, { name: 'sell', description: 'TICKER QTY PRICE — quick sell' }, { name: 'cancel', description: 'ORDER_ID — cancel order' });
-    }
-    // Load skills and register as slash commands
-    const skills = (0, loader_js_1.loadSkills)();
-    for (const skill of skills) {
-        const trigger = skill.trigger.replace(/^\//, ''); // remove leading /
-        slashCommands.splice(-2, 0, { name: trigger, description: `[skill] ${skill.description.slice(0, 50)}` });
-    }
-    const autocompleteProvider = new CombinedAutocompleteProvider(slashCommands, process.cwd());
-    editor.setAutocompleteProvider(autocompleteProvider);
-    // Assemble TUI tree
-    tui.addChild(topSpacer);
-    tui.addChild(chatContainer);
-    tui.addChild(editor);
-    tui.addChild(bottomSpacer);
-    // Focus on editor
-    tui.setFocus(editor);
-    // ── Footer overlay (2-line: thesis info + model/exchange) ──────────────────
-    const footerOverlay = tui.showOverlay(footerBar, {
-        anchor: 'bottom-left',
-        width: '100%',
-        nonCapturing: true,
-    });
-    // ── Helper: add system text to chat ────────────────────────────────────────
-    function addSystemText(content) {
-        const text = new Text(content, 1, 0);
-        chatContainer.addChild(text);
-        tui.requestRender();
-    }
-    function addSpacer() {
-        chatContainer.addChild(new Spacer(1));
-    }
-    /**
-     * Ask the user a question during tool execution.
-     * Temporarily unlocks the editor, waits for input, then resumes.
-     * Used for order confirmations and other dangerous operations.
-     */
-    function promptUser(question) {
-        return new Promise(resolve => {
-            addSystemText(C.amber(bold('\u26A0 ')) + C.zinc200(question));
-            addSpacer();
-            tui.requestRender();
-            pendingPrompt = { resolve };
-        });
-    }
-    // ── Define agent tools (same as before) ────────────────────────────────────
-    const thesisIdParam = Type.Object({
-        thesisId: Type.String({ description: 'Thesis ID (short or full UUID)' }),
-    });
-    const signalParams = Type.Object({
-        thesisId: Type.String({ description: 'Thesis ID' }),
-        content: Type.String({ description: 'Signal content' }),
-        type: Type.Optional(Type.String({ description: 'Signal type: news, user_note, external. Default: user_note' })),
-    });
-    const scanParams = Type.Object({
-        query: Type.Optional(Type.String({ description: 'Keyword search for Kalshi markets' })),
-        series: Type.Optional(Type.String({ description: 'Kalshi series ticker (e.g. KXWTIMAX)' })),
-        market: Type.Optional(Type.String({ description: 'Specific market ticker' })),
-    });
-    const webSearchParams = Type.Object({
-        query: Type.String({ description: 'Search keywords' }),
-    });
-    const emptyParams = Type.Object({});
-    const tools = [
-        {
-            name: 'get_context',
-            label: 'Get Context',
-            description: 'Get thesis snapshot: causal tree, edge prices, last evaluation, confidence',
-            parameters: thesisIdParam,
-            execute: async (_toolCallId, params) => {
-                const ctx = await sfClient.getContext(params.thesisId);
-                latestContext = ctx;
-                footerBar.setFromContext(ctx, initialPositions || undefined);
-                tui.requestRender();
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(ctx, null, 2) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'global_context',
-            label: 'Market Snapshot',
-            description: 'Global market snapshot — top movers, expiring contracts, milestones, liquidity, signals. No thesis needed.',
-            parameters: emptyParams,
-            execute: async () => {
-                const { fetchGlobalContext } = await import('../client.js');
-                const data = await fetchGlobalContext();
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'query',
-            label: 'Query',
-            description: 'LLM-enhanced prediction market knowledge search. Ask any question about prediction markets, macro, geopolitics. Returns structured answer with live market prices, thesis data, and key factors.',
-            parameters: Type.Object({
-                q: Type.String({ description: 'Natural language query (e.g. "iran oil prices", "fed rate cut 2026")' }),
-            }),
-            execute: async (_toolCallId, params) => {
-                const { fetchQuery } = await import('../client.js');
-                const data = await fetchQuery(params.q);
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_markets',
-            label: 'Traditional Markets',
-            description: 'Get traditional market prices via Databento: S&P 500 (SPY), VIX (VIXY), 20Y Treasury (TLT), Gold (GLD), Oil (USO). Daily close + 1-day change.',
-            parameters: emptyParams,
-            execute: async () => {
-                const { fetchTraditionalMarkets } = await import('../client.js');
-                const data = await fetchTraditionalMarkets();
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'inject_signal',
-            label: 'Inject Signal',
-            description: 'Inject a signal into the thesis (news, note, external event)',
-            parameters: signalParams,
-            execute: async (_toolCallId, params) => {
-                const result = await sfClient.injectSignal(params.thesisId, params.type || 'user_note', params.content);
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(result) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'trigger_evaluation',
-            label: 'Evaluate',
-            description: 'Trigger a deep evaluation cycle (heavy model, takes longer)',
-            parameters: thesisIdParam,
-            execute: async (_toolCallId, params) => {
-                const result = await sfClient.evaluate(params.thesisId);
-                // Show confidence change prominently
-                if (result.evaluation?.confidenceDelta && Math.abs(result.evaluation.confidenceDelta) >= 0.01) {
-                    const delta = result.evaluation.confidenceDelta;
-                    const prev = Math.round((result.evaluation.previousConfidence || 0) * 100);
-                    const now = Math.round((result.evaluation.newConfidence || 0) * 100);
-                    const arrow = delta > 0 ? '\u25B2' : '\u25BC';
-                    const color = delta > 0 ? C.emerald : C.red;
-                    addSystemText(color(`  ${arrow} Confidence ${prev}% \u2192 ${now}% (${delta > 0 ? '+' : ''}${Math.round(delta * 100)})`));
-                    addSpacer();
-                    // Update header
-                    footerBar.updateConfidence(result.evaluation.newConfidence, delta);
-                    tui.requestRender();
-                }
-                // Refresh context after eval
-                try {
-                    latestContext = await sfClient.getContext(params.thesisId);
-                    footerBar.setFromContext(latestContext, initialPositions || undefined);
-                    tui.requestRender();
-                }
-                catch { }
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(result) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'scan_markets',
-            label: 'Scan Markets',
-            description: 'Search Kalshi + Polymarket prediction markets. Provide exactly one of: query (keyword search), series (Kalshi series ticker), or market (specific Kalshi ticker). Keyword search returns results from BOTH venues.',
-            parameters: scanParams,
-            execute: async (_toolCallId, params) => {
-                if (params.market) {
-                    const result = await (0, client_js_1.kalshiFetchMarket)(params.market);
-                    return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-                }
-                if (params.series) {
-                    const result = await (0, client_js_1.kalshiFetchMarketsBySeries)(params.series);
-                    return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-                }
-                if (params.query) {
-                    // Kalshi: keyword grep on series
-                    const series = await (0, client_js_1.kalshiFetchAllSeries)();
-                    const keywords = params.query.toLowerCase().split(/\s+/);
-                    const kalshiMatched = series
-                        .filter((s) => keywords.some((kw) => (s.title || '').toLowerCase().includes(kw) ||
-                        (s.ticker || '').toLowerCase().includes(kw)))
-                        .filter((s) => parseFloat(s.volume_24h_fp || s.volume_fp || '0') > 0)
-                        .sort((a, b) => parseFloat(b.volume_24h_fp || b.volume_fp || '0') - parseFloat(a.volume_24h_fp || a.volume_fp || '0'))
-                        .slice(0, 10)
-                        .map((s) => ({ venue: 'kalshi', ticker: s.ticker, title: s.title, volume: s.volume_fp }));
-                    // Polymarket: Gamma API search
-                    let polyMatched = [];
-                    try {
-                        const events = await (0, polymarket_js_1.polymarketSearch)(params.query, 10);
-                        for (const event of events) {
-                            for (const m of (event.markets || []).slice(0, 3)) {
-                                if (!m.active || m.closed)
-                                    continue;
-                                const prices = (0, polymarket_js_1.parseOutcomePrices)(m.outcomePrices);
-                                polyMatched.push({
-                                    venue: 'polymarket',
-                                    id: m.conditionId || m.id,
-                                    title: m.groupItemTitle ? `${event.title}: ${m.groupItemTitle}` : m.question || event.title,
-                                    price: prices[0] ? Math.round(prices[0] * 100) : null,
-                                    volume24h: m.volume24hr,
-                                    liquidity: m.liquidityNum,
-                                });
-                            }
-                        }
-                    }
-                    catch { /* Polymarket search optional */ }
-                    return {
-                        content: [{ type: 'text', text: JSON.stringify({ kalshi: kalshiMatched, polymarket: polyMatched }, null, 2) }],
-                        details: {},
-                    };
-                }
-                return { content: [{ type: 'text', text: '{"error":"Provide query, series, or market parameter"}' }], details: {} };
-            },
-        },
-        {
-            name: 'list_theses',
-            label: 'List Theses',
-            description: 'List all theses for the current user',
-            parameters: emptyParams,
-            execute: async () => {
-                const theses = await sfClient.listTheses();
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(theses, null, 2) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'get_positions',
-            label: 'Get Positions',
-            description: 'Get positions across Kalshi + Polymarket with live prices and PnL',
-            parameters: emptyParams,
-            execute: async () => {
-                const result = { kalshi: [], polymarket: [] };
-                // Kalshi positions
-                const positions = await (0, kalshi_js_1.getPositions)();
-                if (positions) {
-                    for (const pos of positions) {
-                        const livePrice = await (0, kalshi_js_1.getMarketPrice)(pos.ticker);
-                        if (livePrice !== null) {
-                            pos.current_value = livePrice;
-                            pos.unrealized_pnl = Math.round((livePrice - pos.average_price_paid) * pos.quantity);
-                        }
-                    }
-                    cachedPositions = positions;
-                    result.kalshi = positions.map((p) => ({
-                        venue: 'kalshi',
-                        ticker: p.ticker,
-                        side: p.side,
-                        quantity: p.quantity,
-                        avg_price: `${p.average_price_paid}¢`,
-                        current_price: `${p.current_value}¢`,
-                        unrealized_pnl: `$${(p.unrealized_pnl / 100).toFixed(2)}`,
-                        total_cost: `$${(p.total_cost / 100).toFixed(2)}`,
-                    }));
-                }
-                // Polymarket positions
-                const config = (0, config_js_1.loadConfig)();
-                if (config.polymarketWalletAddress) {
-                    try {
-                        const polyPos = await (0, polymarket_js_1.polymarketGetPositions)(config.polymarketWalletAddress);
-                        result.polymarket = polyPos.map((p) => ({
-                            venue: 'polymarket',
-                            market: p.title || p.slug || p.asset,
-                            side: p.outcome || 'Yes',
-                            size: p.size,
-                            avg_price: `${Math.round((p.avgPrice || 0) * 100)}¢`,
-                            current_price: `${Math.round((p.curPrice || p.currentPrice || 0) * 100)}¢`,
-                            pnl: `$${(p.cashPnl || 0).toFixed(2)}`,
-                        }));
-                    }
-                    catch { /* skip */ }
-                }
-                if (result.kalshi.length === 0 && result.polymarket.length === 0) {
-                    return {
-                        content: [{ type: 'text', text: 'No positions found. Configure Kalshi (KALSHI_API_KEY_ID) or Polymarket (sf setup --polymarket) to see positions.' }],
-                        details: {},
-                    };
-                }
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(result, null, 2) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'web_search',
-            label: 'Web Search',
-            description: 'Search latest news and information. Use for real-time info not yet covered by the causal tree or heartbeat engine.',
-            parameters: webSearchParams,
-            execute: async (_toolCallId, params) => {
-                const tavilyKey = process.env.TAVILY_API_KEY;
-                const canProxy = !tavilyKey && sfApiKey;
-                if (!tavilyKey && !canProxy) {
-                    return {
-                        content: [{ type: 'text', text: 'Web search not available. Run sf login (proxied search) or set TAVILY_API_KEY.' }],
-                        details: {},
-                    };
-                }
-                let res;
-                if (tavilyKey) {
-                    // Direct mode
-                    res = await fetch('https://api.tavily.com/search', {
-                        method: 'POST',
-                        headers: { 'Content-Type': 'application/json' },
-                        body: JSON.stringify({
-                            api_key: tavilyKey,
-                            query: params.query,
-                            max_results: 5,
-                            search_depth: 'basic',
-                            include_answer: true,
-                        }),
-                    });
-                }
-                else {
-                    // Proxy mode
-                    res = await fetch(`${sfApiUrl}/api/proxy/search`, {
-                        method: 'POST',
-                        headers: {
-                            'Content-Type': 'application/json',
-                            'Authorization': `Bearer ${sfApiKey}`,
-                        },
-                        body: JSON.stringify({
-                            query: params.query,
-                            max_results: 5,
-                            search_depth: 'basic',
-                            include_answer: true,
-                        }),
-                    });
-                }
-                if (!res.ok) {
-                    return {
-                        content: [{ type: 'text', text: `Search failed: ${res.status}` }],
-                        details: {},
-                    };
-                }
-                const data = await res.json();
-                const results = (data.results || []).map((r) => `[${r.title}](${r.url})\n${r.content?.slice(0, 200)}`).join('\n\n');
-                const answer = data.answer ? `Summary: ${data.answer}\n\n---\n\n` : '';
-                return {
-                    content: [{ type: 'text', text: `${answer}${results}` }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'explore_public',
-            label: 'Explore Public Theses',
-            description: 'Browse public theses from other users. No auth required. Pass a slug to get details, or omit to list all.',
-            parameters: Type.Object({
-                slug: Type.Optional(Type.String({ description: 'Specific thesis slug, or empty to list all' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const base = 'https://simplefunctions.dev';
-                if (params.slug) {
-                    const res = await fetch(`${base}/api/public/thesis/${params.slug}`);
-                    if (!res.ok)
-                        return { content: [{ type: 'text', text: `Not found: ${params.slug}` }], details: {} };
-                    const data = await res.json();
-                    return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-                }
-                const res = await fetch(`${base}/api/public/theses`);
-                if (!res.ok)
-                    return { content: [{ type: 'text', text: 'Failed to fetch public theses' }], details: {} };
-                const data = await res.json();
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'create_strategy',
-            label: 'Create Strategy',
-            description: 'Create a trading strategy for a thesis. Extract hard conditions (entryBelow/stopLoss/takeProfit as cents) and soft conditions from conversation. Called when user mentions specific trade ideas.',
-            parameters: Type.Object({
-                thesisId: Type.String({ description: 'Thesis ID' }),
-                marketId: Type.String({ description: 'Market ticker e.g. KXWTIMAX-26DEC31-T150' }),
-                market: Type.String({ description: 'Human-readable market name' }),
-                direction: Type.String({ description: 'yes or no' }),
-                horizon: Type.Optional(Type.String({ description: 'short, medium, or long. Default: medium' })),
-                entryBelow: Type.Optional(Type.Number({ description: 'Entry trigger: ask <= this value (cents)' })),
-                entryAbove: Type.Optional(Type.Number({ description: 'Entry trigger: ask >= this value (cents, for NO direction)' })),
-                stopLoss: Type.Optional(Type.Number({ description: 'Stop loss: bid <= this value (cents)' })),
-                takeProfit: Type.Optional(Type.Number({ description: 'Take profit: bid >= this value (cents)' })),
-                maxQuantity: Type.Optional(Type.Number({ description: 'Max total contracts. Default: 500' })),
-                perOrderQuantity: Type.Optional(Type.Number({ description: 'Contracts per order. Default: 50' })),
-                softConditions: Type.Optional(Type.String({ description: 'LLM-evaluated conditions e.g. "only enter when n3 > 60%"' })),
-                rationale: Type.Optional(Type.String({ description: 'Full logic description' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const result = await sfClient.createStrategyAPI(params.thesisId, {
-                    marketId: params.marketId,
-                    market: params.market,
-                    direction: params.direction,
-                    horizon: params.horizon,
-                    entryBelow: params.entryBelow,
-                    entryAbove: params.entryAbove,
-                    stopLoss: params.stopLoss,
-                    takeProfit: params.takeProfit,
-                    maxQuantity: params.maxQuantity,
-                    perOrderQuantity: params.perOrderQuantity,
-                    softConditions: params.softConditions,
-                    rationale: params.rationale,
-                    createdBy: 'agent',
-                });
-                return { content: [{ type: 'text', text: JSON.stringify(result) }], details: {} };
-            },
-        },
-        {
-            name: 'list_strategies',
-            label: 'List Strategies',
-            description: 'List strategies for a thesis. Filter by status (active/watching/executed/cancelled/review) or omit for all.',
-            parameters: Type.Object({
-                thesisId: Type.String({ description: 'Thesis ID' }),
-                status: Type.Optional(Type.String({ description: 'Filter by status. Omit for all.' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const result = await sfClient.getStrategies(params.thesisId, params.status);
-                return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'update_strategy',
-            label: 'Update Strategy',
-            description: 'Update a strategy (change stop loss, take profit, status, priority, etc.)',
-            parameters: Type.Object({
-                thesisId: Type.String({ description: 'Thesis ID' }),
-                strategyId: Type.String({ description: 'Strategy ID (UUID)' }),
-                stopLoss: Type.Optional(Type.Number({ description: 'New stop loss (cents)' })),
-                takeProfit: Type.Optional(Type.Number({ description: 'New take profit (cents)' })),
-                entryBelow: Type.Optional(Type.Number({ description: 'New entry below trigger (cents)' })),
-                entryAbove: Type.Optional(Type.Number({ description: 'New entry above trigger (cents)' })),
-                status: Type.Optional(Type.String({ description: 'New status: active|watching|executed|cancelled|review' })),
-                priority: Type.Optional(Type.Number({ description: 'New priority' })),
-                softConditions: Type.Optional(Type.String({ description: 'Updated soft conditions' })),
-                rationale: Type.Optional(Type.String({ description: 'Updated rationale' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const { thesisId, strategyId, ...updates } = params;
-                const result = await sfClient.updateStrategyAPI(thesisId, strategyId, updates);
-                return { content: [{ type: 'text', text: JSON.stringify(result) }], details: {} };
-            },
-        },
-        {
-            name: 'get_milestones',
-            label: 'Milestones',
-            description: 'Get upcoming events from Kalshi calendar. Use to check economic releases, political events, or other catalysts coming up that might affect the thesis.',
-            parameters: Type.Object({
-                hours: Type.Optional(Type.Number({ description: 'Hours ahead to look (default 168 = 1 week)' })),
-                category: Type.Optional(Type.String({ description: 'Filter by category (e.g. Economics, Politics, Sports)' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const hours = params.hours || 168;
-                const now = new Date();
-                const url = `https://api.elections.kalshi.com/trade-api/v2/milestones?limit=200&minimum_start_date=${now.toISOString()}` +
-                    (params.category ? `&category=${params.category}` : '');
-                const res = await fetch(url, { headers: { 'Accept': 'application/json' } });
-                if (!res.ok)
-                    return { content: [{ type: 'text', text: `Milestones API error: ${res.status}` }], details: {} };
-                const data = await res.json();
-                const cutoff = now.getTime() + hours * 3600000;
-                const filtered = (data.milestones || [])
-                    .filter((m) => new Date(m.start_date).getTime() <= cutoff)
-                    .slice(0, 30)
-                    .map((m) => ({
-                    title: m.title,
-                    category: m.category,
-                    start_date: m.start_date,
-                    related_event_tickers: m.related_event_tickers,
-                    hours_until: Math.round((new Date(m.start_date).getTime() - now.getTime()) / 3600000),
-                }));
-                return { content: [{ type: 'text', text: JSON.stringify(filtered, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_forecast',
-            label: 'Forecast',
-            description: 'Get market distribution (P50/P75/P90 percentile history) for a Kalshi event. Shows how market consensus has shifted over time.',
-            parameters: Type.Object({
-                eventTicker: Type.String({ description: 'Kalshi event ticker (e.g. KXWTIMAX-26DEC31)' }),
-                days: Type.Optional(Type.Number({ description: 'Days of history (default 7)' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const { getForecastHistory } = await import('../kalshi.js');
-                const days = params.days || 7;
-                // Get series ticker from event
-                const evtRes = await fetch(`https://api.elections.kalshi.com/trade-api/v2/events/${params.eventTicker}`, { headers: { 'Accept': 'application/json' } });
-                if (!evtRes.ok)
-                    return { content: [{ type: 'text', text: `Event not found: ${params.eventTicker}` }], details: {} };
-                const evtData = await evtRes.json();
-                const seriesTicker = evtData.event?.series_ticker;
-                if (!seriesTicker)
-                    return { content: [{ type: 'text', text: `No series_ticker for ${params.eventTicker}` }], details: {} };
-                const history = await getForecastHistory({
-                    seriesTicker,
-                    eventTicker: params.eventTicker,
-                    percentiles: [5000, 7500, 9000],
-                    startTs: Math.floor((Date.now() - days * 86400000) / 1000),
-                    endTs: Math.floor(Date.now() / 1000),
-                    periodInterval: 1440,
-                });
-                if (!history || history.length === 0)
-                    return { content: [{ type: 'text', text: 'No forecast data available' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(history, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_settlements',
-            label: 'Settlements',
-            description: 'Get settled (resolved) contracts with P&L. Shows which contracts won/lost and realized returns.',
-            parameters: Type.Object({
-                ticker: Type.Optional(Type.String({ description: 'Filter by market ticker' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const { getSettlements } = await import('../kalshi.js');
-                const result = await getSettlements({ limit: 100, ticker: params.ticker });
-                if (!result)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(result.settlements, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_balance',
-            label: 'Balance',
-            description: 'Get Kalshi account balance and portfolio value.',
-            parameters: emptyParams,
-            execute: async () => {
-                const { getBalance } = await import('../kalshi.js');
-                const result = await getBalance();
-                if (!result)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_orders',
-            label: 'Orders',
-            description: 'Get current resting orders on Kalshi. Stale orders (>7 days old AND >10¢ from market) are flagged.',
-            parameters: Type.Object({
-                status: Type.Optional(Type.String({ description: 'Filter by status: resting, canceled, executed. Default: resting' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const { getOrders, getMarketPrice } = await import('../kalshi.js');
-                const result = await getOrders({ status: params.status || 'resting', limit: 100 });
-                if (!result)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                // Enrich orders with staleness detection
-                const enriched = await Promise.all((result.orders || []).map(async (order) => {
-                    const daysSinceCreated = order.created_time
-                        ? Math.round((Date.now() - new Date(order.created_time).getTime()) / 86400000)
-                        : null;
-                    let distanceFromMarket = null;
-                    let stale = false;
-                    try {
-                        const price = await getMarketPrice(order.ticker);
-                        if (price != null && order.yes_price_dollars) {
-                            distanceFromMarket = Math.round(Math.abs(price - parseFloat(order.yes_price_dollars)) * 100);
-                            if (daysSinceCreated != null && daysSinceCreated > 7 && distanceFromMarket > 10)
-                                stale = true;
-                        }
-                    }
-                    catch { }
-                    return { ...order, daysSinceCreated, distanceFromMarket, stale };
-                }));
-                return { content: [{ type: 'text', text: JSON.stringify(enriched, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_fills',
-            label: 'Fills',
-            description: 'Get recent trade fills (executed trades) on Kalshi.',
-            parameters: Type.Object({
-                ticker: Type.Optional(Type.String({ description: 'Filter by market ticker' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const { getFills } = await import('../kalshi.js');
-                const result = await getFills({ ticker: params.ticker, limit: 50 });
-                if (!result)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(result.fills, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_liquidity',
-            label: 'Liquidity Scanner',
-            description: 'Scan orderbook liquidity for a topic across Kalshi + Polymarket. Returns spread, depth, liquidity scores. Topics: ' + Object.keys(topics_js_1.TOPIC_SERIES).join(', '),
-            parameters: Type.Object({
-                topic: Type.String({ description: 'Topic to scan (e.g. oil, crypto, fed, geopolitics)' }),
-            }),
-            execute: async (_toolCallId, params) => {
-                const topicKey = params.topic.toLowerCase();
-                const seriesList = topics_js_1.TOPIC_SERIES[topicKey];
-                if (!seriesList) {
-                    return { content: [{ type: 'text', text: `Unknown topic "${params.topic}". Available: ${Object.keys(topics_js_1.TOPIC_SERIES).join(', ')}` }], details: {} };
-                }
-                const results = [];
-                for (const series of seriesList) {
-                    try {
-                        const url = `https://api.elections.kalshi.com/trade-api/v2/markets?series_ticker=${series}&status=open&limit=200`;
-                        const res = await fetch(url, { headers: { Accept: 'application/json' } });
-                        if (!res.ok)
-                            continue;
-                        const markets = (await res.json()).markets || [];
-                        const obResults = await Promise.allSettled(markets.slice(0, 20).map((m) => (0, kalshi_js_1.getPublicOrderbook)(m.ticker).then(ob => ({ ticker: m.ticker, title: m.title, ob }))));
-                        for (const r of obResults) {
-                            if (r.status !== 'fulfilled' || !r.value.ob)
-                                continue;
-                            const { ticker, title, ob } = r.value;
-                            const yes = (ob.yes_dollars || []).map(([p, q]) => ({ price: Math.round(parseFloat(p) * 100), qty: parseFloat(q) })).filter((l) => l.price > 0).sort((a, b) => b.price - a.price);
-                            const no = (ob.no_dollars || []).map(([p, q]) => ({ price: Math.round(parseFloat(p) * 100), qty: parseFloat(q) })).filter((l) => l.price > 0).sort((a, b) => b.price - a.price);
-                            const bestBid = yes[0]?.price || 0;
-                            const bestAsk = no.length > 0 ? (100 - no[0].price) : 100;
-                            const spread = bestAsk - bestBid;
-                            const depth = yes.slice(0, 3).reduce((s, l) => s + l.qty, 0) + no.slice(0, 3).reduce((s, l) => s + l.qty, 0);
-                            const liq = spread <= 2 && depth >= 500 ? 'high' : spread <= 5 && depth >= 100 ? 'medium' : 'low';
-                            results.push({ venue: 'kalshi', ticker, title: (title || '').slice(0, 50), bestBid, bestAsk, spread, depth: Math.round(depth), liquidityScore: liq });
-                        }
-                    }
-                    catch { /* skip */ }
-                }
-                try {
-                    const events = await (0, polymarket_js_1.polymarketSearch)(topicKey, 5);
-                    for (const event of events) {
-                        for (const m of (event.markets || []).slice(0, 5)) {
-                            if (!m.active || m.closed || !m.clobTokenIds)
-                                continue;
-                            const ids = (0, polymarket_js_1.parseClobTokenIds)(m.clobTokenIds);
-                            if (!ids)
-                                continue;
-                            const d = await (0, polymarket_js_1.polymarketGetOrderbookWithDepth)(ids[0]);
-                            if (!d)
-                                continue;
-                            results.push({ venue: 'polymarket', ticker: (m.question || event.title).slice(0, 50), bestBid: d.bestBid, bestAsk: d.bestAsk, spread: d.spread, depth: d.bidDepthTop3 + d.askDepthTop3, liquidityScore: d.liquidityScore });
-                        }
-                    }
-                }
-                catch { /* skip */ }
-                results.sort((a, b) => a.spread - b.spread);
-                return { content: [{ type: 'text', text: JSON.stringify(results, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'inspect_book',
-            label: 'Orderbook',
-            description: 'Get orderbook depth, spread, and liquidity. Returns a status field per market: "ok", "empty_orderbook", "market_closed", or "api_error". Supports multiple tickers in one call — use tickers array for batch position checks.',
-            parameters: Type.Object({
-                ticker: Type.Optional(Type.String({ description: 'Single Kalshi market ticker (e.g. KXWTIMAX-26DEC31-T135)' })),
-                tickers: Type.Optional(Type.Array(Type.String(), { description: 'Multiple Kalshi tickers for batch check (e.g. ["T$135", "T$140", "T$150"])' })),
-                polyQuery: Type.Optional(Type.String({ description: 'Search Polymarket by keyword (e.g. "oil price above 100")' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const results = [];
-                // Batch: expand tickers array into individual lookups
-                const tickerList = [];
-                if (params.tickers?.length)
-                    tickerList.push(...params.tickers);
-                else if (params.ticker)
-                    tickerList.push(params.ticker);
-                for (const tkr of tickerList) {
-                    try {
-                        const market = await (0, client_js_1.kalshiFetchMarket)(tkr);
-                        const mStatus = market.status || 'unknown';
-                        if (mStatus !== 'open' && mStatus !== 'active') {
-                            results.push({
-                                venue: 'kalshi', ticker: tkr, title: market.title,
-                                status: 'market_closed', reason: `Market status: ${mStatus}. Orderbook unavailable for closed/settled markets.`,
-                                lastPrice: Math.round(parseFloat(market.last_price_dollars || '0') * 100),
-                            });
-                        }
-                        else {
-                            const ob = await (0, kalshi_js_1.getPublicOrderbook)(tkr);
-                            const yesBids = (ob?.yes_dollars || [])
-                                .map(([p, q]) => ({ price: Math.round(parseFloat(p) * 100), size: Math.round(parseFloat(q)) }))
-                                .filter((l) => l.price > 0).sort((a, b) => b.price - a.price);
-                            const noAsks = (ob?.no_dollars || [])
-                                .map(([p, q]) => ({ price: Math.round(parseFloat(p) * 100), size: Math.round(parseFloat(q)) }))
-                                .filter((l) => l.price > 0).sort((a, b) => b.price - a.price);
-                            if (yesBids.length === 0 && noAsks.length === 0) {
-                                results.push({
-                                    venue: 'kalshi', ticker: tkr, title: market.title,
-                                    status: 'empty_orderbook', reason: 'Market open but no resting orders. Normal for illiquid/OTM contracts. Use lastPrice as reference.',
-                                    lastPrice: Math.round(parseFloat(market.last_price_dollars || '0') * 100),
-                                    volume24h: parseFloat(market.volume_24h_fp || '0'),
-                                    openInterest: parseFloat(market.open_interest_fp || '0'),
-                                    expiry: market.close_time || null,
-                                });
-                            }
-                            else {
-                                const bestBid = yesBids[0]?.price || 0;
-                                const bestAsk = noAsks.length > 0 ? (100 - noAsks[0].price) : (yesBids[0] ? yesBids[0].price + 1 : 100);
-                                const spread = bestAsk - bestBid;
-                                const top3Depth = yesBids.slice(0, 3).reduce((s, l) => s + l.size, 0) + noAsks.slice(0, 3).reduce((s, l) => s + l.size, 0);
-                                const liq = spread <= 2 && top3Depth >= 500 ? 'high' : spread <= 5 && top3Depth >= 100 ? 'medium' : 'low';
-                                results.push({
-                                    venue: 'kalshi', ticker: tkr, title: market.title, status: 'ok',
-                                    bestBid, bestAsk, spread, liquidityScore: liq,
-                                    bidLevels: yesBids.slice(0, 5), askLevels: noAsks.slice(0, 5).map((l) => ({ price: 100 - l.price, size: l.size })),
-                                    totalBidDepth: yesBids.reduce((s, l) => s + l.size, 0),
-                                    totalAskDepth: noAsks.reduce((s, l) => s + l.size, 0),
-                                    lastPrice: Math.round(parseFloat(market.last_price_dollars || '0') * 100),
-                                    volume24h: parseFloat(market.volume_24h_fp || '0'),
-                                    openInterest: parseFloat(market.open_interest_fp || '0'),
-                                    expiry: market.close_time || null,
-                                });
-                            }
-                        }
-                    }
-                    catch (err) {
-                        results.push({ venue: 'kalshi', ticker: tkr, status: 'api_error', reason: `Kalshi API error: ${err.message}` });
-                    }
-                }
-                if (params.polyQuery) {
-                    try {
-                        const events = await (0, polymarket_js_1.polymarketSearch)(params.polyQuery, 5);
-                        for (const event of events) {
-                            for (const m of (event.markets || []).slice(0, 3)) {
-                                if (!m.active || m.closed || !m.clobTokenIds)
-                                    continue;
-                                const ids = (0, polymarket_js_1.parseClobTokenIds)(m.clobTokenIds);
-                                if (!ids)
-                                    continue;
-                                const depth = await (0, polymarket_js_1.polymarketGetOrderbookWithDepth)(ids[0]);
-                                if (!depth)
-                                    continue;
-                                const prices = (0, polymarket_js_1.parseOutcomePrices)(m.outcomePrices);
-                                results.push({
-                                    venue: 'polymarket', title: m.question || event.title,
-                                    bestBid: depth.bestBid, bestAsk: depth.bestAsk, spread: depth.spread,
-                                    liquidityScore: depth.liquidityScore,
-                                    totalBidDepth: depth.totalBidDepth, totalAskDepth: depth.totalAskDepth,
-                                    lastPrice: prices[0] ? Math.round(prices[0] * 100) : 0,
-                                    volume24h: m.volume24hr || 0,
-                                });
-                            }
-                        }
-                    }
-                    catch { /* skip */ }
-                }
-                if (results.length === 0) {
-                    return { content: [{ type: 'text', text: 'No markets found. Provide ticker (Kalshi) or polyQuery (Polymarket search).' }], details: {} };
-                }
-                return { content: [{ type: 'text', text: JSON.stringify(results, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_schedule',
-            label: 'Schedule',
-            description: 'Get exchange status (open/closed) and trading hours. Use to check if low liquidity is due to off-hours.',
-            parameters: emptyParams,
-            execute: async () => {
-                try {
-                    const res = await fetch('https://api.elections.kalshi.com/trade-api/v2/exchange/status', { headers: { 'Accept': 'application/json' } });
-                    if (!res.ok)
-                        return { content: [{ type: 'text', text: `Exchange API error: ${res.status}` }], details: {} };
-                    const data = await res.json();
-                    return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-                }
-                catch (err) {
-                    return { content: [{ type: 'text', text: `Failed: ${err.message}` }], details: {} };
-                }
-            },
-        },
-        {
-            name: 'create_thesis',
-            label: 'Create Thesis',
-            description: 'Create a new thesis from a raw thesis statement. Returns the thesis ID, confidence, node count, and edge count. In explorer mode, this automatically transitions to thesis mode.',
-            parameters: Type.Object({
-                rawThesis: Type.String({ description: 'The raw thesis statement to create' }),
-                webhookUrl: Type.Optional(Type.String({ description: 'Optional webhook URL for notifications' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const result = await sfClient.createThesis(params.rawThesis, true);
-                const thesis = result.thesis || result;
-                const nodeCount = thesis.causalTree?.nodes?.length || 0;
-                const edgeCount = (thesis.edges || []).length;
-                const confidence = typeof thesis.confidence === 'number' ? Math.round(thesis.confidence * 100) : 0;
-                // ── Auto-transition from explorer to thesis mode ──────────────────
-                if (explorerMode && thesis.id) {
-                    explorerMode = false;
-                    resolvedThesisId = thesis.id;
-                    try {
-                        latestContext = await sfClient.getContext(thesis.id);
-                        const newPrompt = buildSystemPrompt(latestContext);
-                        agent.setSystemPrompt(newPrompt);
-                        footerBar.setFromContext(latestContext, initialPositions || undefined);
-                        tui.requestRender();
-                    }
-                    catch { /* context fetch failed, still switch */ }
-                }
-                return {
-                    content: [{ type: 'text', text: `Thesis created.\nID: ${thesis.id}\nConfidence: ${confidence}%\nNodes: ${nodeCount}\nEdges: ${edgeCount}\n\nHeartbeat engine is now monitoring this thesis 24/7. Use /switch ${thesis.id?.slice(0, 8)} to focus on it.` }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'get_edges',
-            label: 'Get Edges',
-            description: 'Get top edges across all active theses. Returns the top 10 edges sorted by absolute edge size with ticker, market name, edge size, direction, and venue.',
-            parameters: emptyParams,
-            execute: async () => {
-                const { theses } = await sfClient.listTheses();
-                const activeTheses = (theses || []).filter((t) => t.status === 'active' || t.status === 'monitoring');
-                const results = await Promise.allSettled(activeTheses.map(async (t) => {
-                    const ctx = await sfClient.getContext(t.id);
-                    return (ctx.edges || []).map((e) => ({ ...e, thesisId: t.id }));
-                }));
-                const allEdges = [];
-                for (const r of results) {
-                    if (r.status === 'fulfilled')
-                        allEdges.push(...r.value);
-                }
-                allEdges.sort((a, b) => Math.abs(b.edge || b.edgeSize || 0) - Math.abs(a.edge || a.edgeSize || 0));
-                const top10 = allEdges.slice(0, 10).map((e) => ({
-                    ticker: e.marketId || e.ticker || '-',
-                    market: e.market || e.marketTitle || '-',
-                    edge: e.edge || e.edgeSize || 0,
-                    direction: e.direction || 'yes',
-                    venue: e.venue || 'kalshi',
-                }));
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(top10, null, 2) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'get_feed',
-            label: 'Get Feed',
-            description: 'Get evaluation history with topSignal highlighting. The most important signal (largest confidence change or most actionable) is surfaced first so you don\'t have to scan all entries.',
-            parameters: Type.Object({
-                hours: Type.Optional(Type.Number({ description: 'Hours of history to fetch (default 24)' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const result = await sfClient.getFeed(params.hours || 24);
-                const items = Array.isArray(result) ? result : (result?.evaluations || result?.items || []);
-                // Find the most important signal: largest |confidenceDelta|, or newest with actual content
-                let topSignal = null;
-                let topScore = 0;
-                for (const item of items) {
-                    let score = 0;
-                    const delta = Math.abs(item.confidenceDelta || item.confidence_delta || 0);
-                    if (delta > 0)
-                        score = delta * 100; // confidence changes are most important
-                    else if (item.summary?.length > 50)
-                        score = 0.1; // has substance but no delta
-                    if (score > topScore) {
-                        topScore = score;
-                        topSignal = item;
-                    }
-                }
-                const output = { total: items.length };
-                if (topSignal) {
-                    output.topSignal = {
-                        summary: topSignal.summary || topSignal.content || '',
-                        confidenceDelta: topSignal.confidenceDelta || topSignal.confidence_delta || 0,
-                        evaluatedAt: topSignal.evaluatedAt || topSignal.evaluated_at || topSignal.createdAt || '',
-                        why: topScore > 1 ? 'Largest confidence movement in this period'
-                            : topScore > 0 ? 'Most substantive evaluation (no confidence change)'
-                                : 'Most recent evaluation',
-                    };
-                }
-                output.items = items;
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(output, null, 2) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'get_changes',
-            label: 'Get Changes',
-            description: 'Get recent market changes detected server-side. Returns real price moves (>5¢), new contracts, and removed/settled contracts across Kalshi, Polymarket, and traditional markets. Checked every 15 minutes. Use for situational awareness, discovering new opportunities, or checking if anything material happened recently.',
-            parameters: Type.Object({
-                hours: Type.Optional(Type.Number({ description: 'Hours of history (default 1)' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const hours = params.hours || 1;
-                const since = new Date(Date.now() - hours * 60 * 60 * 1000).toISOString();
-                const apiUrl = process.env.SF_API_URL || 'https://simplefunctions.dev';
-                const res = await fetch(`${apiUrl}/api/changes?since=${encodeURIComponent(since)}&limit=100`);
-                if (!res.ok) {
-                    return { content: [{ type: 'text', text: JSON.stringify({ error: `API error ${res.status}` }) }], details: {} };
-                }
-                const data = await res.json();
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(data, null, 2) }],
-                    details: {},
-                };
-            },
-        },
-    ];
-    // ── What-if tool (always available) ────────────────────────────────────────
-    tools.push({
-        name: 'what_if',
-        label: 'What-If',
-        description: 'Run a what-if scenario: override causal tree node probabilities and see how edges and confidence change. Zero LLM cost — pure computation. Use when user asks "what if X happens?" or "what if this node drops to Y%?".',
-        parameters: Type.Object({
-            overrides: Type.Array(Type.Object({
-                nodeId: Type.String({ description: 'Causal tree node ID (e.g. n1, n3.1)' }),
-                newProbability: Type.Number({ description: 'New probability 0-1' }),
-            }), { description: 'Node probability overrides' }),
-        }),
-        execute: async (_toolCallId, params) => {
-            // Refresh context before simulation to avoid stale confidence values
-            if (resolvedThesisId) {
-                try {
-                    latestContext = await sfClient.getContext(resolvedThesisId);
-                }
-                catch { }
-            }
-            const ctx = latestContext;
-            const allNodes = [];
-            function flatten(nodes) {
-                for (const n of nodes) {
-                    allNodes.push(n);
-                    if (n.children?.length)
-                        flatten(n.children);
-                }
-            }
-            const rawNodes = ctx.causalTree?.nodes || [];
-            flatten(rawNodes);
-            const treeNodes = rawNodes.filter((n) => n.depth === 0 || (n.depth === undefined && !n.id.includes('.')));
-            const overrideMap = new Map(params.overrides.map((o) => [o.nodeId, o.newProbability]));
-            // Propagate child node overrides to parent nodes.
-            // If n2.2 is overridden, recalculate n2's effective probability
-            // as the average of its children's (possibly overridden) probabilities.
-            function effectiveProb(node) {
-                // Direct override on this node
-                if (overrideMap.has(node.id))
-                    return overrideMap.get(node.id);
-                // If node has children, aggregate from children
-                if (node.children?.length > 0) {
-                    const childProbs = node.children.map((c) => effectiveProb(c));
-                    const childImps = node.children.map((c) => c.importance || 1);
-                    const totalImp = childImps.reduce((s, w) => s + w, 0);
-                    if (totalImp > 0) {
-                        return childProbs.reduce((s, p, i) => s + p * childImps[i], 0) / totalImp;
-                    }
-                    return childProbs.reduce((s, p) => s + p, 0) / childProbs.length;
-                }
-                return node.probability ?? 0;
-            }
-            const oldConf = treeNodes.reduce((s, n) => s + (n.probability || 0) * (n.importance || 0), 0);
-            const newConf = treeNodes.reduce((s, n) => {
-                return s + effectiveProb(n) * (n.importance || 0);
-            }, 0);
-            const nodeScales = new Map();
-            for (const [nid, np] of overrideMap.entries()) {
-                const nd = allNodes.find((n) => n.id === nid);
-                if (nd && nd.probability > 0)
-                    nodeScales.set(nid, Math.max(0, Math.min(2, np / nd.probability)));
-            }
-            const edges = (ctx.edges || []).map((edge) => {
-                const relNode = edge.relatedNodeId;
-                let scaleFactor = 1;
-                if (relNode) {
-                    const candidates = [relNode, relNode.split('.').slice(0, -1).join('.'), relNode.split('.')[0]].filter(Boolean);
-                    for (const cid of candidates) {
-                        if (nodeScales.has(cid)) {
-                            scaleFactor = nodeScales.get(cid);
-                            break;
-                        }
-                    }
-                }
-                const mkt = edge.marketPrice || 0;
-                const oldTP = edge.thesisPrice || edge.thesisImpliedPrice || mkt;
-                const oldEdge = edge.edge || edge.edgeSize || 0;
-                const newTP = Math.round((mkt + (oldTP - mkt) * scaleFactor) * 100) / 100;
-                const dir = edge.direction || 'yes';
-                const newEdge = Math.round((dir === 'yes' ? newTP - mkt : mkt - newTP) * 100) / 100;
-                return {
-                    market: edge.market || edge.marketTitle || edge.marketId,
-                    marketPrice: mkt,
-                    oldEdge,
-                    newEdge,
-                    delta: newEdge - oldEdge,
-                    signal: Math.abs(newEdge - oldEdge) < 1 ? 'unchanged' : (oldEdge > 0 && newEdge < 0) || (oldEdge < 0 && newEdge > 0) ? 'REVERSED' : Math.abs(newEdge) < 2 ? 'GONE' : 'reduced',
-                };
-            }).filter((e) => e.signal !== 'unchanged');
-            // Server confidence = LLM's holistic assessment (includes factors beyond the tree)
-            // Tree confidence = weighted sum of node probabilities (pure math from causal tree)
-            // These measure different things and will often differ.
-            const serverConf = ctx.confidence != null ? Math.round(Number(ctx.confidence) * 100) : null;
-            const result = {
-                overrides: params.overrides.map((o) => {
-                    const node = allNodes.find((n) => n.id === o.nodeId);
-                    return { nodeId: o.nodeId, label: node?.label || o.nodeId, oldProb: node?.probability, newProb: o.newProbability };
-                }),
-                serverConfidence: serverConf,
-                treeConfidence: { old: Math.round(oldConf * 100), new: Math.round(newConf * 100), delta: Math.round((newConf - oldConf) * 100) },
-                note: serverConf != null && Math.abs(serverConf - Math.round(oldConf * 100)) > 5
-                    ? `serverConfidence (${serverConf}%) differs from treeConfidence (${Math.round(oldConf * 100)}%) because the LLM evaluation considers factors beyond the causal tree.`
-                    : undefined,
-                affectedEdges: edges,
-            };
-            return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-        },
-    });
-    // ── X (Twitter) tools ─────────────────────────────────────────────────────
-    tools.push({
-        name: 'search_x',
-        label: 'X Search',
-        description: 'Search X (Twitter) for recent discussions on a topic. Returns top posts with engagement metrics, sentiment analysis, and key themes. Use for social signal research on any prediction market topic.',
-        parameters: Type.Object({
-            query: Type.String({ description: 'Search query (e.g. "iran oil", "fed rate cut", "$BTC")' }),
-            mode: Type.Optional(Type.String({ description: '"summary" (default, with AI analysis) or "raw" (just posts)' })),
-            hours: Type.Optional(Type.Number({ description: 'Hours of history (default 24)' })),
-        }),
-        execute: async (_toolCallId, params) => {
-            const data = await sfClient.searchX(params.query, { mode: params.mode, hours: params.hours });
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    }, {
-        name: 'x_volume',
-        label: 'X Volume',
-        description: 'Get X discussion volume trend for a topic — total posts, velocity change vs prior period, peak time, and hourly timeseries. Use to detect social momentum shifts.',
-        parameters: Type.Object({
-            query: Type.String({ description: 'Search query' }),
-            hours: Type.Optional(Type.Number({ description: 'Hours of history (default 72)' })),
-        }),
-        execute: async (_toolCallId, params) => {
-            const data = await sfClient.getXVolume(params.query, { hours: params.hours });
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    }, {
-        name: 'x_news',
-        label: 'X News',
-        description: 'Get news stories trending on X — titles, summaries, categories, and ticker mentions. Use for breaking news and narrative tracking.',
-        parameters: Type.Object({
-            query: Type.String({ description: 'Search query' }),
-            limit: Type.Optional(Type.Number({ description: 'Max stories (default 10)' })),
-        }),
-        execute: async (_toolCallId, params) => {
-            const data = await sfClient.searchXNews(params.query, { limit: params.limit });
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    }, {
-        name: 'x_account',
-        label: 'X Account',
-        description: 'Get recent posts from a specific X account. Use to track key opinion leaders, officials, or analysts.',
-        parameters: Type.Object({
-            username: Type.String({ description: 'X username (with or without @)' }),
-            hours: Type.Optional(Type.Number({ description: 'Hours of history (default 24)' })),
-        }),
-        execute: async (_toolCallId, params) => {
-            const data = await sfClient.getXAccount(params.username, { hours: params.hours });
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    }, {
-        name: 'heartbeat_config',
-        label: 'Heartbeat Config',
-        description: 'View or update heartbeat settings for a thesis: scan intervals, model tier, budget cap, pause/resume. Also shows this month\'s cost breakdown.',
-        parameters: Type.Object({
-            thesisId: Type.String({ description: 'Thesis ID' }),
-            newsIntervalMin: Type.Optional(Type.Number({ description: 'News scan interval in minutes (15-1440)' })),
-            xIntervalMin: Type.Optional(Type.Number({ description: 'X scan interval in minutes (60-1440)' })),
-            evalModelTier: Type.Optional(Type.String({ description: 'Eval model: cheap, medium, or heavy' })),
-            monthlyBudgetUsd: Type.Optional(Type.Number({ description: 'Monthly budget cap in USD (0 = unlimited)' })),
-            paused: Type.Optional(Type.Boolean({ description: 'Pause (true) or resume (false) heartbeat' })),
-        }),
-        execute: async (_toolCallId, params) => {
-            const hasUpdates = params.newsIntervalMin || params.xIntervalMin || params.evalModelTier || params.monthlyBudgetUsd !== undefined || params.paused !== undefined;
-            if (hasUpdates) {
-                const updates = {};
-                if (params.newsIntervalMin)
-                    updates.newsIntervalMin = params.newsIntervalMin;
-                if (params.xIntervalMin)
-                    updates.xIntervalMin = params.xIntervalMin;
-                if (params.evalModelTier)
-                    updates.evalModelTier = params.evalModelTier;
-                if (params.monthlyBudgetUsd !== undefined)
-                    updates.monthlyBudgetUsd = params.monthlyBudgetUsd;
-                if (params.paused !== undefined)
-                    updates.paused = params.paused;
-                await sfClient.updateHeartbeatConfig(params.thesisId, updates);
-            }
-            const data = await sfClient.getHeartbeatConfig(params.thesisId);
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    });
-    // ── Trading tools (conditional on tradingEnabled) ──────────────────────────
-    const config = (0, config_js_1.loadConfig)();
-    if (config.tradingEnabled) {
-        tools.push({
-            name: 'place_order',
-            label: 'Place Order',
-            description: 'Place a buy or sell order on Kalshi. Shows a preview and asks for user confirmation before executing. Use for limit or market orders.',
-            parameters: Type.Object({
-                ticker: Type.String({ description: 'Market ticker e.g. KXWTIMAX-26DEC31-T135' }),
-                side: Type.String({ description: 'yes or no' }),
-                action: Type.String({ description: 'buy or sell' }),
-                type: Type.String({ description: 'limit or market' }),
-                count: Type.Number({ description: 'Number of contracts' }),
-                price_cents: Type.Optional(Type.Number({ description: 'Limit price in cents (1-99). Required for limit orders.' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const { createOrder } = await import('../kalshi.js');
-                const priceCents = params.price_cents ? Math.round(Number(params.price_cents)) : undefined;
-                const maxCost = ((priceCents || 99) * params.count / 100).toFixed(2);
-                // Show preview
-                const preview = [
-                    C.zinc200(bold('ORDER PREVIEW')),
-                    `  Ticker:   ${params.ticker}`,
-                    `  Side:     ${params.side === 'yes' ? C.emerald('YES') : C.red('NO')}`,
-                    `  Action:   ${params.action.toUpperCase()}`,
-                    `  Quantity: ${params.count}`,
-                    `  Type:     ${params.type}`,
-                    priceCents ? `  Price:    ${priceCents}\u00A2` : '',
-                    `  Max cost: $${maxCost}`,
-                ].filter(Boolean).join('\n');
-                addSystemText(preview);
-                addSpacer();
-                tui.requestRender();
-                // Ask for confirmation via promptUser
-                const answer = await promptUser('Execute this order? (y/n)');
-                if (!answer.toLowerCase().startsWith('y')) {
-                    return { content: [{ type: 'text', text: 'Order cancelled by user.' }], details: {} };
-                }
-                try {
-                    const result = await createOrder({
-                        ticker: params.ticker,
-                        side: params.side,
-                        action: params.action,
-                        type: params.type,
-                        count: params.count,
-                        ...(priceCents ? { yes_price: priceCents } : {}),
-                    });
-                    const order = result.order || result;
-                    return {
-                        content: [{ type: 'text', text: `Order placed: ${order.order_id || 'OK'}\nStatus: ${order.status || '-'}\nFilled: ${order.fill_count_fp || 0}/${order.initial_count_fp || params.count}` }],
-                        details: {},
-                    };
-                }
-                catch (err) {
-                    const msg = err.message || String(err);
-                    if (msg.includes('403')) {
-                        return { content: [{ type: 'text', text: '403 Forbidden \u2014 your Kalshi key lacks write permission. Get a read+write key at kalshi.com/account/api-keys' }], details: {} };
-                    }
-                    return { content: [{ type: 'text', text: `Order failed: ${msg}` }], details: {} };
-                }
-            },
-        }, {
-            name: 'cancel_order',
-            label: 'Cancel Order',
-            description: 'Cancel a resting order by order ID.',
-            parameters: Type.Object({
-                order_id: Type.String({ description: 'Order ID to cancel' }),
-            }),
-            execute: async (_toolCallId, params) => {
-                const { cancelOrder } = await import('../kalshi.js');
-                const answer = await promptUser(`Cancel order ${params.order_id}? (y/n)`);
-                if (!answer.toLowerCase().startsWith('y')) {
-                    return { content: [{ type: 'text', text: 'Cancel aborted by user.' }], details: {} };
-                }
-                try {
-                    await cancelOrder(params.order_id);
-                    return { content: [{ type: 'text', text: `Order ${params.order_id} cancelled.` }], details: {} };
-                }
-                catch (err) {
-                    return { content: [{ type: 'text', text: `Cancel failed: ${err.message}` }], details: {} };
-                }
-            },
-        });
-    }
-    // ── System prompt builder ──────────────────────────────────────────────────
-    function buildSystemPrompt(ctx) {
-        const edgesSummary = ctx.edges
-            ?.sort((a, b) => Math.abs(b.edge) - Math.abs(a.edge))
-            .slice(0, 5)
-            .map((e) => `  ${(e.market || '').slice(0, 40)} | ${e.venue || 'kalshi'} | mkt ${e.marketPrice}\u00A2 \u2192 thesis ${e.thesisPrice}\u00A2 | edge ${e.edge > 0 ? '+' : ''}${e.edge} | ${e.orderbook?.liquidityScore || '?'}`)
-            .join('\n') || '  (no edge data)';
-        const nodesSummary = ctx.causalTree?.nodes
-            ?.filter((n) => n.depth === 0)
-            .map((n) => `  ${n.id} ${(n.label || '').slice(0, 40)} \u2014 ${Math.round(n.probability * 100)}%`)
-            .join('\n') || '  (no causal tree)';
-        const conf = typeof ctx.confidence === 'number'
-            ? Math.round(ctx.confidence * 100)
-            : (typeof ctx.confidence === 'string' ? parseInt(ctx.confidence) : 0);
-        return `You are a prediction market trading assistant. Your job is not to please the user \u2014 it is to help them see reality clearly and make correct trading decisions.
-
-## Your analytical framework
-
-Each thesis has a causal tree. Every node is a causal hypothesis with a probability. Nodes have causal relationships \u2014 when upstream nodes change, downstream nodes follow.
-
-Edge = thesis-implied price - actual market price. Positive edge = market underprices. Contracts with large edges AND good liquidity are most tradeable.
-
-executableEdge = real edge after subtracting bid-ask spread. Big theoretical edge with wide spread may not be worth entering.
-
-### Edge diagnosis (always classify)
-When reporting an edge, classify it:
-- "consensus gap": depth >= 500, market actively disagrees — real edge, real opponents
-- "attention gap": depth < 100, no real pricing — edge may be illusory, needs catalyst
-- "timing gap": market directionally agrees but lags — may close suddenly on news
-- "risk premium": edge reflects settlement ambiguity or platform risk, not alpha
-For edges > 20 cents, state in one sentence what must be true for the market to be right and the thesis wrong.
-
-### Price reliability
-47 cents with depth 14K = strong consensus. 47 cents with depth 50 = three people's opinion.
-- depth >= 500: reliable, treat as market consensus
-- depth 100-500: moderate confidence, caveat when citing
-- depth < 100: unreliable — do NOT treat as "the market thinks X"
-- spread > 5 cents: wide disagreement, noisy midpoint
-- liquidityScore = low: do NOT recommend entry
-
-### Kill condition awareness
-Each top-level causal node has an implicit falsifier. When scanning news or evaluating events, check: "Does any event here fundamentally break a core assumption?" If yes, flag immediately — this overrides all other analysis.
-
-### Catalyst and time
-When discussing an edge, always state contract expiry and next identifiable catalyst. No visible catalyst = flag capital lock risk.
-
-### Research workflow
-For complex questions, chain multiple tool calls:
-1. get_context 2. inspect_book 3. get_liquidity 4. web_search 5. search_x 6. synthesize
-Don't answer a complex question with a single tool call.
-
-### Social signal research
-Use search_x to check X/Twitter sentiment on any topic — especially useful for geopolitical events, macro shifts, and breaking news that moves prediction markets. Use x_volume to detect discussion spikes (velocity > 1 = increasing attention). Use x_account to track specific analysts or officials.
-
-### Heartbeat config
-Use heartbeat_config to view or adjust per-thesis heartbeat settings: news/X scan intervals, evaluation model tier (cheap/medium/heavy), monthly budget cap, pause/resume. Also shows this month's cost breakdown (LLM calls, search calls, tokens, spend). Useful when the user asks about costs, wants to slow down/speed up monitoring, or if you detect budget overrun.
-
-### Conditional rules
-- Portfolio/positions questions: flag correlated exposure — positions sharing upstream causal nodes are not independent bets.
-- No catalyst visible within 30 days + edge not improving: flag "stale capital risk."
-- Edges < 10 cents, thin liquidity, no catalyst near: say "nothing to do right now." Do not manufacture urgency.
-
-Short-term markets settle into hard data that calibrates the thesis. Use them to verify node probabilities, not to bet.
-
-## Your behavioral rules
-
-- IMPORTANT: You do NOT know the user's current positions at conversation start. Before discussing trades, recommending entries/exits, or analyzing portfolio risk, call get_positions FIRST. Never assume the user has no positions — they may have large existing holdings you don't know about.
-- Think before calling tools. If the data is already in context, don't re-fetch.
-- If the user says "note this" or mentions a news event, inject a signal. Don't ask "should I note this?"
-- If the user says "evaluate" or "run it", trigger immediately. Don't confirm.
-- Don't end every response with "anything else?" \u2014 the user will ask when they want to.
-- If the user asks about latest news or real-time events, use web_search first, then answer based on results. If you find important information, suggest injecting it as a signal.
-- If you notice an edge narrowing or disappearing, say so proactively. Don't only report good news.
-- If a causal tree node probability seriously contradicts the market price, point it out.
-- Use Chinese if the user writes in Chinese, English if they write in English.
-- For any question about prices, positions, or P&L, ALWAYS call a tool to get fresh data first. Never answer price-related questions using the cached data in this system prompt.
-- Prices are in cents (e.g. 35¢). P&L, cost, and balance are in dollars (e.g. $90.66). Tool outputs are pre-formatted with units — do not re-convert.
-- Align tables. Be precise with numbers to the cent.
-
-## Strategy rules
-
-When the conversation produces a concrete trade idea (specific contract, direction, price conditions), use create_strategy to record it immediately. Don't wait for the user to say "record this."
-- Extract hard conditions (specific prices in cents) into entryBelow/stopLoss/takeProfit.
-- Put fuzzy conditions into softConditions (e.g. "only if n3 > 60%", "spread < 3¢").
-- Put the full reasoning into rationale.
-- After creating, confirm the strategy details.
-- If the user says "change the stop loss on T150 to 30", use update_strategy.
-
-## Trading status
-
-${config.tradingEnabled ? 'Trading is ENABLED. You have place_order and cancel_order tools.' : 'Trading is DISABLED. You cannot place or cancel orders. Tell the user to run `sf setup --enable-trading` to unlock trading.'}
-
-## Current thesis state
-
-Thesis: ${ctx.thesis || ctx.rawThesis || 'N/A'}
-ID: ${ctx.thesisId || resolvedThesisId}
-Confidence: ${conf}%
-Status: ${ctx.status}
-
-Top-level causal tree nodes:
-${nodesSummary}
-
-Top 5 edges by magnitude:
-${edgesSummary}
-
-${ctx.lastEvaluation?.summary ? `Latest evaluation summary: ${ctx.lastEvaluation.summary.slice(0, 300)}` : ''}`;
-    }
-    function buildExplorerPrompt(ctx) {
-        const config = (0, config_js_1.loadConfig)();
-        const theseCount = ctx.theses?.length || 0;
-        const edgeCount = ctx.edges?.length || 0;
-        const topEdges = (ctx.edges || [])
-            .sort((a, b) => Math.abs(b.edge) - Math.abs(a.edge))
-            .slice(0, 5)
-            .map((e) => `  ${(e.title || '').slice(0, 40)} | ${e.venue || 'kalshi'} | mkt ${e.price}¢ | edge +${e.edge}`)
-            .join('\n') || '  (no edges)';
-        return `You are a prediction market research assistant with access to live data across Kalshi, Polymarket, X/Twitter, and traditional markets.
-
-You are in EXPLORER MODE — not bound to any specific thesis. Help the user research, compare, and understand prediction market data across all sources.
-
-## What you can do
-- Search and compare markets across Kalshi and Polymarket (scan_markets)
-- Answer questions with live market data + LLM synthesis (query)
-- Check traditional market prices — SPY, VIX, gold, oil, bonds (get_markets)
-- Browse public theses and their edges (explore_public)
-- Search X/Twitter for sentiment and breaking news (search_x, x_volume, x_news)
-- Check orderbook depth and liquidity (inspect_book, get_liquidity)
-- View user positions across venues (get_positions)
-- Create a new thesis when the user forms a view (create_thesis)
-
-## CRITICAL: Thesis creation transition
-When the user expresses a market view worth tracking — explicitly ("create a thesis") or implicitly ("I think oil stays above $100", "the war won't end soon") — use create_thesis to create it. After creation, tell the user: "Thesis created. The heartbeat engine is now monitoring this 24/7. Use /switch <id> to focus on it."
-
-## Your analytical framework
-Edge = thesis price - market price. Positive = market underprices.
-Edge types: "consensus_gap" (real disagreement), "attention_gap" (no real pricing), "timing_gap" (market lags), "risk_premium" (settlement risk).
-Price reliability: depth >= 500 = consensus. depth < 100 = unreliable. spread > 5¢ = noisy.
-Always state contract expiry and next catalyst. No catalyst = capital lock risk.
-
-## Your behavioral rules
-- Be concise. Use tools for fresh data. Don't guess prices.
-- You do NOT know the user's positions at start. Call get_positions before discussing trades.
-- If user mentions news, offer to create a thesis or inject a signal if one exists.
-- Don't end with "anything else?"
-- Use Chinese if user writes Chinese, English if English.
-- Prices in cents (¢). P&L in dollars ($).
-
-## Trading status
-${config.tradingEnabled ? 'Trading is ENABLED.' : 'Trading is DISABLED. Tell user: sf setup --enable-trading'}
-
-## Current market snapshot
-Public theses tracked: ${theseCount}
-Top edges across all public theses:
-${topEdges}
-`;
-    }
-    const systemPrompt = explorerMode
-        ? buildExplorerPrompt(latestContext)
-        : buildSystemPrompt(latestContext);
-    // ── Create Agent ───────────────────────────────────────────────────────────
-    const agent = new Agent({
-        initialState: {
-            systemPrompt,
-            model,
-            tools,
-            thinkingLevel: 'off',
-        },
-        streamFn: streamSimple,
-        getApiKey: (provider) => {
-            if (provider === 'openrouter')
-                return openrouterKey;
-            return undefined;
-        },
-    });
-    // ── Session restore ────────────────────────────────────────────────────────
-    let sessionRestored = false;
-    if (!opts?.newSession) {
-        const saved = loadSession(resolvedThesisId || '_explorer');
-        if (saved?.messages?.length > 0) {
-            try {
-                // Clean corrupted messages: empty content, missing role, broken alternation
-                const filtered = saved.messages.filter((m) => {
-                    if (!m.role)
-                        return false;
-                    if (Array.isArray(m.content) && m.content.length === 0)
-                        return false;
-                    if (m.role === 'assistant' && !m.content && !m.tool_calls?.length)
-                        return false;
-                    return true;
-                });
-                // Fix alternation: ensure user → assistant → user → assistant
-                // Drop consecutive messages of the same role (keep first)
-                const cleaned = [];
-                for (const m of filtered) {
-                    const lastRole = cleaned.length > 0 ? cleaned[cleaned.length - 1].role : null;
-                    if (m.role === lastRole && m.role !== 'tool') {
-                        // Skip consecutive same-role (except tool messages which can follow each other)
-                        continue;
-                    }
-                    cleaned.push(m);
-                }
-                // Ensure conversation doesn't end with user message (API needs assistant reply)
-                if (cleaned.length > 0 && cleaned[cleaned.length - 1].role === 'user') {
-                    cleaned.pop();
-                }
-                agent.replaceMessages(cleaned);
-                // Always update system prompt with fresh context
-                agent.setSystemPrompt(systemPrompt);
-                sessionRestored = true;
-            }
-            catch { /* corrupt session, start fresh */ }
-        }
-    }
-    // Helper to persist session after each turn
-    function persistSession() {
-        try {
-            const msgs = agent.state.messages;
-            if (msgs.length > 0) {
-                saveSession(resolvedThesisId || '_explorer', currentModelName, msgs);
-            }
-        }
-        catch { /* best-effort save */ }
-    }
-    // ── Subscribe to agent events → update TUI ────────────────────────────────
-    let currentAssistantMd = null;
-    let currentAssistantText = '';
-    let currentLoader = null;
-    const toolStartTimes = new Map();
-    const toolLines = new Map();
-    // Throttle renders during streaming to prevent flicker (max ~15fps)
-    let renderTimer = null;
-    function throttledRender() {
-        if (renderTimer)
-            return;
-        renderTimer = setTimeout(() => {
-            renderTimer = null;
-            tui.requestRender();
-        }, 66);
-    }
-    function flushRender() {
-        if (renderTimer) {
-            clearTimeout(renderTimer);
-            renderTimer = null;
-        }
-        tui.requestRender();
-    }
-    agent.subscribe((event) => {
-        if (event.type === 'message_start') {
-            // Show loader while waiting for first text
-            currentAssistantText = '';
-            currentAssistantMd = null;
-            currentLoader = new Loader(tui, (s) => C.emerald(s), (s) => C.zinc600(s), 'thinking...');
-            currentLoader.start();
-            chatContainer.addChild(currentLoader);
-            tui.requestRender();
-        }
-        if (event.type === 'message_update') {
-            const e = event.assistantMessageEvent;
-            if (e.type === 'text_delta') {
-                // Remove loader on first text delta
-                if (currentLoader) {
-                    currentLoader.stop();
-                    chatContainer.removeChild(currentLoader);
-                    currentLoader = null;
-                    // Create markdown component for assistant response
-                    currentAssistantMd = new Markdown('', 1, 0, mdTheme, mdDefaultStyle);
-                    chatContainer.addChild(currentAssistantMd);
-                }
-                currentAssistantText += e.delta;
-                if (currentAssistantMd) {
-                    currentAssistantMd.setText(currentAssistantText);
-                }
-                // Throttled render to prevent flicker during fast token streaming
-                throttledRender();
-            }
-        }
-        if (event.type === 'message_end') {
-            // Clean up loader if still present (no text was generated)
-            if (currentLoader) {
-                currentLoader.stop();
-                chatContainer.removeChild(currentLoader);
-                currentLoader = null;
-            }
-            // Final render of the complete message
-            if (currentAssistantMd && currentAssistantText) {
-                currentAssistantMd.setText(currentAssistantText);
-            }
-            addSpacer();
-            currentAssistantMd = null;
-            currentAssistantText = '';
-            flushRender();
-        }
-        if (event.type === 'agent_end') {
-            // Agent turn fully complete — safe to accept new input
-            isProcessing = false;
-            persistSession();
-            flushRender();
-            // Deliver queued heartbeat notification if any
-            if (pendingHeartbeatDelta) {
-                const delta = pendingHeartbeatDelta;
-                pendingHeartbeatDelta = null;
-                handleHeartbeatDelta(delta);
-            }
-        }
-        if (event.type === 'tool_execution_start') {
-            const toolLine = new MutableLine(C.zinc600(`  \u25B8 ${event.toolName}...`));
-            toolStartTimes.set(event.toolCallId || event.toolName, Date.now());
-            toolLines.set(event.toolCallId || event.toolName, toolLine);
-            chatContainer.addChild(toolLine);
-            totalToolCalls++;
-            footerBar.toolCount = totalToolCalls;
-            footerBar.update();
-            tui.requestRender();
-        }
-        if (event.type === 'tool_execution_end') {
-            const key = event.toolCallId || event.toolName;
-            const startTime = toolStartTimes.get(key);
-            const elapsed = startTime ? ((Date.now() - startTime) / 1000).toFixed(1) : '?';
-            const line = toolLines.get(key);
-            if (line) {
-                if (event.isError) {
-                    line.setText(C.red(`  \u2717 ${event.toolName} (${elapsed}s) error`));
-                }
-                else {
-                    line.setText(C.zinc600(`  \u25B8 ${event.toolName} `) + C.emerald(`\u2713`) + C.zinc600(` ${elapsed}s`));
-                }
-            }
-            toolStartTimes.delete(key);
-            toolLines.delete(key);
-            tui.requestRender();
-        }
-    });
-    // ── Slash command handlers ─────────────────────────────────────────────────
-    async function handleSlashCommand(cmd) {
-        const parts = cmd.trim().split(/\s+/);
-        const command = parts[0].toLowerCase();
-        switch (command) {
-            case '/help': {
-                addSpacer();
-                addSystemText(C.zinc200(bold('Commands')) + '\n' +
-                    C.emerald('/help      ') + C.zinc400('Show this help') + '\n' +
-                    C.emerald('/tree      ') + C.zinc400('Display causal tree') + '\n' +
-                    C.emerald('/edges     ') + C.zinc400('Display edge/spread table') + '\n' +
-                    C.emerald('/pos       ') + C.zinc400('Display Kalshi positions') + '\n' +
-                    C.emerald('/eval      ') + C.zinc400('Trigger deep evaluation') + '\n' +
-                    C.emerald('/switch <id>') + C.zinc400(' Switch thesis') + '\n' +
-                    C.emerald('/compact   ') + C.zinc400('Compress conversation history') + '\n' +
-                    C.emerald('/new       ') + C.zinc400('Start fresh session') + '\n' +
-                    C.emerald('/model <m> ') + C.zinc400('Switch model') + '\n' +
-                    C.emerald('/env       ') + C.zinc400('Show environment variable status') + '\n' +
-                    (config.tradingEnabled ? (C.zinc600('\u2500'.repeat(30)) + '\n' +
-                        C.emerald('/buy       ') + C.zinc400('TICKER QTY PRICE \u2014 quick buy') + '\n' +
-                        C.emerald('/sell      ') + C.zinc400('TICKER QTY PRICE \u2014 quick sell') + '\n' +
-                        C.emerald('/cancel    ') + C.zinc400('ORDER_ID \u2014 cancel order') + '\n' +
-                        C.zinc600('\u2500'.repeat(30)) + '\n') : '') +
-                    (skills.length > 0 ? (C.zinc600('\u2500'.repeat(30)) + '\n' +
-                        C.zinc200(bold('Skills')) + '\n' +
-                        skills.map(s => C.emerald(`/${s.name.padEnd(10)}`) + C.zinc400(s.description.slice(0, 45))).join('\n') + '\n' +
-                        C.zinc600('\u2500'.repeat(30)) + '\n') : '') +
-                    C.emerald('/clear     ') + C.zinc400('Clear screen (keeps history)') + '\n' +
-                    C.emerald('/exit      ') + C.zinc400('Exit (auto-saves)'));
-                addSpacer();
-                return true;
-            }
-            case '/tree': {
-                addSpacer();
-                if (explorerMode) {
-                    addSystemText(C.zinc400('No thesis selected. Use /switch <id> to pick one, or ask me to create one.'));
-                }
-                else {
-                    try {
-                        latestContext = await sfClient.getContext(resolvedThesisId);
-                        addSystemText(C.zinc200(bold('Causal Tree')) + '\n' + renderCausalTree(latestContext, piTui));
-                    }
-                    catch (err) {
-                        addSystemText(C.red(`Error: ${err.message}`));
-                    }
-                }
-                addSpacer();
-                return true;
-            }
-            case '/edges': {
-                addSpacer();
-                if (explorerMode) {
-                    // Show global public edges
-                    try {
-                        const { fetchGlobalContext } = await import('../client.js');
-                        const global = await fetchGlobalContext();
-                        const edges = (global.edges || []).sort((a, b) => Math.abs(b.edge) - Math.abs(a.edge)).slice(0, 10);
-                        if (edges.length === 0) {
-                            addSystemText(C.zinc400('No public edges available.'));
-                        }
-                        else {
-                            const lines = edges.map((e) => {
-                                const name = (e.title || '').slice(0, 35).padEnd(35);
-                                const venue = (e.venue || 'kalshi').padEnd(5);
-                                const mkt = String(Math.round(e.price || 0)).padStart(3) + '¢';
-                                const edge = '+' + Math.round(e.edge || 0);
-                                return `  ${C.zinc400(name)} ${C.zinc600(venue)} ${C.zinc400(mkt)}  ${C.emerald(edge.padStart(4))}`;
-                            }).join('\n');
-                            addSystemText(C.zinc200(bold('Public Edges')) + '\n' + lines);
-                        }
-                    }
-                    catch (err) {
-                        addSystemText(C.red(`Error: ${err.message}`));
-                    }
-                }
-                else {
-                    try {
-                        latestContext = await sfClient.getContext(resolvedThesisId);
-                        if (cachedPositions) {
-                            latestContext._positions = cachedPositions;
-                        }
-                        addSystemText(C.zinc200(bold('Edges')) + '\n' + renderEdges(latestContext, piTui));
-                    }
-                    catch (err) {
-                        addSystemText(C.red(`Error: ${err.message}`));
-                    }
-                }
-                addSpacer();
-                return true;
-            }
-            case '/pos': {
-                addSpacer();
-                try {
-                    const positions = await (0, kalshi_js_1.getPositions)();
-                    if (!positions) {
-                        addSystemText(C.zinc600('Kalshi not configured'));
-                        return true;
-                    }
-                    for (const pos of positions) {
-                        const livePrice = await (0, kalshi_js_1.getMarketPrice)(pos.ticker);
-                        if (livePrice !== null) {
-                            pos.current_value = livePrice;
-                            pos.unrealized_pnl = Math.round((livePrice - pos.average_price_paid) * pos.quantity);
-                        }
-                    }
-                    cachedPositions = positions;
-                    addSystemText(C.zinc200(bold('Positions')) + '\n' + renderPositions(positions));
-                }
-                catch (err) {
-                    addSystemText(C.red(`Error: ${err.message}`));
-                }
-                addSpacer();
-                return true;
-            }
-            case '/eval': {
-                addSpacer();
-                if (explorerMode) {
-                    addSystemText(C.zinc400('No thesis selected. Use /switch <id> to pick one, or ask me to create one.'));
-                    addSpacer();
-                    return true;
-                }
-                addSystemText(C.zinc600('Triggering evaluation...'));
-                tui.requestRender();
-                try {
-                    const result = await sfClient.evaluate(resolvedThesisId);
-                    addSystemText(C.emerald('Evaluation complete') + '\n' + C.zinc400(JSON.stringify(result, null, 2)));
-                }
-                catch (err) {
-                    addSystemText(C.red(`Error: ${err.message}`));
-                }
-                addSpacer();
-                return true;
-            }
-            case '/model': {
-                const newModel = parts.slice(1).join(' ').trim();
-                if (!newModel) {
-                    addSystemText(C.zinc400(`Current model: ${currentModelName}`));
-                    return true;
-                }
-                addSpacer();
-                currentModelName = newModel.replace(/^openrouter\//, '');
-                model = resolveModel(currentModelName);
-                // Update agent model
-                agent.setModel(model);
-                footerBar.modelName = currentModelName;
-                footerBar.update();
-                addSystemText(C.emerald(`Model switched to ${currentModelName}`));
-                addSpacer();
-                tui.requestRender();
-                return true;
-            }
-            case '/switch': {
-                const newId = parts[1]?.trim();
-                if (!newId) {
-                    addSystemText(C.zinc400('Usage: /switch <thesisId>'));
-                    return true;
-                }
-                addSpacer();
-                try {
-                    // Save current session
-                    persistSession();
-                    // Load new thesis context
-                    const newContext = await sfClient.getContext(newId);
-                    resolvedThesisId = newContext.thesisId || newId;
-                    latestContext = newContext;
-                    // Build new system prompt using the rich builder
-                    const newSysPrompt = buildSystemPrompt(newContext);
-                    const newConf = typeof newContext.confidence === 'number'
-                        ? Math.round(newContext.confidence * 100) : 0;
-                    // CRITICAL: Always clearMessages() first to reset agent internal state.
-                    // replaceMessages() on a mid-conversation agent corrupts pi-agent-core's
-                    // state machine, causing the TUI to freeze.
-                    agent.clearMessages();
-                    // Load saved session or start fresh
-                    const saved = loadSession(resolvedThesisId);
-                    if (saved?.messages?.length > 0) {
-                        agent.replaceMessages(saved.messages);
-                        agent.setSystemPrompt(newSysPrompt);
-                        addSystemText(C.emerald(`Switched to ${resolvedThesisId.slice(0, 8)}`) + C.zinc400(` (resumed ${saved.messages.length} messages)`));
-                    }
-                    else {
-                        agent.setSystemPrompt(newSysPrompt);
-                        addSystemText(C.emerald(`Switched to ${resolvedThesisId.slice(0, 8)}`) + C.zinc400(' (new session)'));
-                    }
-                    // Update header
-                    footerBar.setFromContext(newContext, initialPositions || undefined);
-                    chatContainer.clear();
-                    addSystemText(buildWelcomeDashboard(newContext, initialPositions));
-                }
-                catch (err) {
-                    addSystemText(C.red(`Switch failed: ${err.message}`));
-                }
-                addSpacer();
-                // Force re-focus editor so input stays responsive
-                tui.setFocus(editor);
-                tui.requestRender();
-                return true;
-            }
-            case '/compact': {
-                addSpacer();
-                try {
-                    const msgs = agent.state.messages;
-                    if (msgs.length <= 10) {
-                        addSystemText(C.zinc400('Conversation too short to compact'));
-                        addSpacer();
-                        tui.setFocus(editor);
-                        return true;
-                    }
-                    // ── Find clean cut point ──────────────────────────────────────
-                    // Walk backwards counting user messages as turn starts.
-                    // Keep 3 complete turns. Never split a tool_call/tool_result pair.
-                    const turnsToKeep = 3;
-                    let turnsSeen = 0;
-                    let cutIndex = msgs.length;
-                    for (let i = msgs.length - 1; i >= 0; i--) {
-                        if (msgs[i].role === 'user') {
-                            turnsSeen++;
-                            if (turnsSeen >= turnsToKeep) {
-                                cutIndex = i;
-                                break;
-                            }
-                        }
-                    }
-                    if (cutIndex <= 2) {
-                        addSystemText(C.zinc400('Not enough complete turns to compact'));
-                        addSpacer();
-                        tui.setFocus(editor);
-                        return true;
-                    }
-                    const toCompress = msgs.slice(0, cutIndex);
-                    const toKeep = msgs.slice(cutIndex);
-                    // ── Show loader ───────────────────────────────────────────────
-                    const compactLoader = new Loader(tui, (s) => C.emerald(s), (s) => C.zinc600(s), 'compacting with LLM...');
-                    compactLoader.start();
-                    chatContainer.addChild(compactLoader);
-                    tui.requestRender();
-                    // ── Serialize messages for the summarizer ─────────────────────
-                    // Strip tool results to raw text, cap total length to ~12k chars
-                    const serialized = [];
-                    let totalLen = 0;
-                    const MAX_CHARS = 12000;
-                    for (const m of toCompress) {
-                        if (totalLen >= MAX_CHARS)
-                            break;
-                        let text = '';
-                        if (typeof m.content === 'string') {
-                            text = m.content;
-                        }
-                        else if (Array.isArray(m.content)) {
-                            // OpenAI format: content blocks
-                            text = m.content
-                                .filter((b) => b.type === 'text')
-                                .map((b) => b.text)
-                                .join('\n');
-                        }
-                        if (!text)
-                            continue;
-                        const role = (m.role || 'unknown').toUpperCase();
-                        const truncated = text.slice(0, 800);
-                        const line = `[${role}]: ${truncated}`;
-                        serialized.push(line);
-                        totalLen += line.length;
-                    }
-                    const conversationDump = serialized.join('\n\n');
-                    // ── Call OpenRouter for LLM summary ───────────────────────────
-                    // Use a cheap/fast model — gemini flash
-                    const summaryModel = 'google/gemini-2.0-flash-001';
-                    const summarySystemPrompt = `You are a conversation compressor. Given a conversation between a user and a prediction-market trading assistant, produce a dense summary that preserves:
-1. All factual conclusions, numbers, prices, and probabilities mentioned
-2. Key trading decisions, positions taken or discussed
-3. Signals injected, evaluations triggered, and their outcomes
-4. Any action items or pending questions
-
-Output a structured summary. Be concise but preserve every important detail — this summary replaces the original messages for continued conversation. Do NOT add commentary or meta-text. Just the summary.`;
-                    let summaryText;
-                    try {
-                        const compactUrl = useProxy
-                            ? `${sfApiUrl}/api/proxy/llm`
-                            : 'https://openrouter.ai/api/v1/chat/completions';
-                        const compactBody = {
-                            model: summaryModel,
-                            messages: [
-                                { role: 'system', content: summarySystemPrompt },
-                                { role: 'user', content: `Summarize this conversation (${toCompress.length} messages):\n\n${conversationDump}` },
-                            ],
-                            max_tokens: 2000,
-                            temperature: 0.2,
-                        };
-                        const orRes = await fetch(compactUrl, {
-                            method: 'POST',
-                            headers: {
-                                'Content-Type': 'application/json',
-                                'Authorization': `Bearer ${openrouterKey}`,
-                                'HTTP-Referer': 'https://simplefunctions.com',
-                                'X-Title': 'SF Agent Compact',
-                            },
-                            body: JSON.stringify(compactBody),
-                        });
-                        if (!orRes.ok) {
-                            const errText = await orRes.text().catch(() => '');
-                            throw new Error(`OpenRouter ${orRes.status}: ${errText.slice(0, 200)}`);
-                        }
-                        const orData = await orRes.json();
-                        summaryText = orData.choices?.[0]?.message?.content || '';
-                        if (!summaryText) {
-                            throw new Error('Empty summary from LLM');
-                        }
-                    }
-                    catch (llmErr) {
-                        // LLM failed — fall back to bullet-point extraction
-                        const bulletPoints = [];
-                        for (const m of toCompress) {
-                            const content = typeof m.content === 'string' ? m.content : '';
-                            if (m.role === 'user' && content) {
-                                bulletPoints.push(`- User: ${content.slice(0, 100)}`);
-                            }
-                            else if (m.role === 'assistant' && content) {
-                                bulletPoints.push(`- Assistant: ${content.slice(0, 150)}`);
-                            }
-                        }
-                        summaryText = `[LLM summary failed: ${llmErr.message}. Fallback bullet points:]\n\n${bulletPoints.slice(-20).join('\n')}`;
-                    }
-                    // ── Remove loader ─────────────────────────────────────────────
-                    compactLoader.stop();
-                    chatContainer.removeChild(compactLoader);
-                    // ── Build compacted message array ──────────────────────────────
-                    // user(summary) → assistant(ack) → ...toKeep
-                    // This maintains valid user→assistant alternation.
-                    // toKeep starts with a user message (guaranteed by our cut logic).
-                    const compactedMessages = [
-                        {
-                            role: 'user',
-                            content: `[Conversation summary — ${toCompress.length} messages compressed]\n\n${summaryText}`,
-                        },
-                        {
-                            role: 'assistant',
-                            content: 'Understood. I have the full conversation context from the summary above. Continuing from where we left off.',
-                        },
-                        ...toKeep,
-                    ];
-                    // ── Replace agent state ───────────────────────────────────────
-                    // Clear first to reset internal state, then load compacted messages
-                    agent.clearMessages();
-                    agent.replaceMessages(compactedMessages);
-                    agent.setSystemPrompt(systemPrompt);
-                    persistSession();
-                    addSystemText(C.emerald(`Compacted: ${toCompress.length} messages \u2192 summary + ${toKeep.length} recent`) +
-                        C.zinc600(` (via ${summaryModel.split('/').pop()})`));
-                    addSpacer();
-                    // Force re-focus and render so editor stays responsive
-                    tui.setFocus(editor);
-                    tui.requestRender();
-                }
-                catch (err) {
-                    addSystemText(C.red(`Compact failed: ${err.message || err}`));
-                    addSpacer();
-                    tui.setFocus(editor);
-                    tui.requestRender();
-                }
-                return true;
-            }
-            case '/new': {
-                addSpacer();
-                persistSession(); // save current before clearing
-                agent.clearMessages();
-                agent.setSystemPrompt(systemPrompt);
-                chatContainer.clear();
-                addSystemText(C.emerald('Session cleared') + C.zinc400(' \u2014 fresh start'));
-                addSpacer();
-                tui.requestRender();
-                return true;
-            }
-            case '/env': {
-                addSpacer();
-                const envVars = [
-                    { name: 'SF_API_KEY', key: 'SF_API_KEY', required: true, mask: true },
-                    { name: 'SF_API_URL', key: 'SF_API_URL', required: false, mask: false },
-                    { name: 'OPENROUTER_KEY', key: 'OPENROUTER_API_KEY', required: true, mask: true },
-                    { name: 'KALSHI_KEY_ID', key: 'KALSHI_API_KEY_ID', required: false, mask: true },
-                    { name: 'KALSHI_PEM_PATH', key: 'KALSHI_PRIVATE_KEY_PATH', required: false, mask: false },
-                    { name: 'TAVILY_API_KEY', key: 'TAVILY_API_KEY', required: false, mask: true },
-                ];
-                const lines = envVars.map(v => {
-                    const val = process.env[v.key];
-                    if (val) {
-                        const display = v.mask
-                            ? val.slice(0, Math.min(8, val.length)) + '...' + val.slice(-4)
-                            : val;
-                        return `  ${v.name.padEnd(18)} ${C.emerald('\u2713')} ${C.zinc400(display)}`;
-                    }
-                    else {
-                        const note = v.required ? '\u5FC5\u987B' : '\u53EF\u9009';
-                        return `  ${v.name.padEnd(18)} ${C.red('\u2717')} ${C.zinc600(`\u672A\u914D\u7F6E\uFF08${note}\uFF09`)}`;
-                    }
-                });
-                addSystemText(C.zinc200(bold('Environment')) + '\n' + lines.join('\n'));
-                addSpacer();
-                return true;
-            }
-            case '/clear': {
-                // Don't use chatContainer.clear() — it breaks pi-tui layout.
-                // Instead, remove children one by one and add a fresh spacer
-                // so the container still has content for layout calculations.
-                const children = [...chatContainer.children || []];
-                for (const child of children) {
-                    try {
-                        chatContainer.removeChild(child);
-                    }
-                    catch { /* ignore */ }
-                }
-                addSpacer();
-                isProcessing = false;
-                pendingPrompt = null;
-                tui.setFocus(editor);
-                tui.requestRender();
-                return true;
-            }
-            case '/buy': {
-                // /buy TICKER QTY PRICE — quick trade without LLM
-                const [, ticker, qtyStr, priceStr] = parts;
-                if (!ticker || !qtyStr || !priceStr) {
-                    addSystemText(C.zinc400('Usage: /buy TICKER QTY PRICE_CENTS  (e.g. /buy KXWTIMAX-26DEC31-T135 100 50)'));
-                    return true;
-                }
-                if (!config.tradingEnabled) {
-                    addSystemText(C.red('Trading disabled. Run: sf setup --enable-trading'));
-                    return true;
-                }
-                addSpacer();
-                const answer = await promptUser(`BUY ${qtyStr}x ${ticker} YES @ ${priceStr}\u00A2 — execute? (y/n)`);
-                if (answer.toLowerCase().startsWith('y')) {
-                    try {
-                        const { createOrder } = await import('../kalshi.js');
-                        const result = await createOrder({
-                            ticker, side: 'yes', action: 'buy', type: 'limit',
-                            count: parseInt(qtyStr),
-                            yes_price: parseInt(priceStr),
-                        });
-                        addSystemText(C.emerald('\u2713 Order placed: ' + ((result.order || result).order_id || 'OK')));
-                    }
-                    catch (err) {
-                        addSystemText(C.red('\u2717 ' + err.message));
-                    }
-                }
-                else {
-                    addSystemText(C.zinc400('Cancelled.'));
-                }
-                addSpacer();
-                return true;
-            }
-            case '/sell': {
-                const [, ticker, qtyStr, priceStr] = parts;
-                if (!ticker || !qtyStr || !priceStr) {
-                    addSystemText(C.zinc400('Usage: /sell TICKER QTY PRICE_CENTS'));
-                    return true;
-                }
-                if (!config.tradingEnabled) {
-                    addSystemText(C.red('Trading disabled. Run: sf setup --enable-trading'));
-                    return true;
-                }
-                addSpacer();
-                const answer = await promptUser(`SELL ${qtyStr}x ${ticker} YES @ ${priceStr}\u00A2 — execute? (y/n)`);
-                if (answer.toLowerCase().startsWith('y')) {
-                    try {
-                        const { createOrder } = await import('../kalshi.js');
-                        const result = await createOrder({
-                            ticker, side: 'yes', action: 'sell', type: 'limit',
-                            count: parseInt(qtyStr),
-                            yes_price: parseInt(priceStr),
-                        });
-                        addSystemText(C.emerald('\u2713 Order placed: ' + ((result.order || result).order_id || 'OK')));
-                    }
-                    catch (err) {
-                        addSystemText(C.red('\u2717 ' + err.message));
-                    }
-                }
-                else {
-                    addSystemText(C.zinc400('Cancelled.'));
-                }
-                addSpacer();
-                return true;
-            }
-            case '/cancel': {
-                const [, orderId] = parts;
-                if (!orderId) {
-                    addSystemText(C.zinc400('Usage: /cancel ORDER_ID'));
-                    return true;
-                }
-                if (!config.tradingEnabled) {
-                    addSystemText(C.red('Trading disabled. Run: sf setup --enable-trading'));
-                    return true;
-                }
-                addSpacer();
-                try {
-                    const { cancelOrder } = await import('../kalshi.js');
-                    await cancelOrder(orderId);
-                    addSystemText(C.emerald(`\u2713 Order ${orderId} cancelled.`));
-                }
-                catch (err) {
-                    addSystemText(C.red('\u2717 ' + err.message));
-                }
-                addSpacer();
-                return true;
-            }
-            case '/exit':
-            case '/quit': {
-                cleanup();
-                return true;
-            }
-            default: {
-                // Check if it's a skill trigger
-                const skill = skills.find(s => s.trigger === command);
-                if (skill) {
-                    addSpacer();
-                    addSystemText(C.zinc200(`Running skill: ${bold(skill.name)}`) + C.zinc600(` \u2014 ${skill.description.slice(0, 60)}`));
-                    addSpacer();
-                    tui.requestRender();
-                    // Inject the skill prompt → agent executes using existing tools
-                    isProcessing = true;
-                    try {
-                        await agent.prompt(skill.prompt);
-                    }
-                    catch (err) {
-                        addSystemText(C.red(`Skill error: ${err.message}`));
-                    }
-                    finally {
-                        isProcessing = false;
-                    }
-                    return true;
-                }
-                return false;
-            }
-        }
-    }
-    // ── Editor submit handler ──────────────────────────────────────────────────
-    editor.onSubmit = async (input) => {
-        const trimmed = input.trim();
-        if (!trimmed)
-            return;
-        // If a tool is waiting for user confirmation, resolve it
-        if (pendingPrompt) {
-            const { resolve } = pendingPrompt;
-            pendingPrompt = null;
-            const userResponse = new Text(C.zinc400('  > ') + C.zinc200(trimmed), 1, 0);
-            chatContainer.addChild(userResponse);
-            addSpacer();
-            tui.requestRender();
-            resolve(trimmed);
-            return;
-        }
-        if (isProcessing)
-            return;
-        // Add to editor history
-        editor.addToHistory(trimmed);
-        // Check for slash commands
-        if (trimmed.startsWith('/')) {
-            const handled = await handleSlashCommand(trimmed);
-            if (handled)
-                return;
-        }
-        // Regular message → send to agent
-        isProcessing = true;
-        // Add user message to chat
-        const userMsg = new Text(C.emerald(bold('>')) + ' ' + C.white(trimmed), 1, 0);
-        chatContainer.addChild(userMsg);
-        addSpacer();
-        tui.requestRender();
-        try {
-            await agent.prompt(trimmed);
-        }
-        catch (err) {
-            // Remove loader if present
-            if (currentLoader) {
-                currentLoader.stop();
-                chatContainer.removeChild(currentLoader);
-                currentLoader = null;
-            }
-            addSystemText(C.red(`Error: ${err.message}`));
-            addSpacer();
-            isProcessing = false;
-        }
-    };
-    // ── Ctrl+C handler ─────────────────────────────────────────────────────────
-    function cleanup() {
-        if (heartbeatPollTimer)
-            clearInterval(heartbeatPollTimer);
-        if (currentLoader)
-            currentLoader.stop();
-        persistSession();
-        tui.stop();
-        process.exit(0);
-    }
-    // Listen for Ctrl+C at the TUI level
-    tui.addInputListener((data) => {
-        // Ctrl+C = \x03
-        if (data === '\x03') {
-            cleanup();
-            return { consume: true };
-        }
-        return undefined;
-    });
-    // Also handle SIGINT
-    process.on('SIGINT', cleanup);
-    process.on('SIGTERM', cleanup);
-    // ── Welcome dashboard builder ────────────────────────────────────────────
-    function buildWelcomeDashboard(ctx, positions) {
-        const lines = [];
-        // ── Explorer mode welcome ──────────────────────────────────────────────
-        if (ctx._explorerMode) {
-            const edgeCount = ctx.edges?.length || 0;
-            const theseCount = ctx.theses?.length || 0;
-            lines.push(C.zinc600('\u2500'.repeat(55)));
-            lines.push(' ' + C.emerald(bold('Explorer mode')) + C.zinc600(' — full market access, no thesis'));
-            lines.push(' ' + C.zinc600(`${theseCount} public theses  \u2502  ${edgeCount} edges tracked`));
-            lines.push(C.zinc600('\u2500'.repeat(55)));
-            // Show top public edges
-            const edges = ctx.edges || [];
-            if (edges.length > 0) {
-                const sorted = [...edges].sort((a, b) => Math.abs(b.edge) - Math.abs(a.edge)).slice(0, 5);
-                lines.push(' ' + C.zinc400(bold('TOP PUBLIC EDGES')) + C.zinc600('                    mkt   edge'));
-                for (const e of sorted) {
-                    const name = (e.title || '').slice(0, 30).padEnd(30);
-                    const mkt = String(Math.round(e.price || 0)).padStart(3) + '\u00A2';
-                    const edge = e.edge || 0;
-                    const edgeStr = '+' + Math.round(edge);
-                    const edgeColor = Math.abs(edge) >= 15 ? C.emerald : Math.abs(edge) >= 8 ? C.amber : C.zinc400;
-                    lines.push(`  ${C.zinc400(name)} ${C.zinc400(mkt)}  ${edgeColor(edgeStr.padStart(4))}`);
-                }
-            }
-            lines.push(C.zinc600('\u2500'.repeat(55)));
-            lines.push(' ' + C.zinc600('Ask anything, or describe a view to create a thesis.'));
-            lines.push(C.zinc600('\u2500'.repeat(55)));
-            return lines.join('\n');
-        }
-        // ── Thesis mode welcome (existing) ────────────────────────────────────
-        const thesisText = ctx.thesis || ctx.rawThesis || 'N/A';
-        const truncated = thesisText.length > 100 ? thesisText.slice(0, 100) + '...' : thesisText;
-        const conf = typeof ctx.confidence === 'number'
-            ? Math.round(ctx.confidence * 100)
-            : (typeof ctx.confidence === 'string' ? Math.round(parseFloat(ctx.confidence) * 100) : 0);
-        const delta = ctx.lastEvaluation?.confidenceDelta
-            ? Math.round(ctx.lastEvaluation.confidenceDelta * 100)
-            : 0;
-        const deltaStr = delta !== 0 ? ` (${delta > 0 ? '+' : ''}${delta})` : '';
-        const evalAge = ctx.lastEvaluation?.evaluatedAt
-            ? Math.round((Date.now() - new Date(ctx.lastEvaluation.evaluatedAt).getTime()) / 3600000)
-            : null;
-        lines.push(C.zinc600('\u2500'.repeat(55)));
-        lines.push(' ' + C.zinc200(bold(truncated)));
-        lines.push(' ' + C.zinc600(`${ctx.status || 'active'}  ${conf}%${deltaStr}`) +
-            (evalAge !== null ? C.zinc600(`  \u2502  last eval: ${evalAge < 1 ? '<1' : evalAge}h ago`) : ''));
-        lines.push(C.zinc600('\u2500'.repeat(55)));
-        // Positions section
-        if (positions && positions.length > 0) {
-            lines.push(' ' + C.zinc400(bold('POSITIONS')));
-            let totalPnl = 0;
-            for (const p of positions) {
-                const pnlCents = p.unrealized_pnl || 0;
-                totalPnl += pnlCents;
-                const pnlStr = pnlCents >= 0
-                    ? C.emerald(`+$${(pnlCents / 100).toFixed(2)}`)
-                    : C.red(`-$${(Math.abs(pnlCents) / 100).toFixed(2)}`);
-                const ticker = (p.ticker || '').slice(0, 28).padEnd(28);
-                const qty = String(p.quantity || 0).padStart(5);
-                const side = p.side === 'yes' ? C.emerald('Y') : C.red('N');
-                lines.push(`  ${C.zinc400(ticker)} ${qty} ${side}  ${pnlStr}`);
-            }
-            const totalStr = totalPnl >= 0
-                ? C.emerald(bold(`+$${(totalPnl / 100).toFixed(2)}`))
-                : C.red(bold(`-$${(Math.abs(totalPnl) / 100).toFixed(2)}`));
-            lines.push(`  ${''.padEnd(28)} ${C.zinc600('Total')} ${totalStr}`);
-        }
-        // Top edges section
-        const edges = ctx.edges || [];
-        if (edges.length > 0) {
-            const sorted = [...edges].sort((a, b) => Math.abs(b.edge || b.edgeSize || 0) - Math.abs(a.edge || a.edgeSize || 0)).slice(0, 5);
-            lines.push(C.zinc600('\u2500'.repeat(55)));
-            lines.push(' ' + C.zinc400(bold('TOP EDGES')) + C.zinc600('                          mkt   edge  liq'));
-            for (const e of sorted) {
-                const name = (e.market || e.marketTitle || e.marketId || '').slice(0, 30).padEnd(30);
-                const mkt = String(Math.round(e.marketPrice || 0)).padStart(3) + '\u00A2';
-                const edge = e.edge || e.edgeSize || 0;
-                const edgeStr = (edge > 0 ? '+' : '') + Math.round(edge);
-                const liq = e.orderbook?.liquidityScore || (e.venue === 'polymarket' ? '-' : '?');
-                const edgeColor = Math.abs(edge) >= 15 ? C.emerald : Math.abs(edge) >= 8 ? C.amber : C.zinc400;
-                lines.push(`  ${C.zinc400(name)} ${C.zinc400(mkt)}  ${edgeColor(edgeStr.padStart(4))}  ${C.zinc600(liq)}`);
-            }
-        }
-        lines.push(C.zinc600('\u2500'.repeat(55)));
-        return lines.join('\n');
-    }
-    // ── Show initial welcome ───────────────────────────────────────────────────
-    const sessionStatus = sessionRestored
-        ? C.zinc600(`resumed (${agent.state.messages.length} messages)`)
-        : C.zinc600('new session');
-    addSystemText(buildWelcomeDashboard(latestContext, initialPositions));
-    addSystemText(' ' + sessionStatus);
-    addSpacer();
-    // ── Heartbeat delta handler ───────────────────────────────────────────────
-    const HEARTBEAT_CONFIDENCE_THRESHOLD = 0.03; // 3%
-    function handleHeartbeatDelta(delta) {
-        const absDelta = Math.abs(delta.confidenceDelta || 0);
-        const confPct = Math.round((delta.confidence || 0) * 100);
-        const deltaPct = Math.round((delta.confidenceDelta || 0) * 100);
-        const sign = deltaPct > 0 ? '+' : '';
-        if (absDelta >= HEARTBEAT_CONFIDENCE_THRESHOLD) {
-            // Big change → auto-trigger agent analysis
-            const arrow = deltaPct > 0 ? '\u25B2' : '\u25BC';
-            const color = deltaPct > 0 ? C.emerald : C.red;
-            addSystemText(color(`  ${arrow} Heartbeat: confidence ${sign}${deltaPct}% → ${confPct}%`));
-            if (delta.latestSummary) {
-                addSystemText(C.zinc400(`  ${delta.latestSummary.slice(0, 100)}`));
-            }
-            addSpacer();
-            // Update header
-            footerBar.setFromContext({ ...latestContext, confidence: delta.confidence, lastEvaluation: { confidenceDelta: delta.confidenceDelta } }, initialPositions || undefined);
-            tui.requestRender();
-            // Auto-trigger agent
-            isProcessing = true;
-            const prompt = `[HEARTBEAT ALERT] Confidence just changed ${sign}${deltaPct}% to ${confPct}%. ${delta.evaluationCount} evaluation(s) since last check. Latest: "${(delta.latestSummary || '').slice(0, 150)}". Briefly analyze what happened and whether any action is needed. Be concise.`;
-            agent.prompt(prompt).catch((err) => {
-                addSystemText(C.red(`Error: ${err.message}`));
-                isProcessing = false;
-            });
-        }
-        else if (absDelta > 0) {
-            // Small change → silent notification line only
-            addSystemText(C.zinc600(`  \u2500 heartbeat: ${confPct}% (${sign}${deltaPct}%) \u2014 ${delta.evaluationCount || 0} eval(s)`));
-            tui.requestRender();
-        }
-        // absDelta === 0: truly nothing changed, stay silent
-    }
-    // ── Start heartbeat polling (thesis mode only) ──────────────────────────
-    if (!explorerMode)
-        heartbeatPollTimer = setInterval(async () => {
-            try {
-                const delta = await sfClient.getChanges(resolvedThesisId, lastPollTimestamp);
-                lastPollTimestamp = new Date().toISOString();
-                if (!delta.changed)
-                    return;
-                if (isProcessing || pendingPrompt) {
-                    // Agent is busy — queue for delivery after agent_end
-                    pendingHeartbeatDelta = delta;
-                }
-                else {
-                    handleHeartbeatDelta(delta);
-                }
-            }
-            catch {
-                // Silent — don't spam errors from background polling
-            }
-        }, 60_000); // every 60 seconds
-    // ── Start TUI ──────────────────────────────────────────────────────────────
-    tui.start();
-}
-// ============================================================================
-// PLAIN-TEXT MODE (--no-tui)
-// ============================================================================
-async function runPlainTextAgent(params) {
-    const { openrouterKey, sfClient, resolvedThesisId, opts, useProxy, llmBaseUrl, sfApiKey, sfApiUrl } = params;
-    let latestContext = params.latestContext;
-    const readline = await import('readline');
-    const piAi = await import('@mariozechner/pi-ai');
-    const piAgent = await import('@mariozechner/pi-agent-core');
-    const { getModel, streamSimple, Type } = piAi;
-    const { Agent } = piAgent;
-    const rawModelName = opts?.model || 'anthropic/claude-sonnet-4.6';
-    let currentModelName = rawModelName.replace(/^openrouter\//, '');
-    function resolveModel(name) {
-        let m;
-        try {
-            m = getModel('openrouter', name);
-        }
-        catch {
-            m = {
-                modelId: name, provider: 'openrouter', api: 'openai-completions',
-                baseUrl: 'https://openrouter.ai/api/v1', id: name, name,
-                inputPrice: 0, outputPrice: 0, contextWindow: 200000,
-                supportsImages: true, supportsTools: true,
-            };
-        }
-        if (useProxy)
-            m.baseUrl = llmBaseUrl;
-        return m;
-    }
-    let model = resolveModel(currentModelName);
-    // ── Tools (same definitions as TUI mode) ──────────────────────────────────
-    const thesisIdParam = Type.Object({ thesisId: Type.String({ description: 'Thesis ID' }) });
-    const signalParams = Type.Object({
-        thesisId: Type.String({ description: 'Thesis ID' }),
-        content: Type.String({ description: 'Signal content' }),
-        type: Type.Optional(Type.String({ description: 'Signal type: news, user_note, external' })),
-    });
-    const scanParams = Type.Object({
-        query: Type.Optional(Type.String({ description: 'Keyword search' })),
-        series: Type.Optional(Type.String({ description: 'Series ticker' })),
-        market: Type.Optional(Type.String({ description: 'Market ticker' })),
-    });
-    const webSearchParams = Type.Object({ query: Type.String({ description: 'Search keywords' }) });
-    const emptyParams = Type.Object({});
-    const tools = [
-        {
-            name: 'get_context', label: 'Get Context',
-            description: 'Get thesis snapshot: causal tree, edge prices, last evaluation, confidence',
-            parameters: thesisIdParam,
-            execute: async (_id, p) => {
-                const ctx = await sfClient.getContext(p.thesisId);
-                latestContext = ctx;
-                return { content: [{ type: 'text', text: JSON.stringify(ctx, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'global_context', label: 'Market Snapshot',
-            description: 'Global market snapshot — top movers, expiring contracts, milestones, liquidity, signals. No thesis needed.',
-            parameters: emptyParams,
-            execute: async () => {
-                const { fetchGlobalContext } = await import('../client.js');
-                const data = await fetchGlobalContext();
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'query', label: 'Query',
-            description: 'LLM-enhanced prediction market knowledge search. Returns structured answer with live prices, thesis data, key factors.',
-            parameters: Type.Object({ q: Type.String({ description: 'Natural language query' }) }),
-            execute: async (_id, p) => {
-                const { fetchQuery } = await import('../client.js');
-                const data = await fetchQuery(p.q);
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_markets', label: 'Traditional Markets',
-            description: 'Traditional market prices via Databento: SPY, VIX, Treasury, Gold, Oil. Daily close + change.',
-            parameters: emptyParams,
-            execute: async () => {
-                const { fetchTraditionalMarkets } = await import('../client.js');
-                const data = await fetchTraditionalMarkets();
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'inject_signal', label: 'Inject Signal',
-            description: 'Inject a signal into the thesis',
-            parameters: signalParams,
-            execute: async (_id, p) => {
-                const result = await sfClient.injectSignal(p.thesisId, p.type || 'user_note', p.content);
-                return { content: [{ type: 'text', text: JSON.stringify(result) }], details: {} };
-            },
-        },
-        {
-            name: 'trigger_evaluation', label: 'Evaluate',
-            description: 'Trigger a deep evaluation cycle',
-            parameters: thesisIdParam,
-            execute: async (_id, p) => {
-                const result = await sfClient.evaluate(p.thesisId);
-                return { content: [{ type: 'text', text: JSON.stringify(result) }], details: {} };
-            },
-        },
-        {
-            name: 'scan_markets', label: 'Scan Markets',
-            description: 'Search Kalshi prediction markets',
-            parameters: scanParams,
-            execute: async (_id, p) => {
-                let result;
-                if (p.market) {
-                    result = await (0, client_js_1.kalshiFetchMarket)(p.market);
-                }
-                else if (p.series) {
-                    result = await (0, client_js_1.kalshiFetchMarketsBySeries)(p.series);
-                }
-                else if (p.query) {
-                    const series = await (0, client_js_1.kalshiFetchAllSeries)();
-                    const kws = p.query.toLowerCase().split(/\s+/);
-                    result = series.filter((s) => kws.every((k) => ((s.title || '') + (s.ticker || '')).toLowerCase().includes(k))).filter((s) => parseFloat(s.volume_fp || '0') > 1000).sort((a, b) => parseFloat(b.volume_fp || '0') - parseFloat(a.volume_fp || '0')).slice(0, 15);
-                }
-                else {
-                    result = { error: 'Provide query, series, or market' };
-                }
-                return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'list_theses', label: 'List Theses',
-            description: 'List all theses',
-            parameters: emptyParams,
-            execute: async () => {
-                const theses = await sfClient.listTheses();
-                return { content: [{ type: 'text', text: JSON.stringify(theses, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_positions', label: 'Get Positions',
-            description: 'Get Kalshi positions with live prices',
-            parameters: emptyParams,
-            execute: async () => {
-                const positions = await (0, kalshi_js_1.getPositions)();
-                if (!positions)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                for (const pos of positions) {
-                    const livePrice = await (0, kalshi_js_1.getMarketPrice)(pos.ticker);
-                    if (livePrice !== null) {
-                        pos.current_value = livePrice;
-                        pos.unrealized_pnl = Math.round((livePrice - pos.average_price_paid) * pos.quantity);
-                    }
-                }
-                const formatted = positions.map((p) => ({
-                    ticker: p.ticker, side: p.side, quantity: p.quantity,
-                    avg_price: `${p.average_price_paid}¢`, current_price: `${p.current_value}¢`,
-                    unrealized_pnl: `$${(p.unrealized_pnl / 100).toFixed(2)}`,
-                    total_cost: `$${(p.total_cost / 100).toFixed(2)}`,
-                    realized_pnl: `$${(p.realized_pnl / 100).toFixed(2)}`,
-                }));
-                return { content: [{ type: 'text', text: JSON.stringify(formatted, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'web_search', label: 'Web Search',
-            description: 'Search latest news and information',
-            parameters: webSearchParams,
-            execute: async (_id, p) => {
-                const tavilyKey2 = process.env.TAVILY_API_KEY;
-                const canProxy2 = !tavilyKey2 && sfApiKey;
-                if (!tavilyKey2 && !canProxy2)
-                    return { content: [{ type: 'text', text: 'Web search not available. Run sf login or set TAVILY_API_KEY.' }], details: {} };
-                let res;
-                if (tavilyKey2) {
-                    res = await fetch('https://api.tavily.com/search', {
-                        method: 'POST', headers: { 'Content-Type': 'application/json' },
-                        body: JSON.stringify({ api_key: tavilyKey2, query: p.query, max_results: 5, search_depth: 'basic', include_answer: true }),
-                    });
-                }
-                else {
-                    res = await fetch(`${sfApiUrl}/api/proxy/search`, {
-                        method: 'POST', headers: { 'Content-Type': 'application/json', 'Authorization': `Bearer ${sfApiKey}` },
-                        body: JSON.stringify({ query: p.query, max_results: 5, search_depth: 'basic', include_answer: true }),
-                    });
-                }
-                if (!res.ok)
-                    return { content: [{ type: 'text', text: `Search failed: ${res.status}` }], details: {} };
-                const data = await res.json();
-                const results = (data.results || []).map((r) => `[${r.title}](${r.url})\n${r.content?.slice(0, 200)}`).join('\n\n');
-                const answer = data.answer ? `Summary: ${data.answer}\n\n---\n\n` : '';
-                return { content: [{ type: 'text', text: `${answer}${results}` }], details: {} };
-            },
-        },
-        {
-            name: 'get_milestones', label: 'Milestones',
-            description: 'Get upcoming events from Kalshi calendar. Use to check economic releases, political events, or other catalysts.',
-            parameters: Type.Object({
-                hours: Type.Optional(Type.Number({ description: 'Hours ahead to look (default 168 = 1 week)' })),
-                category: Type.Optional(Type.String({ description: 'Filter by category (e.g. Economics, Politics, Sports)' })),
-            }),
-            execute: async (_id, p) => {
-                const hours = p.hours || 168;
-                const now = new Date();
-                const url = `https://api.elections.kalshi.com/trade-api/v2/milestones?limit=200&minimum_start_date=${now.toISOString()}` +
-                    (p.category ? `&category=${p.category}` : '');
-                const res = await fetch(url, { headers: { 'Accept': 'application/json' } });
-                if (!res.ok)
-                    return { content: [{ type: 'text', text: `Milestones API error: ${res.status}` }], details: {} };
-                const data = await res.json();
-                const cutoff = now.getTime() + hours * 3600000;
-                const filtered = (data.milestones || [])
-                    .filter((m) => new Date(m.start_date).getTime() <= cutoff)
-                    .slice(0, 30)
-                    .map((m) => ({
-                    title: m.title, category: m.category, start_date: m.start_date,
-                    related_event_tickers: m.related_event_tickers,
-                    hours_until: Math.round((new Date(m.start_date).getTime() - now.getTime()) / 3600000),
-                }));
-                return { content: [{ type: 'text', text: JSON.stringify(filtered, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_forecast', label: 'Forecast',
-            description: 'Get market distribution (P50/P75/P90 percentile history) for a Kalshi event.',
-            parameters: Type.Object({
-                eventTicker: Type.String({ description: 'Kalshi event ticker (e.g. KXWTIMAX-26DEC31)' }),
-                days: Type.Optional(Type.Number({ description: 'Days of history (default 7)' })),
-            }),
-            execute: async (_id, p) => {
-                const { getForecastHistory } = await import('../kalshi.js');
-                const days = p.days || 7;
-                const evtRes = await fetch(`https://api.elections.kalshi.com/trade-api/v2/events/${p.eventTicker}`, { headers: { 'Accept': 'application/json' } });
-                if (!evtRes.ok)
-                    return { content: [{ type: 'text', text: `Event not found: ${p.eventTicker}` }], details: {} };
-                const evtData = await evtRes.json();
-                const seriesTicker = evtData.event?.series_ticker;
-                if (!seriesTicker)
-                    return { content: [{ type: 'text', text: `No series_ticker for ${p.eventTicker}` }], details: {} };
-                const history = await getForecastHistory({
-                    seriesTicker, eventTicker: p.eventTicker, percentiles: [5000, 7500, 9000],
-                    startTs: Math.floor((Date.now() - days * 86400000) / 1000),
-                    endTs: Math.floor(Date.now() / 1000), periodInterval: 1440,
-                });
-                if (!history || history.length === 0)
-                    return { content: [{ type: 'text', text: 'No forecast data available' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(history, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_settlements', label: 'Settlements',
-            description: 'Get settled (resolved) contracts with P&L.',
-            parameters: Type.Object({ ticker: Type.Optional(Type.String({ description: 'Filter by market ticker' })) }),
-            execute: async (_id, p) => {
-                const { getSettlements } = await import('../kalshi.js');
-                const result = await getSettlements({ limit: 100, ticker: p.ticker });
-                if (!result)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(result.settlements, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_balance', label: 'Balance',
-            description: 'Get Kalshi account balance and portfolio value.',
-            parameters: emptyParams,
-            execute: async () => {
-                const { getBalance } = await import('../kalshi.js');
-                const result = await getBalance();
-                if (!result)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_orders', label: 'Orders',
-            description: 'Get current resting orders on Kalshi.',
-            parameters: Type.Object({ status: Type.Optional(Type.String({ description: 'Filter by status: resting, canceled, executed. Default: resting' })) }),
-            execute: async (_id, p) => {
-                const { getOrders } = await import('../kalshi.js');
-                const result = await getOrders({ status: p.status || 'resting', limit: 100 });
-                if (!result)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(result.orders, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_fills', label: 'Fills',
-            description: 'Get recent trade fills (executed trades) on Kalshi.',
-            parameters: Type.Object({ ticker: Type.Optional(Type.String({ description: 'Filter by market ticker' })) }),
-            execute: async (_id, p) => {
-                const { getFills } = await import('../kalshi.js');
-                const result = await getFills({ ticker: p.ticker, limit: 50 });
-                if (!result)
-                    return { content: [{ type: 'text', text: 'Kalshi not configured.' }], details: {} };
-                return { content: [{ type: 'text', text: JSON.stringify(result.fills, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_liquidity',
-            label: 'Liquidity Scanner',
-            description: 'Scan orderbook liquidity for a topic across Kalshi + Polymarket. Returns spread, depth, liquidity scores. Topics: ' + Object.keys(topics_js_1.TOPIC_SERIES).join(', '),
-            parameters: Type.Object({
-                topic: Type.String({ description: 'Topic to scan (e.g. oil, crypto, fed, geopolitics)' }),
-            }),
-            execute: async (_toolCallId, params) => {
-                const topicKey = params.topic.toLowerCase();
-                const seriesList = topics_js_1.TOPIC_SERIES[topicKey];
-                if (!seriesList) {
-                    return { content: [{ type: 'text', text: `Unknown topic "${params.topic}". Available: ${Object.keys(topics_js_1.TOPIC_SERIES).join(', ')}` }], details: {} };
-                }
-                const results = [];
-                for (const series of seriesList) {
-                    try {
-                        const url = `https://api.elections.kalshi.com/trade-api/v2/markets?series_ticker=${series}&status=open&limit=200`;
-                        const res = await fetch(url, { headers: { Accept: 'application/json' } });
-                        if (!res.ok)
-                            continue;
-                        const markets = (await res.json()).markets || [];
-                        const obResults = await Promise.allSettled(markets.slice(0, 20).map((m) => (0, kalshi_js_1.getPublicOrderbook)(m.ticker).then(ob => ({ ticker: m.ticker, title: m.title, ob }))));
-                        for (const r of obResults) {
-                            if (r.status !== 'fulfilled' || !r.value.ob)
-                                continue;
-                            const { ticker, title, ob } = r.value;
-                            const yes = (ob.yes_dollars || []).map(([p, q]) => ({ price: Math.round(parseFloat(p) * 100), qty: parseFloat(q) })).filter((l) => l.price > 0).sort((a, b) => b.price - a.price);
-                            const no = (ob.no_dollars || []).map(([p, q]) => ({ price: Math.round(parseFloat(p) * 100), qty: parseFloat(q) })).filter((l) => l.price > 0).sort((a, b) => b.price - a.price);
-                            const bestBid = yes[0]?.price || 0;
-                            const bestAsk = no.length > 0 ? (100 - no[0].price) : 100;
-                            const spread = bestAsk - bestBid;
-                            const depth = yes.slice(0, 3).reduce((s, l) => s + l.qty, 0) + no.slice(0, 3).reduce((s, l) => s + l.qty, 0);
-                            const liq = spread <= 2 && depth >= 500 ? 'high' : spread <= 5 && depth >= 100 ? 'medium' : 'low';
-                            results.push({ venue: 'kalshi', ticker, title: (title || '').slice(0, 50), bestBid, bestAsk, spread, depth: Math.round(depth), liquidityScore: liq });
-                        }
-                    }
-                    catch { /* skip */ }
-                }
-                try {
-                    const events = await (0, polymarket_js_1.polymarketSearch)(topicKey, 5);
-                    for (const event of events) {
-                        for (const m of (event.markets || []).slice(0, 5)) {
-                            if (!m.active || m.closed || !m.clobTokenIds)
-                                continue;
-                            const ids = (0, polymarket_js_1.parseClobTokenIds)(m.clobTokenIds);
-                            if (!ids)
-                                continue;
-                            const d = await (0, polymarket_js_1.polymarketGetOrderbookWithDepth)(ids[0]);
-                            if (!d)
-                                continue;
-                            results.push({ venue: 'polymarket', ticker: (m.question || event.title).slice(0, 50), bestBid: d.bestBid, bestAsk: d.bestAsk, spread: d.spread, depth: d.bidDepthTop3 + d.askDepthTop3, liquidityScore: d.liquidityScore });
-                        }
-                    }
-                }
-                catch { /* skip */ }
-                results.sort((a, b) => a.spread - b.spread);
-                return { content: [{ type: 'text', text: JSON.stringify(results, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'inspect_book',
-            label: 'Orderbook',
-            description: 'Get orderbook depth, spread, and liquidity. Returns a status field per market: "ok", "empty_orderbook", "market_closed", or "api_error". Supports multiple tickers in one call — use tickers array for batch position checks.',
-            parameters: Type.Object({
-                ticker: Type.Optional(Type.String({ description: 'Single Kalshi market ticker (e.g. KXWTIMAX-26DEC31-T135)' })),
-                tickers: Type.Optional(Type.Array(Type.String(), { description: 'Multiple Kalshi tickers for batch check (e.g. ["T$135", "T$140", "T$150"])' })),
-                polyQuery: Type.Optional(Type.String({ description: 'Search Polymarket by keyword (e.g. "oil price above 100")' })),
-            }),
-            execute: async (_toolCallId, params) => {
-                const results = [];
-                // Batch: expand tickers array into individual lookups
-                const tickerList = [];
-                if (params.tickers?.length)
-                    tickerList.push(...params.tickers);
-                else if (params.ticker)
-                    tickerList.push(params.ticker);
-                for (const tkr of tickerList) {
-                    try {
-                        const market = await (0, client_js_1.kalshiFetchMarket)(tkr);
-                        const mStatus = market.status || 'unknown';
-                        if (mStatus !== 'open' && mStatus !== 'active') {
-                            results.push({
-                                venue: 'kalshi', ticker: tkr, title: market.title,
-                                status: 'market_closed', reason: `Market status: ${mStatus}. Orderbook unavailable for closed/settled markets.`,
-                                lastPrice: Math.round(parseFloat(market.last_price_dollars || '0') * 100),
-                            });
-                        }
-                        else {
-                            const ob = await (0, kalshi_js_1.getPublicOrderbook)(tkr);
-                            const yesBids = (ob?.yes_dollars || [])
-                                .map(([p, q]) => ({ price: Math.round(parseFloat(p) * 100), size: Math.round(parseFloat(q)) }))
-                                .filter((l) => l.price > 0).sort((a, b) => b.price - a.price);
-                            const noAsks = (ob?.no_dollars || [])
-                                .map(([p, q]) => ({ price: Math.round(parseFloat(p) * 100), size: Math.round(parseFloat(q)) }))
-                                .filter((l) => l.price > 0).sort((a, b) => b.price - a.price);
-                            if (yesBids.length === 0 && noAsks.length === 0) {
-                                results.push({
-                                    venue: 'kalshi', ticker: tkr, title: market.title,
-                                    status: 'empty_orderbook', reason: 'Market open but no resting orders. Normal for illiquid/OTM contracts. Use lastPrice as reference.',
-                                    lastPrice: Math.round(parseFloat(market.last_price_dollars || '0') * 100),
-                                    volume24h: parseFloat(market.volume_24h_fp || '0'),
-                                    openInterest: parseFloat(market.open_interest_fp || '0'),
-                                    expiry: market.close_time || null,
-                                });
-                            }
-                            else {
-                                const bestBid = yesBids[0]?.price || 0;
-                                const bestAsk = noAsks.length > 0 ? (100 - noAsks[0].price) : (yesBids[0] ? yesBids[0].price + 1 : 100);
-                                const spread = bestAsk - bestBid;
-                                const top3Depth = yesBids.slice(0, 3).reduce((s, l) => s + l.size, 0) + noAsks.slice(0, 3).reduce((s, l) => s + l.size, 0);
-                                const liq = spread <= 2 && top3Depth >= 500 ? 'high' : spread <= 5 && top3Depth >= 100 ? 'medium' : 'low';
-                                results.push({
-                                    venue: 'kalshi', ticker: tkr, title: market.title, status: 'ok',
-                                    bestBid, bestAsk, spread, liquidityScore: liq,
-                                    bidLevels: yesBids.slice(0, 5), askLevels: noAsks.slice(0, 5).map((l) => ({ price: 100 - l.price, size: l.size })),
-                                    totalBidDepth: yesBids.reduce((s, l) => s + l.size, 0),
-                                    totalAskDepth: noAsks.reduce((s, l) => s + l.size, 0),
-                                    lastPrice: Math.round(parseFloat(market.last_price_dollars || '0') * 100),
-                                    volume24h: parseFloat(market.volume_24h_fp || '0'),
-                                    openInterest: parseFloat(market.open_interest_fp || '0'),
-                                    expiry: market.close_time || null,
-                                });
-                            }
-                        }
-                    }
-                    catch (err) {
-                        results.push({ venue: 'kalshi', ticker: tkr, status: 'api_error', reason: `Kalshi API error: ${err.message}` });
-                    }
-                }
-                if (params.polyQuery) {
-                    try {
-                        const events = await (0, polymarket_js_1.polymarketSearch)(params.polyQuery, 5);
-                        for (const event of events) {
-                            for (const m of (event.markets || []).slice(0, 3)) {
-                                if (!m.active || m.closed || !m.clobTokenIds)
-                                    continue;
-                                const ids = (0, polymarket_js_1.parseClobTokenIds)(m.clobTokenIds);
-                                if (!ids)
-                                    continue;
-                                const depth = await (0, polymarket_js_1.polymarketGetOrderbookWithDepth)(ids[0]);
-                                if (!depth)
-                                    continue;
-                                const prices = (0, polymarket_js_1.parseOutcomePrices)(m.outcomePrices);
-                                results.push({
-                                    venue: 'polymarket', title: m.question || event.title,
-                                    bestBid: depth.bestBid, bestAsk: depth.bestAsk, spread: depth.spread,
-                                    liquidityScore: depth.liquidityScore,
-                                    totalBidDepth: depth.totalBidDepth, totalAskDepth: depth.totalAskDepth,
-                                    lastPrice: prices[0] ? Math.round(prices[0] * 100) : 0,
-                                    volume24h: m.volume24hr || 0,
-                                });
-                            }
-                        }
-                    }
-                    catch { /* skip */ }
-                }
-                if (results.length === 0) {
-                    return { content: [{ type: 'text', text: 'No markets found. Provide ticker (Kalshi) or polyQuery (Polymarket search).' }], details: {} };
-                }
-                return { content: [{ type: 'text', text: JSON.stringify(results, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'get_schedule',
-            label: 'Schedule',
-            description: 'Get exchange status (open/closed) and trading hours. Use to check if low liquidity is due to off-hours.',
-            parameters: emptyParams,
-            execute: async () => {
-                try {
-                    const res = await fetch('https://api.elections.kalshi.com/trade-api/v2/exchange/status', { headers: { 'Accept': 'application/json' } });
-                    if (!res.ok)
-                        return { content: [{ type: 'text', text: `Exchange API error: ${res.status}` }], details: {} };
-                    const data = await res.json();
-                    return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-                }
-                catch (err) {
-                    return { content: [{ type: 'text', text: `Failed: ${err.message}` }], details: {} };
-                }
-            },
-        },
-        {
-            name: 'create_thesis',
-            label: 'Create Thesis',
-            description: 'Create a new thesis from a raw thesis statement. Returns the thesis ID, confidence, node count, and edge count.',
-            parameters: Type.Object({
-                rawThesis: Type.String({ description: 'The raw thesis statement to create' }),
-                webhookUrl: Type.Optional(Type.String({ description: 'Optional webhook URL for notifications' })),
-            }),
-            execute: async (_id, p) => {
-                const result = await sfClient.createThesis(p.rawThesis, true);
-                const thesis = result.thesis || result;
-                const nodeCount = thesis.causalTree?.nodes?.length || 0;
-                const edgeCount = (thesis.edges || []).length;
-                const confidence = typeof thesis.confidence === 'number' ? Math.round(thesis.confidence * 100) : 0;
-                return {
-                    content: [{ type: 'text', text: `Thesis created.\nID: ${thesis.id}\nConfidence: ${confidence}%\nNodes: ${nodeCount}\nEdges: ${edgeCount}` }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'get_edges',
-            label: 'Get Edges',
-            description: 'Get top edges across all active theses. Returns the top 10 edges sorted by absolute edge size with ticker, market name, edge size, direction, and venue.',
-            parameters: emptyParams,
-            execute: async () => {
-                const { theses } = await sfClient.listTheses();
-                const activeTheses = (theses || []).filter((t) => t.status === 'active' || t.status === 'monitoring');
-                const results = await Promise.allSettled(activeTheses.map(async (t) => {
-                    const ctx = await sfClient.getContext(t.id);
-                    return (ctx.edges || []).map((e) => ({ ...e, thesisId: t.id }));
-                }));
-                const allEdges = [];
-                for (const r of results) {
-                    if (r.status === 'fulfilled')
-                        allEdges.push(...r.value);
-                }
-                allEdges.sort((a, b) => Math.abs(b.edge || b.edgeSize || 0) - Math.abs(a.edge || a.edgeSize || 0));
-                const top10 = allEdges.slice(0, 10).map((e) => ({
-                    ticker: e.marketId || e.ticker || '-',
-                    market: e.market || e.marketTitle || '-',
-                    edge: e.edge || e.edgeSize || 0,
-                    direction: e.direction || 'yes',
-                    venue: e.venue || 'kalshi',
-                }));
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(top10, null, 2) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'get_feed',
-            label: 'Get Feed',
-            description: 'Get evaluation history with topSignal highlighting. The most important signal is surfaced first.',
-            parameters: Type.Object({
-                hours: Type.Optional(Type.Number({ description: 'Hours of history to fetch (default 24)' })),
-            }),
-            execute: async (_id, p) => {
-                const result = await sfClient.getFeed(p.hours || 24);
-                const items = Array.isArray(result) ? result : (result?.evaluations || result?.items || []);
-                let topSignal = null;
-                let topScore = 0;
-                for (const item of items) {
-                    let score = 0;
-                    const delta = Math.abs(item.confidenceDelta || item.confidence_delta || 0);
-                    if (delta > 0)
-                        score = delta * 100;
-                    else if (item.summary?.length > 50)
-                        score = 0.1;
-                    if (score > topScore) {
-                        topScore = score;
-                        topSignal = item;
-                    }
-                }
-                const output = { total: items.length };
-                if (topSignal) {
-                    output.topSignal = {
-                        summary: topSignal.summary || topSignal.content || '',
-                        confidenceDelta: topSignal.confidenceDelta || topSignal.confidence_delta || 0,
-                        evaluatedAt: topSignal.evaluatedAt || topSignal.evaluated_at || '',
-                        why: topScore > 1 ? 'Largest confidence movement' : topScore > 0 ? 'Most substantive (no confidence change)' : 'Most recent',
-                    };
-                }
-                output.items = items;
-                return {
-                    content: [{ type: 'text', text: JSON.stringify(output, null, 2) }],
-                    details: {},
-                };
-            },
-        },
-        {
-            name: 'get_changes',
-            label: 'Get Changes',
-            description: 'Get recent market changes detected server-side. Returns real price moves (>5¢), new contracts, and removed/settled contracts across Kalshi, Polymarket, and traditional markets. Use for situational awareness and discovering new opportunities.',
-            parameters: Type.Object({
-                hours: Type.Optional(Type.Number({ description: 'Hours of history (default 1)' })),
-            }),
-            execute: async (_id, p) => {
-                const hours = p.hours || 1;
-                const since = new Date(Date.now() - hours * 60 * 60 * 1000).toISOString();
-                const apiUrl = process.env.SF_API_URL || 'https://simplefunctions.dev';
-                const res = await fetch(`${apiUrl}/api/changes?since=${encodeURIComponent(since)}&limit=100`);
-                if (!res.ok)
-                    return { content: [{ type: 'text', text: JSON.stringify({ error: `API error ${res.status}` }) }], details: {} };
-                const data = await res.json();
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'explore_public',
-            label: 'Explore Public Theses',
-            description: 'Browse public theses from other users. No auth required. Pass a slug to get details, or omit to list all.',
-            parameters: Type.Object({
-                slug: Type.Optional(Type.String({ description: 'Specific thesis slug, or empty to list all' })),
-            }),
-            execute: async (_id, p) => {
-                const base = 'https://simplefunctions.dev';
-                if (p.slug) {
-                    const res = await fetch(`${base}/api/public/thesis/${p.slug}`);
-                    if (!res.ok)
-                        return { content: [{ type: 'text', text: `Not found: ${p.slug}` }], details: {} };
-                    const data = await res.json();
-                    return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-                }
-                const res = await fetch(`${base}/api/public/theses`);
-                if (!res.ok)
-                    return { content: [{ type: 'text', text: 'Failed to fetch public theses' }], details: {} };
-                const data = await res.json();
-                return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'create_strategy',
-            label: 'Create Strategy',
-            description: 'Create a trading strategy for a thesis. Extract hard conditions (entryBelow/stopLoss/takeProfit as cents) and soft conditions from conversation. Called when user mentions specific trade ideas.',
-            parameters: Type.Object({
-                thesisId: Type.String({ description: 'Thesis ID' }),
-                marketId: Type.String({ description: 'Market ticker e.g. KXWTIMAX-26DEC31-T150' }),
-                market: Type.String({ description: 'Human-readable market name' }),
-                direction: Type.String({ description: 'yes or no' }),
-                horizon: Type.Optional(Type.String({ description: 'short, medium, or long. Default: medium' })),
-                entryBelow: Type.Optional(Type.Number({ description: 'Entry trigger: ask <= this value (cents)' })),
-                entryAbove: Type.Optional(Type.Number({ description: 'Entry trigger: ask >= this value (cents, for NO direction)' })),
-                stopLoss: Type.Optional(Type.Number({ description: 'Stop loss: bid <= this value (cents)' })),
-                takeProfit: Type.Optional(Type.Number({ description: 'Take profit: bid >= this value (cents)' })),
-                maxQuantity: Type.Optional(Type.Number({ description: 'Max total contracts. Default: 500' })),
-                perOrderQuantity: Type.Optional(Type.Number({ description: 'Contracts per order. Default: 50' })),
-                softConditions: Type.Optional(Type.String({ description: 'LLM-evaluated conditions e.g. "only enter when n3 > 60%"' })),
-                rationale: Type.Optional(Type.String({ description: 'Full logic description' })),
-            }),
-            execute: async (_id, p) => {
-                const result = await sfClient.createStrategyAPI(p.thesisId, {
-                    marketId: p.marketId,
-                    market: p.market,
-                    direction: p.direction,
-                    horizon: p.horizon,
-                    entryBelow: p.entryBelow,
-                    entryAbove: p.entryAbove,
-                    stopLoss: p.stopLoss,
-                    takeProfit: p.takeProfit,
-                    maxQuantity: p.maxQuantity,
-                    perOrderQuantity: p.perOrderQuantity,
-                    softConditions: p.softConditions,
-                    rationale: p.rationale,
-                    createdBy: 'agent',
-                });
-                return { content: [{ type: 'text', text: JSON.stringify(result) }], details: {} };
-            },
-        },
-        {
-            name: 'list_strategies',
-            label: 'List Strategies',
-            description: 'List strategies for a thesis. Filter by status (active/watching/executed/cancelled/review) or omit for all.',
-            parameters: Type.Object({
-                thesisId: Type.String({ description: 'Thesis ID' }),
-                status: Type.Optional(Type.String({ description: 'Filter by status. Omit for all.' })),
-            }),
-            execute: async (_id, p) => {
-                const result = await sfClient.getStrategies(p.thesisId, p.status);
-                return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-            },
-        },
-        {
-            name: 'update_strategy',
-            label: 'Update Strategy',
-            description: 'Update a strategy (change stop loss, take profit, status, priority, etc.)',
-            parameters: Type.Object({
-                thesisId: Type.String({ description: 'Thesis ID' }),
-                strategyId: Type.String({ description: 'Strategy ID (UUID)' }),
-                stopLoss: Type.Optional(Type.Number({ description: 'New stop loss (cents)' })),
-                takeProfit: Type.Optional(Type.Number({ description: 'New take profit (cents)' })),
-                entryBelow: Type.Optional(Type.Number({ description: 'New entry below trigger (cents)' })),
-                entryAbove: Type.Optional(Type.Number({ description: 'New entry above trigger (cents)' })),
-                status: Type.Optional(Type.String({ description: 'New status: active|watching|executed|cancelled|review' })),
-                priority: Type.Optional(Type.Number({ description: 'New priority' })),
-                softConditions: Type.Optional(Type.String({ description: 'Updated soft conditions' })),
-                rationale: Type.Optional(Type.String({ description: 'Updated rationale' })),
-            }),
-            execute: async (_id, p) => {
-                const { thesisId, strategyId, ...updates } = p;
-                const result = await sfClient.updateStrategyAPI(thesisId, strategyId, updates);
-                return { content: [{ type: 'text', text: JSON.stringify(result) }], details: {} };
-            },
-        },
-        {
-            name: 'what_if',
-            label: 'What-If',
-            description: 'Run a what-if scenario: override causal tree node probabilities and see how edges and confidence change. Zero LLM cost — pure computation.',
-            parameters: Type.Object({
-                overrides: Type.Array(Type.Object({
-                    nodeId: Type.String({ description: 'Causal tree node ID (e.g. n1, n3.1)' }),
-                    newProbability: Type.Number({ description: 'New probability 0-1' }),
-                }), { description: 'Node probability overrides' }),
-            }),
-            execute: async (_id, p) => {
-                const ctx = latestContext;
-                const allNodes = [];
-                function flatten(nodes) {
-                    for (const n of nodes) {
-                        allNodes.push(n);
-                        if (n.children?.length)
-                            flatten(n.children);
-                    }
-                }
-                const rawNodes = ctx.causalTree?.nodes || [];
-                flatten(rawNodes);
-                const treeNodes = rawNodes.filter((n) => n.depth === 0 || (n.depth === undefined && !n.id.includes('.')));
-                const overrideMap = new Map(p.overrides.map((o) => [o.nodeId, o.newProbability]));
-                const oldConf = treeNodes.reduce((s, n) => s + (n.probability || 0) * (n.importance || 0), 0);
-                const newConf = treeNodes.reduce((s, n) => {
-                    const prob = overrideMap.get(n.id) ?? n.probability ?? 0;
-                    return s + prob * (n.importance || 0);
-                }, 0);
-                const nodeScales = new Map();
-                for (const [nid, np] of overrideMap.entries()) {
-                    const nd = allNodes.find((n) => n.id === nid);
-                    if (nd && nd.probability > 0)
-                        nodeScales.set(nid, Math.max(0, Math.min(2, np / nd.probability)));
-                }
-                const edges = (ctx.edges || []).map((edge) => {
-                    const relNode = edge.relatedNodeId;
-                    let scaleFactor = 1;
-                    if (relNode) {
-                        const candidates = [relNode, relNode.split('.').slice(0, -1).join('.'), relNode.split('.')[0]].filter(Boolean);
-                        for (const cid of candidates) {
-                            if (nodeScales.has(cid)) {
-                                scaleFactor = nodeScales.get(cid);
-                                break;
-                            }
-                        }
-                    }
-                    const mkt = edge.marketPrice || 0;
-                    const oldTP = edge.thesisPrice || edge.thesisImpliedPrice || mkt;
-                    const oldEdge = edge.edge || edge.edgeSize || 0;
-                    const newTP = Math.round((mkt + (oldTP - mkt) * scaleFactor) * 100) / 100;
-                    const dir = edge.direction || 'yes';
-                    const newEdge = Math.round((dir === 'yes' ? newTP - mkt : mkt - newTP) * 100) / 100;
-                    return {
-                        market: edge.market || edge.marketTitle || edge.marketId,
-                        marketPrice: mkt,
-                        oldEdge,
-                        newEdge,
-                        delta: newEdge - oldEdge,
-                        signal: Math.abs(newEdge - oldEdge) < 1 ? 'unchanged' : (oldEdge > 0 && newEdge < 0) || (oldEdge < 0 && newEdge > 0) ? 'REVERSED' : Math.abs(newEdge) < 2 ? 'GONE' : 'reduced',
-                    };
-                }).filter((e) => e.signal !== 'unchanged');
-                const result = {
-                    overrides: p.overrides.map((o) => {
-                        const node = allNodes.find((n) => n.id === o.nodeId);
-                        return { nodeId: o.nodeId, label: node?.label || o.nodeId, oldProb: node?.probability, newProb: o.newProbability };
-                    }),
-                    confidence: { old: Math.round(oldConf * 100), new: Math.round(newConf * 100), delta: Math.round((newConf - oldConf) * 100) },
-                    affectedEdges: edges,
-                };
-                return { content: [{ type: 'text', text: JSON.stringify(result, null, 2) }], details: {} };
-            },
-        },
-    ];
-    // ── X (Twitter) tools for plain mode ──────────────────────────────────────
-    tools.push({
-        name: 'search_x', label: 'X Search',
-        description: 'Search X (Twitter) for recent discussions. Returns posts, sentiment, themes.',
-        parameters: Type.Object({
-            query: Type.String({ description: 'Search query' }),
-            mode: Type.Optional(Type.String({ description: '"summary" or "raw"' })),
-            hours: Type.Optional(Type.Number({ description: 'Hours (default 24)' })),
-        }),
-        execute: async (_id, p) => {
-            const data = await sfClient.searchX(p.query, { mode: p.mode, hours: p.hours });
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    }, {
-        name: 'x_volume', label: 'X Volume',
-        description: 'X discussion volume trend — total posts, velocity, peak time, timeseries.',
-        parameters: Type.Object({
-            query: Type.String({ description: 'Search query' }),
-            hours: Type.Optional(Type.Number({ description: 'Hours (default 72)' })),
-        }),
-        execute: async (_id, p) => {
-            const data = await sfClient.getXVolume(p.query, { hours: p.hours });
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    }, {
-        name: 'x_news', label: 'X News',
-        description: 'News stories trending on X — titles, summaries, tickers.',
-        parameters: Type.Object({
-            query: Type.String({ description: 'Search query' }),
-            limit: Type.Optional(Type.Number({ description: 'Max stories (default 10)' })),
-        }),
-        execute: async (_id, p) => {
-            const data = await sfClient.searchXNews(p.query, { limit: p.limit });
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    }, {
-        name: 'x_account', label: 'X Account',
-        description: 'Recent posts from a specific X account.',
-        parameters: Type.Object({
-            username: Type.String({ description: 'X username (with or without @)' }),
-            hours: Type.Optional(Type.Number({ description: 'Hours (default 24)' })),
-        }),
-        execute: async (_id, p) => {
-            const data = await sfClient.getXAccount(p.username, { hours: p.hours });
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    }, {
-        name: 'heartbeat_config', label: 'Heartbeat Config',
-        description: 'View or update heartbeat settings: scan intervals, model tier, budget cap, pause/resume. Shows cost breakdown.',
-        parameters: Type.Object({
-            thesisId: Type.String({ description: 'Thesis ID' }),
-            newsIntervalMin: Type.Optional(Type.Number({ description: 'News scan interval (15-1440 min)' })),
-            xIntervalMin: Type.Optional(Type.Number({ description: 'X scan interval (60-1440 min)' })),
-            evalModelTier: Type.Optional(Type.String({ description: 'cheap, medium, or heavy' })),
-            monthlyBudgetUsd: Type.Optional(Type.Number({ description: 'Monthly budget (0 = unlimited)' })),
-            paused: Type.Optional(Type.Boolean({ description: 'Pause or resume heartbeat' })),
-        }),
-        execute: async (_id, p) => {
-            const hasUp = p.newsIntervalMin || p.xIntervalMin || p.evalModelTier || p.monthlyBudgetUsd !== undefined || p.paused !== undefined;
-            if (hasUp) {
-                const u = {};
-                if (p.newsIntervalMin)
-                    u.newsIntervalMin = p.newsIntervalMin;
-                if (p.xIntervalMin)
-                    u.xIntervalMin = p.xIntervalMin;
-                if (p.evalModelTier)
-                    u.evalModelTier = p.evalModelTier;
-                if (p.monthlyBudgetUsd !== undefined)
-                    u.monthlyBudgetUsd = p.monthlyBudgetUsd;
-                if (p.paused !== undefined)
-                    u.paused = p.paused;
-                await sfClient.updateHeartbeatConfig(p.thesisId, u);
-            }
-            const data = await sfClient.getHeartbeatConfig(p.thesisId);
-            return { content: [{ type: 'text', text: JSON.stringify(data, null, 2) }], details: {} };
-        },
-    });
-    // ── Trading tools (conditional on tradingEnabled) for plain mode ──────────
-    const config = (0, config_js_1.loadConfig)();
-    if (config.tradingEnabled) {
-        tools.push({
-            name: 'place_order',
-            label: 'Place Order',
-            description: 'Place a buy or sell order on Kalshi. Shows preview and asks for confirmation.',
-            parameters: Type.Object({
-                ticker: Type.String({ description: 'Market ticker e.g. KXWTIMAX-26DEC31-T135' }),
-                side: Type.String({ description: 'yes or no' }),
-                action: Type.String({ description: 'buy or sell' }),
-                type: Type.String({ description: 'limit or market' }),
-                count: Type.Number({ description: 'Number of contracts' }),
-                price_cents: Type.Optional(Type.Number({ description: 'Limit price in cents (1-99). Required for limit orders.' })),
-            }),
-            execute: async (_id, p) => {
-                const { createOrder } = await import('../kalshi.js');
-                const readline = await import('readline');
-                const priceCents = p.price_cents ? Math.round(Number(p.price_cents)) : undefined;
-                const maxCost = ((priceCents || 99) * p.count / 100).toFixed(2);
-                const preview = `  Order: ${p.action.toUpperCase()} ${p.count}x ${p.ticker} ${p.side.toUpperCase()} @ ${priceCents ? priceCents + '\u00A2' : 'market'} (max $${maxCost})`;
-                process.stderr.write(preview + '\n');
-                // Reject if stdin is piped (non-TTY) — too dangerous to auto-execute trades
-                if (!process.stdin.isTTY) {
-                    return { content: [{ type: 'text', text: 'Order rejected: trading requires interactive terminal (stdin is piped). Use TUI mode for trading.' }], details: {} };
-                }
-                // Confirm in plain mode via readline
-                const rl = readline.createInterface({ input: process.stdin, output: process.stderr });
-                const answer = await new Promise(resolve => rl.question('  Execute? (y/n) ', resolve));
-                rl.close();
-                if (!answer.toLowerCase().startsWith('y')) {
-                    return { content: [{ type: 'text', text: 'Order cancelled by user.' }], details: {} };
-                }
-                try {
-                    const result = await createOrder({
-                        ticker: p.ticker,
-                        side: p.side,
-                        action: p.action,
-                        type: p.type,
-                        count: p.count,
-                        ...(priceCents ? { yes_price: priceCents } : {}),
-                    });
-                    const order = result.order || result;
-                    return {
-                        content: [{ type: 'text', text: `Order placed: ${order.order_id || 'OK'}\nStatus: ${order.status || '-'}\nFilled: ${order.fill_count_fp || 0}/${order.initial_count_fp || p.count}` }],
-                        details: {},
-                    };
-                }
-                catch (err) {
-                    const msg = err.message || String(err);
-                    if (msg.includes('403')) {
-                        return { content: [{ type: 'text', text: '403 Forbidden \u2014 your Kalshi key lacks write permission. Get a read+write key at kalshi.com/account/api-keys' }], details: {} };
-                    }
-                    return { content: [{ type: 'text', text: `Order failed: ${msg}` }], details: {} };
-                }
-            },
-        }, {
-            name: 'cancel_order',
-            label: 'Cancel Order',
-            description: 'Cancel a resting order by order ID. Executes directly (no confirmation prompt in plain mode).',
-            parameters: Type.Object({
-                order_id: Type.String({ description: 'Order ID to cancel' }),
-            }),
-            execute: async (_id, p) => {
-                const { cancelOrder } = await import('../kalshi.js');
-                try {
-                    await cancelOrder(p.order_id);
-                    return { content: [{ type: 'text', text: `Order ${p.order_id} cancelled.` }], details: {} };
-                }
-                catch (err) {
-                    return { content: [{ type: 'text', text: `Cancel failed: ${err.message}` }], details: {} };
-                }
-            },
-        });
-    }
-    // ── System prompt ─────────────────────────────────────────────────────────
-    const ctx = latestContext;
-    const isExplorerPlain = ctx._explorerMode || resolvedThesisId === '_explorer';
-    let systemPrompt;
-    if (isExplorerPlain) {
-        const topEdges = (ctx.edges || [])
-            .sort((a, b) => Math.abs(b.edge) - Math.abs(a.edge))
-            .slice(0, 5)
-            .map((e) => `  ${(e.title || '').slice(0, 40)} | ${e.venue || 'kalshi'} | +${e.edge}`)
-            .join('\n') || '  (no edges)';
-        systemPrompt = `You are a prediction market research assistant in EXPLORER MODE — not bound to any thesis.
-
-## What you can do
-- query: LLM-enhanced market search
-- scan_markets: search Kalshi + Polymarket
-- get_markets: traditional markets (SPY, VIX, gold, oil)
-- explore_public: browse public theses
-- search_x, x_volume, x_news: X/Twitter signals
-- get_positions: portfolio positions
-- create_thesis: create a thesis when user forms a view
-
-## CRITICAL: When the user expresses a view worth tracking, use create_thesis. After creation, confirm and continue with the new thesis context.
-
-## Rules
-- Be concise. Use tools for fresh data.
-- Use Chinese if user writes Chinese, English if English.
-- Prices in cents (¢). P&L in dollars ($).
-${config.tradingEnabled ? '- Trading ENABLED.' : '- Trading DISABLED.'}
-
-## Market snapshot
-Public edges:
-${topEdges}`;
-    }
-    else {
-        const edgesSummary = ctx.edges
-            ?.sort((a, b) => Math.abs(b.edge) - Math.abs(a.edge))
-            .slice(0, 5)
-            .map((e) => `  ${(e.market || '').slice(0, 40)} | ${e.venue || 'kalshi'} | mkt ${e.marketPrice}\u00A2 | edge ${e.edge > 0 ? '+' : ''}${e.edge}`)
-            .join('\n') || '  (no edges)';
-        const nodesSummary = ctx.causalTree?.nodes
-            ?.filter((n) => n.depth === 0)
-            .map((n) => `  ${n.id} ${(n.label || '').slice(0, 40)} \u2014 ${Math.round(n.probability * 100)}%`)
-            .join('\n') || '  (no causal tree)';
-        const conf = typeof ctx.confidence === 'number' ? Math.round(ctx.confidence * 100) : 0;
-        systemPrompt = `You are a prediction market trading assistant. Your job is not to please the user — it is to help them see reality clearly and make correct trading decisions.
-
-## Framework
-Edge = thesis price - market price. Positive = market underprices. executableEdge = edge minus spread.
-
-Edge types: "consensus_gap" (depth >= 500, real disagreement), "attention_gap" (depth < 100, illusory pricing), "timing_gap" (market lags), "risk_premium" (settlement/platform risk). Always classify when reporting edges.
-For edges > 20 cents, state what the market must believe for it to be right.
-
-Price reliability: depth >= 500 = consensus. depth < 100 = unreliable. spread > 5 cents = noisy. Flag illiquid markets.
-
-Kill conditions: each causal node has a falsifier. Check these first when evaluating news. If triggered, override other analysis.
-
-Always state contract expiry and next catalyst. No catalyst = flag capital lock risk.
-
-For complex questions, chain: get_context -> inspect_book -> get_liquidity -> web_search -> search_x -> synthesize.
-Use search_x for social sentiment on any topic. Use x_volume to detect discussion spikes. Use x_account to track key people.
-Use heartbeat_config to view/adjust scan intervals, model tier, budget cap, or check cost breakdown.
-
-Flag correlated exposure across positions sharing upstream nodes. If nothing to do, say so.
-
-## Rules
-- Be concise. Use tools for fresh data. Don't guess prices.
-- You do NOT know the user's positions at start. Call get_positions before discussing trades or portfolio.
-- If user mentions news, inject_signal immediately.
-- If user says "evaluate", trigger immediately. Don't confirm.
-- Don't end with "anything else?"
-- If an edge is narrowing or disappearing, say so proactively.
-- Use Chinese if user writes Chinese, English if English.
-- Prices in cents (¢). P&L in dollars ($). Don't re-convert tool output.
-- When a trade idea emerges, create_strategy to record it.
-${config.tradingEnabled ? '- Trading ENABLED. You have place_order and cancel_order tools.' : '- Trading DISABLED. Tell user: sf setup --enable-trading'}
-
-## Current State
-Thesis: ${ctx.thesis || ctx.rawThesis || 'N/A'}
-ID: ${resolvedThesisId} | Confidence: ${conf}% | Status: ${ctx.status}
-
-Causal nodes:
-${nodesSummary}
-
-Top edges:
-${edgesSummary}
-
-${ctx.lastEvaluation?.summary ? `Latest eval: ${ctx.lastEvaluation.summary.slice(0, 300)}` : ''}`;
-    }
-    // ── Create agent ──────────────────────────────────────────────────────────
-    const agent = new Agent({
-        initialState: { systemPrompt, model, tools, thinkingLevel: 'off' },
-        streamFn: streamSimple,
-        getApiKey: (provider) => provider === 'openrouter' ? openrouterKey : undefined,
-    });
-    // ── Session restore ───────────────────────────────────────────────────────
-    if (!opts?.newSession) {
-        const saved = loadSession(resolvedThesisId);
-        if (saved?.messages?.length > 0) {
-            try {
-                agent.replaceMessages(saved.messages);
-                agent.setSystemPrompt(systemPrompt);
-            }
-            catch { /* start fresh */ }
-        }
-    }
-    // ── Subscribe to agent events → plain stdout ──────────────────────────────
-    let currentText = '';
-    agent.subscribe((event) => {
-        if (event.type === 'message_update') {
-            const e = event.assistantMessageEvent;
-            if (e.type === 'text_delta') {
-                process.stdout.write(e.delta);
-                currentText += e.delta;
-            }
-        }
-        if (event.type === 'message_end') {
-            if (currentText) {
-                process.stdout.write('\n');
-                currentText = '';
-            }
-        }
-        if (event.type === 'tool_execution_start') {
-            process.stderr.write(`  \u25B8 ${event.toolName}...\n`);
-        }
-        if (event.type === 'tool_execution_end') {
-            const status = event.isError ? '\u2717' : '\u2713';
-            process.stderr.write(`  ${status} ${event.toolName}\n`);
-        }
-    });
-    // ── Welcome ───────────────────────────────────────────────────────────────
-    if (isExplorerPlain) {
-        console.log(`SF Agent — Explorer mode | ${currentModelName}`);
-        console.log(`Public edges: ${(ctx.edges || []).length}`);
-        console.log('Ask anything about prediction markets. Type /help for commands, /exit to quit.\n');
-    }
-    else {
-        const thesisText = ctx.thesis || ctx.rawThesis || 'N/A';
-        const plainConf = typeof ctx.confidence === 'number' ? Math.round(ctx.confidence * 100) : 0;
-        console.log(`SF Agent — ${resolvedThesisId.slice(0, 8)} | ${plainConf}% | ${currentModelName}`);
-        console.log(`Thesis: ${thesisText.length > 100 ? thesisText.slice(0, 100) + '...' : thesisText}`);
-        console.log(`Edges: ${(ctx.edges || []).length} | Status: ${ctx.status}`);
-        console.log('Type /help for commands, /exit to quit.\n');
-    }
-    // ── REPL loop ─────────────────────────────────────────────────────────────
-    const rl = readline.createInterface({ input: process.stdin, output: process.stdout, prompt: '> ' });
-    rl.prompt();
-    for await (const line of rl) {
-        const trimmed = line.trim();
-        if (!trimmed) {
-            rl.prompt();
-            continue;
-        }
-        if (trimmed === '/exit' || trimmed === '/quit') {
-            try {
-                saveSession(resolvedThesisId, currentModelName, agent.state.messages);
-            }
-            catch { }
-            rl.close();
-            return;
-        }
-        if (trimmed === '/help') {
-            console.log('Commands: /help /exit /tree /edges /eval /model <name>');
-            rl.prompt();
-            continue;
-        }
-        if (trimmed === '/tree') {
-            latestContext = await sfClient.getContext(resolvedThesisId);
-            const nodes = latestContext.causalTree?.nodes || [];
-            for (const n of nodes) {
-                const indent = '  '.repeat(n.depth || 0);
-                console.log(`${indent}${n.id} ${(n.label || '').slice(0, 60)} — ${Math.round(n.probability * 100)}%`);
-            }
-            rl.prompt();
-            continue;
-        }
-        if (trimmed === '/edges') {
-            latestContext = await sfClient.getContext(resolvedThesisId);
-            const edges = (latestContext.edges || []).sort((a, b) => Math.abs(b.edge) - Math.abs(a.edge)).slice(0, 15);
-            for (const e of edges) {
-                const sign = e.edge > 0 ? '+' : '';
-                console.log(`  ${(e.market || '').slice(0, 45).padEnd(45)} ${e.marketPrice}¢  edge ${sign}${e.edge}  ${e.venue}`);
-            }
-            rl.prompt();
-            continue;
-        }
-        if (trimmed === '/eval') {
-            console.log('Triggering evaluation...');
-            const result = await sfClient.evaluate(resolvedThesisId);
-            console.log(`Confidence: ${result.previousConfidence} → ${result.newConfidence}`);
-            if (result.summary)
-                console.log(result.summary);
-            rl.prompt();
-            continue;
-        }
-        if (trimmed.startsWith('/model')) {
-            const newModel = trimmed.slice(6).trim();
-            if (!newModel) {
-                console.log(`Current: ${currentModelName}`);
-                rl.prompt();
-                continue;
-            }
-            currentModelName = newModel.replace(/^openrouter\//, '');
-            model = resolveModel(currentModelName);
-            agent.setModel(model);
-            console.log(`Model: ${currentModelName}`);
-            rl.prompt();
-            continue;
-        }
-        // Regular message → agent
-        try {
-            await agent.prompt(trimmed);
-        }
-        catch (err) {
-            console.error(`Error: ${err.message}`);
-        }
-        // Save after each turn
-        try {
-            saveSession(resolvedThesisId, currentModelName, agent.state.messages);
-        }
-        catch { }
-        rl.prompt();
-    }
-}