codex-overleaf-link 2.5.1 → 2.6.5

package/extension/src/content/generated/content.bundle.meta.json

@@ -2,9 +2,9 @@
   "schemaVersion": 1,
   "entry": "extension/entries/content-entry.mjs",
   "output": "extension/src/content/generated/content.bundle.js",
-  "sourceDigest": "548acfc19dd7be907e0c5494f2da2e11fa68dfc501e0552846ad63d4e5a35dba",
-  "outputDigest": "404e0523fc534b56e87ea96e62cd112514c06ce034209ec7a05feef83d7a64a9",
-  "byteLength": 3162346,
+  "sourceDigest": "91739cf894fed56c2880986120922d3b54bb423ab2d116705385da1d0fe518be",
+  "outputDigest": "a52bf46e64085f1a64339769d64ab59246323c3a51c65851f3385750727b0624",
+  "byteLength": 3443627,
   "inputs": [
     "extension/entries/content-entry.mjs",
     "extension/src/content/activeTurnControl.js",
@@ -15,6 +15,7 @@
     "extension/src/content/composerPanel.js",
     "extension/src/content/contentRuntime.js",
     "extension/src/content/contextTray.js",
+    "extension/src/content/contextUsageView.js",
     "extension/src/content/diagnosticsController.js",
     "extension/src/content/diagnosticsExport.js",
     "extension/src/content/diagnosticsPanel.js",
@@ -89,6 +90,7 @@
     "extension/src/shared/compatibility.js",
     "extension/src/shared/compileAdapter.js",
     "extension/src/shared/composerAttachmentDraft.js",
+    "extension/src/shared/contextUsage.js",
     "extension/src/shared/directoryCleanupProof.js",
     "extension/src/shared/failureReasons.js",
     "extension/src/shared/globalPreferences.js",
@@ -99,6 +101,7 @@
     "extension/src/shared/models.js",
     "extension/src/shared/otText.js",
     "extension/src/shared/pageRpcContract.js",
+    "extension/src/shared/panelIcons.js",
     "extension/src/shared/pathRedaction.js",
     "extension/src/shared/projectFiles.js",
     "extension/src/shared/providerProfiles.js",

package/extension/src/content/legacyGlobalRegistry.js

@@ -29,6 +29,8 @@
     'ComposerPanel',
     'ContentRuntime',
     'ContextTray',
+    'ContextUsage',
+    'ContextUsageView',
     'DiagnosticsController',
     'DiagnosticsExport',
     'DiagnosticsPanel',
@@ -55,10 +57,12 @@
     'PostNavigationSettlementPersistence',
     'ProjectFiles',
     'ProjectProviderSelection',
+    'PanelIcons',
     'ProjectSettingsCoordinator',
     'ProviderSettingsCoordinator',
     'RecentProjects',
     'ReviewHunks',
+    'Reviewing',
     'RunActivitySummary',
     'RunPresence',
     'RunActivityModel',

package/extension/src/content/localSkillsPanel.js

@@ -204,7 +204,8 @@
       copy.append(text);
       const descriptions = {
         'annotated-rewrite': tx('Guided editing for document revisions.', '用于文稿修订的编辑流程。'),
-        'parallel-subagents': tx('Split independent subtasks across multiple agents.', '将相互独立的子任务分配给多个 agent。')
+        'parallel-subagents': tx('Split independent subtasks across multiple agents.', '将相互独立的子任务分配给多个 agent。'),
+        'reviewer-response': tx('Map reviewer comments to evidence, edits and reply drafts.', '把审稿意见对应到论文证据、修改和回复草稿。')
       };
       const description = (!local && descriptions[id])
         || (typeof skill.description === 'string' ? skill.description.replace(/\s+/g, ' ').trim() : '');
@@ -249,7 +250,8 @@
         if (sourceLabel) sourceLabel.textContent = sourceText();
         toggle.setAttribute('aria-label', accessibleSkillName + ': ' + tr('codexOverleafSkillEnableToggle'));
         const label = !local && id === 'annotated-rewrite' ? tx('Guided editing for document revisions.', '用于文稿修订的编辑流程。')
-          : !local && id === 'parallel-subagents' ? tx('Split independent subtasks across multiple agents.', '将相互独立的子任务分配给多个 agent。') : '';
+          : !local && id === 'parallel-subagents' ? tx('Split independent subtasks across multiple agents.', '将相互独立的子任务分配给多个 agent。')
+            : !local && id === 'reviewer-response' ? tx('Map reviewer comments to evidence, edits and reply drafts.', '把审稿意见对应到论文证据、修改和回复草稿。') : '';
         const help = copy.querySelector('.codex-local-skill-description');
         if (label && help) { help.textContent = label; help.title = label; }
       };
