codex-overleaf-link 2.5.0 → 2.6.0

package/extension/src/content/runActivitySummary.js

@@ -3,8 +3,8 @@
 
   function create(deps = {}) {
     if (!deps.RunActivityModel) return null;
-    const { RunActivityModel: Model, tx, findRunRecord, getPanel, cssEscape, isGuidance,
-      formatElapsed, renderMarkdownBlockText, renderRunEvent, presence, classifyStatus, getProjectId, summarizeCommand,
+    const { RunActivityModel: Model, RunGuidanceView, getPendingGuidance = () => [], PanelIcons, tx, findRunRecord, getPanel, cssEscape, isGuidance,
+      formatElapsed, renderMarkdownBlockText, renderRunEvent, presence, getNotStartedRun, getFinishedRun, classifyStatus, getProjectId, summarizeCommand, projectReviewResultEvent, formatReviewResultFailure,
       sanitizeAssistantVisibleText: sanitize = value => String(value || '') } = deps;
     const cards = new WeakMap();
     const choices = new Map();
@@ -24,7 +24,7 @@
       return node;
     };
     const subagentView = deps.SubagentActivityView?.create({
-      tx, getPanel, plain, make, icon, formatElapsed,
+      tx, getPanel, plain, plainThought, make, icon, formatElapsed, glyph: name => deps.PanelIcons?.svg?.(name) || '',
       renderBlocks: (parent, blocks, rows, card, run) => reconcile(parent, blocks, rows,
         block => buildBlock(block, card), (row, block) => updateBlock(row, block, card, run))
     });
@@ -115,6 +115,31 @@
       disclosure(el, key);
       return { el, label, target, status, diff, body, key, bodyStamp: '' };
     }
+    function reviewResultLines(item) {
+      const source = item.event || {};
+      if (item.kind !== 'notice' || source.streamRole || source.guidanceId || source.subagent || source.technicalDetail
+        || (source.kind && source.kind !== 'activity') || item.meta?.noticeSource || source.activity?.noticeSource || source.activity?.id) return [];
+      const event = projectReviewResultEvent?.(source) || source;
+      const english = /^(?:Undo result: (?:undone \d+ item\(s\), skipped \d+ item\(s\)|undone \d+ file\(s\), skipped \d+|rejected \d+ tracked change\(s\), skipped \d+)|Accept result: accepted \d+ tracked change\(s\), skipped \d+)$/;
+      const chinese = /^(?:撤销结果：(?:已撤销 \d+ 项，跳过 \d+ 项|已撤销 \d+ 个文件，跳过 \d+ 项|已拒绝 \d+ 条留痕，跳过 \d+ 条)|接受结果：已接受 \d+ 条留痕，跳过 \d+ 条)$/;
+      if (!english.test(event.title || '') && !chinese.test(event.title || '')) return [];
+      const skipped = event.detail?.Skipped || event.detail?.['跳过'];
+      if (!Array.isArray(skipped) && source.failure) {
+        const message = plain(formatReviewResultFailure?.(source.failure)?.message).slice(0, 1000);
+        return message ? [message] : [];
+      }
+      if (!Array.isArray(skipped)) return [];
+      return skipped.flatMap(entry => {
+        const fileValue = entry?.File ?? entry?.['文件'], reasonValue = entry?.Reason ?? entry?.['原因'];
+        if (typeof fileValue !== 'string' || typeof reasonValue !== 'string') return [];
+        if (source.failure?.file === fileValue && [source.failure.userMessage, fileValue + ': ' + source.failure.userMessage].includes(reasonValue)) {
+          const message = plain(formatReviewResultFailure?.(source.failure)?.message).slice(0, 1000);
+          if (message) return [message];
+        }
+        const file = plain(fileValue).slice(0, 300), reason = plain(reasonValue).slice(0, 1000);
+        return file && reason ? [reason.startsWith(file + ': ') ? reason : file + ': ' + reason] : [];
+      });
+    }
     function renderTool(row, item, card, run) {
       const meta = item.meta || {};
       const state = effectiveState(item, run);
@@ -140,7 +165,8 @@
         row.status.hidden = true;
       } else row.status.hidden = false;
       const publicText = plain(item.event?.title);
