codex-overleaf-link 2.5.1 → 2.6.5

package/extension/src/content/contextTray.js

@@ -32,6 +32,7 @@
     closeDiagnosticsMenu = () => {},
     closeCustomInstructionsSettings = () => {},
     closeSlashMenu = () => {},
+    icons = null,
     projectFiles: projectFilesDep,
     exactFileListZipTimeoutMs: exactFileListZipTimeoutMsDep
   } = {}) {
@@ -39,6 +40,11 @@
       || root.document
       || (typeof globalThis !== 'undefined' ? globalThis.document : null);
     const getLocationHref = getLocationHrefDep || (() => root.location?.href || '');
+    const setCloseGlyph = button => {
+      const glyph = icons?.svg?.('close', 'codex-close-glyph');
+      if (glyph) button.innerHTML = glyph;
+      else button.textContent = '×';
+    };
     const projectFiles = projectFilesDep || ProjectFiles;
     const exactFileListZipTimeoutMs = Number(exactFileListZipTimeoutMsDep) ||
       DEFAULT_CONTEXT_EXACT_FILE_LIST_ZIP_TIMEOUT_MS;
@@ -556,7 +562,7 @@
         clear.dataset.contextClear = '';
         clear.title = tr('clearFiles');
         clear.setAttribute('aria-label', tr('clearFiles'));
-        clear.textContent = '×';
+        setCloseGlyph(clear);
         clear.addEventListener('click', clearFocusFile);
         chip.append(clear);
       }
@@ -603,7 +609,7 @@
         remove.setAttribute('data-context-summary-remove', '');
         remove.title = tr('removeContextFile', { path });
         remove.setAttribute('aria-label', tr('removeContextFile', { path }));
