harlay 0.1.2 → 0.1.3

package/dist/harlay.mjs

@@ -7,6 +7,9 @@ import { parseArgs } from "node:util";
 // ../core/src/types.ts
 var TOOLS = ["claude-code", "codex", "cursor"];
 var TOOL_LABEL = { "claude-code": "Claude Code", codex: "Codex", cursor: "Cursor" };
+function isTool(v) {
+  return v === "claude-code" || v === "codex" || v === "cursor";
+}
 
 // ../core/src/errors.ts
 var HarlayError = class extends Error {
@@ -24,20 +27,112 @@ var LaunchError = class extends HarlayError {
   written;
 };
 
+// ../core/src/launch/launchers.ts
+import { execFile } from "node:child_process";
+import { chmod, mkdir, writeFile } from "node:fs/promises";
+import { dirname, join } from "node:path";
+import { promisify } from "node:util";
+var pexec = promisify(execFile);
+var HANDOFF_PROMPT = "Read .harlay/HANDOFF.md and continue the task.";
+var DEFAULT_MODES = { "claude-code": "app", codex: "app", cursor: "app" };
+var PROMPT_LIMIT = {
+  "claude-code": { app: 6e3, terminal: 1e5 },
+  codex: { app: 6e3, terminal: 1e5 },
+  cursor: { app: 9900, terminal: 1e5 }
+};
+function promptFits(target, mode, prompt) {
+  const length = mode === "app" ? encodeURIComponent(prompt).length : prompt.length;
+  return length <= PROMPT_LIMIT[target][mode];
+}
+var defaultRunner = {
+  async open(args) {
+    await pexec("/usr/bin/open", args);
+  },
+  async writeExecutable(path, content) {
+    await mkdir(dirname(path), { recursive: true });
+    await writeFile(path, content, { mode: 493 });
+    await chmod(path, 493);
+  },
+  sleep: (ms) => new Promise((resolve2) => setTimeout(resolve2, ms))
+};
+function shq(s) {
+  return `'${s.replace(/'/g, `'\\''`)}'`;
+}
+var enc = encodeURIComponent;
+function planLaunch(o) {
+  if (o.mode === "app") {
+    switch (o.target) {
+      case "claude-code":
+        return { target: o.target, mode: o.mode, steps: [{ kind: "open", args: [`claude://code/new?folder=${enc(o.cwd)}&q=${enc(o.prompt)}`] }] };
+      case "codex":
+        return { target: o.target, mode: o.mode, steps: [{ kind: "open", args: [`codex://threads/new?path=${enc(o.cwd)}&prompt=${enc(o.prompt)}`] }] };
+      case "cursor":
+        return {
+          target: o.target,
+          mode: o.mode,
+          steps: [
+            { kind: "open", args: ["-a", "Cursor", o.cwd] },
+            { kind: "wait", ms: 1500 },
+            { kind: "open", args: [`cursor://anysphere.cursor-deeplink/prompt?text=${enc(o.prompt)}`] }
+          ]
+        };
+    }
+  }
+  const bin = o.binaries[o.target];
+  if (!bin) throw new HarlayError(`${TOOL_LABEL[o.target]} CLI not found. Install it or switch ${TOOL_LABEL[o.target]} to app mode.`);
+  const argv = o.target === "codex" ? [bin, "-C", o.cwd, o.prompt] : o.target === "cursor" ? [bin, "--workspace", o.cwd, o.prompt] : [bin, o.prompt];
+  const path = join(o.scriptDir, `continue-${o.target}.command`);
+  const content = `#!/bin/zsh -l
+cd -- ${shq(o.cwd)} || exit 1
+exec ${argv.map(shq).join(" ")}
+`;
+  return {
+    target: o.target,
+    mode: o.mode,
+    steps: [
+      { kind: "script", path, content },
+      { kind: "open", args: ["-a", o.terminalApp, path] }
+    ]
+  };
+}
+async function executeLaunch(plan, runner = defaultRunner) {
+  for (const step of plan.steps) {
+    if (step.kind === "open") await runner.open(step.args);
+    else if (step.kind === "script") await runner.writeExecutable(step.path, step.content);
+    else await runner.sleep(step.ms);
+  }
+}
+
 // ../core/src/util/text.ts
 var CHARS_PER_TOKEN = 4;
-function clip(s, maxTokens, pointer) {
-  const max = maxTokens * CHARS_PER_TOKEN;
-  if (s.length <= max) return s;
-  const note = pointer ? ` \u2026 (truncated, see ${pointer})` : " \u2026 (truncated)";
-  return s.slice(0, Math.max(0, max - note.length)).trimEnd() + note;
-}
+var isHigh = (c) => c >= 55296 && c <= 56319;
+var isLow = (c) => c >= 56320 && c <= 57343;
 function tail(s, maxChars) {
-  return s.length <= maxChars ? s : "\u2026" + s.slice(s.length - maxChars + 1);
+  if (s.length <= maxChars) return s;
+  let start = s.length - maxChars + 1;
+  if (start < s.length && isLow(s.charCodeAt(start))) start++;
+  return "\u2026" + s.slice(start);
+}
+var LONE_SURROGATE = /[\uD800-\uDBFF](?![\uDC00-\uDFFF])|(?<![\uD800-\uDBFF])[\uDC00-\uDFFF]/g;
+function wellFormed(s) {
+  return s.replace(LONE_SURROGATE, "\uFFFD");
 }
 function oneLine(s, max = 120) {
   const t = s.replace(/\s+/g, " ").trim();
-  return t.length <= max ? t : t.slice(0, max - 1) + "\u2026";
+  if (t.length <= max) return t;
+  let end = max - 1;
+  if (end > 0 && isHigh(t.charCodeAt(end - 1))) end--;
+  return t.slice(0, end) + "\u2026";
+}
+function wordCount(s) {
+  return s.split(/\s+/).filter(Boolean).length;
+}
+function clipWords(s, max) {
+  const w = s.split(/\s+/).filter(Boolean);
+  return w.length <= max ? w.join(" ") : w.slice(0, max).join(" ") + " \u2026";
+}
+function splitSentences(s) {
+  return s.split(/(?<=[.!?])\s+|\n+/).map((x) => x.trim()).filter(Boolean);
 }
 var CONTEXT_BLOCK_RE = /<(ide_opened_file|ide_selection|artifact-view-context|artifact-content-authored-by-others)\b[^>]*?(?:\/>|>[\s\S]*?<\/\1\s*>)/g;
 var MACHINE_TAG_RE = /^<(command-name|command-message|command-args|local-command-stdout|local-command-stderr|local-command-caveat|task-notification|bash-input|bash-stdout|bash-stderr|environment_context|user_instructions)\b/;
@@ -48,8 +143,27 @@ function cleanPrompt(raw) {
   if (MACHINE_TAG_RE.test(s)) return null;
   return s ? s : null;
 }