@@ -320,7 +322,7 @@
           toggle.disabled = true;
           confirmBtn.textContent = tr('localSkillRemoving');
           removeCodexOverleafSkill(id).catch(error => {
-            setProjectSettingsStatus(tx(`Failed to remove Codex Overleaf skill: ${error.message}`, `删除 Codex Overleaf 技能失败：${error.message}`), 'failed');
+            setProjectSettingsStatus(tx(`Failed to remove Codex Overleaf skill: ${error.message}`, `删除 Codex Overleaf 技能失败：${error.message}`), 'failed', { page: 'context' });
             // Restore row on failure so the user can retry.
             confirmBtn.disabled = false;
             cancelBtn.disabled = false;
@@ -381,7 +383,7 @@
       if (activeSkill?.scope === 'codex-overleaf' && activeSkill.id === id) {
         clearComposerSkillInvocation();
       }
-      setProjectSettingsStatus(tr('codexOverleafSkillRemoveDone'), 'completed');
+      setProjectSettingsStatus(tr('codexOverleafSkillRemoveDone'), 'completed', { page: 'context' });
       clearSlashCodexOverleafSkills();
       await refreshLocalSkills();
       await saveState?.();

package/extension/src/content/markdownDomRenderer.js

@@ -468,10 +468,10 @@
       textNode.textContent = `${match[1]}${text.slice(match[0].length)}`;
       textNode.parentNode.insertBefore(label, textNode);
     }
-    decorateChangeReceipts(container, document, tx);
+    decorateChangeReceipts(container, document, tx, options.formatOperationType);
   }
 
-  function decorateChangeReceipts(container, document, tx) {
+  function decorateChangeReceipts(container, document, tx, formatOperationType = type => type) {
     const label = container.querySelector?.('.run-system-label[data-system-label="changes"]');
     const list = label?.closest?.('p')?.nextElementSibling;
     if (!list || !['UL', 'OL'].includes(list.tagName)) return;
@@ -508,7 +508,9 @@
       file.textContent = receipt.file;
       const operation = document.createElement('span');
       operation.className = 'run-change-receipt__operation';
-      operation.textContent = receipt.operation;
+      const type = ({ 编辑: 'edit', 新建: 'create', 重命名: 'rename', 移动: 'move', 删除: 'delete' })[receipt.operation]
+        || receipt.operation.toLowerCase();
+      operation.textContent = formatOperationType(type);
       receipt.item.classList.add('run-change-receipt');
       receipt.item.setAttribute('aria-label', receipt.original);
       receipt.item.title = receipt.original;

package/extension/src/content/markdownText.js

@@ -70,6 +70,15 @@
       macros: getMathMacros(), renderText: buildMarkdownInlineNodesWithoutMath });
   }
 
+  function buildParsedTextNodes(value) {
+    const source = String(value || '');
+    if (!MathText?.buildMathNodes) {
+      return buildLineReferenceInlineNodes(source);
+    }
+    return MathText.buildMathNodes(source, { document, katex: window.katex,
+      macros: getMathMacros(), renderText: buildLineReferenceInlineNodes });
+  }
+
   function buildMarkdownInlineNodesWithoutMath(value) {
     const source = String(value || '');
     const nodes = [];
@@ -99,7 +108,7 @@
       index = next.end;
     }
 
