codex-overleaf-link 2.5.1 → 2.6.5

package/extension/src/content/runActivitySummary.js

@@ -3,8 +3,8 @@
 
   function create(deps = {}) {
     if (!deps.RunActivityModel) return null;
-    const { RunActivityModel: Model, RunGuidanceView, getPendingGuidance = () => [], tx, findRunRecord, getPanel, cssEscape, isGuidance,
-      formatElapsed, renderMarkdownBlockText, renderRunEvent, presence, classifyStatus, getProjectId, summarizeCommand, projectReviewResultEvent, formatReviewResultFailure,
+    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))
     });
@@ -229,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';
@@ -243,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();
     }
@@ -378,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;
@@ -492,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]');
@@ -532,7 +609,7 @@
       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);
@@ -543,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);
@@ -553,6 +631,21 @@
     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)),
@@ -560,11 +653,12 @@
       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),
@@ -575,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;
@@ -589,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) };
@@ -608,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 || '');
@@ -621,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;
@@ -631,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) {

package/extension/src/content/runCompletionMeta.js

@@ -4,6 +4,180 @@
 })(typeof window !== 'undefined' ? window : globalThis, function (FailureReasons, I18n, AgentTranscript) {
   'use strict';
 
+  // Read only persisted product evidence; never infer a launch outcome from
+  // arbitrary answer text or change the run's archived status.
+  function projectNotStartedRun(run, locale = 'en') {
+    const event = (Array.isArray(run?.events) ? run.events : []).filter(item => item?.kind === 'report').at(-1);
+    const source = event?.detailStructured?.conclusionSource;
+    if (source?.origin !== 'product' || source.key !== 'launch_not_started'
+      || !['en', 'zh'].some(language => AgentTranscript.projectProductConclusion(source, language)
+        === event.detailStructured.conclusion)) return null;
+    const meta = Array.isArray(event.detailStructured.meta) ? event.detailStructured.meta : [];
+    const savedNext = meta.find(row => row?.key === 'nextStep')?.value || '';
+    const declinedChoice = event.failure?.evidence?.declinedChoice;
+    const cancelled = declinedChoice === true || run.status === 'cancelled'
+      // Legacy reports predate the structured marker; only those need the copy fallback.
+      || (declinedChoice === undefined && ['en', 'zh'].some(language =>
+        savedNext === I18n.t(language, 'failureReason_reviewing_unavailable_cancelled_next')));
+    const unavailable = event.failure?.code === 'reviewing_unavailable' || cancelled;
+    const tx = (en, zh) => locale === 'zh' ? zh : en;
+    const next = localizeMetaRow({ key: 'nextStep', value: savedNext }, {
+      tx, getLocale: () => locale, tr: key => I18n.t(locale, key)
+    });
+    return {
+      cancelled,
+      status: I18n.t(locale, cancelled ? 'runNotStartedCancelled' : 'runNotStarted'),
+      title: I18n.t(locale, unavailable ? 'runNotStartedTrackTitle' : 'runNotStartedModeTitle'),
+      body: I18n.t(locale, unavailable ? 'runNotStartedTrackBody' : 'runNotStartedModeBody'),
+      nextStep: cancelled ? I18n.t(locale, 'runNotStartedCancelledNext')
+        : next.value || I18n.t(locale, 'runNotStartedNext')
+    };
+  }
+
+  function projectCompletionConclusion(event, run, locale = 'en', options = {}) {
+    const structured = event?.detailStructured;
+    const raw = options.flat ? options.text : String(structured?.conclusion || '');
+    if (structured?.conclusionSource) {
+      if (structured.conclusionSource.key !== 'writeback'
+        && !['en', 'zh'].some(language => AgentTranscript.projectProductConclusion(structured.conclusionSource, language) === raw)) return raw;
+      return AgentTranscript.projectProductConclusion(structured.conclusionSource, locale, options.localizeCompileReason, raw) ?? raw;
+    }
+    // Reload recovery predates structured conclusions but retains an explicit
+    // product source. Translate only its intact flat report, never lookalikes.
+    if (options.flat && !structured && event?.kind === 'report' && event.status === 'failed'
+      && !event.streamRole && !event.guidanceId && !event.subagent
+      && event.failure?.code === 'native_request_failed' && event.failure.source === 'panel_reload'
+      && raw === event.detail && ['en', 'zh'].some(language =>
+        event.title === I18n.t(language, 'restoredRunStoppedTitle')
+        && raw === I18n.t(language, 'restoredRunStoppedDetail'))) {
+      return I18n.t(locale, 'restoredRunStoppedDetail');
+    }
+    // Legacy cancellation has a unique adjacent producer-owned lifecycle event.
+    // Text alone, status alone, and a user's/model's matching answer confer no identity.
+    const events = Array.isArray(run?.events) ? run.events : [];
+    const matches = events.map((item, index) => ({ item, index })).filter(({ item }) => item.kind === 'report'
+      && (structured ? item.detailStructured === structured : item.detail === event.detail));
+    const previous = matches.length === 1 ? events[matches[0].index - 1] : null;
+    if (run?.status !== 'cancelled' || event.kind !== 'report' || event.status !== 'completed'
+      || !['Task report', '本轮完成报告'].includes(event.title)
+      || previous?.activity?.kind !== 'lifecycle' || previous.activity.state !== 'cancelled'
+      || previous.activity.target !== 'cancelled' || previous.streamRole || previous.guidanceId
+      || !['Current Codex task was cancelled.', '已中断当前 Codex 任务。'].includes(previous.title)) return raw;
+    const source = { origin: 'product', key: 'cancelled' };
+    const en = AgentTranscript.projectProductConclusion(source, 'en'), zh = AgentTranscript.projectProductConclusion(source, 'zh');
+    const known = options.flat ? [`Conclusion: ${en}`, `结论：${zh}`] : [en, zh];
+    if (!known.includes(raw)) return raw;
+    const projected = AgentTranscript.projectProductConclusion(source, locale);
+    return options.flat ? (locale === 'zh' ? `结论：${projected}` : `Conclusion: ${projected}`) : projected;
+  }
+
+  // Like projectNotStartedRun, this is a view of intact product reports, never
+  // a new terminal state. Counts remain in storage (retry replacement reads them).
+  function projectFinishedRun(run, locale = 'en', { projectRunSettlement } = {}) {
+    if (!run || run.status === 'running' || run.retryingWriteback || projectNotStartedRun(run, locale)) return null;
+    const event = (Array.isArray(run.events) ? run.events : []).filter(item => item?.kind === 'report').at(-1);
+    const structured = event?.detailStructured, source = structured?.conclusionSource;
+    if (typeof structured?.conclusion !== 'string' || source?.origin !== 'product' || !['en', 'zh'].some(language =>
+      AgentTranscript.projectProductConclusion(source, language, undefined, structured.conclusion) === structured.conclusion)) return null;
+    const t = (key, values) => I18n.t(locale, key, values);
+    const tx = (en, zh) => locale === 'zh' ? zh : en;
+    const meta = Array.isArray(structured.meta) ? structured.meta : [];
+    const value = key => meta.find(row => row?.key === key)?.value || '';
+    const counts = /^(?:wrote (\d+) items?, skipped (\d+) items?|已写入 (\d+) 项，跳过 (\d+) 项)$/.exec(value('writeResult'));
+    const wrote = counts ? Number(counts[1] ?? counts[3]) : null;
+    const skipped = counts ? Number(counts[2] ?? counts[4]) : null;
+    const projection = projectRunSettlement?.(run) || {};
+    const facts = run.settlement || run.settlementFacts || {};
+    const failure = projection.primaryFailure || event.failure;
+    const files = Array.isArray(facts.fileSettlements) ? facts.fileSettlements.filter(item => item && typeof item.path === 'string') : [];
+    const reloadInterrupted = source.key === 'reload_interrupted';
+    const payload = run.recoveryPayload || run;
+    const hasWriteEvidence = wrote > 0 || files.length > 0 || Boolean(run.saveCheck)
+      || ['appliedOperations', 'undoOperations', 'undoTrackedChanges'].some(key => payload[key]?.length)
+      || (reloadInterrupted && run.recoveryRetention?.state === 'omitted')
+      || ![undefined, 'none'].includes(facts.evidence?.applied)
+      || ![undefined, 'not-attempted'].includes(facts.evidence?.readBack)
+      || projection.changedDocument === true || ['changed', 'possibly-changed'].includes(facts.documentEffect);
+    const unconfirmed = projection.requiresWriteReview === true
+      || FailureReasons.isUnconfirmedWriteFailure(failure)
+      || facts.documentEffect === 'possibly-changed' || facts.evidence?.readBack === 'mismatch'
+      || (reloadInterrupted && hasWriteEvidence);
+    const noWrites = wrote === 0 && skipped === 0 && !unconfirmed && !hasWriteEvidence;
+    const display = FailureReasons.formatFailureReasonForDisplay(failure, locale, key => {
+      const translated = t(key);
+      return translated !== key ? translated : undefined;
+    });
+    const file = typeof failure?.file === 'string' ? failure.file : '';
+    const shortKey = `runOutcomeCause_${failure?.source === 'panel_reload' ? 'panel_reload_interrupted' : failure?.code}`;
+    const detectorIds = Array.isArray(failure?.evidence?.detectorIds) ? [...new Set(failure.evidence.detectorIds)] : [];
+    const detectorId = detectorIds.length === 1 ? detectorIds[0] : '';
+    const findingKey = typeof detectorId === 'string' && /^[a-z]+(?:-[a-z]+)+$/.test(detectorId)
+      ? `sensitiveFinding_${detectorId.replace(/-/g, '_')}` : '';
+    const label = t(I18n.MESSAGES.en[findingKey] ? findingKey : 'sensitiveFinding_mixed');
+    // Chinese copy separates a Latin term from the preceding Han text with a space.
+    const finding = locale === 'zh' && /^[A-Za-z]/.test(label) ? ` ${label}` : label;
+    const shortTitle = I18n.MESSAGES[locale]?.[shortKey] ? t(shortKey, { file, finding }) : '';
+    const savedNext = localizeMetaRow({ key: 'nextStep', value: value('nextStep') }, {
+      tx, getLocale: () => locale, tr: t
+    }).value;
+    const base = { failure, file, wrote, skipped, noWrites, unconfirmed,
+      nextStep: display?.nextAction || savedNext || t('runOutcomeNext'), files: [] };
+    if (unconfirmed) return { ...base, kind: 'check-overleaf', tone: 'error',
+      status: t('runOutcomeCheck'), title: ['undo', 'accept'].includes(failure?.stage)
+        ? shortTitle || t('runOutcomeCheck') : t(file ? 'runOutcomeUnconfirmedFile' : 'runOutcomeUnconfirmed', { file }),
+      body: ['undo', 'accept'].includes(failure?.stage) ? display?.userMessage || t('runOutcomeUnconfirmedBody') : t('runOutcomeUnconfirmedBody'),
+      nextStep: file && !['undo', 'accept'].includes(failure?.stage) ? t('runOutcomeCheckNext', { file }) : base.nextStep };
+    if (reloadInterrupted) return { ...base, kind: 'didnt-finish', tone: 'warning',
+      status: t('runOutcomeIncomplete'), title: t('runOutcomeCause_panel_reload_interrupted'),
+      body: t(run.mode === 'ask' ? 'runOutcomeNoWrites' : 'runOutcomeReloadUnknownBody') };
+    if (wrote > 0 && skipped > 0) {
+      const failures = Array.isArray(facts.failures) ? facts.failures : [];
+      const entries = files.flatMap(item => {
+        const result = [];
+        if (['complete', 'partial'].includes(item.applied)) result.push({ file: item.path, written: true });
+        if (['failed', 'partial'].includes(item.applied)) {
+          const cause = failures.find(candidate => candidate?.file === item.path)
+            || { code: item.failureCodes?.[0], file: item.path };
+          const reason = cause.code === 'stale_source_changed' ? t('runOutcomeStaleReason')
+            : FailureReasons.formatFailureReasonForDisplay(cause, locale, t)?.userMessage || t('runOutcomeSkipped');
+          result.push({ file: item.path, written: false, reason });
+        }
+        return result;
+      });
+      return { ...base, kind: 'partly-written', tone: 'warning', status: t('runOutcomePartial'),
+        title: t('runOutcomePartialTitle', { wrote, total: wrote + skipped }), body: '',
+        files: entries.sort((a, b) => Number(b.written) - Number(a.written)),
+        nextStep: t('runOutcomePartialNext') };
+    }
+    if (wrote === 0 && skipped > 0 && facts.documentEffect === 'unchanged' && failure) {
+      return { ...base, kind: 'not-written', tone: 'warning', status: t('runOutcomeNotWritten'),
+        title: shortTitle || t('runOutcomeNotWritten'),
+        body: shortTitle ? t('runOutcomeNotWrittenBody') : display?.userMessage || t('runOutcomeNotWrittenBody'),
+        nextStep: failure.code === 'stale_source_changed' ? t('runOutcomeStaleNext') : base.nextStep };
+    }
+    if (noWrites && ['cancelled', 'rejected'].includes(run.status)) return { ...base, kind: 'cancelled', tone: 'neutral' };
+    if (noWrites && (event.status === 'failed' || run.status === 'failed') && failure) {
+      return { ...base, kind: 'didnt-finish', tone: 'warning', status: t('runOutcomeIncomplete'),
+        title: shortTitle || t('runOutcomeIncomplete'), body: shortTitle ? t('runOutcomeNoWrites') : display?.userMessage || t('runOutcomeNoWrites'),
+        nextStep: failure.code === 'codex_context_limit' ? t('runOutcomeContextNext')
+          : failure.code === 'native_request_failed' && failure.source !== 'panel_reload' ? t('runOutcomeNativeNext') : base.nextStep };
+    }
+    if (source.key === 'writeback' && source.outcome === 'synced' && source.hasCompile && source.errorCount > 0
+      && !['failed', 'cancelled', 'rejected'].includes(run.status)) {
+      // Verify the whole original suffix above before projecting just the prefix
+      // and sync result. Never strip a model sentence by matching its wording.
+      const prefix = structured.conclusion.slice(0, source.prefixLength);
+      const raw = prefix || AgentTranscript.projectProductConclusion({ origin: 'product', key: 'synced' }, locale);
+      const conclusion = prefix ? (source.prefixKey
+        ? AgentTranscript.projectProductConclusion({ origin: 'product', key: source.prefixKey }, locale) : prefix) : raw;
+      return { ...base, kind: 'compile-errors', tone: 'warning', conclusion,
+        compileCount: source.errorCount, compileErrors: (Array.isArray(source.errors) ? source.errors : []).slice(0, 3),
+        compileChip: t('runOutcomeCompileChip', { count: source.errorCount, plural: source.errorCount === 1 ? '' : 's' }),
+        title: t('runOutcomeCompileTitle', { count: source.errorCount, plural: source.errorCount === 1 ? '' : 's' }) };
+    }
+    return null;
+  }
+
   const FLAT_REPORT_STATUS_SECTIONS = [
     { key: 'saveState', prefixes: ['Save:', '保存：'], en: 'Save', zh: '保存' },
     { key: 'unchangedReason', prefixes: ['Why nothing changed:', '未修改原因：'], en: 'Why nothing changed', zh: '未修改原因' },
@@ -19,7 +193,8 @@
       ['This run was Ask mode.', '这轮是只问不改。'],
       ['You cancelled this change.', '你取消了这轮修改。'],
       ['No file changes need to sync back to Overleaf.', '没有产生需要同步回 Overleaf 的文件改动。'],
-      ['No approved file changes remain to sync back to Overleaf.', '没有剩余已确认的文件改动需要同步回 Overleaf。']
+      ['No approved file changes remain to sync back to Overleaf.', '没有剩余已确认的文件改动需要同步回 Overleaf。'],
+      ['Sensitive content was found before sending.', '发送前发现了敏感内容。']
     ],
     undo: [['this run has no reversible writes', '本轮没有可撤销的写入']],
     saveState: [['Saved', '已确认保存'],
@@ -230,6 +405,8 @@
           '本轮结束时记录了以下文件夹，当前状态尚未重新核验：') + paths.join(', ') });
     }
     const retentionOmitted = hasOmittedRecoveryRetention(run);
