harlay 0.1.2 → 0.1.3

package/app/renderer/popover.css

@@ -186,6 +186,7 @@ kbd { margin-right: 6px; padding: 1px 5px; border-radius: 4px; border: 1px solid
 .md h3 { margin: 2px 0 8px; font: 500 16px/1.25 var(--serif); color: var(--fg); }
 .md h4 { margin: 14px 0 5px; font-size: 12.5px; font-weight: 600; color: var(--fg); }
 .md p { margin: 0 0 7px; }
+.md p.muted { font-size: 12px; color: var(--fg3); }
 .md strong { color: var(--fg); font-weight: 600; }
 .md code { padding: 0 4px; border-radius: 4px; background: var(--sunk); border: 1px solid var(--line); font: 11px var(--mono); color: var(--fg); word-break: break-word; }
 .md pre { margin: 0 0 8px; padding: 8px 10px; border-radius: 8px; background: var(--sunk); border: 1px solid var(--line); font: 11px/1.45 var(--mono); color: var(--fg); white-space: pre-wrap; word-break: break-word; }

package/app/renderer/popover.js

@@ -290,12 +290,73 @@ function markdown(src) {
   return out;
 }
 
+/** Headings for the blocks of an inline handoff prompt (see packages/core/src/brief/prompt.ts). */
+const BRIEF_BLOCKS = {
+  original_goal: 'Original goal',
+  rules_from_user: 'Rules from the user',
+  recent_user_messages: 'Recent messages (oldest first)',
+  where_it_stopped: 'Where it stopped',
+  files: 'Files',
+  last_failure: 'Last failure',
+};
+
+/** `key="value"` pairs of the opening `<handoff …>` line (the prompt never puts `"` inside a value). */
+function tagAttrs(line) {
+  const out = {};
+  for (const m of line.matchAll(/([a-z_]+)="([^"]*)"/g)) out[m[1]] = m[2];
+  return out;
+}
+
+/**
+ * HANDOFF.md as Harlay writes it now: the tagged launch prompt. Block text is shown as written, never parsed as
+ * Markdown, so a line starting with ``` is plain text; the failure output is one verbatim block.
+ */
+function handoffBrief(src) {
+  const lines = src.replace(/\r\n/g, '\n').trim().split('\n');
+  const out = [];
+  let block = null;
+  let list = null;
+  let pre = null;
+  const close = () => {
+    if (pre) out.push(h('pre', {}, pre.join('\n')));
+    block = list = pre = null;
+  };
+  for (const line of lines) {
+    const t = line.trim();
+    let m;
+    if (!block && /^<handoff\s/.test(t)) {
+      const a = tagAttrs(t);
+      out.push(h('h3', {}, `Handoff from ${a.from || 'another agent'}${a.task ? ` · ${a.task}` : ''}`));
+    } else if (!block && (m = /^<([a-z_]+)(?:\s[^>]*)?>$/.exec(t)) && Object.hasOwn(BRIEF_BLOCKS, m[1])) {
+      block = m[1];
+      out.push(h('h4', {}, BRIEF_BLOCKS[block]));
+      if (block === 'last_failure') pre = [];
+    } else if ((m = /^<\/([a-z_]+)>$/.exec(t)) && (m[1] === block || (!block && m[1] === 'handoff'))) {
+      close();
+    } else if (pre) {
+      pre.push(line);
+    } else if (t === '') {
+      list = null;
+    } else if (!block) {
+      out.push(h('p', { class: 'muted' }, t));
+    } else if (t.startsWith('- ')) {
+      if (!list) out.push((list = h('ul', {})));
+      list.append(h('li', {}, t.slice(2)));
+    } else {
+      list = null;
+      out.push(h('p', {}, t));
+    }
+  }
+  close();
+  return out;
+}
+
 function renderBrief() {
   const session = model.sessions.find((s) => s.key === brief.key);
   let body;
   if (brief.loading) body = h('div', { class: 'busy pad' }, h('span', { class: 'spin' }), 'Building the brief…');
   else if (brief.error) body = h('p', { class: 'empty' }, `Couldn’t build the brief: ${brief.error}`);
-  else body = h('div', { class: 'md' }, markdown(brief.text));
+  else body = h('div', { class: 'md' }, brief.text.trim().startsWith('<handoff ') ? handoffBrief(brief.text) : markdown(brief.text));
   const ready = !brief.loading && !brief.error;
   $('#brief').replaceChildren(
     h('div', { class: 'hero' }, h('h1', {}, 'Brief'), h('p', { class: 'one-line' }, brief.title)),
@@ -425,7 +486,42 @@ function demoApi() {
   ];
   let onModel = () => {};
   let onBrief = () => {};
-  const sampleBrief = (title) => `---\nharlay: 1\n---\n\n# Continue: ${title}\n\n> You are continuing a coding task that another AI agent started.\n\n## 1. Goal (user's words)\n> Move auth from session cookies to JWT across \`api/\`.\n\n## 2. Next step\nMigrate the last 3 route handlers in \`api/routes/\`.\n\n## 4. Progress\n- [x] Added \`src/lib/jwt.ts\`\n- [ ] Migrate \`billing.ts\`\n\n\`\`\`text\nnpm test -- auth\n\`\`\`\n`;
+  const sampleBrief = (title) => [
+    `<handoff from="Claude Code" reason="usage_limit" task="${title.replace(/"/g, "'")}">`,
+    "You are taking over a coding session that Claude Code could not finish (it hit a usage limit). What you need to start is below; don't re-read the repo to rebuild it.",
+    '',
+    '<rules_from_user>',
+    "- Don't change the public /v1 API shape.",
+    '- Never push to main.',
+    '</rules_from_user>',
+    '',
+    '<recent_user_messages oldest_first="true">',
+    '- Move auth from session cookies to JWT across api/.',
+    '- Also migrate billing.ts before you run the tests.',
+    '</recent_user_messages>',
+    '',
+    '<where_it_stopped>',
+    '```bash npm test -- auth ``` still fails on the refresh test. Next I will migrate the last 3 route handlers in api/routes/.',
+    'Open todos: [in progress] Migrate billing.ts; [pending] Delete the legacy session store',
+    '</where_it_stopped>',
+    '',
+    '<files>',
+    'Touched: src/lib/jwt.ts, api/routes/auth.ts',
+    'Uncommitted: src/lib/jwt.ts (added, +42 -0), api/routes/auth.ts (modified, +12 -30)',
+    '</files>',
+    '',
+    '<last_failure>',
+    '$ npm test -- auth (exit 1)',
+    'FAIL auth.test.ts > refresh token rotates',
+    '  expected 401, received 200',
+    '</last_failure>',
+    '',
+    "Only if you need more: .harlay/handoffs/1005-1742-migrate-auth-to-jwt/transcript.md (search it, don't read it all) and .harlay/handoffs/1005-1742-migrate-auth-to-jwt/diff.patch.",
+    '</handoff>',
+    '',
+    'Continue from the most recent user message. Start with the next concrete step.',
+    '',
+  ].join('\n');
   const emit = () => onModel({
     sessions: sessions.map((s) => ({ ...s, targets: targets(s.from) })),
     usage,