-    return nodes;
+    return groupLineReferenceNodes(nodes);
   }
 
   function buildInlineCodeNodes(value) {
@@ -152,7 +161,7 @@
       cursor = start + rawText.length;
     }
     appendSanitizedTextNode(nodes, source.slice(cursor));
-    return nodes;
+    return groupLineReferenceNodes(nodes);
   }
 
   function buildMarkdownLinkNodes(text, href) {
@@ -187,6 +196,24 @@
     }
   }
 
+  function groupLineReferenceNodes(nodes) {
+    const grouped = [];
+    for (const node of nodes) {
+      const previous = grouped[grouped.length - 1];
+      if (node.classList?.contains('codex-line-reference') && previous?.nodeType === 3 &&
+          previous.textContent.endsWith('(')) {
+        previous.textContent = previous.textContent.slice(0, -1);
+        const group = document.createElement('span');
+        group.className = 'codex-line-reference-group';
+        group.append(document.createTextNode('('), node);
+        grouped.push(group);
+      } else {
+        grouped.push(node);
+      }
+    }
+    return grouped;
+  }
+
   function resolveMarkdownLineReference(text, href) {
     const candidates = [
       { value: href, mode: 'markdown-link-target' },
@@ -230,12 +257,16 @@
       return null;
     }
     const line = Number(ref?.line);
+    const endLine = ref?.endLine === undefined ? null : Number(ref.endLine);
     const column = ref?.column === null || ref?.column === undefined || ref?.column === ''
       ? null
       : Number(ref.column);
     if (!Number.isSafeInteger(line) || line < 1 || (column !== null && (!Number.isSafeInteger(column) || column < 1))) {
       return null;
     }
+    if (endLine !== null && (!Number.isSafeInteger(endLine) || endLine < line)) {
+      return null;
+    }
     let resolved;
     try {
       resolved = LineReferences.resolveProjectReference({
@@ -251,6 +282,7 @@
     return {
       path: resolved.path,
       line,
+      ...(endLine > line ? { endLine } : {}),
       column
     };
   }
@@ -262,10 +294,15 @@
     button.textContent = formatLineReferenceText(reference);
     button.dataset.path = reference.path;
     button.dataset.line = String(reference.line);
+    if (reference.endLine) {
+      button.dataset.endLine = String(reference.endLine);
+    }
     if (reference.column) {
       button.dataset.column = String(reference.column);
     }
-    const ariaLabel = reference.column
+    const ariaLabel = reference.endLine
+      ? `Open ${reference.path} lines ${reference.line} to ${reference.endLine}`
+      : reference.column
       ? `Open ${reference.path} line ${reference.line} column ${reference.column}`
       : `Open ${reference.path} line ${reference.line}`;
     button.setAttribute('aria-label', ariaLabel);
@@ -278,7 +315,10 @@
         line: reference.line,
         selectLine: !reference.column
       };
-      if (reference.column) {
+      if (reference.endLine) {
+        params.endLine = reference.endLine;
+        params.selectLine = true;
+      } else if (reference.column) {
         params.column = reference.column;
         params.selectLine = false;
       }
@@ -310,7 +350,7 @@
   }
 
   function formatLineReferenceText(reference) {
-    return `${reference.path}:${reference.line}${reference.column ? `:${reference.column}` : ''}`;
+    return `${reference.path}:${reference.line}${reference.endLine ? `–${reference.endLine}` : reference.column ? `:${reference.column}` : ''}`;
   }
 
   function normalizeReferencePathForRuntime(value) {
@@ -483,15 +523,8 @@
           document,
           markdownIt: runtimeRoot.markdownit,
           mathText: runtimeRoot.CodexOverleafMathText,
-          renderTextNodes: text => buildMarkdownInlineNodes(text),
-          renderLinkNodes: (label, href) => {
-            const safeLabel = String(label || '');
-            const target = String(href || '').trim();
-            if (!/^https?:\/\//i.test(target) && !resolveMarkdownLineReference(safeLabel, target)) return buildMarkdownInlineNodes(safeLabel);
-            return buildMarkdownInlineNodes(
-              `[${safeLabel.replace(/]/g, '\\]')}](${target.replace(/\)/g, '\\)')})`
-            );
-          },
+          renderTextNodes: buildParsedTextNodes,
+          renderLinkNodes: buildMarkdownLinkNodes,
           renderCodeNodes: text => buildInlineCodeNodes(text),
           sanitizeText: sanitizeAssistantVisibleText,
           createMathNode: segment => runtimeRoot.CodexOverleafMathText.createMathNode(segment,
@@ -499,6 +532,12 @@
               renderText: text => buildMarkdownInlineNodes(text) }),
           recordDiagnostic: recordRenderingDiagnostic
         });
+        // The DOM renderer emits text and links from separate Markdown tokens.
+        const parents = new Set(Array.from(target.querySelectorAll('.codex-line-reference'), button => button.parentNode)
+          .filter(parent => !parent.classList.contains('codex-line-reference-group')));
+        for (const parent of parents) {
+          parent.replaceChildren(...groupLineReferenceNodes(Array.from(parent.childNodes)));
+        }
         return;
       } catch (error) {
         recordRenderingDiagnostic({

package/extension/src/content/modelPicker.js

@@ -33,7 +33,7 @@
       retainSelectedModel
     } = Support;
 
-  let modelDiscovery = { status: 'fallback', source: 'fallback', fetchedAt: '' };
+  let modelDiscovery = { status: 'fallback', source: 'fallback', fetchedAt: '', provisional: true };
   let modelLoadGeneration = 0;
 
   function getModelDiscovery() {
@@ -83,24 +83,21 @@
     const modelSelect = getPanel()?.querySelector('[data-model]');
     const reasoningSelect = getPanel()?.querySelector('[data-reasoning]');
     const speedSelect = getPanel()?.querySelector('[data-speed]');
-    let changedInput = null;
-
-    if (choice.dataset.reasoningChoice && reasoningSelect) {
-      reasoningSelect.value = choice.dataset.reasoningChoice;
-      changedInput = reasoningSelect;
-    } else if (choice.dataset.modelChoice && modelSelect) {
-      modelSelect.value = choice.dataset.modelChoice;
-      changedInput = modelSelect;
+    const changedInput = choice.dataset.reasoningChoice ? reasoningSelect
+      : choice.dataset.modelChoice ? modelSelect : choice.dataset.speedChoice ? speedSelect : null;
+    const value = choice.dataset.reasoningChoice || choice.dataset.modelChoice || choice.dataset.speedChoice;
+    const option = Array.from(changedInput?.options || []).find(item => item.value === value);
+    if (!changedInput || changedInput.disabled || !option || option.disabled) return;
+
+    changedInput.value = value;
+    if (changedInput === modelSelect) {
       renderReasoningOptions(getRenderedModelEntries());
       renderSpeedOptions(getRenderedModelEntries());
-    } else if (choice.dataset.speedChoice && speedSelect) {
-      speedSelect.value = choice.dataset.speedChoice;
-      changedInput = speedSelect;
     }
 
     renderModelConfigChoices();
     updateModelDisplay();
-    await persistPanelInputs(changedInput ? { type: 'change', target: changedInput } : undefined);
+    await persistPanelInputs({ type: 'change', target: changedInput });
   }
   async function loadModelOptions(providerSelection, options = {}) {
     const generation = ++modelLoadGeneration;
@@ -136,7 +133,9 @@
       }
       const sourceModels = hasDiscoveredModels ? response.result.models : fallbackModels;
       const preserveBuiltin = (selection?.providerId || 'builtin') === 'builtin' && (getState()?.providerId || 'builtin') === 'builtin';
-      const retainedSelectedModel = retainSelectedModel(sourceModels, currentSelectedModel, { preserveUnavailable: preserveBuiltin });
+      const retainedSelectedModel = retainSelectedModel(sourceModels, currentSelectedModel, { preserveUnavailable: preserveBuiltin })
+        || (responseProviderId && responseProviderId !== 'builtin'
+          ? retainSelectedModel(sourceModels, response.result?.defaultModelId) : '');
       const normalized = modelCatalog.normalizeDiscoveredModels({ models: sourceModels, selectedModel: retainedSelectedModel });
       if (normalized.usedFallback && response.result?.providerId && response.result.providerId !== 'builtin') {
         applyUnavailableModelOptions({ code: 'provider_model_catalog_invalid', message: 'The active provider returned no usable models.' });
@@ -238,6 +237,13 @@
     }
 
     const selectedId = normalizeModelOptionId(selectedModel);
+    if (options.provisionalSelected === true) {
+      models = [...(Array.isArray(models) ? models : [])];
+      if (selectedId && !models.some(model => normalizeModelOptionId(model?.id) === selectedId)) {
+        models.push({ id: selectedId, label: selectedId, unverified: true });
+      }
+      models = Support.preserveSelectedCapabilities(models, selectedId, getState(), true);
+    }
     modelSelect.textContent = '';
     modelSelect.disabled = false;
     let renderedSelected = false;
@@ -373,7 +379,8 @@
       list.append(createModelConfigChoice({
         value: option.value,
         label: formatReasoningEffortLabel(option.value, reasoningSelect.dataset.presentation),
-        datasetName: 'reasoningChoice'
+        datasetName: 'reasoningChoice',
+        disabled: reasoningSelect.disabled || option.disabled
       }));
     }
   }
@@ -390,7 +397,8 @@
       const choice = createModelConfigChoice({
         value: option.value,
         label: option.textContent || option.value,
-        datasetName: 'modelChoice'
+        datasetName: 'modelChoice',
+        disabled: modelSelect.disabled || option.disabled
       });
       choice.title = option.textContent || option.value;
       list.append(choice);
@@ -408,16 +416,17 @@
       const choice = createModelConfigChoice({
         value: option.value,
         label: formatSpeedTierLabel(option.value),
-        datasetName: 'speedChoice'
+        datasetName: 'speedChoice',
+        disabled: speedSelect.disabled || option.disabled
       });
-      choice.disabled = speedSelect.disabled && speedSelect.options.length <= 1;
       list.append(choice);
     }
   }
 