-      const stamp = [publicText, meta.output, meta.command, meta.exitCode, file?.preview, state, meta.clipped].join('\0');
+      const reviewLines = reviewResultLines(item);
+      const stamp = [publicText, meta.output, meta.command, meta.exitCode, file?.preview, state, meta.clipped, JSON.stringify(reviewLines)].join('\0');
       if (stamp !== row.bodyStamp) {
         row.bodyStamp = stamp;
         row.body.replaceChildren();
@@ -155,9 +181,11 @@
         } else {
           if (meta.command) { const command = make('pre', 'run-workflow-command'); command.textContent = plain(meta.command); row.body.append(command); }
           if (meta.output) { const output = make('pre', 'run-workflow-output'); output.textContent = plain(meta.output); row.body.append(output); }
-          const note = make('div', 'run-workflow-tool-note');
-          note.textContent = publicText;
-          row.body.append(note);
+          for (const value of reviewLines.length ? reviewLines : [publicText]) {
+            const note = make('div', 'run-workflow-tool-note');
+            note.textContent = value;
+            row.body.append(note);
+          }
         }
         if (meta.exitCode !== undefined) { const exit = make('div', 'run-workflow-tool-note'); exit.textContent = tx('Exit code: ', '退出码：') + meta.exitCode; row.body.append(exit); }
         if (meta.clipped || file?.clipped) { const more = make('div', 'run-workflow-tool-note'); more.textContent = tx('Preview only. More detail may be available in diagnostics.', '当前为摘要预览，更多信息可通过诊断查看。'); row.body.append(more); }
@@ -201,6 +229,16 @@
       el.addEventListener('toggle', row.showFull);
       return row;
     }
+    // One-line thought previews are plain text: drop the Markdown emphasis that
+    // reasoning summaries use for their headings ("**Reading the file**").
+    function plainThought(value) {
+      return String(value || '').replace(/(\*\*|__)(?=\S)([\s\S]*?\S)\1/g, '$2').replace(/\s+/g, ' ').trim();
+    }
+    // A finished thought that opens with a bold heading is summarised by that heading.
+    function thoughtLead(value) {
+      const heading = /^\s*(\*\*|__)(?=\S)(.+?\S)\1\s*(?:\n|$)/.exec(String(value || ''));
+      return heading ? heading[2].trim() : firstSentence(plainThought(value));
+    }
     function updateThought(row, block, run) {
       const value = String(sanitize(block.event.title) || '').trim();
       const live = run.status === 'running' && block.event.status === 'running';
@@ -215,8 +253,7 @@
       const started = Date.parse(block.startedAt || ''), ended = Date.parse(block.event.timestamp || '');
       const seconds = Number.isFinite(started) && Number.isFinite(ended) && ended > started ? formatElapsed(ended - started) : '';
       text(row.label, seconds ? tx('Thought ' + seconds, '思考 ' + seconds) : tx('Thought', '思考'));
-      const flat = value.replace(/\s+/g, ' ');
-      text(row.lead, (flat.match(/^.{12,160}?[.!?。！？](?=\s|$)/) || [flat.slice(0, 160)])[0]);
+      text(row.lead, thoughtLead(value));
       row.value = value;
       row.showFull();
     }
@@ -350,10 +387,10 @@
           const live = run.status === 'running' && block.event.status === 'running';
           const started = Date.parse(block.startedAt || ''), ended = Date.parse(block.event.timestamp || '');
           const seconds = Number.isFinite(started) && Number.isFinite(ended) && ended > started ? ' ' + formatElapsed(ended - started) : '';