+    const undoUnavailable = !undone && run.trackedChangeStatus !== 'accepted'
+      ? projectRunSettlement?.(run).undoUnavailable || [] : [];
     const inFlight = trackedChangeInFlight?.get(run.id);
     const tracked = isTrackedChangeLifecycleRun(run);
     const pendingFileUndo = tracked && run.trackedChangeStatus === 'needs_review' && run.undoOperations?.some(operation => operation?.undoCreatedFile?.v === 1 || operation?.type === 'create');
@@ -249,7 +426,7 @@
           ? tx(pendingFileUndo ? 'Undo is incomplete; retry the remaining files.' : 'Undo is incomplete; remaining changes can still be undone.', pendingFileUndo ? '撤销未完成，可重试剩余文件。' : '撤销未完成，剩余修改仍可撤销。')
           : tx('Undo is incomplete.', '撤销未完成。');
     }
-    if (!undo && !run.saveCheck && !run.saveConfirmedAt && !retentionOmitted) return rows;
+    if (!undo && !run.saveCheck && !run.saveConfirmedAt && !retentionOmitted && !undoUnavailable.length) return rows;
     const projected = rows.map(row => row?.key === 'undo' && undo
       ? { ...row, label: tx('Undo', '撤销'), value: undo }
       : row?.key === 'saveState' && (run.saveCheck || run.saveConfirmedAt)
@@ -270,6 +447,13 @@
         value: directory && (run.recoveryRetention.coreRetained === true || undone || run.trackedChangeStatus === 'accepted')
           ? directory : [recovery, directory].filter(Boolean).join(' ') });
     }