-  function createModelConfigChoice({ value, label, datasetName }) {
+  function createModelConfigChoice({ value, label, datasetName, disabled = false }) {
     const button = document.createElement('button');
     button.type = 'button';
+    button.disabled = disabled;
     button.className = 'codex-model-config-choice';
     button.dataset[datasetName] = value;
     button.setAttribute('role', 'menuitemradio');
@@ -525,6 +534,7 @@
         readSelectedSpeedInput() === 'fast' ? tx('Fast mode', '快速模式') : tx('Standard speed', '标准速度')
       ].filter(Boolean).join(' · ');
     }
+    deps.onSelectionRendered?.();
   }
 
     return {

package/extension/src/content/nativeCompatibilityController.js

@@ -37,8 +37,10 @@
       try {
         compatibilityGate = await ensureForMethod(payload?.method, context);
         if (!compatibilityGate.ok) return compatibilityGate.response;
+        // Catalog reads belong to the selected session, not a retained cancelled run.
+        const independentCatalog = payload?.method === 'codex.models' || payload?.method === 'codex.providers.list';
         // Post-Undo cache bookkeeping must survive the ended run's cancellation.
-        if (gatedMethods.has(payload?.method) && payload.method !== 'mirror.invalidate') {
+        if (gatedMethods.has(payload?.method) && payload.method !== 'mirror.invalidate' && !independentCatalog) {
           options.throwIfCancellationRequested?.();
         }
         context.assertCurrent?.();
@@ -88,7 +90,7 @@
         requiredVersion: compatibility.requiredVersion || Compatibility?.BUILD_TARGET_VERSION || '',
         releaseUrl: compatibility.releaseUrl || ''
       };
-      notifyBlocked(error, compatibility);
+      notifyBlocked(error, compatibility, method);
       return { ok: false, compatibility, response: { ok: false, error } };
     }
 
@@ -103,7 +105,7 @@
       };
     }
 