-        remove.textContent = '×';
+        setCloseGlyph(remove);
         remove.addEventListener('click', event => {
           event.preventDefault();
           event.stopPropagation();

package/extension/src/content/contextUsageView.js

@@ -0,0 +1,267 @@
+(function (root, factory) {
+  if (typeof module === 'object' && module.exports) module.exports = factory();
+  else root.CodexOverleafModuleRegistry.define('ContextUsageView', [], factory);
+})(typeof globalThis !== 'undefined' ? globalThis : window, function () {
+  'use strict';
+
+  let nextId = 0;
+
+  // State and ownership are supplied by the runtime. The view never estimates
+  // context from conversation text, cumulative billing totals, or model names.
+  function create(deps = {}) {
+    let state = { usage: null, compacting: false, compactingKind: '', pending: false, compacted: false };
+    let host = null;
+    let button = null;
+    let popover = null;
+    let compactButton = null;
+    let panel = null;
+    let open = false;
+    let observer = null;
+    const listeners = [];
+    const tr = (key, params) => deps.tr(key, params);
+    const locale = () => deps.getLocale?.() === 'zh' ? 'zh-CN' : 'en-US';
+
+    function bind(target, type, listener, options) {
+      if (!target?.addEventListener) return;
+      target.addEventListener(type, listener, options);
+      listeners.push(() => target.removeEventListener(type, listener, options));
+    }
+
+    function unbind() {
+      listeners.splice(0).forEach(remove => remove());
+      observer?.disconnect();
+      observer = null;
+    }
+
+    function mount() {
+      const currentPanel = deps.getPanel?.();
+      const currentHost = currentPanel?.querySelector('[data-context-usage]');
+      if (currentHost === host) return Boolean(host);
+      unbind();
+      host = currentHost || null;
+      panel = currentPanel;
+      button = host?.querySelector('[data-context-usage-toggle]');
+      popover = host?.querySelector('[data-context-usage-popover]');
+      compactButton = host?.querySelector('[data-context-usage-compact]');
+      open = false;
+      if (!button || !popover) return false;
+      popover.id = 'codex-context-usage-' + (++nextId);
+      button.setAttribute('aria-controls', popover.id);
+      const doc = host.ownerDocument;
+      const view = doc.defaultView;
+      bind(button, 'click', event => {
+        event.preventDefault();
+        if (open) close();
+        else {
+          deps.onOpen?.();
+          open = true;
+          popover.hidden = false;
+          button.setAttribute('aria-expanded', 'true');
+          render();
+        }
+      });
+      bind(compactButton, 'click', event => {
+        event.preventDefault();
+        if (compactButton.disabled) return;
+        close();
+        deps.onCompact?.();
+      });
+      bind(doc, 'pointerdown', event => { if (!host.contains(event.target)) close(); }, true);
+      bind(doc, 'focusin', event => { if (!host.contains(event.target)) close(); });
+      bind(doc, 'keydown', event => {
+        if (open && event.key === 'Escape') {
+          const restoreFocus = popover.contains(doc.activeElement);
+          close();
+          if (restoreFocus) button.focus();
+          event.preventDefault();
+        }
+      });
+      bind(view, 'resize', position);
+      bind(view?.visualViewport, 'resize', position);
+      bind(view?.visualViewport, 'scroll', position);
+      bind(doc, 'scroll', position, true);
+      if (typeof view?.ResizeObserver === 'function') {
+        observer = new view.ResizeObserver(position);
+        observer.observe(panel);
+        observer.observe(button);
+      }
+      return true;
+    }
+
+    function close() {
+      open = false;
+      if (popover) popover.hidden = true;
+      button?.setAttribute('aria-expanded', 'false');
+    }
+
+    function position() {
+      if (!open || !popover || !button) return;
+      const view = host.ownerDocument.defaultView;
+      const viewport = view.visualViewport;
+      const viewportLeft = viewport?.offsetLeft || 0;
+      const viewportTop = viewport?.offsetTop || 0;
+      const viewportRight = viewportLeft + (viewport?.width || view.innerWidth);
+      const viewportBottom = viewportTop + (viewport?.height || view.innerHeight);
+      const panelRect = panel.getBoundingClientRect();
+      const rect = button.getBoundingClientRect();
+      const left = Math.max(viewportLeft, panelRect.left) + 8;
+      const right = Math.min(viewportRight, panelRect.right) - 8;
+      const top = Math.max(viewportTop, panelRect.top) + 8;
+      const bottom = Math.min(viewportBottom, panelRect.bottom) - 8;
+      const width = Math.max(0, Math.min(284, right - left));
+      const above = Math.max(0, rect.top - top - 8);
+      const below = Math.max(0, bottom - rect.bottom - 8);
+      const placeAbove = above >= Math.min(160, below);
+      popover.style.width = width + 'px';
+      popover.style.maxHeight = Math.max(0, placeAbove ? above : below) + 'px';
+      popover.style.left = Math.max(left, Math.min(rect.right - width, right - width)) + 'px';
+      const height = popover.getBoundingClientRect().height;
+      popover.style.top = (placeAbove ? Math.max(top, rect.top - height - 8) : rect.bottom + 8) + 'px';
+    }
+
+    function number(value) {
+      if (typeof value !== 'number' || !Number.isFinite(value) || value < 0) return null;
+      return value;
+    }
+
+    function formatTokens(value) {
+      if (value === null) return '—';
+      const unit = value >= 1e9 ? 1e9 : value >= 1e6 ? 1e6 : value >= 1e3 ? 1e3 : 1;
+      const suffix = unit === 1e9 ? 'B' : unit === 1e6 ? 'M' : unit === 1e3 ? 'K' : '';
+      return new Intl.NumberFormat(locale(), { maximumFractionDigits: unit === 1 ? 0 : 1 }).format(value / unit) + suffix;
+    }
+
+    function formatPercent(value, digits = 1) {
+      return value === null ? '—' : new Intl.NumberFormat(locale(), { style: 'percent', maximumFractionDigits: digits }).format(value);
+    }
+
+    function formatLatestReply(value) {
+      const at = Date.parse(value || '');
+      if (!Number.isFinite(at)) return '';
+      const seconds = Math.max(0, Math.round((Date.now() - at) / 1000));
+      const minutes = Math.round(seconds / 60), hours = Math.round(minutes / 60), days = Math.round(hours / 24);
+      const time = seconds < 45 ? tr('contextUsageJustNow')
+        : minutes < 60 ? tr('contextUsageMinutesAgo', { count: Math.max(1, minutes) })
+          : hours < 24 ? tr('contextUsageHoursAgo', { count: hours })
+            : tr(days === 1 ? 'contextUsageDayAgo' : 'contextUsageDaysAgo', { count: days });
+      return tr('contextUsageLatestReply', { time });
+    }
+
+    function text(name, value) {
+      const node = host.querySelector('[data-context-usage-' + name + ']');
+      if (node) node.textContent = value;
+      return node;
+    }
+
+    // The bar spans the reported window; its filled part splits by the latest
+    // response's counters. Cached input is drawn inside input, never added to it.
+    function renderBreakdown(used, capacity) {
+      const input = number(state.usage?.inputTokens), output = number(state.usage?.outputTokens);
+      const cachedValue = number(state.usage?.cachedInputTokens);
+      const cached = input !== null && cachedValue !== null && cachedValue <= input ? cachedValue : null;
+      const total = input !== null && output !== null && Number.isSafeInteger(input + output)
+        && input + output > 0 ? input + output : null;
+      const filled = used !== null && capacity !== null ? Math.min(1, used / capacity) : 0;
+      const widths = total === null
+        ? { cached: 0, input: filled, output: 0 }
+        : { cached: filled * (cached || 0) / total, input: filled * (input - (cached || 0)) / total, output: filled * output / total };
+      for (const [name, width] of Object.entries(widths)) {
+        const node = host.querySelector('[data-context-usage-bar] [data-seg="' + name + '"]');
+        if (node) node.style.width = (width * 100).toFixed(3) + '%';
+      }
+      const legend = host.querySelector('[data-context-usage-breakdown]');
+      legend.hidden = input === null && output === null;
+      text('input-label', tr('contextUsageInput'));
+      text('output-label', tr('contextUsageOutput'));
+      text('cached-label', tr('contextUsageCacheHit'));
+      text('input', formatTokens(input));
+      text('output', formatTokens(output));
+      text('cached', formatTokens(cached));
+      text('input-share', total === null ? '' : formatPercent(input / total, 0));
+      text('output-share', total === null ? '' : formatPercent(output / total, 0));
+      const rate = text('cache-rate', input > 0 && cached !== null ? formatPercent(cached / input, 0) : '—');
+      if (rate) rate.title = tr('contextUsageCacheHitRate');
+      legend.title = total === null ? '' : tr('contextUsageBreakdownBasis');
+      host.querySelector('[data-context-usage-cache]').hidden = input === null || cached === null;
+    }
+
+    function render() {
+      if (!mount()) return;
+      const used = number(state.usage?.usedTokens);
+      const capacityValue = number(state.usage?.contextWindow);
+      const capacity = capacityValue > 0 ? capacityValue : null;
+      const percent = used !== null && capacity !== null ? used / capacity * 100 : null;
+      const level = percent === null ? '' : deps.level?.(percent) || 'normal';
+      const percentage = percent === null ? '' : new Intl.NumberFormat(locale(), { maximumFractionDigits: 1 }).format(percent);
+      const amount = tr('contextUsageAmount', { used: formatTokens(used), capacity: formatTokens(capacity) });
+      const summary = tr('contextUsageSummary', { amount, percentage: percent === null ? '—' : percentage + '%' });
+      const compactingText = state.compactingKind === 'auto' ? tr('contextUsageCompactingAuto') : tr('contextUsageCompacting');
+      const compacting = state.compacting;
+      const pending = !compacting && state.pending;
+      const availability = deps.getCompactAvailability?.() || { ok: true };
+      // No sample and nothing in progress: show the empty state. Before the first
+      // message there is no thread, so the line says when usage will appear.
+      const empty = used === null && !compacting && !pending;
+      const noThread = availability.ok === false && availability.reason === 'compactNoThread';
+      const emptyText = noThread ? tr('contextUsageBeforeFirstMessage') : tr('contextUsageUnavailable');
+      host.dataset.compacting = compacting ? 'true' : 'false';
+      host.dataset.empty = empty ? 'true' : 'false';
+      host.dataset.unknown = percent === null ? 'true' : 'false';
+      host.dataset.pending = pending ? 'true' : 'false';
+      host.dataset.level = level;
+      host.style.setProperty('--context-usage-percent', String(Math.max(0, Math.min(100, percent || 0))));
+      button.title = compacting ? compactingText : pending ? tr(state.compacted ? 'contextUsagePending' : 'contextUsagePendingDetail')
+        : used === null ? emptyText : summary;
+      button.setAttribute('aria-label', button.title);
+      text('title', tr('contextUsageTitle'));
+      // Without a usable sample, the line under the title carries the state.
+      text('amount', used !== null ? amount : compacting ? compactingText
+        : pending ? tr('contextUsagePendingDetail') : emptyText);
+      host.querySelector('[data-context-usage-spinner]').hidden = !compacting;
+      const chip = text('chip', tr('contextUsageCompactedChip'));
+      if (chip) chip.hidden = !pending || !state.compacted;
+      host.querySelector('[data-context-usage-percent-wrap]').hidden = compacting || pending;
+      text('percent', percent === null ? '—' : percentage);
+      host.querySelector('[data-context-usage-percent-sign]').hidden = percent === null;
+      const figure = host.querySelector('[data-context-usage-figure]');
+      if (figure) figure.title = percent === null ? '' : tr('contextUsageEstimate');
+      const levelNode = text('level', level === 'near-limit' ? tr('contextUsageNearLimit') : level === 'high' ? tr('contextUsageHigh') : '');
+      if (levelNode) levelNode.hidden = compacting || (level !== 'high' && level !== 'near-limit');
+      // A sample shown while compacting gets an explicit note; so does a missing capacity.
+      const noteText = used === null ? '' : compacting ? compactingText : capacity === null ? tr('contextUsageCapacityUnknown') : '';
+      text('note-text', noteText);
+      const note = host.querySelector('[data-context-usage-note]');
+      if (note) {
+        note.hidden = !noteText;
+        note.dataset.kind = compacting ? 'compacting' : 'info';
+      }
+      renderBreakdown(used, capacity);
+      const reported = text('reported', used === null ? '' : formatLatestReply(state.usage?.observedAt));
+      if (reported) reported.hidden = !reported.textContent;
+      if (compactButton) {
+        // Without a conversation there is nothing to compact; a busy state keeps the disabled button.
+        compactButton.hidden = noThread;
+        compactButton.disabled = availability.ok === false;
+        compactButton.title = availability.ok === false ? tr(availability.reason || 'compactBusy') : tr('contextUsageCompactHint');
+        text('compact-label', tr('contextUsageCompactAction'));
+      }
+      const foot = host.querySelector('[data-context-usage-foot]');
+      if (foot) foot.hidden = (!compactButton || compactButton.hidden) && (!reported || reported.hidden);
+      popover.setAttribute('aria-label', tr('contextUsageTitle'));
+      position();
+    }
+
+    return {
+      setState(value = {}) {
+        state = { usage: value.usage || null, compacting: Boolean(value.compacting),
+          compactingKind: value.compactingKind || '', pending: Boolean(value.pending), compacted: Boolean(value.compacted) };
+        render();
+      },
+      render,
+      close,
+      destroy() { close(); unbind(); host = button = popover = compactButton = panel = null; }
+    };
+  }
+
+  return { create };
+});

package/extension/src/content/diagnosticsController.js

@@ -103,7 +103,12 @@
       try {
         result = await spec.run({ collectOnly: true });
       } catch (error) {
-        result = projectableResult(() => ({ status: 'failed', summary: tr('diagnosticsCheckErrored'), technical: error?.message || String(error) }));
+        result = projectableResult(() => ({
+          status: 'failed',
+          summary: tr('diagnosticsCheckErrored'),
+          nextStep: tr('runOutcomeNext'),
+          technical: error?.message || String(error)
+        }));
       }
       const bucket = diagnosticsHealthBucket(result?.status);
       if (bucket === 'fail') {
@@ -118,7 +123,9 @@
           status: result?.status || 'info',
           title: tr(spec.label),
           summary: translated?.summary || translated?.subtitle || '',
-          nextStep: bucket === 'ok' ? '' : (translated?.nextStep || '')
+          nextStep: bucket === 'ok' ? '' : (translated?.nextStep || ''),
+          installCommand: translated?.installCommand,
+          technical: translated?.technical
         };
       });
     }