+    if (undoUnavailable.length) {
+      const warning = options.tr('failureReason_snapshot_undo_unavailable_user')
+        + ' ' + undoUnavailable.map(item => item.path).join(', ');
+      const retained = projected.find(row => row.key === 'recoveryRetention');
+      if (retained) { retained.value += ' ' + warning; retained.undoUnavailable = true; }
+      else projected.push({ key: 'recoveryRetention', label: tx('Recovery data', '恢复材料'), undoUnavailable: true, value: warning });
+    }
     return projected;
   }
 
@@ -311,6 +495,7 @@
     const reason = find('unchangedReason');
     const undone = run?.undoStatus === 'applied' || run?.trackedChangeStatus === 'rejected';
     const retentionOmitted = hasOmittedRecoveryRetention(run);
+    const undoUnavailable = rows.some(row => row?.undoUnavailable === true);
     const savePending = !undone && (Boolean(run?.saveCheck) || (!run?.saveConfirmedAt && /^(?:Pending|待确认)/.test(find('saveState'))));
     const pendingFileUndo = run?.trackedChangeStatus === 'needs_review'
       && run.undoOperations?.some(operation => operation?.undoCreatedFile?.v === 1 || operation?.type === 'create');
@@ -327,18 +512,21 @@
           : pendingFileUndo || run?.undoStatus === 'partial'
             ? (hasUndoProgress(run) ? tx('Partly undone', '已撤销部分修改') : tx('Undo incomplete', '撤销未完成'))
             : undoable ? tx(`${undoable} undoable`, `可撤销 ${undoable} 项`)