-    function notifyBlocked(error, compatibility = {}) {
+    function notifyBlocked(error, compatibility = {}, method) {
       const message = error?.message || String(error || '');
       if (options.getCurrentRunView?.()) {
         options.appendRunEvent?.({ title: message, status: 'failed' });
@@ -111,7 +113,17 @@
         return;
       }
       showUpdateGuidance(compatibility);
-      options.showPluginToast?.(message, { status: 'failed', sticky: true });
+      const missing = compatibility.status === 'native_missing';
+      options.showPluginToast?.(missing ? tr('nativeCompatibilityMissingGuidance') : message, {
+        status: 'failed',
+        sticky: true,
+        ...(missing ? {
+          title: tr('nativeCompatibilityMissingTitle'),
+          groupKey: 'native-missing',
+          groupItem: method || 'native request',
+          groupSummary: count => tr('nativeCompatibilityUnavailableFeatures', { count })
+        } : {})
+      });
     }
 
     async function refreshBadge() {
@@ -137,7 +149,9 @@
         options.setDiagnosticsHealth?.(classification === 'update-available' ? 'warn' : 'fail');
         options.setBadge?.(renderer.headerEl, {
           type: 'update',
-          tooltip: tx('Native host update available', 'Native host 可更新'),
+          tooltip: compatibility.status === 'native_unhealthy'
+            ? tx('Codex Unavailable', 'Codex 不可用')
+            : tx('Native host update available', 'Native host 可更新'),
           onClick: () => showUpdateGuidance(compatibility)
         });
         if (!compatibility?.native?.version) maybePromptFirstRunSetup();
@@ -181,7 +195,9 @@
         || compatibility.nativeVersion
         || native.version
         || tx('missing', '未安装');
-      const command = resolveInstallCommand(compatibility);
+      const codexUnavailable = compatibility.status === 'native_unhealthy';
+      const resolvedCommand = resolveInstallCommand(compatibility);
+      const command = codexUnavailable ? '' : resolvedCommand;
       const releaseUrl = compatibility.releaseUrl || '';
       const overlay = options.document.createElement('div');
       overlay.className = 'codex-plugin-confirm';
@@ -191,20 +207,40 @@
       const nativeMissing = !native.version;
       overlay.setAttribute(
         'aria-label',
-        nativeMissing
+        codexUnavailable
+          ? tx('Codex Unavailable', 'Codex 不可用')
+          : nativeMissing
           ? tx('Set up the native host', '安装 Native host')
           : tx('Native host update available', 'Native host 可更新')
       );
       const card = options.document.createElement('section');
       card.className = 'codex-plugin-confirm-card';
+      const head = options.document.createElement('div');
+      head.className = 'codex-plugin-confirm-head';
+      const icon = options.document.createElement('img');
+      icon.className = 'codex-plugin-confirm-icon';
+      icon.alt = '';
+      icon.setAttribute('aria-hidden', 'true');
+      icon.src = options.getIconUrl?.() || '';
+      const titleWrap = options.document.createElement('div');
+      const brand = options.document.createElement('div');
+      brand.className = 'codex-plugin-confirm-brand';
+      brand.textContent = 'Codex Overleaf Link';
       const title = options.document.createElement('div');
       title.className = 'codex-plugin-confirm-title';
-      title.textContent = nativeMissing
+      title.textContent = codexUnavailable
+        ? tx('Codex Unavailable', 'Codex 不可用')
+        : nativeMissing
         ? tx('One step left: install the native host', '还差一步：安装 Native host')
         : tx('Native host update available', 'Native host 可更新');
+      titleWrap.append(brand, title);
+      head.append(icon, titleWrap);
       const body = options.document.createElement('div');
       body.className = 'codex-plugin-confirm-body';
-      body.textContent = [
+      body.textContent = codexUnavailable ? [
+        tx('The extension reached the native host, but local Codex was not found, so tasks cannot start.', '插件已经连上 native host，但没有找到本机 Codex，所以不能启动任务。'),
+        tx('Make sure codex works in Terminal, then reload the extension.', '请确认终端里可以运行 codex，然后重新加载扩展。')
+      ].join('\n\n') : [
         nativeMissing
           ? tx(
             `Extension v${extensionVersion} is ready; Codex still needs its local bridge to read and edit this project.`,
@@ -222,20 +258,16 @@
               ? tx(' Use PowerShell.', ' 请使用 PowerShell。') : '')
       ].join('\n\n');
       const commandCode = options.document.createElement('code');
+      commandCode.className = 'codex-native-guidance-command';
       commandCode.textContent = command;
-      Object.assign(commandCode.style, {
-        display: 'block',
-        whiteSpace: 'pre-wrap',
-        marginTop: '0.75rem'
-      });
-      body.append(commandCode);
-      if (releaseUrl) {
+      if (!codexUnavailable) body.append(commandCode);
+      if (!codexUnavailable && releaseUrl) {
         const link = options.document.createElement('a');
+        link.className = 'codex-native-guidance-link';
         link.href = releaseUrl;
         link.target = '_blank';
         link.rel = 'noopener noreferrer';
         link.textContent = tx('Open GitHub Release', '打开 GitHub Release');
-        Object.assign(link.style, { display: 'block', marginTop: '0.75rem' });
         body.append(link);
       }
       const actions = options.document.createElement('div');
@@ -255,8 +287,9 @@
       close.className = 'codex-plugin-confirm-cancel';
       close.textContent = tx('Close', '关闭');
       close.addEventListener('click', () => overlay.remove());
-      actions.append(close, copy);
-      card.append(title, body, actions);
+      actions.append(close);
+      if (!codexUnavailable) actions.append(copy);
+      card.append(head, body, actions);
       overlay.append(card);
       overlay.addEventListener('click', event => {
         if (event.target === overlay) overlay.remove();

package/extension/src/content/otWarmMirror.js

@@ -895,7 +895,7 @@
         appendLog(tx(`Cannot continue: ${formatProjectSnapshotWarning(warning)}`, `无法继续：${formatProjectSnapshotWarning(warning)}`));
       }
       appendCompletionReport({
-        conclusion: tr('warmMirrorStaleBlockedConclusion'),
+        conclusion: tr('warmMirrorStaleBlockedConclusion'), conclusionKey: 'warm_mirror_stale',
         status: 'blocked',
         operations: [],
         applyResults: [],

package/extension/src/content/pageBridgeClient.js

@@ -6,25 +6,26 @@
   'use strict';
 
   const PAGE_WORLD_SCRIPTS = Object.freeze([
-    ['src/shared/reviewing.js', 'codex-overleaf-reviewing-script'],
+    ['src/shared/reviewing.js', 'codex-overleaf-reviewing-script', true],
     ['src/shared/projectFiles.js', 'codex-overleaf-project-files-script'],
     ['src/shared/compatibility.js', 'codex-overleaf-compatibility-page-script'],
     ['src/shared/pageRpcContract.js', 'codex-overleaf-page-rpc-contract-script', true],
-    ['src/shared/staleGuard.js', 'codex-overleaf-stale-guard-script'],
+    ['src/shared/staleGuard.js', 'codex-overleaf-stale-guard-script', true],
+    ['src/shared/otText.js', 'codex-overleaf-ot-text-script'],
     ['src/shared/compileAdapter.js', 'codex-overleaf-compile-adapter-script'],
     ['src/shared/sensitiveScan.js', 'codex-overleaf-sensitive-scan-script'],
     ['src/shared/auditRecords.js', 'codex-overleaf-audit-records-script'],
     ['src/page/saveState.js', 'codex-overleaf-save-state-script', true],
-    ['src/page/overleafCapabilities.js', 'codex-overleaf-capabilities-script'],
+    ['src/page/overleafCapabilities.js', 'codex-overleaf-capabilities-script', true],
     ['src/page/compileBridge.js', 'codex-overleaf-compile-bridge-script'],
-    ['src/page/overleafEditor.js', 'codex-overleaf-editor-script'],
-    ['src/page/overleafProjectSnapshot.js', 'codex-overleaf-project-snapshot-script'],
+    ['src/page/overleafEditor.js', 'codex-overleaf-editor-script', true],
+    ['src/page/overleafProjectSnapshot.js', 'codex-overleaf-project-snapshot-script', true],
     ['src/page/pageBridgeCapability.js', 'codex-overleaf-page-bridge-capability-script'],
     ['src/page/treeOperations.js', 'codex-overleaf-tree-operations-script', true],
     ['src/page/ownedDirectoryCleanup.js', 'codex-overleaf-owned-directory-cleanup-script', true],
     ['src/page/textFileCreator.js', 'codex-overleaf-text-file-creator-script', true],
     ['src/page/binaryAssetUploader.js', 'codex-overleaf-binary-asset-uploader-script', true],
-    ['src/page/snapshotRouter.js', 'codex-overleaf-snapshot-router-script'],
+    ['src/page/snapshotRouter.js', 'codex-overleaf-snapshot-router-script', true],
     ['src/page/referenceProjects.js', 'codex-overleaf-reference-projects-script', true],
     ['src/page/fileMover.js', 'codex-overleaf-file-mover-script', true],
     ['src/page/writeGuard.js', 'codex-overleaf-write-guard-script', true],
@@ -39,7 +40,6 @@
     ['src/pageBridge.js', 'codex-overleaf-page-bridge-script', true]
   ]);
   const OPTIONAL_OT_SCRIPTS = Object.freeze([
-    ['src/shared/otText.js', 'codex-overleaf-ot-text-script'],
     ['src/page/overleafRealtimeObserver.js', 'codex-overleaf-realtime-observer-script']
   ]);
 

package/extension/src/content/panelMaintenance.js

@@ -181,6 +181,7 @@
   // the failed task usually needs a tweak before it is worth resending.
   function refillComposerForRetry(run, textOverride) {
     const input = getPanel()?.querySelector('[data-task]');
+    if (input?.readOnly) return;
     const task = typeof textOverride === 'string' && textOverride.trim()
       ? textOverride
       : String(run?.task || '');
@@ -188,6 +189,10 @@
       showPluginToast(tx('Nothing to refill: the original task text is unavailable.', '无法回填：原任务文本不可用。'));
       return;
     }
+    if (input.value.trim() && input.value.trim() !== task.trim()) {
+      showPluginToast(tx('Kept your draft. Clear the composer, then try again to refill this task.', '已保留你的草稿。清空输入框后再试一次，即可回填这条任务。'));
+      return;
+    }
     prepareRetryReplacement?.(run || null, task);
     input.value = task;
     getState().task = task;
@@ -310,7 +315,9 @@
   // Settings history card, expanded and loaded.
   function openChangeHistory() {
     openCustomInstructionsSettings();
-    const card = getSettingsPanelInstance()?.container?.querySelector('[data-history-card]');
+    // The workbench shows one page at a time; switch to the page holding the card.
+    const card = getSettingsPanelInstance()?.revealGroup?.('history')
+      || getSettingsPanelInstance()?.container?.querySelector('[data-history-card]');
     if (card) {
       if (!card.open) {
         card.open = true;
@@ -322,7 +329,8 @@
 
   function openStorageSettings() {
     openCustomInstructionsSettings();
-    const card = getPanel()?.querySelector('[data-storage-card]');
+    const card = getSettingsPanelInstance()?.revealGroup?.('storage')
+      || getPanel()?.querySelector('[data-storage-card]');
     if (card) {
       card.open = true;
       card.scrollIntoView({ block: 'center' });