@@ -211,13 +218,15 @@
     const codexOk = environment.codex?.ok === true;
     const latexTools = environment.latex?.available || [];
     const latexOk = latexTools.length > 0;
-    const bullets = [
+    const facts = [
       codexOk
-        ? tx(`Codex available: ${environment.codex.path || 'found on PATH'}`, `Codex 可用：${environment.codex.path || '已在 PATH 中找到'}`)
-        : tx('Codex was not found: the extension cannot start local Codex.', 'Codex 没有找到：插件不能启动本地 Codex。'),
+        ? (environment.codex.path
+          ? { label: 'Codex', value: environment.codex.path, kind: 'path' }
+          : { label: 'Codex', value: tx('Found on PATH', '已在 PATH 中找到') })
+        : { label: 'Codex', value: tx('Not found', '未找到'), tone: 'fail' },
       latexOk
-        ? tx(`LaTeX tools available: ${latexTools.join(', ')}`, `LaTeX 工具可用：${latexTools.join(', ')}`)
-        : tx('LaTeX tools were not found: text editing works, but local compile checks are limited.', 'LaTeX 工具没有找到：可以编辑文本，但不能在本地编译验证。')
+        ? { label: 'LaTeX', value: latexTools.join(', ') }
+        : { label: 'LaTeX', value: tx('Not found', '未找到'), tone: 'warn' }
     ];
     if (codexOk && latexOk) {
       return {
@@ -225,7 +234,7 @@
         subtitle: tx('Codex and LaTeX are available.', 'Codex 和 LaTeX 都可以使用。'),
         status: 'completed',
         summary: tx('Codex is connected and local LaTeX tools are available. Codex can read, edit, and locally check this Overleaf project.', 'Codex 已连接，本机 LaTeX 工具可用。你可以让 Codex 读取、修改并本地检查 Overleaf 项目。'),
-        bullets,
+        facts,
         technical: JSON.stringify(environment, null, 2)
       };
     }
@@ -236,7 +245,7 @@
       summary: codexOk
         ? tx('Local Codex can run, but LaTeX compile tools were not found. File edits are unaffected, but compile verification is limited.', '本机 Codex 可以运行，但没有找到 LaTeX 编译工具；修改文件不受影响，编译验证会受限。')
         : tx('The extension reached the native host, but local Codex was not found, so tasks cannot start.', '插件已经连上 native host，但没有找到本机 Codex，所以不能启动任务。'),
-      bullets,
+      facts,
       nextStep: codexOk
         ? tx('For compile verification, make sure latexmk or pdflatex is available on your Terminal PATH.', '如需编译验证，请确认 latexmk 或 pdflatex 在终端 PATH 中可用。')
         : tx('Make sure codex works in Terminal, then reload the extension.', '请确认终端里可以运行 codex，然后重新加载扩展。'),
@@ -281,7 +290,7 @@
       subtitle: messages.subtitle,
       status: 'failed',
       summary: messages.summary,
-      bullets: formatNativeCompatibilityBullets(compatibility),
+      facts: formatNativeCompatibilityFacts(compatibility, statusValue),
       nextStep: messages.nextStep,
       installCommand: compatibility.installCommand,
       technical: formatNativeCompatibilityTechnicalDetails(compatibility, response)
@@ -320,14 +329,24 @@
     }
   }
 
