reasonix 0.7.0 → 0.7.1

package/dist/cli/index.js

@@ -2663,6 +2663,11 @@ var CacheFirstLoop = class {
         };
       }
       if (repairedCalls.length === 0) {
+        const allSuppressed = report.stormsBroken > 0 && toolCalls.length > 0;
+        if (allSuppressed) {
+          yield* this.forceSummaryAfterIterLimit({ reason: "stuck" });
+          return;
+        }
         this.autoCompactToolResultsOnTurnEnd();
         yield { turn: this._turn, role: "done", content: assistantContent };
         return;
@@ -2931,11 +2936,15 @@ function reasonPrefixFor(reason, iterCap) {
   if (reason === "context-guard") {
     return "[context budget running low \u2014 summarizing before the next call would overflow]";
   }
+  if (reason === "stuck") {
+    return "[stuck on a repeated tool call \u2014 explaining what was tried and what's blocking progress]";
+  }
   return `[tool-call budget (${iterCap}) reached \u2014 forcing summary from what I found]`;
 }
 function errorLabelFor(reason, iterCap) {
   if (reason === "aborted") return "aborted by user";
   if (reason === "context-guard") return "context-guard triggered (prompt > 80% of window)";
+  if (reason === "stuck") return "stuck (repeated tool call suppressed by storm-breaker)";
   return `tool-call budget (${iterCap}) reached`;
 }
 function summarizeBranch(chosen, samples) {
@@ -5035,7 +5044,15 @@ async function runCommand(cmd, opts) {
     shell: false,
     // no shell-expansion — see header comment
     windowsHide: true,
-    env: process.env
+    // PYTHONIOENCODING + PYTHONUTF8 force any spawned Python child
+    // (run_command running `python script.py`, etc.) to emit UTF-8
+    // on stdout/stderr. Without this, Chinese-Windows defaults
+    // Python's stdout encoder to GBK and `print("…")` raises
+    // UnicodeEncodeError on emoji / non-GBK chars — the model then
+    // sees a Python traceback instead of the script's real output
+    // and goes around in circles trying to fix the wrong problem.
+    // Harmless on non-Python processes (env vars they don't read).
+    env: { ...process.env, PYTHONIOENCODING: "utf-8", PYTHONUTF8: "1" }
   };
   const { bin, args, spawnOverrides } = prepareSpawn(argv);
   const effectiveSpawnOpts = { ...spawnOpts, ...spawnOverrides };
@@ -5484,7 +5501,7 @@ function registerWebTools(registry, opts = {}) {
   const maxFetchChars = opts.maxFetchChars ?? DEFAULT_FETCH_MAX_CHARS;
   registry.register({
     name: "web_search",
-    description: "Search the public web. Returns ranked results with title, url, and snippet. Use this when the question needs information more current than your training data, when you're unsure of a factual detail, or when the user asks about a specific webpage/library/release you haven't seen.",
+    description: "Search the public web. Returns ranked results with title, url, and snippet. Call this when the answer's correctness depends on current state \u2014 anything that changes over time (events, prices, releases, status of a thing in the real world). Composing such answers from training memory invents stale numbers; search first, then ground the answer in the results. For evergreen / definitional questions you don't need this.",
     readOnly: true,
     parameters: {
       type: "object",
@@ -7099,7 +7116,7 @@ import { render } from "ink";
 import React23, { useState as useState12 } from "react";
 
 // src/cli/ui/App.tsx
-import { Box as Box19, Static, useApp, useInput as useInput5 } from "ink";
+import { Box as Box19, Static, useApp, useInput as useInput5, useStdout as useStdout4 } from "ink";
 import React20, { useCallback as useCallback4, useEffect as useEffect5, useMemo as useMemo3, useRef as useRef5, useState as useState10 } from "react";
 
 // src/code/pending-edits.ts
@@ -7853,13 +7870,136 @@ function toSubscript(s) {
   return out;
 }
 function stripMath(s) {
-  return s.replace(/\\\(\s*/g, "").replace(/\s*\\\)/g, "").replace(/\\\[\s*/g, "\n").replace(/\s*\\\]/g, "\n").replace(
+  return s.replace(/\$\$([\s\S]+?)\$\$/g, (_m, c) => `
+
+${c.trim()}
+
+`).replace(/(?<!\$)\$(?!\s)([^$\n]+?)(?<!\s)\$(?!\$)/g, "$1").replace(/\\\(\s*/g, "").replace(/\s*\\\)/g, "").replace(/\\\[\s*/g, "\n").replace(/\s*\\\]/g, "\n").replace(
     /\\[dt]?frac\s*\{((?:[^{}]|\{[^{}]*\})+)\}\s*\{((?:[^{}]|\{[^{}]*\})+)\}/g,
     (_m, num, den) => `(${num.trim()})/(${den.trim()})`
   ).replace(
     /\\binom\s*\{([^{}]+)\}\s*\{([^{}]+)\}/g,
     (_m, n, k) => `C(${n.trim()},${k.trim()})`
-  ).replace(/\\sqrt\s*\{([^{}]+)\}/g, (_m, g) => `\u221A(${g.trim()})`).replace(/\\boxed\s*\{([^{}]+)\}/g, (_m, g) => `\u3010${g.trim()}\u3011`).replace(/\\text\s*\{([^{}]+)\}/g, (_m, g) => g.trim()).replace(/\\overline\s*\{([^{}]+)\}/g, (_m, g) => `${g.trim()}\u0304`).replace(/\\hat\s*\{([^{}]+)\}/g, (_m, g) => `${g.trim()}\u0302`).replace(/\\vec\s*\{([^{}]+)\}/g, (_m, g) => `\u2192${g.trim()}`).replace(/\\cdot/g, "\xB7").replace(/\\times/g, "\xD7").replace(/\\div/g, "\xF7").replace(/\\pm/g, "\xB1").replace(/\\mp/g, "\u2213").replace(/\\leq/g, "\u2264").replace(/\\geq/g, "\u2265").replace(/\\neq/g, "\u2260").replace(/\\approx/g, "\u2248").replace(/\\in\b/g, "\u2208").replace(/\\notin\b/g, "\u2209").replace(/\\infty/g, "\u221E").replace(/\\sum\b/g, "\u03A3").replace(/\\prod\b/g, "\u03A0").replace(/\\int\b/g, "\u222B").replace(/\\alpha/g, "\u03B1").replace(/\\beta/g, "\u03B2").replace(/\\gamma/g, "\u03B3").replace(/\\delta/g, "\u03B4").replace(/\\theta/g, "\u03B8").replace(/\\lambda/g, "\u03BB").replace(/\\mu/g, "\u03BC").replace(/\\pi/g, "\u03C0").replace(/\\sigma/g, "\u03C3").replace(/\\phi/g, "\u03C6").replace(/\\omega/g, "\u03C9").replace(/\\implies\b/g, "\u21D2").replace(/\\iff\b/g, "\u21D4").replace(/\\to\b/g, "\u2192").replace(/\\rightarrow/g, "\u2192").replace(/\\Rightarrow/g, "\u21D2").replace(/\\leftarrow/g, "\u2190").replace(/\\Leftarrow/g, "\u21D0").replace(/\\ldots/g, "\u2026").replace(/\\cdots/g, "\u22EF").replace(/\\quad/g, "  ").replace(/\\qquad/g, "    ").replace(/\\,/g, " ").replace(/\\;/g, " ").replace(/\\!/g, "").replace(/\\\\/g, "\n").replace(/\^\{([\w+-]+)\}/g, (_m, g) => toSuperscript(g)).replace(/\^([0-9+\-n])/g, (_m, g) => toSuperscript(g)).replace(/_\{([\w+-]+)\}/g, (_m, g) => toSubscript(g)).replace(/_([0-9+\-])/g, (_m, g) => toSubscript(g)).replace(/\\[a-zA-Z]+\s*\{([^{}]+)\}\s*\{([^{}]+)\}/g, "($1)/($2)").replace(/\\[a-zA-Z]+\s*\{([^{}]+)\}/g, "$1").replace(/\\[a-zA-Z]+/g, "").replace(/[ \t]{2,}/g, " ");
+  ).replace(/\\sqrt\s*\{([^{}]+)\}/g, (_m, g) => `\u221A(${g.trim()})`).replace(/\\boxed\s*\{([^{}]+)\}/g, (_m, g) => `\u3010${g.trim()}\u3011`).replace(/\\text\s*\{([^{}]+)\}/g, (_m, g) => g.trim()).replace(/\\overline\s*\{([^{}]+)\}/g, (_m, g) => `${g.trim()}\u0304`).replace(/\\hat\s*\{([^{}]+)\}/g, (_m, g) => `${g.trim()}\u0302`).replace(/\\vec\s*\{([^{}]+)\}/g, (_m, g) => `\u2192${g.trim()}`).replace(/\\cdot/g, "\xB7").replace(/\\times/g, "\xD7").replace(/\\div/g, "\xF7").replace(/\\pm/g, "\xB1").replace(/\\mp/g, "\u2213").replace(/\\leq/g, "\u2264").replace(/\\geq/g, "\u2265").replace(/\\neq/g, "\u2260").replace(/\\approx/g, "\u2248").replace(/\\in(?![a-zA-Z])/g, "\u2208").replace(/\\notin(?![a-zA-Z])/g, "\u2209").replace(/\\infty/g, "\u221E").replace(/\\sum(?![a-zA-Z])/g, "\u03A3").replace(/\\prod(?![a-zA-Z])/g, "\u03A0").replace(/\\int(?![a-zA-Z])/g, "\u222B").replace(/\\alpha/g, "\u03B1").replace(/\\beta/g, "\u03B2").replace(/\\gamma/g, "\u03B3").replace(/\\delta/g, "\u03B4").replace(/\\theta/g, "\u03B8").replace(/\\lambda/g, "\u03BB").replace(/\\mu/g, "\u03BC").replace(/\\pi/g, "\u03C0").replace(/\\sigma/g, "\u03C3").replace(/\\phi/g, "\u03C6").replace(/\\omega/g, "\u03C9").replace(/\\implies(?![a-zA-Z])/g, "\u21D2").replace(/\\iff(?![a-zA-Z])/g, "\u21D4").replace(/\\to(?![a-zA-Z])/g, "\u2192").replace(/\\rightarrow/g, "\u2192").replace(/\\Rightarrow/g, "\u21D2").replace(/\\leftarrow/g, "\u2190").replace(/\\Leftarrow/g, "\u21D0").replace(/\\ldots/g, "\u2026").replace(/\\cdots/g, "\u22EF").replace(/\\quad/g, "  ").replace(/\\qquad/g, "    ").replace(/\\,/g, " ").replace(/\\;/g, " ").replace(/\\!/g, "").replace(/\\\\/g, "\n").replace(/\^([A-Za-z0-9+\-]+)\^/g, (m, g) => {
+    for (const c of g) if (SUPERSCRIPT[c] === void 0) return m;
+    return toSuperscript(g);
+  }).replace(/(?<!~)~(?!~)([A-Za-z0-9+\-]+)~(?!~)/g, (m, g) => {
+    for (const c of g) if (SUBSCRIPT[c] === void 0) return m;
+    return toSubscript(g);
+  }).replace(/\^\{([\w+-]+)\}/g, (_m, g) => toSuperscript(g)).replace(/\^([0-9+\-n])/g, (_m, g) => toSuperscript(g)).replace(/_\{([\w+-]+)\}/g, (_m, g) => toSubscript(g)).replace(/_([0-9+\-])/g, (_m, g) => toSubscript(g)).replace(/\\[a-zA-Z]+\s*\{([^{}]+)\}\s*\{([^{}]+)\}/g, "($1)/($2)").replace(/\\[a-zA-Z]+\s*\{([^{}]+)\}/g, "$1").replace(/\\[a-zA-Z]+/g, "").replace(/[ \t]{2,}/g, " ");
+}
+var EMOJI_MAP = {
+  // faces
+  smile: "\u{1F604}",
+  smiley: "\u{1F603}",
+  grin: "\u{1F601}",
+  grinning: "\u{1F600}",
+  joy: "\u{1F602}",
+  laughing: "\u{1F606}",
+  heart_eyes: "\u{1F60D}",
+  blush: "\u{1F60A}",
+  sunglasses: "\u{1F60E}",
+  thinking: "\u{1F914}",
+  neutral_face: "\u{1F610}",
+  confused: "\u{1F615}",
+  cry: "\u{1F622}",
+  sob: "\u{1F62D}",
+  rage: "\u{1F621}",
+  angry: "\u{1F620}",
+  scream: "\u{1F631}",
+  wink: "\u{1F609}",
+  kissing_heart: "\u{1F618}",
+  // hearts
+  heart: "\u2764\uFE0F",
+  orange_heart: "\u{1F9E1}",
+  yellow_heart: "\u{1F49B}",
+  green_heart: "\u{1F49A}",
+  blue_heart: "\u{1F499}",
+  purple_heart: "\u{1F49C}",
+  black_heart: "\u{1F5A4}",
+  white_heart: "\u{1F90D}",
+  broken_heart: "\u{1F494}",
+  sparkling_heart: "\u{1F496}",
+  two_hearts: "\u{1F495}",
+  // gestures
+  "+1": "\u{1F44D}",
+  "-1": "\u{1F44E}",
+  thumbsup: "\u{1F44D}",
+  thumbsdown: "\u{1F44E}",
+  wave: "\u{1F44B}",
+  clap: "\u{1F44F}",
+  muscle: "\u{1F4AA}",
+  ok_hand: "\u{1F44C}",
+  pray: "\u{1F64F}",
+  fist: "\u270A",
+  point_up: "\u261D\uFE0F",
+  raised_hands: "\u{1F64C}",
+  handshake: "\u{1F91D}",
+  // symbols / signals
+  rocket: "\u{1F680}",
+  fire: "\u{1F525}",
+  star: "\u2B50",
+  star2: "\u{1F31F}",
+  sparkles: "\u2728",
+  boom: "\u{1F4A5}",
+  zap: "\u26A1",
+  tada: "\u{1F389}",
+  bulb: "\u{1F4A1}",
+  warning: "\u26A0\uFE0F",
+  x: "\u274C",
+  white_check_mark: "\u2705",
+  heavy_check_mark: "\u2714\uFE0F",
+  ballot_box_with_check: "\u2611\uFE0F",
+  no_entry: "\u26D4",
+  question: "\u2753",
+  exclamation: "\u2757",
+  bangbang: "\u203C\uFE0F",
+  bell: "\u{1F514}",
+  mute: "\u{1F515}",
+  hundred: "\u{1F4AF}",
+  "100": "\u{1F4AF}",
+  eyes: "\u{1F440}",
+  // tech / productivity
+  computer: "\u{1F4BB}",
+  iphone: "\u{1F4F1}",
+  hammer: "\u{1F528}",
+  wrench: "\u{1F527}",
+  gear: "\u2699\uFE0F",
+  package: "\u{1F4E6}",
+  floppy_disk: "\u{1F4BE}",
+  key: "\u{1F511}",
+  lock: "\u{1F512}",
+  unlock: "\u{1F513}",
+  mag: "\u{1F50D}",
+  memo: "\u{1F4DD}",
+  pencil: "\u270F\uFE0F",
+  bookmark: "\u{1F516}",
+  // charts / time
+  chart_with_upwards_trend: "\u{1F4C8}",
+  chart_with_downwards_trend: "\u{1F4C9}",
+  bar_chart: "\u{1F4CA}",
+  hourglass: "\u23F3",
+  calendar: "\u{1F4C5}",
+  // misc
+  robot: "\u{1F916}",
+  ghost: "\u{1F47B}",
+  bug: "\u{1F41B}",
+  coffee: "\u2615",
+  beer: "\u{1F37A}",
+  sun: "\u2600\uFE0F",
+  cloud: "\u2601\uFE0F",
+  rainbow: "\u{1F308}",
+  speech_balloon: "\u{1F4AC}",
+  thought_balloon: "\u{1F4AD}",
+  construction: "\u{1F6A7}"
+};
+function expandAutolinks(s) {
+  return s.replace(/<((?:https?|ftp|mailto):[^\s<>]+)>/g, "[$1]($1)");
+}
+function expandEmoji(s) {
+  return s.replace(/:([a-z0-9_+-]+):/gi, (m, name) => {
+    return EMOJI_MAP[name.toLowerCase()] ?? m;
+  });
 }
 function isExternalUrl(url) {
   return /^[a-z][a-z0-9+.-]*:\/\//i.test(url) || url.startsWith("mailto:") || url.startsWith("//");
@@ -7914,18 +8054,25 @@ function validateCitation(url, projectRoot) {
   }
   return { ok: true };
 }
+function shouldValidateAsCitation(url) {
+  if (url.startsWith("#")) return false;
+  if (url === "/" || url === "\\" || url === "") return false;
+  if (!/[/\\.]/.test(url)) return false;
+  return true;
+}
 function collectCitations(text, projectRoot) {
   const map = /* @__PURE__ */ new Map();
   const re = /\[([^\]\n]+)\]\(([^)\n]+)\)/g;
   for (const m of text.matchAll(re)) {
     const url = m[2] ?? "";
     if (!url || isExternalUrl(url)) continue;
+    if (!shouldValidateAsCitation(url)) continue;
     if (map.has(url)) continue;
     map.set(url, validateCitation(url, projectRoot));
   }
   return map;
 }
-var INLINE_RE = /(\[([^\]\n]+)\]\(([^)\n]+)\)|\*\*([^*\n]+?)\*\*|```([^\n]+?)```|`([^`\n]+?)`|(?<![*\w])\*([^*\n]+?)\*(?!\w))/g;
+var INLINE_RE = /(\[([^\]\n]+)\]\(([^)\n]+)\)|\*\*\*([^*\n]+?)\*\*\*|\*\*([^*\n]+?)\*\*|```([^\n]+?)```|`([^`\n]+?)`|~~([^~\n]+?)~~|(?<![*\w])\*([^*\n]+?)\*(?!\w)|\\([*_~`[\](){}#+\-.!\\]))/g;
 function InlineMd({
   text,
   padTo,
@@ -7960,21 +8107,31 @@ function InlineMd({
       }
     } else if (m[4] !== void 0) {
       parts.push(
-        /* @__PURE__ */ React7.createElement(Text7, { key: `b${idx++}`, bold: true }, m[4])
+        /* @__PURE__ */ React7.createElement(Text7, { key: `bi${idx++}`, bold: true, italic: true }, m[4])
       );
     } else if (m[5] !== void 0) {
-      const stripped = m[5].replace(/^(\w+)\s+/, "");
       parts.push(
-        /* @__PURE__ */ React7.createElement(Text7, { key: `c${idx++}`, color: "yellow" }, stripped)
+        /* @__PURE__ */ React7.createElement(Text7, { key: `b${idx++}`, bold: true }, m[5])
       );
     } else if (m[6] !== void 0) {
+      const stripped = m[6].replace(/^(\w+)\s+/, "");
       parts.push(
-        /* @__PURE__ */ React7.createElement(Text7, { key: `c${idx++}`, color: "yellow" }, m[6])
+        /* @__PURE__ */ React7.createElement(Text7, { key: `c${idx++}`, color: "yellow" }, stripped)
       );
     } else if (m[7] !== void 0) {
       parts.push(
-        /* @__PURE__ */ React7.createElement(Text7, { key: `i${idx++}`, italic: true }, m[7])
+        /* @__PURE__ */ React7.createElement(Text7, { key: `c${idx++}`, color: "yellow" }, m[7])
+      );
+    } else if (m[8] !== void 0) {
+      parts.push(
+        /* @__PURE__ */ React7.createElement(Text7, { key: `s${idx++}`, strikethrough: true, dimColor: true }, m[8])
+      );
+    } else if (m[9] !== void 0) {
+      parts.push(
+        /* @__PURE__ */ React7.createElement(Text7, { key: `i${idx++}`, italic: true }, m[9])
       );
+    } else if (m[10] !== void 0) {
+      parts.push(/* @__PURE__ */ React7.createElement(Text7, { key: `esc${idx++}` }, m[10]));
     }
     last = start + m[0].length;
   }
@@ -7990,7 +8147,20 @@ function InlineMd({
   return /* @__PURE__ */ React7.createElement(Text7, null, parts);
 }
 function stripInlineMarkup(s) {
-  return s.replace(/\[([^\]\n]+)\]\(([^)\n]+)\)/g, "$1").replace(/\*\*([^*\n]+?)\*\*/g, "$1").replace(/```([^\n]+?)```/g, (_m, c) => c.replace(/^(\w+)\s+/, "")).replace(/`([^`\n]+?)`/g, "$1").replace(/(?<![*\w])\*([^*\n]+?)\*(?!\w)/g, "$1");
+  return s.replace(
+    INLINE_RE,
+    (match, _alt, linkText, _url, boldItalic, bold, code3, code1, strike, italic, escapeChar) => {
+      if (linkText !== void 0) return linkText;
+      if (boldItalic !== void 0) return boldItalic;
+      if (bold !== void 0) return bold;
+      if (code3 !== void 0) return code3.replace(/^(\w+)\s+/, "");
+      if (code1 !== void 0) return code1;
+      if (strike !== void 0) return strike;
+      if (italic !== void 0) return italic;
+      if (escapeChar !== void 0) return escapeChar;
+      return match;
+    }
+  );
 }
 function visibleWidth(s) {
   return displayWidth(stripInlineMarkup(s));
@@ -8005,10 +8175,16 @@ function parseBlocks(raw) {
   let listBuf = null;
   let codeFence = "";
   const flushPara = () => {
-    if (para.length) {
-      out.push({ kind: "paragraph", text: para.join(" ") });
-      para = [];
+    if (para.length === 0) return;
+    let joined = "";
+    for (let k = 0; k < para.length; k++) {
+      joined += para[k].text;
+      if (k < para.length - 1) {
+        joined += para[k].hardBreak ? "\n" : " ";
+      }
     }
+    out.push({ kind: "paragraph", text: joined });
+    para = [];
   };
   const flushList = () => {
     if (listBuf) {
@@ -8020,7 +8196,7 @@ function parseBlocks(raw) {
     const rawLine = lines[i];
     const line = rawLine.replace(/\s+$/g, "");
     if (!inCode && /^<{7} SEARCH\s*$/.test(line)) {
-      const filename = para.pop()?.trim();
+      const filename = para.pop()?.text.trim();
       if (filename) {
         flushPara();
         flushList();
@@ -8046,7 +8222,7 @@ function parseBlocks(raw) {
           i = k;
           continue;
         }
-        para.push(filename);
+        para.push({ text: filename, hardBreak: false });
       }
     }
     if (!inCode) {
@@ -8150,6 +8326,23 @@ function parseBlocks(raw) {
         continue;
       }
     }
+    const quoteMatch = line.match(/^\s*>\s?(.*)$/);
+    if (quoteMatch) {
+      flushPara();
+      flushList();
+      const innerLines = [quoteMatch[1] ?? ""];
+      let j = i + 1;
+      while (j < lines.length) {
+        const nxt = lines[j].replace(/\s+$/g, "");
+        const m = nxt.match(/^\s*>\s?(.*)$/);
+        if (!m) break;
+        innerLines.push(m[1] ?? "");
+        j++;
+      }
+      out.push({ kind: "quote", children: parseBlocks(innerLines.join("\n")) });
+      i = j - 1;
+      continue;
+    }
     const bm = line.match(/^\s*[-*+]\s+(.+)$/);
     if (bm) {
       flushPara();
@@ -8157,7 +8350,7 @@ function parseBlocks(raw) {
         flushList();
         listBuf = { kind: "bullet", items: [], ordered: false, start: 1 };
       }
-      listBuf.items.push(bm[1]);
+      listBuf.items.push(parseBulletItem(bm[1]));
       continue;
     }
     const om = line.match(/^\s*(\d+)\.\s+(.+)$/);
@@ -8167,11 +8360,12 @@ function parseBlocks(raw) {
         flushList();
         listBuf = { kind: "bullet", items: [], ordered: true, start: Number(om[1]) };
       }
-      listBuf.items.push(om[2]);
+      listBuf.items.push(parseBulletItem(om[2]));
       continue;
     }
     flushList();
-    para.push(line);
+    const hardBreak = / {2,}\r?$/.test(rawLine);
+    para.push({ text: line, hardBreak });
   }
   if (inCode && codeBuf.length) {
     out.push({ kind: "code", lang: codeLang, text: codeBuf.join("\n") });
@@ -8180,15 +8374,26 @@ function parseBlocks(raw) {
   flushList();
   return out;
 }
+function parseBulletItem(raw) {
+  const m = raw.match(/^\[([ xX])\]\s+(.*)$/);
+  if (!m) return { text: raw };
+  const done = m[1].toLowerCase() === "x";
+  return { text: m[2] ?? "", task: done ? "done" : "todo" };
+}
 function BlockView({ block, citations }) {
   switch (block.kind) {
     case "heading":
       return /* @__PURE__ */ React7.createElement(Text7, { bold: true, color: "cyan" }, /* @__PURE__ */ React7.createElement(InlineMd, { text: block.text, citations }));
     case "paragraph":
-      return /* @__PURE__ */ React7.createElement(InlineMd, { text: block.text, citations });
+      return /* @__PURE__ */ React7.createElement(ParagraphView, { text: block.text, citations });
     case "bullet":
-      return /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column" }, block.items.map((item, i) => /* @__PURE__ */ React7.createElement(Box7, { key: `${i}-${item.slice(0, 24)}` }, /* @__PURE__ */ React7.createElement(Text7, { color: "cyan" }, block.ordered ? ` ${block.start + i}. ` : "  \u2022 "), /* @__PURE__ */ React7.createElement(InlineMd, { text: item, citations }))));
+      return /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column" }, block.items.map((item, i) => /* @__PURE__ */ React7.createElement(Box7, { key: `${i}-${item.text.slice(0, 24)}` }, /* @__PURE__ */ React7.createElement(Text7, { color: item.task === "done" ? "green" : "cyan" }, bulletPrefix(block, i, item)), item.task === "done" ? /* @__PURE__ */ React7.createElement(Text7, { strikethrough: true, dimColor: true }, /* @__PURE__ */ React7.createElement(InlineMd, { text: item.text, citations })) : /* @__PURE__ */ React7.createElement(InlineMd, { text: item.text, citations }))));
+    case "quote":
+      return /* @__PURE__ */ React7.createElement(BlockquoteView, { block, citations });
     case "code":
+      if (DIAGRAM_LANGS.has(block.lang.toLowerCase())) {
+        return /* @__PURE__ */ React7.createElement(DiagramCodeBlock, { lang: block.lang, text: block.text });
+      }
       return /* @__PURE__ */ React7.createElement(Box7, { borderStyle: "single", borderColor: "gray", paddingX: 1 }, /* @__PURE__ */ React7.createElement(Text7, { color: "yellow" }, block.text));
     case "edit-block":
       return /* @__PURE__ */ React7.createElement(EditBlockRow, { block });
@@ -8198,6 +8403,42 @@ function BlockView({ block, citations }) {
       return /* @__PURE__ */ React7.createElement(Text7, { dimColor: true }, "\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500");
   }
 }
+function ParagraphView({ text, citations }) {
+  if (!text.includes("\n")) {
+    return /* @__PURE__ */ React7.createElement(InlineMd, { text, citations });
+  }
+  const rows = text.split("\n");
+  return /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column" }, rows.map((row2, i) => (
+    // biome-ignore lint/suspicious/noArrayIndexKey: hard-break rows are source-ordered and never reorder
+    /* @__PURE__ */ React7.createElement(InlineMd, { key: `ln-${i}`, text: row2, citations })
+  )));
+}
+function bulletPrefix(block, i, item) {
+  if (block.ordered) return ` ${block.start + i}. `;
+  if (item.task === "done") return " \u2612 ";
+  if (item.task === "todo") return " \u2610 ";
+  return "  \u2022 ";
+}
+function BlockquoteView({
+  block,
+  citations
+}) {
+  return /* @__PURE__ */ React7.createElement(
+    Box7,
+    {
+      borderStyle: "single",
+      borderColor: "gray",
+      borderDimColor: true,
+      borderTop: false,
+      borderRight: false,
+      borderBottom: false,
+      paddingLeft: 1,
+      flexDirection: "column",
+      gap: 1
+    },
+    block.children.map((child, i) => /* @__PURE__ */ React7.createElement(BlockView, { key: `q-${i}-${child.kind}`, block: child, citations }))
+  );
+}
 function splitTableRow(line) {
   const SENTINEL = "\0";
   const masked = line.replace(/\\\|/g, SENTINEL).replace(/│/g, "|");
@@ -8242,8 +8483,30 @@ function EditBlockRow({ block }) {
   const replaceLines = block.replace.split("\n");
   return /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React7.createElement(Box7, null, /* @__PURE__ */ React7.createElement(Text7, { bold: true, color: "cyan" }, block.filename), isNewFile ? /* @__PURE__ */ React7.createElement(Text7, { color: "green", bold: true }, " (new file)") : null), isNewFile ? null : /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column", marginTop: 1 }, searchLines.map((line, i) => /* @__PURE__ */ React7.createElement(Text7, { key: `s-${i}-${line.length}`, color: "red" }, `- ${line}`))), /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column", marginTop: isNewFile ? 1 : 0 }, replaceLines.map((line, i) => /* @__PURE__ */ React7.createElement(Text7, { key: `r-${i}-${line.length}`, color: "green" }, `+ ${line}`))));
 }
+var DIAGRAM_LANGS = /* @__PURE__ */ new Set([
+  "mermaid",
+  "dot",
+  "graphviz",
+  "plantuml",
+  "puml",
+  "flowchart",
+  "sequencediagram",
+  "gantt",
+  "erdiagram"
+]);
+var DIAGRAM_VIEWER_HINT = {
+  mermaid: "\u2192 paste at https://mermaid.live to view",
+  plantuml: "\u2192 paste at https://www.plantuml.com/plantuml to view",
+  puml: "\u2192 paste at https://www.plantuml.com/plantuml to view",
+  dot: "\u2192 paste at https://dreampuf.github.io/GraphvizOnline to view",
+  graphviz: "\u2192 paste at https://dreampuf.github.io/GraphvizOnline to view"
+};
+function DiagramCodeBlock({ lang, text }) {
+  const hint = DIAGRAM_VIEWER_HINT[lang.toLowerCase()] ?? "\u2192 render with the matching viewer to view";
+  return /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column", borderStyle: "double", borderColor: "magenta", paddingX: 1 }, /* @__PURE__ */ React7.createElement(Text7, { bold: true, color: "magenta" }, `\u25C7 ${lang} diagram (source \u2014 terminal can't draw the graph)`), /* @__PURE__ */ React7.createElement(Box7, { marginTop: 1 }, /* @__PURE__ */ React7.createElement(Text7, { color: "yellow" }, text)), /* @__PURE__ */ React7.createElement(Box7, { marginTop: 1 }, /* @__PURE__ */ React7.createElement(Text7, { dimColor: true }, hint)));
+}
 function Markdown({ text, projectRoot }) {
-  const cleaned = stripMath(text);
+  const cleaned = expandAutolinks(expandEmoji(stripMath(text)));
   const root = projectRoot ?? process.cwd();
   const citations = React7.useMemo(() => collectCitations(cleaned, root), [cleaned, root]);
   const blocks = React7.useMemo(() => parseBlocks(cleaned), [cleaned]);
@@ -8910,12 +9173,27 @@ import React15, { useRef, useState as useState5 } from "react";
 // src/cli/ui/multiline-keys.ts
 var BACKSLASH_SUFFIX = /\\$/;
 var NOOP = { next: null, cursor: null, submit: false };
-function processMultilineKey(value, cursor, key) {
-  if (key.tab || key.escape || key.pageUp || key.pageDown) {
+function rewriteRawArrowEscape(key) {
+  if (key.upArrow || key.downArrow || key.leftArrow || key.rightArrow) return key;
+  if (key.input === "\x1B[A") return { ...key, upArrow: true, input: "" };
+  if (key.input === "\x1B[B") return { ...key, downArrow: true, input: "" };
+  if (key.input === "\x1B[C") return { ...key, rightArrow: true, input: "" };
+  if (key.input === "\x1B[D") return { ...key, leftArrow: true, input: "" };
+  return key;
+}
+function processMultilineKey(value, cursor, keyIn) {
+  const key = rewriteRawArrowEscape(keyIn);
+  if (key.tab || key.escape) {
     return NOOP;
   }
+  if (key.pageUp) {
+    return cursor === 0 ? NOOP : { next: null, cursor: 0, submit: false };
+  }
+  if (key.pageDown) {
+    return cursor === value.length ? NOOP : { next: null, cursor: value.length, submit: false };
+  }
   if (value.length === 0 && (key.upArrow || key.downArrow)) {
-    return NOOP;
+    return { ...NOOP, historyHandoff: key.upArrow ? "prev" : "next" };
   }
   if (key.leftArrow) {
     return { next: null, cursor: Math.max(0, cursor - 1), submit: false };
@@ -8925,11 +9203,13 @@ function processMultilineKey(value, cursor, key) {
   }
   if (key.upArrow) {
     const moved = moveCursorUp(value, cursor);
-    return moved === cursor ? NOOP : { next: null, cursor: moved, submit: false };
+    if (moved === cursor) return { ...NOOP, historyHandoff: "prev" };
+    return { next: null, cursor: moved, submit: false };
   }
   if (key.downArrow) {
     const moved = moveCursorDown(value, cursor);
-    return moved === cursor ? NOOP : { next: null, cursor: moved, submit: false };
+    if (moved === cursor) return { ...NOOP, historyHandoff: "next" };
+    return { next: null, cursor: moved, submit: false };
   }
   if (key.ctrl && key.input === "a") {
     return { next: null, cursor: startOfLine(value, cursor), submit: false };
@@ -8937,6 +9217,29 @@ function processMultilineKey(value, cursor, key) {
   if (key.ctrl && key.input === "e") {
     return { next: null, cursor: endOfLine(value, cursor), submit: false };
   }
+  if (key.ctrl && key.input === "u") {
+    return value.length === 0 ? NOOP : { next: "", cursor: 0, submit: false };
+  }
+  if (key.ctrl && key.input === "w") {
+    if (cursor === 0) return NOOP;
+    const wordStart = previousWordStart(value, cursor);
+    return {
+      next: value.slice(0, wordStart) + value.slice(cursor),
+      cursor: wordStart,
+      submit: false
+    };
+  }
+  const stripped = key.input.replaceAll("\x1B[200~", "").replaceAll("\x1B[201~", "");
+  const looksLikePaste = stripped.length > 1 && (stripped.includes("\n") || stripped.includes("\r"));
+  if (looksLikePaste) {
+    const normalized = stripped.replace(/\r\n?/g, "\n");
+    return {
+      next: null,
+      cursor: null,
+      submit: false,
+      pasteRequest: { content: normalized }
+    };
+  }
   if (key.input === "\n" || key.ctrl && key.input === "j") {
     return insertAt(value, cursor, "\n");
   }
@@ -8988,6 +9291,12 @@ function lineAndColumn(value, cursor) {
 function startOfLine(value, cursor) {
   return value.lastIndexOf("\n", cursor - 1) + 1;
 }
+function previousWordStart(value, cursor) {
+  let i = cursor;
+  while (i > 0 && /\s/.test(value[i - 1] ?? "")) i--;
+  while (i > 0 && !/\s/.test(value[i - 1] ?? "")) i--;
+  return i;
+}
 function endOfLine(value, cursor) {
   const nl = value.indexOf("\n", cursor);
   return nl === -1 ? value.length : nl;
@@ -9012,15 +9321,76 @@ function moveCursorDown(value, cursor) {
   return nextStart + Math.min(col, nextLen);
 }
 
+// src/cli/ui/paste-sentinels.ts
+var PASTE_SENTINEL_BASE = 57600;
+var PASTE_SENTINEL_RANGE = 256;
+var PASTE_SENTINEL_END = PASTE_SENTINEL_BASE + PASTE_SENTINEL_RANGE;
+function encodePasteSentinel(id) {
+  if (id < 0 || id >= PASTE_SENTINEL_RANGE) {
+    throw new Error(`paste sentinel id ${id} out of range [0, ${PASTE_SENTINEL_RANGE})`);
+  }
+  return String.fromCharCode(PASTE_SENTINEL_BASE + id);
+}
+function decodePasteSentinel(ch) {
+  if (ch.length === 0) return null;
+  const cp = ch.charCodeAt(0);
+  if (cp < PASTE_SENTINEL_BASE || cp >= PASTE_SENTINEL_END) return null;
+  return cp - PASTE_SENTINEL_BASE;
+}
+function makePasteEntry(id, content) {
+  return {
+    id,
+    content,
+    lineCount: content.split("\n").length,
+    charCount: content.length
+  };
+}
+function expandPasteSentinels(text, pastes) {
+  let out = "";
+  for (let i = 0; i < text.length; i++) {
+    const ch = text[i];
+    const id = decodePasteSentinel(ch);
+    if (id === null) {
+      out += ch;
+      continue;
+    }
+    const entry = pastes.get(id);
+    out += entry?.content ?? "";
+  }
+  return out;
+}
+function listPasteIdsInBuffer(text) {
+  const ids = [];
+  for (let i = 0; i < text.length; i++) {
+    const id = decodePasteSentinel(text[i]);
+    if (id !== null) ids.push(id);
+  }
+  return ids;
+}
+function formatBytesShort(n) {
+  if (n < 1024) return `${n}B`;
+  if (n < 1024 * 1024) return `${(n / 1024).toFixed(n < 1024 * 10 ? 1 : 0)}KB`;
+  return `${(n / (1024 * 1024)).toFixed(1)}MB`;
+}
+
 // src/cli/ui/PromptInput.tsx
+var PASTE_START_MARKER = "\x1B[200~";
+var PASTE_END_MARKER = "\x1B[201~";
+var PASTE_MERGE_WINDOW_MS = 30;
 function PromptInput({
   value,
   onChange,
   onSubmit,
   disabled,
-  placeholder
+  placeholder,
+  onHistoryPrev,
+  onHistoryNext
 }) {
   const [cursor, setCursor] = useState5(value.length);
+  const pastesRef = useRef(/* @__PURE__ */ new Map());
+  const nextPasteIdRef = useRef(0);
+  const pasteAccumRef = useRef(null);
+  const lastPasteRef = useRef(null);
   const lastLocalValueRef = useRef(value);
   if (value !== lastLocalValueRef.current) {
     lastLocalValueRef.current = value;
@@ -9028,10 +9398,62 @@ function PromptInput({
       setCursor(value.length);
     }
   }
+  const cursorRef = useRef(cursor);
+  cursorRef.current = cursor;
   const tick = useTick();
   const showCursor = disabled ? false : Math.floor(tick / 4) % 2 === 0;
+  const registerPaste = (content) => {
+    const v = lastLocalValueRef.current;
+    const c = cursorRef.current;
+    const now = Date.now();
+    const last = lastPasteRef.current;
+    const prevChar = c > 0 ? v[c - 1] : null;
+    const prevId = prevChar ? decodePasteSentinel(prevChar) : null;
+    const canMerge = last !== null && prevId === last.id && now - last.at < PASTE_MERGE_WINDOW_MS && pastesRef.current.has(last.id);
+    if (canMerge && last) {
+      const existing = pastesRef.current.get(last.id);
+      if (existing) {
+        const merged = existing.content + content;
+        pastesRef.current.set(last.id, makePasteEntry(last.id, merged));
+        lastPasteRef.current = { id: last.id, at: now };
+        return;
+      }
+    }
+    const id = nextPasteIdRef.current % PASTE_SENTINEL_RANGE;
+    nextPasteIdRef.current = id + 1;
+    pastesRef.current.set(id, makePasteEntry(id, content));
+    const sentinel = encodePasteSentinel(id);
+    const next = v.slice(0, c) + sentinel + v.slice(c);
+    lastLocalValueRef.current = next;
+    cursorRef.current = c + 1;
+    onChange(next);
+    setCursor(c + 1);
+    lastPasteRef.current = { id, at: now };
+  };
   useInput4(
     (input, key) => {
+      if (pasteAccumRef.current !== null) {
+        const endIdx = input.indexOf(PASTE_END_MARKER);
+        if (endIdx === -1) {
+          pasteAccumRef.current += input;
+          return;
+        }
+        const content = pasteAccumRef.current + input.slice(0, endIdx);
+        pasteAccumRef.current = null;
+        registerPaste(content);
+        return;
+      }
+      const startIdx = input.indexOf(PASTE_START_MARKER);
+      if (startIdx !== -1) {
+        const afterStart = input.slice(startIdx + PASTE_START_MARKER.length);
+        const endIdx = afterStart.indexOf(PASTE_END_MARKER);
+        if (endIdx !== -1) {
+          registerPaste(afterStart.slice(0, endIdx));
+        } else {
+          pasteAccumRef.current = afterStart;
+        }
+        return;
+      }
       const ke = {
         input,
         return: key.return,
@@ -9050,6 +9472,10 @@ function PromptInput({
         pageDown: key.pageDown
       };
       const action = processMultilineKey(value, cursor, ke);
+      if (action.pasteRequest) {
+        registerPaste(action.pasteRequest.content);
+        return;
+      }
       if (action.next !== null) {
         lastLocalValueRef.current = action.next;
         onChange(action.next);
@@ -9057,7 +9483,17 @@ function PromptInput({
       if (action.cursor !== null) {
         setCursor(action.cursor);
       }
-      if (action.submit) onSubmit(action.submitValue ?? value);
+      if (action.submit) {
+        const raw = action.submitValue ?? value;
+        const expanded = expandPasteSentinels(raw, pastesRef.current);
+        const reachable = new Set(listPasteIdsInBuffer(raw));
+        for (const id of pastesRef.current.keys()) {
+          if (!reachable.has(id)) pastesRef.current.delete(id);
+        }
+        onSubmit(expanded);
+      }
+      if (action.historyHandoff === "prev") onHistoryPrev?.();
+      if (action.historyHandoff === "next") onHistoryNext?.();
     },
     { isActive: !disabled }
   );
@@ -9065,37 +9501,110 @@ function PromptInput({
   const lines = value.length > 0 ? value.split("\n") : [""];
   const borderColor = disabled ? "gray" : "cyan";
   const { line: cursorLine, col: cursorCol } = lineAndColumn(value, cursor);
-  return /* @__PURE__ */ React15.createElement(Box14, { borderStyle: "round", borderColor, paddingX: 1, flexDirection: "column" }, lines.map((line, i) => {
+  const renderItems = collapseLinesForDisplay(lines, cursorLine);
+  const showHugeBufferHints = lines.length > 20;
+  return /* @__PURE__ */ React15.createElement(Box14, { borderStyle: "round", borderColor, paddingX: 1, flexDirection: "column" }, renderItems.map((item, renderIdx) => {
+    if (item.kind === "skip") {
+      return (
+        // biome-ignore lint/suspicious/noArrayIndexKey: stable — skip markers are derived from a fixed-size window over `lines`
+        /* @__PURE__ */ React15.createElement(Box14, { key: `skip-${renderIdx}` }, /* @__PURE__ */ React15.createElement(Text14, { dimColor: true }, "     "), /* @__PURE__ */ React15.createElement(
+          Text14,
+          {
+            dimColor: true
+          },
+          `[\u2026 ${item.linesHidden} line${item.linesHidden === 1 ? "" : "s"} hidden \u2014 full content kept, submitted on Enter \u2026]`
+        ))
+      );
+    }
+    const line = item.line;
+    const i = item.originalIndex;
     const isFirst = i === 0;
     const showPlaceholder = isFirst && value.length === 0;
     const isCursorLine = i === cursorLine;
-    return (
-      // biome-ignore lint/suspicious/noArrayIndexKey: stable by construction — lines are derived from `value.split("\n")` and never reordered
-      /* @__PURE__ */ React15.createElement(Box14, { key: i }, isFirst ? /* @__PURE__ */ React15.createElement(Text14, { bold: true, color: borderColor }, "you \u203A", " ") : /* @__PURE__ */ React15.createElement(Text14, { dimColor: true }, "     "), showPlaceholder ? /* @__PURE__ */ React15.createElement(React15.Fragment, null, isCursorLine && !disabled ? /* @__PURE__ */ React15.createElement(Text14, { color: borderColor }, showCursor ? "\u258C" : " ") : null, /* @__PURE__ */ React15.createElement(Text14, { dimColor: true }, effectivePlaceholder)) : isCursorLine && !disabled ? /* @__PURE__ */ React15.createElement(
-        LineWithCursor,
-        {
-          line,
-          col: cursorCol,
-          showCursor,
-          borderColor
-        }
-      ) : /* @__PURE__ */ React15.createElement(Text14, null, line))
+    return /* @__PURE__ */ React15.createElement(Box14, { key: `ln-${i}` }, isFirst ? /* @__PURE__ */ React15.createElement(Text14, { bold: true, color: borderColor }, "you \u203A", " ") : /* @__PURE__ */ React15.createElement(Text14, { dimColor: true }, "     "), showPlaceholder ? /* @__PURE__ */ React15.createElement(React15.Fragment, null, isCursorLine && !disabled ? /* @__PURE__ */ React15.createElement(Text14, { color: borderColor }, showCursor ? "\u258C" : " ") : null, /* @__PURE__ */ React15.createElement(Text14, { dimColor: true }, effectivePlaceholder)) : isCursorLine && !disabled ? /* @__PURE__ */ React15.createElement(
+      LineWithCursor,
+      {
+        line,
+        col: cursorCol,
+        showCursor,
+        borderColor,
+        pastes: pastesRef.current
+      }
+    ) : /* @__PURE__ */ React15.createElement(RenderLine, { line, pastes: pastesRef.current }));
+  }), showHugeBufferHints && !disabled ? /* @__PURE__ */ React15.createElement(Box14, null, /* @__PURE__ */ React15.createElement(Text14, { dimColor: true }, "     "), /* @__PURE__ */ React15.createElement(Text14, { dimColor: true }, `[${lines.length} lines \xB7 PageUp/PageDown jump to top/bottom \xB7 Ctrl+U clear \xB7 Ctrl+W del word]`)) : null);
+}
+var COLLAPSE_THRESHOLD = 20;
+var COLLAPSE_HEAD_LINES = 3;
+var COLLAPSE_TAIL_LINES = 2;
+function collapseLinesForDisplay(lines, cursorLine) {
+  if (lines.length <= COLLAPSE_THRESHOLD) {
+    return lines.map((line, i) => ({ kind: "line", line, originalIndex: i }));
+  }
+  const keep = /* @__PURE__ */ new Set();
+  for (let i = 0; i < COLLAPSE_HEAD_LINES && i < lines.length; i++) keep.add(i);
+  for (let i = Math.max(0, lines.length - COLLAPSE_TAIL_LINES); i < lines.length; i++) keep.add(i);
+  if (cursorLine >= 0 && cursorLine < lines.length) keep.add(cursorLine);
+  const sorted = [...keep].sort((a, b) => a - b);
+  const out = [];
+  let prev = -1;
+  for (const idx of sorted) {
+    if (idx - prev > 1) {
+      out.push({ kind: "skip", linesHidden: idx - prev - 1 });
+    }
+    out.push({ kind: "line", line: lines[idx] ?? "", originalIndex: idx });
+    prev = idx;
+  }
+  return out;
+}
+function RenderLine({
+  line,
+  pastes,
+  inverse
+}) {
+  const segments = [];
+  let buf = "";
+  let segIdx = 0;
+  const flushBuf = () => {
+    if (buf.length === 0) return;
+    segments.push(
+      /* @__PURE__ */ React15.createElement(Text14, { key: `t-${segIdx++}`, inverse }, buf)
     );
-  }));
+    buf = "";
+  };
+  for (let i = 0; i < line.length; i++) {
+    const ch = line[i];
+    const id = decodePasteSentinel(ch);
+    if (id === null) {
+      buf += ch;
+      continue;
+    }
+    flushBuf();
+    const entry = pastes.get(id);
+    const label = entry ? `[paste #${id + 1} \xB7 ${entry.lineCount}l \xB7 ${formatBytesShort(entry.charCount)}]` : `[paste #${id + 1} \xB7 (missing)]`;
+    segments.push(
+      /* @__PURE__ */ React15.createElement(Text14, { key: `p-${segIdx++}`, color: "magenta", bold: true, inverse }, label)
+    );
+  }
+  flushBuf();
+  if (segments.length === 0) {
+    return /* @__PURE__ */ React15.createElement(Text14, null, " ");
+  }
+  return /* @__PURE__ */ React15.createElement(React15.Fragment, null, segments);
 }
 function LineWithCursor({
   line,
   col,
   showCursor,
-  borderColor
+  borderColor,
+  pastes
 }) {
   const before = line.slice(0, col);
   const atCursor = line.slice(col, col + 1);
   const after = line.slice(col + 1);
   if (atCursor.length === 0) {
-    return /* @__PURE__ */ React15.createElement(React15.Fragment, null, /* @__PURE__ */ React15.createElement(Text14, null, before), /* @__PURE__ */ React15.createElement(Text14, { color: borderColor }, showCursor ? "\u258C" : " "));
+    return /* @__PURE__ */ React15.createElement(React15.Fragment, null, /* @__PURE__ */ React15.createElement(RenderLine, { line: before, pastes }), /* @__PURE__ */ React15.createElement(Text14, { color: borderColor }, showCursor ? "\u258C" : " "));
   }
-  return /* @__PURE__ */ React15.createElement(React15.Fragment, null, /* @__PURE__ */ React15.createElement(Text14, null, before), /* @__PURE__ */ React15.createElement(Text14, { inverse: showCursor }, atCursor), /* @__PURE__ */ React15.createElement(Text14, null, after));
+  return /* @__PURE__ */ React15.createElement(React15.Fragment, null, /* @__PURE__ */ React15.createElement(RenderLine, { line: before, pastes }), /* @__PURE__ */ React15.createElement(RenderLine, { line: atCursor, pastes, inverse: showCursor }), /* @__PURE__ */ React15.createElement(RenderLine, { line: after, pastes }));
 }
 
 // src/cli/ui/ShellConfirm.tsx
@@ -9275,43 +9784,54 @@ function StatsPanel({
   const columns = stdout2?.columns ?? 80;
   const narrow = columns < NARROW_BREAKPOINT;
   const coldStart = summary.turns <= COLD_START_TURNS;
-  return /* @__PURE__ */ React19.createElement(Box18, { borderStyle: "round", borderColor: "cyan", flexDirection: "column", paddingX: 1 }, /* @__PURE__ */ React19.createElement(
-    Header,
-    {
-      model: model2,
-      prefixHash,
-      harvestOn,
-      branchOn,
-      branchBudget: branchBudget ?? 1,
-      reasoningEffort,
-      planMode,
-      editMode,
-      turns: summary.turns,
-      updateAvailable,
-      narrow,
-      busy: busy ?? false,
-      proArmed: proArmed ?? false,
-      escalated: escalated ?? false
-    }
-  ), narrow ? /* @__PURE__ */ React19.createElement(
-    StackedMetrics,
-    {
-      summary,
-      ctxRatio,
-      ctxMax,
-      balance,
-      coldStart
-    }
-  ) : /* @__PURE__ */ React19.createElement(
-    InlineMetrics,
-    {
-      summary,
-      ctxRatio,
-      ctxMax,
-      balance,
-      coldStart
-    }
-  ));
+  return (
+    // Explicit `width={columns}` pins the border frame to the exact
+    // terminal width. Without this, Ink auto-flexes the Box to
+    // container width, and on terminal resize the prior frame's
+    // wrapped-overflow can leave tails in the scrollback (each
+    // redraw stacks a slightly-wider-or-narrower frame). Fixing
+    // width per-render doesn't eliminate the underlying Ink
+    // limitation (eraseLines counts logical rows, not post-wrap
+    // display rows) but makes each frame's dimensions exact so
+    // there's no residual uncertainty in the erase.
+    /* @__PURE__ */ React19.createElement(Box18, { borderStyle: "round", borderColor: "cyan", flexDirection: "column", paddingX: 1, width: columns }, /* @__PURE__ */ React19.createElement(
+      Header,
+      {
+        model: model2,
+        prefixHash,
+        harvestOn,
+        branchOn,
+        branchBudget: branchBudget ?? 1,
+        reasoningEffort,
+        planMode,
+        editMode,
+        turns: summary.turns,
+        updateAvailable,
+        narrow,
+        busy: busy ?? false,
+        proArmed: proArmed ?? false,
+        escalated: escalated ?? false
+      }
+    ), narrow ? /* @__PURE__ */ React19.createElement(
+      StackedMetrics,
+      {
+        summary,
+        ctxRatio,
+        ctxMax,
+        balance,
+        coldStart
+      }
+    ) : /* @__PURE__ */ React19.createElement(
+      InlineMetrics,
+      {
+        summary,
+        ctxRatio,
+        ctxMax,
+        balance,
+        coldStart
+      }
+    ))
+  );
 }
 function Header({
   model: model2,
@@ -10117,7 +10637,7 @@ var handlers = {
 var exit = () => ({ exit: true });
 var clear = () => ({
   clear: true,
-  info: "\u25B8 cleared visible scrollback only. Context (message log) is intact \u2014 next turn still sees everything. Use /new to start fresh, or /forget to delete the session entirely."
+  info: "\u25B8 terminal cleared (viewport + scrollback). Context (message log) is intact \u2014 next turn still sees everything. Use /new to start fresh, or /forget to delete the session entirely."
 });
 var resetLog = (_args, loop) => {
   const { dropped } = loop.clearLog();
@@ -10133,8 +10653,11 @@ var keys = () => ({
     "  Enter                  submit the current prompt",
     "  Shift+Enter  /  Ctrl+J  insert a newline (multi-line prompt)",
     "  \\<Enter>               bash-style line continuation",
-    "  \u2190 \u2192 \u2191 \u2193                move cursor / recall history when buffer empty",
-    "  Ctrl+A / Ctrl+E        jump to start / end of the current line",
+    "  \u2190 \u2192 \u2191 \u2193                move cursor / recall history at buffer boundary",
+    "  PageUp / PageDown      jump to top / bottom of the WHOLE buffer (handy after a big paste)",
+    "  Ctrl+A / Ctrl+E        jump to start / end of the CURRENT line",
+    "  Ctrl+U                 clear the entire input buffer",
+    "  Ctrl+W                 delete the word before the cursor",
     "  Backspace              delete left;  Delete   delete under cursor",
     "  Esc                    abort the in-flight turn",
     "  y / n                  accept / reject pending edits (code mode)",
@@ -10220,7 +10743,13 @@ var help = () => ({
     "",
     "Sessions (auto-enabled by default, named 'default'):",
     "  reasonix chat --session <name>   use a different named session",
-    "  reasonix chat --no-session       disable persistence for this run"
+    "  reasonix chat --no-session       disable persistence for this run",
+    "",
+    "Known limitation:",
+    "  Resizing the terminal mid-session may stack ghost header frames in",
+    "  scrollback (Ink library's live-region clear doesn't account for line",
+    "  re-wrapping at the new width). Scroll-up history is unaffected; the",
+    "  artifact is purely visual and clears the next time you /clear."
   ].join("\n")
 });
 var setup = () => ({
@@ -11754,6 +12283,14 @@ function App({
   const abortedThisTurn = useRef5(false);
   const [ongoingTool, setOngoingTool] = useState10(null);
   const [toolProgress, setToolProgress] = useState10(null);
+  const { stdout: stdout2 } = useStdout4();
+  useEffect5(() => {
+    if (!stdout2 || !stdout2.isTTY) return;
+    stdout2.write("\x1B[?2004h");
+    return () => {
+      stdout2.write("\x1B[?2004l");
+    };
+  }, [stdout2]);
   const { activity: subagentActivity, sinkRef: subagentSinkRef } = useSubagent({
     session,
     setHistorical
@@ -12114,24 +12651,21 @@ function App({
         return;
       }
     }
-    if (input.length === 0) {
-      const hist = promptHistory.current;
-      if (key.upArrow) {
-        if (hist.length === 0) return;
-        const nextCursor = Math.min(historyCursor.current + 1, hist.length - 1);
-        historyCursor.current = nextCursor;
-        setInput(hist[hist.length - 1 - nextCursor] ?? "");
-        return;
-      }
-      if (key.downArrow) {
-        if (historyCursor.current < 0) return;
-        const nextCursor = historyCursor.current - 1;
-        historyCursor.current = nextCursor;
-        setInput(nextCursor < 0 ? "" : hist[hist.length - 1 - nextCursor] ?? "");
-        return;
-      }
-    }
   });
+  const recallPrev = useCallback4(() => {
+    const hist = promptHistory.current;
+    if (hist.length === 0) return;
+    const nextCursor = Math.min(historyCursor.current + 1, hist.length - 1);
+    historyCursor.current = nextCursor;
+    setInput(hist[hist.length - 1 - nextCursor] ?? "");
+  }, []);
+  const recallNext = useCallback4(() => {
+    if (historyCursor.current < 0) return;
+    const hist = promptHistory.current;
+    const nextCursor = historyCursor.current - 1;
+    historyCursor.current = nextCursor;
+    setInput(nextCursor < 0 ? "" : hist[hist.length - 1 - nextCursor] ?? "");
+  }, []);
   useEffect5(() => {
     if (!tools || !codeMode) return;
     tools.setToolInterceptor(async (name, args) => {
@@ -12392,6 +12926,7 @@ function App({
           return;
         }
         if (result.clear && result.info) {
+          stdout2?.write("\x1B[2J\x1B[3J\x1B[H");
           setHistorical([
             {
               id: `sys-${Date.now()}`,
@@ -12407,6 +12942,7 @@ function App({
           return;
         }
         if (result.clear) {
+          stdout2?.write("\x1B[2J\x1B[3J\x1B[H");
           setHistorical([]);
           if (codeMode) {
             pendingEdits.current = [];
@@ -12895,7 +13431,8 @@ function App({
       refreshLatestVersion,
       refreshModels,
       proArmed,
-      persistPlanState
+      persistPlanState,
+      stdout2
     ]
   );
   const handleShellConfirm = useCallback4(
@@ -13426,7 +13963,9 @@ Continue executing from the next pending step. Call mark_step_complete after eac
         value: input,
         onChange: setInput,
         onSubmit: handleSubmit,
-        disabled: busy
+        disabled: busy,
+        onHistoryPrev: recallPrev,
+        onHistoryNext: recallNext
       }
     ), /* @__PURE__ */ React20.createElement(SlashSuggestions, { matches: slashMatches, selectedIndex: slashSelected }), /* @__PURE__ */ React20.createElement(
       AtMentionSuggestions,
@@ -14846,6 +15385,12 @@ Every factual claim about a codebase must be backed by evidence. Reasonix VALIDA
 
 Asserting absence without checking is how evaluative answers go wrong. Treat the urge to write "missing" as a red flag in your own reasoning.
 
+# Don't invent what changes \u2014 search instead
+
+Your training data has a cutoff. When an answer's correctness depends on something that changes over time (the user is asking what's happening, not what's true) and a search tool is available, search first. Inventing currently-correct values from training memory is the most common way these answers go wrong, and the user usually can't tell until much later.
+
+The signal isn't a topic list \u2014 it's: "if I'm wrong about this, is it because reality moved on?". If yes, ground the answer in fresh evidence; if no (definitions, mechanisms, well-established APIs), answer from memory.
+
 ${ESCALATION_CONTRACT}`;
 var program = new Command();
 program.name("reasonix").description("DeepSeek-native agent framework \u2014 built for cache hits and cheap tokens.").version(VERSION);