-          const flat = value.replace(/\s+/g, ' ');
+          const flat = plainThought(value);
           entries.push({ key: block.key, kind: 'thought', state: live ? 'running' : 'completed',
             label: live ? tx('Thinking', '思考中') : tx('Thought', '思考') + seconds,
-            lead: live ? (flat.length > 90 ? '…' + flat.slice(-90) : flat) : firstSentence(value) });
+            lead: live ? (flat.length > 90 ? '…' + flat.slice(-90) : flat) : thoughtLead(value) });
         } else if (block.kind !== 'message' && block.kind !== 'guidance') {
           for (const item of block.kind === 'exploreGroup' ? block.items : [block]) {
             if (item.kind === 'notice') continue;
@@ -464,6 +501,74 @@
       if (!choices.has(row.key)) row.el.open = items.some(item => card.projection.notices.some(notice => notice.key === item.key));
     }
 
+    // Compaction marks sit outside the activity rows: a manual /compact run is
+    // shown as a divider, and a completed automatic compaction leaves one above
+    // that turn's answer.
+    function mountCompaction(root, run) {
+      const node = make('div', 'run-compaction');
+      node.hidden = true;
+      const line = make('div', 'run-compaction-line');
+      const label = make('span', 'run-compaction-label');
+      const glyph = make('span', 'run-compaction-glyph');
+      glyph.setAttribute('aria-hidden', 'true');
+      const title = make('span', 'run-compaction-title');
+      const time = make('span', 'run-compaction-time');
+      label.append(glyph, title, time);
+      line.append(label);
+      const sub = make('div', 'run-compaction-sub');
+      node.append(line, sub);
+      if (run.operation === 'compact') {
+        root.dataset.operation = 'compact';
+        node.dataset.kind = 'manual';
+        root.querySelector('[data-run-task]')?.after(node);
+      } else {
+        node.dataset.kind = 'auto';
+        root.querySelector('[data-run-report]')?.before(node);
+      }
+      return { node, glyph, title, time, sub, icon: '' };
+    }
+    function renderCompaction(card, run, result) {
+      const view = card.compaction;
+      if (!view) return;
+      const clock = value => {
+        const date = new Date(value || '');
+        return Number.isFinite(date.getTime())
+          ? new Intl.DateTimeFormat(tx('en-US', 'zh-CN'), { hour: '2-digit', minute: '2-digit' }).format(date) : '';
+      };
+      const setIcon = name => {
+        if (view.icon === name) return;
+        view.icon = name;
+        view.glyph.innerHTML = name ? PanelIcons?.svg(name) || '' : '';
+      };
+      if (view.node.dataset.kind === 'manual') {
+        const state = run.status === 'running' ? 'running' : run.status === 'completed' ? 'completed'
+          : ['cancelled', 'rejected'].includes(run.status) ? 'cancelled' : run.status === 'interrupted' ? 'interrupted' : 'failed';
+        view.node.dataset.state = state;
+        view.node.hidden = false;
+        setIcon(state === 'running' ? '' : state === 'completed' ? 'compact' : 'alert');
+        text(view.title, ({
+          running: tx('Compacting context', '正在压缩上下文'),
+          completed: tx('Context compacted', '上下文已压缩'),
+          cancelled: tx('Compaction stopped', '已停止压缩'),
+          interrupted: tx('Compaction interrupted', '压缩已中断'),
+          failed: tx('Compaction did not finish', '压缩未完成')
+        })[state]);
+        text(view.time, state === 'running' ? '' : clock(run.finishedAt));
+        text(view.sub, state === 'running' ? tx('You can keep typing; messages send after compaction.', '可以继续输入，消息会在压缩完成后发送。')
+          : state === 'completed' ? tx('Earlier turns were summarized.', '此前的对话已整理为摘要。') : '');
+        view.sub.hidden = !view.sub.textContent;
+        return;
+      }
+      view.node.hidden = !result.compactedAt;
+      if (!result.compactedAt) return;
+      view.node.dataset.state = 'completed';
+      setIcon('compact');
+      text(view.title, tx('Context compacted automatically', '上下文已自动压缩'));
+      text(view.time, clock(result.compactedAt));
+      text(view.sub, tx('Codex summarized earlier turns partway through this turn, then continued.',
+        'Codex 在这一轮中途整理了此前的对话，然后继续处理。'));
+      view.sub.hidden = false;
+    }
     function mount(root, run) {
       if (!Model || cards.has(root)) return;
       const process = root.querySelector('[data-run-process]');
@@ -502,8 +607,9 @@
       busy.setAttribute('role', 'status');
       events.after(busy);
       const card = { id: String(run.id), root, process, summary, events, metrics, attention,
+        guidance: root.querySelector('[data-run-guidance]'),
         busy, rows: new Map(), run, setup: setupEl, setupSummary, setupFold, setupSteps,
-        peek, peekTrack, peekMore, peekRows: new Map() };
+        peek, peekTrack, peekMore, peekRows: new Map(), compaction: mountCompaction(root, run) };
       const expand = () => { remember(card.id + ':run', true); process.open = true; update({ root, recordId: run.id }); };
       peek.addEventListener('click', expand);
       peekMore.addEventListener('click', expand);
@@ -514,9 +620,10 @@
         events.dataset.expanded = String(process.open);
         card.attention.hidden = process.open || !card.noticeCount;
         if (card.projection) {
-          renderSetup(card, card.projection.setup, card.run.status === 'running');
+          const active = card.run.status === 'running' && !card.notStarted;
+          renderSetup(card, card.projection.setup, active);
           if (!process.open) card.setup.hidden = true;
-          renderPeek(card, card.projection, card.run, card.run.status === 'running');
+          renderPeek(card, card.projection, card.run, active);
         }
       });
       render(card, run);