-function isHandoffPrompt(p) {
-  return p.length <= 300 && p.includes(".harlay/HANDOFF.md");
+var HANDOFF_TAG = '<handoff from="';
+var HANDOFF_END = "</handoff>";
+var CLOSING_RE = /^\s*Continue from (?:the most recent user message|where it stopped)\. Start with the next concrete step\./;
+var HANDOFF_ID_RE = /Only if you need more: \.harlay\/handoffs\/([^/\s]+)\//g;
+function splitHandoffPrompt(p) {
+  const start = p.indexOf(HANDOFF_TAG);
+  const end = p.lastIndexOf(HANDOFF_END);
+  if (start !== -1 && end > start) {
+    const before = p.slice(0, start).trim();
+    const after = p.slice(end + HANDOFF_END.length).replace(CLOSING_RE, "").trim();
+    const id = [...p.slice(start, end).matchAll(HANDOFF_ID_RE)].at(-1)?.[1] ?? null;
+    return { handoff: true, rest: [before, after].filter(Boolean).join("\n\n"), id };
+  }
+  if (p.trimStart().startsWith(HANDOFF_TAG) || p.trim() === HANDOFF_PROMPT) return { handoff: true, rest: "", id: null };
+  return { handoff: false, rest: p, id: null };
+}
+var OSC_RE = /\x1b\][^\x07\x1b]*(?:\x07|\x1b\\)/g;
+var CSI_RE = /\x1b\[[0-?]*[ -/]*[@-~]/g;
+var CONTROL_RE = /[\x00-\x08\x0b-\x1f\x7f-\x9f]/g;
+function stripControl(s) {
+  return s.replace(OSC_RE, "").replace(CSI_RE, "").replace(CONTROL_RE, "");
 }
 function slugify(s, max = 40) {
   const slug = s.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "").slice(0, max).replace(/-+$/, "");
@@ -58,11 +172,11 @@ function slugify(s, max = 40) {
 
 // ../core/src/sources/claude.ts
 import { readFile, stat as stat2 } from "node:fs/promises";
-import { basename, join as join2, relative, sep } from "node:path";
+import { basename, join as join3, relative, sep } from "node:path";
 
 // ../core/src/util/files.ts
 import { open, readdir, stat } from "node:fs/promises";
-import { join } from "node:path";
+import { join as join2 } from "node:path";
 async function listSessionFiles(root, accept) {
   let names;
   try {
@@ -72,7 +186,7 @@ async function listSessionFiles(root, accept) {
   }
   const out = [];
   for (const name of names) {
-    const path = join(root, name);
+    const path = join2(root, name);
     if (!accept(path)) continue;
     try {
       const s = await stat(path);
@@ -280,8 +394,8 @@ async function loadDesktopTitles(dir) {
   return out;
 }
 function createClaudeReader(o) {
-  const root = join2(o.home, ".claude", "projects");
-  const indexDir = join2(o.home, "Library", "Application Support", "Claude", "claude-code-sessions");
+  const root = join3(o.home, ".claude", "projects");
+  const indexDir = join3(o.home, "Library", "Application Support", "Claude", "claude-code-sessions");
   const isSessionFile = (file) => file.startsWith(root + sep) && file.endsWith(".jsonl") && relative(root, file).split(sep).length === 2;
   const cache = /* @__PURE__ */ new Map();
   async function refForFile(file, titles) {
@@ -357,7 +471,7 @@ function createClaudeReader(o) {
 
 // ../core/src/sources/codex.ts
 import { readFile as readFile2, stat as stat3 } from "node:fs/promises";
-import { basename as basename2, join as join3, sep as sep2 } from "node:path";
+import { basename as basename2, join as join4, sep as sep2 } from "node:path";
 var OUTPUT_TAIL2 = 2e4;
 var ROLLOUT_ID_RE = /-([0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12})\.jsonl$/i;
 var KIND = { add: "create", update: "modify", delete: "delete" };
@@ -473,8 +587,8 @@ async function loadTitles(file) {
   return out;
 }
 function createCodexReader(o) {
-  const root = join3(o.home, ".codex", "sessions");
-  const indexFile = join3(o.home, ".codex", "session_index.jsonl");
+  const root = join4(o.home, ".codex", "sessions");
+  const indexFile = join4(o.home, ".codex", "session_index.jsonl");
   const isSessionFile = (file) => file.startsWith(root + sep2) && basename2(file).startsWith("rollout-") && file.endsWith(".jsonl");
   const cache = /* @__PURE__ */ new Map();
   async function refForFile(file, titles) {
@@ -545,7 +659,7 @@ function createCodexReader(o) {
 
 // ../core/src/sources/cursor.ts
 import { readdir as readdir2, readFile as readFile3, stat as stat4 } from "node:fs/promises";
-import { join as join4, relative as relative2, sep as sep3 } from "node:path";
+import { join as join5, relative as relative2, sep as sep3 } from "node:path";
 var norm = (name) => name.replace(/[^A-Za-z0-9]/g, "-");
 async function resolveCursorSlug(slug, rootDir = "/") {
   if (!slug || /^\d+$/.test(slug)) return null;
@@ -556,9 +670,9 @@ async function resolveCursorSlug(slug, rootDir = "/") {
     for (const e of entries) {
       if (!e.isDirectory()) continue;
       const n = norm(e.name);
-      if (rest === n) return join4(dir, e.name);
+      if (rest === n) return join5(dir, e.name);
       if (rest.startsWith(n + "-")) {
-        const found = await walk(join4(dir, e.name), rest.slice(n.length + 1), depth + 1);
+        const found = await walk(join5(dir, e.name), rest.slice(n.length + 1), depth + 1);
         if (found) return found;
       }
     }
@@ -618,7 +732,7 @@ function normalizeCursor(records, ref, invalid = 0) {
   return { ref, model: null, timeline, todos: todos ? [...todos.values()] : null, halt, usage: null, unknownRecords: unknown };
 }
 function createCursorReader(o) {
-  const root = join4(o.home, ".cursor", "projects");
+  const root = join5(o.home, ".cursor", "projects");
   const slugCache = /* @__PURE__ */ new Map();
   const cwdFor = (slug) => {
     let p = slugCache.get(slug);
@@ -655,8 +769,9 @@ function createCursorReader(o) {
     for (const r of parseJsonLines(text).records) {
       if (isObj(r) && r.role === "user" && isObj(r.message)) {
         const p = cleanPrompt(blockText(r.message.content));
-        if (p && !isHandoffPrompt(p)) {
-          title = oneLine(p, 60);
+        const rest = p ? splitHandoffPrompt(p).rest : "";
+        if (rest) {
+          title = oneLine(rest, 60);
           break;
         }
       }
@@ -695,14 +810,14 @@ function createCursorReader(o) {
 }
 
 // ../core/src/git/snapshot.ts
-import { execFile } from "node:child_process";
+import { execFile as execFile2 } from "node:child_process";
 import { createHash } from "node:crypto";
-import { promisify } from "node:util";
-var pexec = promisify(execFile);
+import { promisify as promisify2 } from "node:util";
+var pexec2 = promisify2(execFile2);
 var MAX_DIFF_CHARS = 2e6;
 var MAX_FILES = 500;
 async function git(cwd, args) {
-  const { stdout } = await pexec("git", args, {
+  const { stdout } = await pexec2("git", args, {
     cwd,
     maxBuffer: 64 * 1024 * 1024,
     env: { ...process.env, GIT_OPTIONAL_LOCKS: "0" }
@@ -857,11 +972,75 @@ var Redactor = class {
 
 // ../core/src/extract/extract.ts
 import { basename as basename3, isAbsolute, relative as relative3 } from "node:path";
-var DECISION_RE = /\b(don['’]t|do not|never|must|always|keep|avoid|make sure|without|instead of)\b/i;
+
+// ../core/src/extract/recent.ts
+var RECENT = { budgetTokens: 450, min: 2, max: 6, words: 120 };
+function pickRecentMessages(prompts) {
+  const out = [];
+  let used = 0;
+  for (let i = prompts.length - 1; i >= 0 && out.length < RECENT.max; i--) {
+    const m = clipWords(prompts[i], RECENT.words);
+    if (!m) continue;
+    const cost = Math.ceil(m.length / CHARS_PER_TOKEN);
+    if (out.length >= RECENT.min && used + cost > RECENT.budgetTokens) break;
+    out.unshift(m);
+    used += cost;
+  }
+  return out;
+}
+
+// ../core/src/extract/rules.ts
+var RULES2 = { maxRules: 10, budgetTokens: 300, words: 40, pastedWords: 400 };
+var DIRECTIVE_RE = /\b(never|always|don['’]?t|do not|must|make sure|prefer|avoid|no need to|instead of|from now on|going forward|remember|stop|only)\b/i;
+var norm2 = (s) => s.toLowerCase().replace(/\s+/g, " ").trim();
+function findPinnedRules(prompts, recent) {
+  const recentText = norm2(recent.join("\n"));
+  const found = [];
+  prompts.forEach((p, message) => {
+    if (wordCount(p) > RULES2.pastedWords) return;
+    for (const sentence of splitSentences(p)) {
+      if (sentence.endsWith("?") || sentence.endsWith(":") || !DIRECTIVE_RE.test(sentence)) continue;
+      if (recentText.includes(norm2(sentence))) continue;
+      found.push({ text: clipWords(sentence, RULES2.words), message });
+    }
+  });
+  return capRules(latestCopies(found));
+}
+function mergePinnedRules(older, newer, recent) {
+  const recentText = norm2(recent.join("\n"));
+  const all = [...older.map((r) => ({ text: r.text, message: -1 })), ...newer].filter((r) => !recentText.includes(norm2(r.text)));
+  return capRules(latestCopies(all));
+}
+function latestCopies(rules) {
+  const byKey = /* @__PURE__ */ new Map();
+  for (const r of rules) {
+    const key = norm2(r.text);
+    byKey.delete(key);
+    byKey.set(key, r);
+  }
+  return [...byKey.values()];
+}
+function capRules(all) {
+  const kept = [];
+  let used = 0;
+  for (let i = all.length - 1; i >= 0 && kept.length < RULES2.maxRules; i--) {
+    const cost = Math.ceil(all[i].text.length / CHARS_PER_TOKEN);
+    if (used + cost > RULES2.budgetTokens) break;
+    kept.unshift(all[i]);
+    used += cost;
+  }
+  return { rules: kept, more: all.length - kept.length };
+}
+
+// ../core/src/extract/extract.ts
 var TRANSCRIPT_MAX = 2e5;
+var SLASH_COMMAND_RE = /^\/[a-z][\w-]*(\s|$)/i;
+function isSlashCommand(p) {
+  return SLASH_COMMAND_RE.test(p.trim());
+}
 function isSubstantive(p) {
   const t = p.trim();
-  return !t.startsWith("/") && t.split(/\s+/).length >= 3;
+  return !isSlashCommand(t) && t.split(/\s+/).length >= 3;
 }
 var PROBES = /* @__PURE__ */ new Set([
   "rg",
@@ -902,46 +1081,41 @@ function isProbeCommand(cmd) {
   while (i < words.length && words[i].startsWith("-")) i += words[i] === "-C" || words[i] === "-c" ? 2 : 1;
   return GIT_PROBES.has(words[i] ?? "");
 }
-function findBlocker(cmds) {
-  for (let i = cmds.length - 1; i >= 0; i--) {
-    const c = cmds[i];
-    if (c.exitCode === null || c.exitCode === 0 || isProbeCommand(c.cmd)) continue;
-    if (!cmds.slice(i + 1).some((d) => d.cmd === c.cmd && d.exitCode === 0)) return c;
+var FAILURE_WINDOW = 5;
+function findLastFailure(cmds) {
+  const real = cmds.filter((c) => !isProbeCommand(c.cmd));
+  for (let i = real.length - 1; i >= Math.max(0, real.length - FAILURE_WINDOW); i--) {
+    const c = real[i];
+    if (c.exitCode === null || c.exitCode === 0) continue;
+    if (real.slice(i + 1).some((d) => d.cmd === c.cmd && d.exitCode === 0)) continue;
+    return { cmd: c.cmd, exitCode: c.exitCode, output: dropPartialLine(c.output) };
   }
   return null;
 }
-function findDeadEnds(cmds, blocker) {
-  const seen = /* @__PURE__ */ new Set();
-  const out = [];
-  cmds.forEach((c, i) => {
-    if (c.exitCode === null || c.exitCode === 0 || seen.has(c.cmd) || isProbeCommand(c.cmd)) return;
-    if (blocker && c.cmd === blocker.cmd) return;
-    if (cmds.slice(i + 1).some((d) => d.cmd === c.cmd && d.exitCode === 0)) return;
-    seen.add(c.cmd);
-    out.push({ cmd: c.cmd, exitCode: c.exitCode });
-  });
-  return out.slice(-5);
-}
-function findDecisions(prompts) {
-  const out = [];
-  for (const p of prompts) {
-    for (const s of p.split(/(?<=[.!?])\s+|\n+/)) {
-      const t = s.trim();
-      if (t.length >= 8 && t.length <= 300 && DECISION_RE.test(t) && !out.includes(t)) out.push(t);
-    }
-  }
-  return out.slice(-8);
+function dropPartialLine(output) {
+  if (!output.startsWith("\u2026")) return output;
+  const nl = output.indexOf("\n");
+  return nl === -1 ? "" : output.slice(nl + 1);
 }
-function buildTranscript(s, title, rel) {
+function buildTranscript(s, title, rel, redactor) {
+  const r = (x) => redactor.apply(x);
   const lines = [`# Condensed transcript: ${title}`, "", `Source: ${TOOL_LABEL[s.ref.tool]} session \`${s.ref.id}\``, ""];
   for (const t of s.timeline) {
-    if (t.kind === "user") lines.push("**User:**", t.text, "");
-    else if (t.kind === "assistant") lines.push("**Agent:**", t.text.length > 600 ? t.text.slice(0, 599) + "\u2026" : t.text, "");
-    else if (t.kind === "command") lines.push(`\`$ ${oneLine(t.run.cmd, 200)}\`${t.run.exitCode === null ? "" : ` \u2192 exit ${t.run.exitCode}`}`, "");
-    else lines.push(`Edited \`${rel(t.edit.path)}\` (${t.edit.kind})`, "");
+    if (t.kind === "user") {
+      const { handoff, rest } = splitHandoffPrompt(t.text);
+      if (handoff) lines.push("**Harlay handoff prompt** (from the previous agent; context is in the brief)", "");
+      if (rest) lines.push("**User:**", r(rest), "");
+    } else if (t.kind === "assistant") {
+      const text = r(t.text);
+      lines.push("**Agent:**", text.length > 600 ? text.slice(0, 599) + "\u2026" : text, "");
+    } else if (t.kind === "command") lines.push(`\`$ ${oneLine(r(t.run.cmd), 200)}\`${t.run.exitCode === null ? "" : ` \u2192 exit ${t.run.exitCode}`}`, "");
+    else lines.push(`Edited \`${r(rel(t.edit.path))}\` (${t.edit.kind})`, "");
   }
   const out = lines.join("\n");
-  return out.length > TRANSCRIPT_MAX ? "\u2026(earlier transcript truncated)\n" + out.slice(out.length - TRANSCRIPT_MAX) : out;
+  if (out.length <= TRANSCRIPT_MAX) return out;
+  const cut = out.slice(out.length - TRANSCRIPT_MAX);
+  const nl = cut.indexOf("\n");
+  return "\u2026(earlier transcript truncated)\n" + (nl === -1 ? cut : cut.slice(nl + 1));
 }
 function extractHandoff(s, git2, o) {
   const cwd = s.ref.cwd;
@@ -952,39 +1126,45 @@ function extractHandoff(s, git2, o) {
     const r = relative3(workdir, p);
     return r.startsWith("..") || isAbsolute(r) ? p : r;
   };
-  const allPrompts = s.timeline.flatMap((t) => t.kind === "user" ? [t.text] : []);
-  const prompts = allPrompts.filter((p) => !isHandoffPrompt(p));
+  const split = s.timeline.flatMap((t) => t.kind === "user" ? [splitHandoffPrompt(t.text)] : []);
+  const prompts = split.flatMap((p) => p.rest ? [p.rest] : []);
   const agentTexts = s.timeline.flatMap((t) => t.kind === "assistant" ? [t.text] : []);
   const cmds = s.timeline.flatMap((t) => t.kind === "command" ? [t.run] : []);
   const edits = s.timeline.flatMap((t) => t.kind === "edit" ? [t.edit] : []);
-  const carried = o.previous && o.previous.goal !== null && prompts.length < allPrompts.length ? o.previous : null;
-  const goal = carried ? carried.goal : prompts.find(isSubstantive) ?? prompts[0] ?? null;
-  const last = carried ? [...prompts].reverse().find(isSubstantive) ?? null : prompts.length ? prompts[prompts.length - 1] : null;
-  const latestInstruction = last !== null && last !== goal && isSubstantive(last) ? last : null;
+  const redactor = new Redactor();
+  const realPrompts = prompts.filter((p) => !isSlashCommand(p)).map((p) => redactor.apply(p));
+  const prev = o.previous;
+  const fromPrev = prev ? split.some((p) => p.handoff && (p.id === null || p.id === prev.id)) : false;
+  const carried = prev && prev.goal !== null && fromPrev ? prev : null;
+  const carriedRecent = carried ? carried.recentUserMessages.map((m) => redactor.apply(m)) : [];
+  const recentUserMessages = pickRecentMessages([...carriedRecent, ...realPrompts]);
+  let { rules: pinnedRules, more: moreRules } = findPinnedRules(realPrompts, recentUserMessages);
+  if (carried) {
+    const older = [...carried.pinnedRules.map((r) => ({ ...r, text: redactor.apply(r.text) })), ...findPinnedRules(carriedRecent, []).rules];
+    const merged = mergePinnedRules(older, pinnedRules, recentUserMessages);
+    moreRules += merged.more + carried.moreRules;
+    pinnedRules = merged.rules;
+  }
+  const originalGoal = carried ? carried.goal === null ? null : redactor.apply(carried.goal) : realPrompts.find(isSubstantive) ?? realPrompts[0] ?? null;
   const todos = (s.todos ?? []).filter((t) => t.status !== "cancelled");
-  const nextTodo = todos.find((t) => t.status === "in_progress") ?? todos.find((t) => t.status === "pending");
   const lastAgent = agentTexts.length ? agentTexts[agentTexts.length - 1] : null;
-  const nextStep = nextTodo ? { text: nextTodo.text, source: "todo" } : lastAgent ? { text: lastAgent, source: "agent" } : null;
-  const blocker = findBlocker(cmds);
-  const editedFiles = [];
-  const counts = /* @__PURE__ */ new Map();
-  for (const e of edits) {
+  const whereItStopped = lastAgent === null ? null : clipWords(redactor.apply(lastAgent), 150);
+  const openTodos = todos.flatMap((t) => t.status === "in_progress" || t.status === "pending" ? [{ text: redactor.apply(t.text).replace(/\s+/g, " ").trim(), status: t.status }] : []).slice(0, 8);
+  const failure = findLastFailure(cmds);
+  const lastFailure = failure ? { ...failure, cmd: redactor.apply(failure.cmd), output: redactor.apply(failure.output) } : null;
+  const filesTouched = [];
+  for (const e of [...edits].reverse()) {
     const r = rel(e.path);
-    if (!editedFiles.includes(r)) editedFiles.push(r);
-    counts.set(r, (counts.get(r) ?? 0) + 1);
+    if (!isAbsolute(r) && !filesTouched.includes(r)) filesTouched.push(r);
+    if (filesTouched.length === 12) break;
   }
-  const readFirst = [...editedFiles].sort((a, b) => (counts.get(b) ?? 0) - (counts.get(a) ?? 0)).slice(0, 3);
-  const progress = todos.length ? todos.map((t) => ({ text: t.text, done: t.status === "completed" })) : editedFiles.map((f) => ({ text: `\`${f}\``, done: true }));
-  const progressSource = todos.length ? "todos" : editedFiles.length ? "edits" : "none";
-  const redactor = new Redactor();
-  const title = carried ? carried.title : s.ref.title ?? (goal ? oneLine(redactor.apply(goal), 60) : "Untitled task");
+  const title = carried ? carried.title : s.ref.title ?? (originalGoal ? oneLine(redactor.apply(originalGoal), 60) : "Untitled task");
   const pad = (n2) => String(n2).padStart(2, "0");
   const n = o.now;
   const baseId = `${pad(n.getMonth() + 1)}${pad(n.getDate())}-${pad(n.getHours())}${pad(n.getMinutes())}-${slugify(redactor.apply(title))}`;
   return {
     baseId,
     title,
-    status: "in_progress",
     createdAt: o.now,
     from: {
       tool: s.ref.tool,
@@ -996,142 +1176,155 @@ function extractHandoff(s, git2, o) {
     },
     workdir,
     git: git2,
-    goal,
-    latestInstruction,
-    nextStep,
-    blocker: blocker && blocker.exitCode !== null ? { cmd: blocker.cmd, exitCode: blocker.exitCode, output: blocker.output } : null,
-    progress,
-    progressSource,
-    editedFiles,
-    decisions: findDecisions(prompts),
-    deadEnds: findDeadEnds(cmds, blocker),
-    readFirst,
-    transcript: buildTranscript(s, title, rel),
-    unknownRecords: s.unknownRecords
+    originalGoal,
+    recentUserMessages,
+    pinnedRules,
+    moreRules,
+    whereItStopped,
+    todos: openTodos,
+    filesTouched,
+    lastFailure,
+    transcript: buildTranscript(s, title, rel, redactor),
+    unknownRecords: s.unknownRecords,
+    redactions: { ...redactor.counts },
+    carriedFrom: carried ? carried.id : null
   };
 }
 
-// ../core/src/brief/render.ts
-var BUDGET = { goal: 150, latest: 100, next: 200, blocker: 250, progress: 300, files: 300, decisions: 250, deadEnds: 200 };
+// ../core/src/brief/write.ts
+import { access, appendFile, mkdir as mkdir2, readFile as readFile4, writeFile as writeFile2 } from "node:fs/promises";
+import { dirname as dirname2, isAbsolute as isAbsolute2, join as join6 } from "node:path";
+
+// ../core/src/brief/prompt.ts
+var TIER_MAX = { full: 6e3, compact: 3e3 };
 var REASON_TEXT = {
   usage_limit: "it hit a usage limit",
   crash: "it stopped with an error",
   manual: "the user handed it off"
 };
-var j = (v) => JSON.stringify(v ?? null);
-function quote(s) {
-  return s.split("\n").map((l) => l.trim() ? `> ${l}` : ">").join("\n");
-}
-function listWithin(lines, maxTokens, pointer) {
-  const max = maxTokens * CHARS_PER_TOKEN;
-  const out = [];
-  let used = 0;
-  for (let i = 0; i < lines.length; i++) {
-    const line = lines[i];
-    if (out.length > 0 && used + line.length + 1 > max) {
-      out.push(`- \u2026 ${lines.length - i} more (see \`${pointer}\`)`);
-      break;
+var OUR_TAGS = /<(\/?)(handoff|original_goal|rules_from_user|recent_user_messages|where_it_stopped|files|last_failure)\b/gi;
+function safe(s) {
+  return s.replace(OUR_TAGS, "\u2039$1$2");
+}
+var attr = (s) => safe(s).replace(/"/g, "'").replace(/\s+/g, " ").trim();
+var norm3 = (s) => s.toLowerCase().replace(/\s+/g, " ").trim();
+function goalIsRecent(goal, recent) {
+  const g = norm3(goal.replace(/\s…$/, ""));
+  return recent.some((m) => norm3(m).startsWith(g));
+}
+function renderPrompt(rec, tier) {
+  const full = tier === "full";
+  const from = TOOL_LABEL[rec.from.tool];
+  const dir = `.harlay/handoffs/${rec.id}`;
+  const out = [
+    `<handoff from="${from}" reason="${rec.from.reason}" task="${attr(rec.task.title)}">`,
+    `You are taking over a coding session that ${from} could not finish (${REASON_TEXT[rec.from.reason]}). What you need to start is below; don't re-read the repo to rebuild it.`
+  ];
+  const goal = rec.task.originalGoal;
+  const noRecent = rec.task.recentUserMessages.length === 0;
+  if (goal && (full ? !goalIsRecent(goal, rec.task.recentUserMessages) : noRecent)) out.push("", "<original_goal>", safe(goal), "</original_goal>");
+  if (rec.task.pinnedRules.length) {
+    out.push("", "<rules_from_user>", ...rec.task.pinnedRules.map((r) => `- ${safe(r.text)}`));
+    if (rec.task.moreRules) out.push(`(${rec.task.moreRules} more in the transcript)`);
+    out.push("</rules_from_user>");
+  }
+  const recent = full ? rec.task.recentUserMessages : rec.task.recentUserMessages.slice(-2);
+  if (recent.length) out.push("", '<recent_user_messages oldest_first="true">', ...recent.map((m) => `- ${safe(m)}`), "</recent_user_messages>");
+  const where = rec.state.whereItStopped === null ? null : full ? rec.state.whereItStopped : clipWords(rec.state.whereItStopped, 60);
+  const todos = rec.state.todos.map((t) => `[${t.status === "in_progress" ? "in progress" : "pending"}] ${safe(t.text)}`);
+  if (where || todos.length) {
+    out.push("", "<where_it_stopped>");
+    if (where) out.push(safe(where));
+    if (todos.length) out.push(`Open todos: ${todos.join("; ")}`);
+    out.push("</where_it_stopped>");
+  }
+  if (full && (rec.files.touched.length || rec.files.uncommitted.length)) {
+    out.push("", "<files>");
+    if (rec.files.touched.length) out.push(`Touched: ${rec.files.touched.map(safe).join(", ")}`);
+    if (rec.files.uncommitted.length) {
+      const list = rec.files.uncommitted.map((f) => `${safe(f.path)} (${f.status}${f.added !== null && f.removed !== null ? `, +${f.added} -${f.removed}` : ""})`);
+      out.push(`Uncommitted: ${list.join(", ")}${rec.files.moreUncommitted ? `, and ${rec.files.moreUncommitted} more` : ""}`);
     }
-    out.push(line);
-    used += line.length + 1;
+    out.push("</files>");
   }
-  return out;
+  if (rec.lastFailure) {
+    out.push("", "<last_failure>", `$ ${safe(rec.lastFailure.cmd)} (exit ${rec.lastFailure.exitCode})`);
+    if (full) out.push(safe(rec.lastFailure.outputTail));
+    out.push("</last_failure>");
+  }
+  const more = [`${dir}/transcript.md (search it, don't read it all)`];
+  if (rec.details.diff) more.push(`${dir}/diff.patch`);
+  const next = noRecent ? "Continue from where it stopped." : "Continue from the most recent user message.";
+  out.push("", `Only if you need more: ${more.join(" and ")}.`, "</handoff>", "", `${next} Start with the next concrete step.`);
+  return wellFormed(out.join("\n"));
 }
-function tailWithin(s, maxTokens) {
-  const max = maxTokens * CHARS_PER_TOKEN;
-  const t = s.trimEnd();
-  if (t.length <= max) return t;
-  const cut = t.slice(t.length - max);
-  const nl = cut.indexOf("\n");
-  return "\u2026\n" + (nl >= 0 ? cut.slice(nl + 1) : cut);
-}
-function fenceFor(body) {
-  const longest = Math.max(0, ...(body.match(/`+/g) ?? []).map((r) => r.length));
-  return "`".repeat(Math.max(3, longest + 1));
-}
-function fileLine(f) {
-  const counts = f.added !== null && f.removed !== null ? `, +${f.added} -${f.removed}` : "";
-  return `- \`${f.path}\` (${f.status}${counts})`;
-}
-function renderBrief(d, id, opts = {}) {
-  const dir = `.harlay/handoffs/${id}`;
-  const transcript = `${dir}/transcript.md`;
-  const front = [
-    "---",
-    "harlay: 1",
-    `id: ${j(id)}`,
-    `status: ${j(d.status)}`,
-    `created: ${j(d.createdAt.toISOString())}`,
-    "from:",
-    `  tool: ${j(d.from.tool)}`,
-    `  model: ${j(d.from.model)}`,
-    `  session: ${j(d.from.session)}`,
-    `  reason: ${j(d.from.reason)}`,
-    `  resets_at: ${j(d.from.resetsAt ? d.from.resetsAt.toISOString() : null)}`,
-    "repo:",
-    `  path: ${j(d.workdir)}`,
-    ...d.git ? [`  branch: ${j(d.git.branch)}`, `  base_commit: ${j(d.git.head)}`, `  dirty_files: ${d.git.files.length}`, `  diff_sha: ${j(d.git.diffSha.slice(0, 12))}`] : ["  git: false"],
-    "---"
-  ];
-  const header = [
-    `# Continue: ${d.title}`,
-    "",
-    `> You are continuing a coding task that another AI agent (${TOOL_LABEL[d.from.tool]}) started but could not finish (${REASON_TEXT[d.from.reason]}).`,
-    "> This brief was extracted from its session log and the repo.",
-    d.git ? '> First run `git status` and check it matches "Changed files". Do not redo finished work.' : "> Check the files listed below before editing. Do not redo finished work."
-  ];
-  const goal = ["## 1. Goal (user's words)", d.goal ? quote(clip(d.goal, BUDGET.goal, transcript)) : "Not recorded. See the transcript."];
-  if (d.latestInstruction) goal.push("", "Latest instruction:", quote(clip(d.latestInstruction, BUDGET.latest, transcript)));
-  const next = ["## 2. Next step"];
-  if (!d.nextStep) next.push("Not recorded. Re-read the goal and the changed files, then decide.");
-  else if (d.nextStep.source === "todo") next.push(clip(oneLine(d.nextStep.text, 200), BUDGET.next));
-  else next.push("From the agent's last message:", quote(clip(d.nextStep.text, BUDGET.next)));
-  const blocker = ["## 3. Blocker"];
-  if (d.blocker) {
-    const body = tailWithin(d.blocker.output, BUDGET.blocker);
-    const fence = fenceFor(body);
-    blocker.push(`\`${oneLine(d.blocker.cmd, 200)}\` failed (exit ${d.blocker.exitCode}):`, `${fence}text`, body, fence, `Full output: \`${dir}/last-error.txt\``);
-  } else {
-    blocker.push("No failing command recorded.");
-  }
-  const progress = ["## 4. Progress"];
-  if (d.progressSource === "none") progress.push("Nothing recorded yet.");
-  else {
-    if (d.progressSource === "edits") progress.push("No task list was recorded. Files the agent edited:");
-    progress.push(...listWithin(d.progress.map((p) => `- [${p.done ? "x" : " "}] ${oneLine(p.text, 200)}`), BUDGET.progress, transcript));
+function choosePrompt(rec, fits) {
+  for (const tier of ["full", "compact"]) {
+    const text = renderPrompt(rec, tier);
+    if (text.length <= TIER_MAX[tier] && fits(text)) return { tier, text };
   }
-  const files = [];
-  if (d.git) {
-    files.push("## 5. Changed files (uncommitted)");
-    if (d.git.files.length === 0) files.push("Working tree is clean.");
-    else files.push(...listWithin(d.git.files.map(fileLine), BUDGET.files, `${dir}/diff.patch`), `Full diff: \`${dir}/diff.patch\``);
-  } else {
-    files.push("## 5. Changed files", "Not a git repository." + (d.editedFiles.length ? " Files the agent edited:" : ""));
-    files.push(...listWithin(d.editedFiles.map((f) => `- \`${f}\``), BUDGET.files, transcript));
-  }
-  const decisions = [
-    "## 6. Decisions and constraints",
-    ...d.decisions.length ? listWithin(d.decisions.map((s) => `- "${oneLine(s, 300)}"`), BUDGET.decisions, transcript) : ["None recorded."]
-  ];
-  const deadEnds = [
-    "## 7. Dead ends (don't retry)",
-    ...d.deadEnds.length ? listWithin(d.deadEnds.map((e) => `- \`${oneLine(e.cmd, 160)}\` failed (exit ${e.exitCode})`), BUDGET.deadEnds, transcript) : ["None recorded."]
-  ];
-  const more = ["## 8. Read more", `- Condensed transcript: \`${transcript}\``];
-  if (opts.previousBrief) more.push(`- Previous brief (as last updated by the previous agent): \`${dir}/previous-HANDOFF.md\``);
-  if (d.readFirst.length) more.push(`- Read these first: ${d.readFirst.map((f) => `\`${f}\``).join(", ")}`);
-  const stop = ["## 9. When you stop", "Before ending your turn, update sections 2\u20134 and `status:` in this file so the next agent can continue."];
-  return [front, header, goal, next, blocker, progress, files, decisions, deadEnds, more, stop].map((s) => s.join("\n")).join("\n\n") + "\n";
+  return { tier: "pointer", text: HANDOFF_PROMPT };
+}
+
+// ../core/src/brief/record.ts
+var RECORD_SCHEMA = "harlay/handoff@2";
+var MAX_UNCOMMITTED = 15;
+function buildRecord(d, id, previousId, r) {
+  const a = (s) => r.apply(stripControl(s));
+  const files = d.git?.files ?? [];
+  return {
+    schema: RECORD_SCHEMA,
+    id,
+    createdAt: d.createdAt.toISOString(),
+    from: {
+      tool: d.from.tool,
+      model: d.from.model,
+      session: d.from.session,
+      reason: d.from.reason,
+      resetsAt: d.from.resetsAt ? d.from.resetsAt.toISOString() : null,
+      message: d.from.message === null ? null : a(d.from.message)
+    },
+    repo: { root: d.workdir, git: d.git !== null, branch: d.git?.branch ?? null, head: d.git?.head ?? null, dirtyFiles: files.length },
+    task: {
+      title: a(d.title),
+      originalGoal: d.originalGoal === null ? null : clipWords(a(d.originalGoal), 60),
+      recentUserMessages: d.recentUserMessages.map(a),
+      pinnedRules: d.pinnedRules.map((p) => ({ text: a(p.text), message: p.message })),
+      moreRules: d.moreRules
+    },
+    state: {
+      whereItStopped: d.whereItStopped === null ? null : a(d.whereItStopped),
+      todos: d.todos.map((t) => ({ text: oneLine(a(t.text), 200), status: t.status }))
+    },
+    files: {
+      touched: d.filesTouched.map(a),
+      uncommitted: files.slice(0, MAX_UNCOMMITTED).map((f) => ({ path: a(f.path), status: f.status, added: f.added, removed: f.removed })),
+      moreUncommitted: Math.max(0, files.length - MAX_UNCOMMITTED)
+    },
+    lastFailure: d.lastFailure ? { cmd: clipWords(a(d.lastFailure.cmd), 30), exitCode: d.lastFailure.exitCode, outputTail: a(d.lastFailure.output).split("\n").slice(-8).join("\n") } : null,
+    details: { transcript: "transcript.md", diff: d.git ? "diff.patch" : null, lastError: d.lastFailure ? "last-error.txt" : null },
+    previous: previousId ? { id: previousId } : null,
+    unknownRecords: d.unknownRecords
+  };
+}
+var isStr = (v) => typeof v === "string";
+var isObj2 = (v) => typeof v === "object" && v !== null;
+function validateRecord(raw) {
+  if (!isObj2(raw) || raw.schema !== RECORD_SCHEMA || !isStr(raw.id) || !isStr(raw.createdAt)) return null;
+  const { task, from } = raw;
+  if (!isObj2(from) || !isTool(from.tool)) return null;
+  if (!isObj2(task) || !isStr(task.title) || !(task.originalGoal === null || isStr(task.originalGoal))) return null;
+  if (!Array.isArray(task.recentUserMessages) || !task.recentUserMessages.every(isStr)) return null;
+  if (!Array.isArray(task.pinnedRules) || !task.pinnedRules.every((r) => isObj2(r) && isStr(r.text) && typeof r.message === "number")) return null;
+  return raw;
 }
 
 // ../core/src/brief/write.ts
-import { access, appendFile, mkdir, readFile as readFile4, writeFile } from "node:fs/promises";
-import { dirname, isAbsolute as isAbsolute2, join as join5 } from "node:path";
 async function allocateHandoffId(handoffsDir, baseId) {
   for (let i = 1; i < 1e3; i++) {
     const id = i === 1 ? baseId : `${baseId}-${i}`;
     try {
-      await access(join5(handoffsDir, id));
+      await access(join6(handoffsDir, id));
     } catch {
       return id;
     }
@@ -1140,7 +1333,7 @@ async function allocateHandoffId(handoffsDir, baseId) {
 }
 async function ensureGitExclude(workdir) {
   const p = (await git(workdir, ["rev-parse", "--git-path", "info/exclude"])).trim();
-  const file = isAbsolute2(p) ? p : join5(workdir, p);
+  const file = isAbsolute2(p) ? p : join6(workdir, p);
   let current = "";
   try {
     current = await readFile4(file, "utf8");
@@ -1148,14 +1341,14 @@ async function ensureGitExclude(workdir) {
     current = "";
   }
   if (current.split("\n").some((l) => l.trim() === ".harlay/" || l.trim() === ".harlay")) return;
-  await mkdir(dirname(file), { recursive: true });
+  await mkdir2(dirname2(file), { recursive: true });
   await appendFile(file, `${current && !current.endsWith("\n") ? "\n" : ""}.harlay/
 `);
 }
 async function readHandoffState(workdir) {
   let raw;
   try {
-    raw = JSON.parse(await readFile4(join5(workdir, ".harlay", "state.json"), "utf8"));
+    raw = JSON.parse(await readFile4(join6(workdir, ".harlay", "state.json"), "utf8"));
   } catch {
     return null;
   }
@@ -1172,113 +1365,56 @@ async function readIfExists(file) {
     return null;
   }
 }
-async function writeHandoff(d) {
-  const harlayDir = join5(d.workdir, ".harlay");
-  const latestPath = join5(harlayDir, "HANDOFF.md");
-  const id = await allocateHandoffId(join5(harlayDir, "handoffs"), d.baseId);
-  const dir = join5(harlayDir, "handoffs", id);
-  await mkdir(dir, { recursive: true });
-  const r = new Redactor();
-  const previous = await readIfExists(latestPath);
-  if (previous !== null) await writeFile(join5(dir, "previous-HANDOFF.md"), r.apply(previous));
-  const brief = r.apply(renderBrief(d, id, { previousBrief: previous !== null }));
-  const briefPath = join5(dir, "HANDOFF.md");
-  await writeFile(briefPath, brief);
-  await writeFile(join5(dir, "transcript.md"), r.apply(d.transcript));
-  if (d.git) await writeFile(join5(dir, "diff.patch"), r.apply(d.git.diff));
-  if (d.blocker) await writeFile(join5(dir, "last-error.txt"), r.apply(d.blocker.output));
-  const from = {
-    ...d.from,
-    message: d.from.message === null ? null : r.apply(d.from.message),
-    resetsAt: d.from.resetsAt ? d.from.resetsAt.toISOString() : null
-  };
-  const goal = d.goal === null ? null : r.apply(d.goal);
-  const title = r.apply(d.title);
-  const meta = {
-    harlay: 1,
-    id,
-    createdAt: d.createdAt.toISOString(),
-    title,
-    goal,
-    from,
-    workdir: d.workdir,
-    unknownRecords: d.unknownRecords,
-    git: d.git ? { branch: d.git.branch, head: d.git.head, files: d.git.files.length, diffSha: d.git.diffSha } : null,
-    redactions: { ...r.counts }
-  };
-  await writeFile(join5(dir, "meta.json"), JSON.stringify(meta, null, 2) + "\n");
-  await writeFile(latestPath, brief);
-  const state = { harlay: 1, lastId: id, goal, title };
-  await writeFile(join5(harlayDir, "state.json"), JSON.stringify(state, null, 2) + "\n");
-  if (d.git) await ensureGitExclude(d.workdir);
-  return { id, dir, briefPath, latestPath, redactions: { ...r.counts } };
-}
-
-// ../core/src/launch/launchers.ts
-import { execFile as execFile2 } from "node:child_process";
-import { chmod, mkdir as mkdir2, writeFile as writeFile2 } from "node:fs/promises";
-import { dirname as dirname2, join as join6 } from "node:path";
-import { promisify as promisify2 } from "node:util";
-var pexec2 = promisify2(execFile2);
-var HANDOFF_PROMPT = "Read .harlay/HANDOFF.md and continue the task.";
-var DEFAULT_MODES = { "claude-code": "app", codex: "app", cursor: "app" };
-var defaultRunner = {
-  async open(args) {
-    await pexec2("/usr/bin/open", args);
-  },
-  async writeExecutable(path, content) {
-    await mkdir2(dirname2(path), { recursive: true });
-    await writeFile2(path, content, { mode: 493 });
-    await chmod(path, 493);
-  },
-  sleep: (ms) => new Promise((resolve2) => setTimeout(resolve2, ms))
-};
-function shq(s) {
-  return `'${s.replace(/'/g, `'\\''`)}'`;
-}
-var enc = encodeURIComponent;
-function planLaunch(o) {
-  if (o.mode === "app") {
-    switch (o.target) {
-      case "claude-code":
-        return { target: o.target, mode: o.mode, steps: [{ kind: "open", args: [`claude://code/new?folder=${enc(o.cwd)}&q=${enc(o.prompt)}`] }] };
-      case "codex":
-        return { target: o.target, mode: o.mode, steps: [{ kind: "open", args: [`codex://threads/new?path=${enc(o.cwd)}&prompt=${enc(o.prompt)}`] }] };
-      case "cursor":
-        return {
-          target: o.target,
-          mode: o.mode,
-          steps: [
-            { kind: "open", args: ["-a", "Cursor", o.cwd] },
-            { kind: "wait", ms: 1500 },
-            { kind: "open", args: [`cursor://anysphere.cursor-deeplink/prompt?text=${enc(o.prompt)}`] }
-          ]
-        };
+async function readPreviousHandoff(workdir) {
+  const raw = await readIfExists(join6(workdir, ".harlay", "handoff.json"));
+  if (raw !== null) {
+    let rec;
+    try {
+      rec = validateRecord(JSON.parse(raw));
+    } catch {
+      return null;
     }
+    if (!rec) return null;
+    const { task } = rec;
+    return {
+      id: rec.id,
+      goal: task.originalGoal,
+      title: task.title,
+      recentUserMessages: task.recentUserMessages,
+      pinnedRules: task.pinnedRules,
+      moreRules: typeof task.moreRules === "number" ? task.moreRules : 0
+    };
   }
-  const bin = o.binaries[o.target];
-  if (!bin) throw new HarlayError(`${TOOL_LABEL[o.target]} CLI not found. Install it or switch ${TOOL_LABEL[o.target]} to app mode.`);
-  const argv = o.target === "codex" ? [bin, "-C", o.cwd, o.prompt] : o.target === "cursor" ? [bin, "--workspace", o.cwd, o.prompt] : [bin, o.prompt];
-  const path = join6(o.scriptDir, `continue-${o.target}.command`);
-  const content = `#!/bin/zsh -l
-cd -- ${shq(o.cwd)} || exit 1
-exec ${argv.map(shq).join(" ")}
-`;
-  return {
-    target: o.target,
-    mode: o.mode,
-    steps: [
-      { kind: "script", path, content },
-      { kind: "open", args: ["-a", o.terminalApp, path] }
-    ]
-  };
+  const state = await readHandoffState(workdir);
+  return state ? { id: state.lastId, goal: state.goal, title: state.title, recentUserMessages: [], pinnedRules: [], moreRules: 0 } : null;
 }
-async function executeLaunch(plan, runner = defaultRunner) {
-  for (const step of plan.steps) {
-    if (step.kind === "open") await runner.open(step.args);
-    else if (step.kind === "script") await runner.writeExecutable(step.path, step.content);
-    else await runner.sleep(step.ms);
-  }
+function addCounts(a, b) {
+  const out = { ...a };
+  for (const [k, n] of Object.entries(b)) out[k] = (out[k] ?? 0) + n;
+  return out;
+}
+async function writeHandoff(d, o) {
+  const harlayDir = join6(d.workdir, ".harlay");
+  const latestPath = join6(harlayDir, "HANDOFF.md");
+  const id = await allocateHandoffId(join6(harlayDir, "handoffs"), d.baseId);
+  const dir = join6(harlayDir, "handoffs", id);
+  await mkdir2(dir, { recursive: true });
+  const r = new Redactor();
+  const body = buildRecord(d, id, o.previousId, r);
+  const chosen = choosePrompt(body, (p) => promptFits(o.target, o.mode, p));
+  const record = { ...body, prompt: { target: o.target, tier: chosen.tier, chars: chosen.text.length } };
+  const json = JSON.stringify(record, null, 2) + "\n";
+  const recordPath = join6(dir, "handoff.json");
+  await writeFile2(recordPath, json);
+  await writeFile2(join6(dir, "prompt.md"), chosen.text + "\n");
+  await writeFile2(join6(dir, "transcript.md"), r.apply(stripControl(d.transcript)));
+  if (d.git) await writeFile2(join6(dir, "diff.patch"), r.apply(d.git.diff));
+  if (d.lastFailure) await writeFile2(join6(dir, "last-error.txt"), r.apply(stripControl(d.lastFailure.output)));
+  await writeFile2(latestPath, renderPrompt(body, "full") + "\n");
+  await writeFile2(join6(harlayDir, "handoff.json"), json);
+  if (d.git) await ensureGitExclude(d.workdir);
+  const redactions = addCounts(d.redactions ?? {}, r.counts);
+  return { id, dir, recordPath, latestPath, prompt: chosen.text, tier: chosen.tier, redactions };
 }
 
 // ../core/src/launch/resolve.ts
@@ -1404,10 +1540,9 @@ async function runHandoff(o) {
   }
   const session = await readerFor(o.readers, o.session.tool).readSession(o.session);
   const git2 = await takeGitSnapshot(cwd);
-  const state = await readHandoffState(git2?.root ?? cwd);
-  const previous = state ? { id: state.lastId, goal: state.goal, title: state.title } : null;
+  const previous = await readPreviousHandoff(git2?.root ?? cwd);
   const data = extractHandoff(session, git2, { now: o.now ?? /* @__PURE__ */ new Date(), reason: o.reason, previous });
-  const written = await writeHandoff(data);
+  const written = await writeHandoff(data, { target: o.target, mode: o.mode, previousId: data.carriedFrom });
   if (o.launch === false) return { written, plan: null, data };
   let plan;
   try {
@@ -1416,7 +1551,7 @@ async function runHandoff(o) {
       target: o.target,
       mode: o.mode,
       cwd: data.workdir,
-      prompt: HANDOFF_PROMPT,
+      prompt: written.prompt,
       scriptDir: written.dir,
       binaries,
       terminalApp: o.terminalApp ?? "Terminal"
@@ -1628,11 +1763,11 @@ function claudeSettingsPath(home) {
 }
 var previousJson = (dataDir) => join9(dataDir, "claude-statusline.previous.json");
 var previousCommand = (dataDir) => join9(dataDir, "claude-statusline.previous");
-function isObj2(x) {
+function isObj3(x) {
   return typeof x === "object" && x !== null && !Array.isArray(x);
 }
 function isOurs(statusLine) {
-  return isObj2(statusLine) && typeof statusLine.command === "string" && statusLine.command.includes(BRIDGE_MARKER);
+  return isObj3(statusLine) && typeof statusLine.command === "string" && statusLine.command.includes(BRIDGE_MARKER);
 }
 async function readSettings(path) {
   let text;
@@ -1643,7 +1778,7 @@ async function readSettings(path) {
     throw e;
   }
   const parsed = JSON.parse(text);
-  if (!isObj2(parsed)) throw new Error(`${path} is not a JSON object`);
+  if (!isObj3(parsed)) throw new Error(`${path} is not a JSON object`);
   return parsed;
 }
 async function writeAtomic(path, text) {
@@ -1784,7 +1919,7 @@ async function installApp(opts) {
 }
 
 // src/main.ts
-var VERSION = "0.1.2";
+var VERSION = "0.1.3";
 var HELP = `harlay ${VERSION} \u2014 hand off a stalled AI coding session to another agent
 
 Usage:
@@ -1870,6 +2005,10 @@ async function cmdHandoff(args, readers, ctx) {
   ctx.out(`Brief: ${res.written.latestPath}
 Archived: ${res.written.dir}
 `);
+  ctx.out(
+    res.written.tier === "pointer" ? "Prompt: pointer to the brief (too long to send inline)\n" : `Prompt: ${res.written.tier} brief inline (${res.written.prompt.length} chars)
+`
+  );
   const kinds = Object.keys(res.written.redactions);
   if (kinds.length) {
     const total = Object.values(res.written.redactions).reduce((a, b) => a + b, 0);