-              : failed || retentionOmitted ? '' : tx('Nothing to undo', '无可撤销写入');
+              // With nothing written, "Nothing to undo" repeats the write fact; the
+              // expanded details still carry the full Undo row.
+              : undoUnavailable ? tx('Undo incomplete', '撤销未完成')
+                : failed || retentionOmitted || !wrote ? '' : tx('Nothing to undo', '无可撤销写入');
     if (undo) facts.push({ key: 'undo', text: undo });
     if (retentionOmitted) facts.push({ key: 'recoveryRetention', tone: 'warn',
       text: run.recoveryRetention.coreRetained === true
         ? tx('Folder observations not retained after reload', '刷新后文件夹观测记录未保留')
         : tx('Recovery data not retained after reload', '刷新后恢复材料未保留') });
     if (savePending) facts.push({ key: 'save', tone: 'warn', text: tx('Save pending', '保存待确认') });
-    const attention = failed || skipped > 0 || retentionOmitted;
+    const attention = failed || skipped > 0 || retentionOmitted || undoUnavailable;
     const warnKeys = new Set([...(failed || skipped > 0 ? ['writeResult', 'nextStep'] : []),
-      ...(retentionOmitted ? ['recoveryRetention'] : []), ...(savePending ? ['saveState'] : [])]);
+      ...(retentionOmitted || undoUnavailable ? ['recoveryRetention'] : []), ...(savePending ? ['saveState'] : [])]);
     return { facts, open: attention, warnKeys };
   }
 