@@ -524,13 +631,34 @@
     function render(card, run, incoming) {
       card.run = run;
       const result = Model.project(run, incoming, { isGuidance });
+      const notStarted = getNotStartedRun?.(run);
+      const outcome = getFinishedRun?.(run);
+      card.root.dataset.outcomeTone = outcome?.tone || '';
+      card.root.dataset.outcome = outcome?.kind || '';
+      card.notStarted = Boolean(notStarted);
+      if (notStarted) {
+        // The single launch card replaces preflight workflow/Notice projections.
+        // Stored events remain available to history, audit and recovery.
+        result.blocks = [];
+        result.notices = [];
+        result.setup = null;
+      }
+      // The outcome card owns the visible cause. Keep workflow evidence in the
+      // existing process disclosure, without another attention banner.
+      if (outcome) result.notices = [];
+      const guidanceEvents = (run.events || []).concat(incoming && !(run.events || []).includes(incoming) ? [incoming] : []);
+      RunGuidanceView?.reconcileGuidance(card.guidance,
+        guidanceEvents.concat(getPendingGuidance(run)),
+        tx, { active: run.status === 'running' });
+      result.blocks = result.blocks.filter(block => block.kind !== 'guidance');
       card.projection = result;
       subagentView?.update(card);
-      const active = run.status === 'running';
+      const active = run.status === 'running' && !notStarted;
       const abnormal = ['failed', 'interrupted', 'needs_review_after_navigation', 'abandoned_after_navigation'].includes(run.status);
-      if (choices.has(card.id + ':run')) card.process.open = choices.get(card.id + ':run');
+      if (notStarted) card.process.open = false;
+      else if (choices.has(card.id + ':run')) card.process.open = choices.get(card.id + ':run');
       // A live run starts collapsed onto its peek window; problems open it.
-      else card.process.open = abnormal;
+      else card.process.open = abnormal && !outcome;
       card.events.dataset.expanded = String(card.process.open);
       card.summary.setAttribute('aria-expanded', String(card.process.open));
       reconcile(card.events, result.blocks, card.rows, block => buildBlock(block, card),
@@ -541,6 +669,7 @@
       else if (!choices.has(card.id + ':setup')) card.setup.open = false;
       if (!card.process.open) card.setup.hidden = true;
       renderPeek(card, result, run, active);
+      renderCompaction(card, run, result);
       card.noticeCount = result.notices.length;
       const latestNotice = result.notices.at(-1);
       card.attention.hidden = card.process.open || !latestNotice;
@@ -555,12 +684,13 @@
         || block.meta?.state === 'running');
       // The presence header already narrates the live state.
       card.busy.hidden = !active || hasActive || Boolean(presence);
-      text(card.busy, result.stage === 'local_completed'
+      text(card.busy, result.compacting ? tx('Compacting context…', '正在压缩上下文…') : result.stage === 'local_completed'
         ? (run.mode === 'ask' ? tx('Preparing the answer…', '正在整理回答…') : tx('Preparing writeback and verification…', '正在准备写回与验证…'))
         : result.stage === 'preparing' ? tx('Preparing project context…', '正在准备项目上下文…') : tx('Working…', '正在处理…'));
     }
     // Live header: long phases are named; otherwise a rarely-changing word. Tool steps stay in the round list.
     function runningLabel(result, run) {
+      if (result.compacting) return { kind: 'stage', text: tx('Compacting context', '正在压缩上下文') };
       if (result.stage === 'sync') return { kind: 'stage', text: tx('Syncing changes to Overleaf', '正在同步改动到 Overleaf') };
       // Before the model's first response the header names the real start-up step, not a playful word.
       if (result.setup && !result.setup.done) return { kind: 'stage', text: setupLiveLabel(result.setup) };
@@ -574,6 +704,11 @@
     function paintPresence(card, run, result, active) {
       const status = card.root.querySelector('[data-run-status]');
       if (!presence || !status) return;
+      const notStarted = getNotStartedRun?.(run);
+      if (notStarted) {
+        presence.paintSettled(status, { kind: notStarted.cancelled ? 'not-started-cancelled' : 'not-started', text: notStarted.status });
+        return;
+      }
       // History cards arrive with plain status text; keep it for failure and fallback labels.
       if (!status.dataset.presence && !status.dataset.presenceText) status.dataset.presenceText = status.textContent;
       const started = Date.parse(run.startedAt || '');
@@ -587,6 +722,12 @@
         elapsedMs: Number.isFinite(started) && Number.isFinite(finished) ? Math.max(0, finished - started) : null,
         files: result.fileCount, filesClipped: result.clipped === true, added: 0, removed: 0, steps: 0, compiled: false,
         projectId: getProjectId?.() || '', animate: card.animateNext === true };
+      const outcome = getFinishedRun?.(run);
+      if (outcome?.status) {
+        facts.kind = outcome.kind;
+        facts.text = outcome.status;
+      }
+      if (outcome?.kind === 'compile-errors') facts.compileChip = outcome.compileChip;
       card.animateNext = false;
       for (const block of result.blocks) {
         if (['message', 'guidance', 'thought'].includes(block.kind)) continue;
@@ -597,6 +738,7 @@
         }
         if (block.kind === 'compile' && block.meta?.state === 'completed') facts.compiled = true;
       }
+      if (facts.compileChip) facts.compiled = false;
       presence.paintSettled(status, facts);
     }
     function update(view, incoming) {