-  function formatNativeCompatibilityBullets(compatibility = {}) {
+  function formatNativeCompatibilityFacts(compatibility = {}, statusValue = '') {
     const native = compatibility.native || {};
     return [
-      tx(`Status: ${compatibility.status || 'unknown'}`, `状态：${compatibility.status || 'unknown'}`),
-      tx(`Classification: ${getNativeCompatibilityClassification(compatibility)}`, `兼容分类：${getNativeCompatibilityClassification(compatibility)}`),
-      tx(`Extension version: ${compatibility.extensionVersion || 'unknown'}`, `扩展版本：${compatibility.extensionVersion || 'unknown'}`),
-      tx(`Native version: ${native.version || 'unknown'}`, `Native 版本：${native.version || 'unknown'}`),
-      tx(`Native protocol: ${formatNativeProtocolVersion(native)}`, `Native 协议：${formatNativeProtocolVersion(native)}`)
+      {
+        label: tx('Extension version', '扩展版本'),
+        value: compatibility.extensionVersion || 'unknown',
+        tone: statusValue === 'extension_too_old' ? 'fail' : undefined
+      },
+      {
+        label: tx('Native version', 'Native 版本'),
+        value: native.version || 'unknown',
+        tone: statusValue === 'native_too_old' ? 'fail' : undefined
+      },
+      {
+        label: tx('Native protocol', 'Native 协议'),
+        value: formatNativeProtocolVersion(native),
+        tone: statusValue === 'protocol_unsupported' ? 'fail' : undefined
+      }
     ];
   }
 
@@ -397,8 +416,13 @@
       const failure = mirrorState.failureActive && mirrorState.lastFailure ? { ...mirrorState.lastFailure } : null;
       const disabledResult = projectableResult(() => {
         const result = {
-          title: tr('diagnosticsOtTitle'), subtitle: tr('diagnosticsOtSubtitle'), status: 'completed',
-          summary: tr('diagnosticsOtSummaryDisabled'), bullets: [], nextStep: '', technical: ''
+          title: tr('diagnosticsOtTitle'),
+          subtitle: tr('diagnosticsOtSubtitle'),
+          status: 'completed',
+          summary: tr('diagnosticsOtSummaryDisabled'),
+          facts: [],
+          nextStep: '',
+          technical: ''
         };
         if (failure) {
           result.status = 'warning';
@@ -491,10 +515,14 @@
       status: enabled && !fallback && !bridgeFailed ? 'completed' : (enabled || bridgeFailed ? 'warning' : 'completed'),
       summary: tr(failureActive ? otWarmMirrorController.getFailureMessageKey(warmMirrorState.lastErrorCode)
         : enabled ? 'diagnosticsOtSummaryEnabled' : 'diagnosticsOtSummaryDisabled'),
-      bullets: [
-        `${tr('otStatus')}: ${formatOtStatusLabel(statusValue)}`,
-        `${tr('otFreshFiles')}: ${otFreshFileCount}`,
-        `${tr('otFallback')}: ${fallback ? tr('yes') : tr('no')}`
+      facts: [
+        { label: tr('otStatus'), value: formatOtStatusLabel(statusValue) },
+        { label: tr('otFreshFiles'), value: String(otFreshFileCount) },
+        {
+          label: tr('otFallback'),
+          value: fallback ? tr('yes') : tr('no'),
+          tone: enabled && fallback ? 'warn' : undefined
+        }
       ],
       nextStep: fallback ? tr('diagnosticsOtNextStep') : '',
       technical: formatOtDiagnosticsTechnicalDetails({
@@ -563,10 +591,23 @@
     const reviewingOk = probe?.reviewing?.ok === true;
     const writable = probe?.capabilities?.editor?.write !== false;
     const readable = probe?.editor?.ok === true;
-    const bullets = [
-      readable ? tx('Current file was read.', '当前文件已经读到。') : tx('Current file content has not been verified yet.', '还没有确认当前文件内容。'),
-      writable ? tx('Editor write access will be verified again during writeback.', '当前编辑器写入能力会在写入时再次验证。') : tx('The current editor is not writable yet.', '当前编辑器暂时不可写。'),
-      reviewingOk ? tx('Reviewing/Track Changes status is verified.', '留痕/Reviewing 状态已确认。') : tx('Reviewing/Track Changes status is not verified yet.', '留痕/Reviewing 状态还没有确认。')
+    const reviewingNeeded = mode !== 'ask';
+    const facts = [
+      {
+        label: tx('Current file', '当前文件'),
+        value: readable ? tx('Read', '已读取') : tx('Not verified', '未确认'),
+        tone: readable ? undefined : 'warn'
+      },
+      {
+        label: tx('Write access', '写入'),
+        value: writable ? tx('Checked again before writing', '写入前会再次验证') : tx('Not writable yet', '暂不可写'),
+        tone: writable ? undefined : 'warn'
+      },
+      {
+        label: tx('Track changes', '留痕'),
+        value: reviewingOk ? tx('Verified', '已确认') : tx('Not verified', '未确认'),
+        tone: reviewingOk || !reviewingNeeded ? undefined : 'warn'
+      }
     ];
 
     if (readable && writable) {
@@ -575,7 +616,7 @@
         subtitle: formatProbeStatusBar(probe),
         status: reviewingOk || mode === 'ask' ? 'completed' : 'warning',
         summary: tx('The current Overleaf file can be read and written. The extension still verifies before writing to avoid overwriting new user or collaborator edits.', '当前 Overleaf 文件可以读取和写入。写入前插件仍会再次验证，避免覆盖用户或协作者的新改动。'),
-        bullets,
+        facts,
         nextStep: reviewingOk || mode === 'ask' ? '' : tx('If you need tracked writes, turn on Overleaf Reviewing/Track Changes first.', '如果需要留痕写入，请先在 Overleaf 开启 Reviewing/Track Changes。'),
         technical: formatPageDiagnosticsTechnicalDetails(probe)
       };
@@ -588,7 +629,7 @@
       summary: readable
         ? tx('The extension read the current Overleaf file, but has not verified that the current editor can be written.', '插件已读到当前 Overleaf 文件，但还没有确认当前编辑器可以写入。')
         : tx('The extension has not verified that the current editor can be written. Usually this means no .tex file is open yet, or Overleaf is still loading.', '插件没有确认当前编辑器可以写入。通常是还没点开 .tex 文件，或者 Overleaf 页面仍在加载。'),
-      bullets,
+      facts,
       nextStep: tx('Open the target .tex file from the left Overleaf file tree, wait for the editor to load, then check again.', '在 Overleaf 左侧文件树点开要处理的 .tex 文件，等编辑器加载完成后重新检测。'),
       technical: formatPageDiagnosticsTechnicalDetails(probe)
     };
@@ -602,10 +643,10 @@
     const warnings = getProjectSnapshotWarnings(project);
     const warningText = [...warnings.blocking, ...warnings.nonBlocking].map(formatProjectSnapshotWarning);
     const source = project?.capabilities?.method || 'unknown';
-    const bullets = [
-      tx(`Text files: ${textCount}`, `文本文件：${textCount} 个`),
-      tx(`Asset files: ${binaryCount}`, `资源文件：${binaryCount} 个`),
-      project?.activePath ? tx(`Current file: ${project.activePath}`, `当前文件：${project.activePath}`) : tx('Current file: not detected', '当前文件：未识别')
+    const facts = [
+      { label: tx('Text files', '文本文件'), value: tx(String(textCount), `${textCount} 个`) },
+      { label: tx('Asset files', '资源文件'), value: tx(String(binaryCount), `${binaryCount} 个`) },
+      { label: tx('Current file', '当前文件'), value: project?.activePath || tx('Not detected', '未识别') }
     ];
     if (fullProject && files.length) {
       return {
@@ -616,7 +657,8 @@
           `The extension read the full Overleaf project: ${textCount} text file(s)${binaryCount ? `, ${binaryCount} asset file(s)` : ''}.`,
           `插件已读到完整 Overleaf 项目：${textCount} 个文本文件${binaryCount ? `，${binaryCount} 个资源文件` : ''}。`
         ),
-        bullets: warningText.length ? [...bullets, ...warningText] : bullets,
+        facts,
+        notes: warningText,
         technical: formatProjectSnapshotLog(project)
       };
     }
@@ -630,7 +672,8 @@
           `没有读到完整的 Overleaf 项目。当前只读到 ${textCount} 个文本文件${binaryCount ? `，${binaryCount} 个资源文件` : ''}。`
         )
         : tx('The full Overleaf project was not read, and no usable file content was available.', '没有读到完整的 Overleaf 项目，也没有拿到可用文件内容。'),
-      bullets: warningText.length ? [...bullets, ...warningText] : bullets,
+      facts,
+      notes: warningText,
       nextStep: tx('Reload Overleaf and wait for the left file tree to load, then retry. If you only want one file, use + to add @file context.', '刷新 Overleaf 页面，等左侧文件树加载完成后重试；如果只想处理一个文件，可以用 + 添加 @file 上下文。'),
       technical: formatProjectSnapshotLog(project)
     };

package/extension/src/content/diagnosticsExport.js

@@ -164,7 +164,7 @@
       },
       platform: nativeDiagnostics.platform,
       nativeEnvironment: nativeDiagnostics.nativeEnvironment,
-      mirror,
+      mirror: mirror ?? { status: 'unavailable' },
       auditLogs,
       run: activeRecord?.runProjectId === projectId && matchesAccount(activeRecord, currentRunView?.runAccountScopeId)
         ? activeRecord : recentRuns[0] || {},