-  return { splitFlatCompletionReport, projectCompletionBody, projectCompletionMeta, summarizeCompletionMeta };
+  return { splitFlatCompletionReport, projectNotStartedRun, projectFinishedRun, projectCompletionConclusion, projectCompletionBody, projectCompletionMeta, summarizeCompletionMeta };
 });

package/extension/src/content/runController.js

@@ -23,6 +23,7 @@
   function buildCodexRunParams({
     currentProjectId,
     state = {},
+    locale = state.locale,
     task,
     project,
     useExistingMirror,
@@ -62,7 +63,7 @@
       model: state.model,
       reasoningEffort: state.reasoningEffort,
       speedTier: state.speedTier,
-      locale: state.locale === 'zh' ? 'zh' : 'en',
+      locale: locale === 'zh' ? 'zh' : 'en',
       session: state.session,
       threadId: codexThreadId || undefined,
       customInstructions: normalizedCustomInstructions || undefined,

package/extension/src/content/runFailureNotice.js

@@ -26,7 +26,7 @@
     document: documentRef = globalThis.document } = {}) {
     const notices = new WeakMap();
 
-    function append(report, event = {}, run = {}) {
+    function append(report, event = {}, run = {}, outcomeTarget = null) {
       const projection = typeof projectRunSettlement === 'function' && run
         ? projectRunSettlement(run) : null;
       const failure = projection?.primaryFailure || event.failure;
@@ -38,6 +38,13 @@
       const partial = facts.evidence?.applied === 'partial' || run?.partialWriteback === true;
       if (!failure && !unconfirmed && !partial && report.dataset.status !== 'failed') return;
 
+      // A quiet outcome replaces the notice's presentation, not its recovery
+      // selection or precedence. Keep the same context for prepareRecovery.
+      if (outcomeTarget) {
+        notices.set(report, { notice: outcomeTarget, unconfirmed, failure, file: safeProjectPath(failure?.file) });
+        return;
+      }
+
       const notice = documentRef.createElement('aside');
       notice.className = 'run-feedback';
       notice.dataset.tone = unconfirmed || partial || failure?.terminalState === 'degraded'

package/extension/src/content/runPresence.js

@@ -39,6 +39,10 @@
   const MARK_STYLE = '--mark-leaf-origin:70.6% 41.6%;--mark-cloud-origin:44.3% 55%';
   const ICONS = {
     alert: '<circle cx="8" cy="8" r="6"/><path d="M8 4.5v4 M8 11h.01"/>',
+    minus: '<circle cx="8" cy="8" r="6"/><path d="M5 8h6"/>',
+    half: '<circle cx="6" cy="6" r="5"/><path d="M6 1a5 5 0 0 0 0 10z" fill="currentColor" stroke="none"/>',
+    written: '<path d="m2.4 6.3 2.4 2.4 4.8-5.2" stroke-width="1.5"/>',
+    skipped: '<path d="m3 3 6 6M9 3 3 9" stroke-width="1.5"/>',
     check: '<path d="m3.5 8 3 3 6-6"/>',
     file: '<path d="M9 2H4v12h8V5L9 2Z M9 2v4h3 M6 9h4 M6 11h3"/>',
     refresh: '<path d="M4.2 5.3A5 5 0 1 1 3.6 10"/><path d="M4.2 2.2v3.1H1.1"/>'
@@ -49,7 +53,8 @@
   })[char]);
 
   function icon(name, className = 'codex-glyph') {
-    return '<svg class="' + className + '" viewBox="0 0 16 16" aria-hidden="true" focusable="false">'
+    const size = ['half', 'written', 'skipped'].includes(name) ? 12 : 16;
+    return '<svg class="' + className + '" viewBox="0 0 ' + size + ' ' + size + '" aria-hidden="true" focusable="false">'
       + (ICONS[name] || ICONS.check) + '</svg>';
   }
 
@@ -103,14 +108,16 @@
       const files = tx(facts.files + (facts.files === 1 ? ' file' : ' files'), facts.files + ' 个文件');
       // A clipped history only proves the files it recorded.
       parts.push('<span>' + escapeHtml(facts.filesClipped ? tx(files + ' recorded', '已记录 ' + files) : files) + '</span>');
-      if (facts.added || facts.removed) {
-        parts.push('<span><span class="run-summary-add">+' + Number(facts.added || 0) + '</span> <span class="run-summary-del">−'
-          + Number(facts.removed || 0) + '</span></span>');
-      }
+      // Show only nonzero sides; a red "−0" reads as a problem that isn't there.
+      const counts = [];
+      if (Number(facts.added) > 0) counts.push('<span class="run-summary-add">+' + Number(facts.added) + '</span>');
+      if (Number(facts.removed) > 0) counts.push('<span class="run-summary-del">−' + Number(facts.removed) + '</span>');
+      if (counts.length) parts.push('<span>' + counts.join(' ') + '</span>');
     } else if (facts.steps > 0) {
-      parts.push('<span>' + escapeHtml(tx(facts.steps + ' steps', facts.steps + ' 步')) + '</span>');
+      parts.push('<span>' + escapeHtml(tx(facts.steps + (facts.steps === 1 ? ' step' : ' steps'), facts.steps + ' 步')) + '</span>');
     }
     if (facts.compiled) parts.push('<span>' + escapeHtml(tx('compiled', '已编译')) + '</span>');
+    if (facts.compileChip) parts.push('<span class="run-summary-compile-chip">' + escapeHtml(facts.compileChip) + '</span>');
     if (facts.firstCompile) {
       parts.push('<span class="run-summary-qed">' + escapeHtml(tx('Q.E.D. — first clean compile', 'Q.E.D. · 首次编译通过')) + '</span>');
     }
@@ -253,8 +260,11 @@
       el.dataset.presence = facts.kind || 'plain';
       if (facts.kind === 'done' || facts.kind === 'stopped') {
         el.innerHTML = settledHtml({ ...facts, firstCompile }, tx, formatElapsed);
-      } else if (facts.kind === 'failed') {
-        el.innerHTML = icon('alert') + '<span>' + escapeHtml(facts.text) + '</span>';
+      } else if (['failed', 'not-started', 'not-started-cancelled'].includes(facts.kind)) {
+        el.innerHTML = icon(facts.kind === 'not-started-cancelled' ? 'minus' : 'alert') + '<span>' + escapeHtml(facts.text) + '</span>';
+      } else if (['didnt-finish', 'partly-written', 'not-written', 'check-overleaf'].includes(facts.kind)) {
+        el.innerHTML = icon(facts.kind === 'check-overleaf' ? 'alert' : facts.kind === 'partly-written' ? 'half' : 'minus') + '<span>' + escapeHtml(facts.text) + '</span>'
+          + (Number.isFinite(facts.elapsedMs) ? '<span class="run-summary-sep">·</span><span>' + escapeHtml(formatElapsed(facts.elapsedMs)) + '</span>' : '');
       } else {
         el.textContent = facts.text || '';
       }