codex-overleaf-link 2.6.0 → 2.6.5

package/extension/src/shared/failureReasons.js

@@ -136,6 +136,11 @@
       fallbackUserMessage: 'The file changed while Codex was working.',
       fallbackNextAction: 'Review the current file, then rerun the task.'
     },
+    document_identity_mismatch: {
+      stage: 'preflight', severity: 'blocked', defaultRetryable: true,
+      fallbackUserMessage: 'Codex could not confirm that the editor content belongs to the target file, so it was not used.',
+      fallbackNextAction: 'Wait for the target file to open and settle, then retry. Reload Overleaf if this continues.'
+    },
     patch_anchor_not_found: {
       stage: 'preflight', severity: 'blocked', defaultRetryable: true,
       fallbackUserMessage: 'The edit anchor no longer matches current Overleaf content.',
@@ -358,6 +363,11 @@
       fallbackUserMessage: 'Native host request failed.',
       fallbackNextAction: 'Open diagnostics and retry.'
     },
+    native_request_timeout: {
+      stage: 'native', severity: 'error', defaultRetryable: true,
+      fallbackUserMessage: 'The local service did not respond.',
+      fallbackNextAction: 'Retry, or open Diagnostics to check the local connection.'
+    },
     native_protocol_incompatible: {
       stage: 'native', severity: 'blocked', defaultRetryable: true,
       fallbackUserMessage: 'Native host version or capabilities do not match the extension.',
@@ -428,6 +438,11 @@
       fallbackUserMessage: 'The provider rate limit was reached.',
       fallbackNextAction: 'Wait for the rate-limit window to recover and retry.'
     },
+    provider_quota_exceeded: {
+      stage: 'codex', severity: 'error', defaultRetryable: true,
+      fallbackUserMessage: 'The model provider quota or billing limit was reached.',
+      fallbackNextAction: 'Check the provider account and plan, or switch model or provider before retrying.'
+    },
     provider_connection_timeout: {
       stage: 'codex', severity: 'error', defaultRetryable: true,
       fallbackUserMessage: 'The provider connection timed out.',

package/extension/src/shared/i18n.js

@@ -151,6 +151,8 @@
       failureReason_provider_request_rejected_next: "Review the model ID, reasoning controls, tool support, and request overrides.",
       failureReason_provider_rate_limited_user: "The provider rate limit was reached.",
       failureReason_provider_rate_limited_next: "Wait for the rate-limit window to recover and retry.",
+      failureReason_provider_quota_exceeded_user: "The model provider quota or billing limit was reached.",
+      failureReason_provider_quota_exceeded_next: "Check the provider account and plan, or switch model or provider before retrying.",
       failureReason_provider_connection_timeout_user: "The provider connection timed out.",
       failureReason_provider_connection_timeout_next: "Check the endpoint and network, then retry.",
       failureReason_provider_dns_failed_user: "The provider hostname could not be resolved.",
@@ -639,6 +641,7 @@
       queuedInputResume: 'Resume',
       queuedInputRemove: 'Remove',
       queuedInputAttachmentsUnsupported: 'Queued follow-ups currently support text and @context. Remove binary attachments before queuing.',
+      attachmentsLoading: 'Attachments are still loading',
       queuedInputError_empty_input: 'Enter a follow-up first.',
       queuedInputError_input_too_long: 'This follow-up is too long to queue.',
       queuedInputError_queue_full: 'The follow-up queue is full.',
@@ -759,6 +762,8 @@
       failureReason_accept_replay_failed_next: 'Inspect the file in Overleaf, then retry.',
       failureReason_native_request_failed_user: 'The request to the local Codex bridge failed.',
       failureReason_native_request_failed_next: 'Open Diagnostics to check the bridge, then retry.',
+      failureReason_native_request_timeout_user: 'The local service did not respond.',
+      failureReason_native_request_timeout_next: 'Retry, or open Diagnostics to check the local connection.',
       failureReason_panel_reload_interrupted_user: 'This run was interrupted by a page refresh.',
       failureReason_panel_reload_interrupted_next: 'Edit and resend the task to continue.',
       failureReason_sensitive_content_blocked_user: 'Sensitive content was found before sending, so Codex did not receive this request.',
@@ -785,6 +790,8 @@
       failureReason_target_editor_not_ready_next: 'Wait for Overleaf to finish loading, then retry.',
       failureReason_stale_source_changed_user: '{file} changed while Codex was working, so Codex did not overwrite it.',
       failureReason_stale_source_changed_next: 'Review the current file, then rerun the task.',
+      failureReason_document_identity_mismatch_user: 'Codex could not confirm that the editor content belongs to the target file, so it was not used.',
+      failureReason_document_identity_mismatch_next: 'Wait for the target file to open and settle, then retry. Reload Overleaf if this continues.',
       failureReason_patch_anchor_not_found_user: 'The edit anchor for {file} no longer matches current Overleaf content.',
       failureReason_patch_anchor_not_found_next: 'Rerun the task against the current document.',
       failureReason_write_observed_mismatch_user: 'Codex attempted to write {file}, but the content read back from Overleaf did not match the approved change.',
@@ -851,6 +858,7 @@
       recentProjects_previewUnavailableHint: 'Saved conversation could not be loaded.',
       recentProjects_conversationGone: 'This conversation is no longer available. Choose another conversation from the refreshed list.',
       recentProjects_continueFailed: 'Could not open the conversation. Please try again.',
+      recentProjects_renameFailed: 'Could not rename the conversation. Your title is still available to edit or copy.',
       recentProjects_welcome_subtitle: 'Conversations saved in this browser',
       recentProjects_empty: 'No conversations saved in this browser yet. Open an Overleaf project and start a Codex conversation.',
       recentProjects_sessions_empty: 'No saved conversations in this project',
@@ -1035,6 +1043,8 @@
       failureReason_provider_request_rejected_next: "请检查模型标识、推理设置、工具支持及自定义请求参数。",
       failureReason_provider_rate_limited_user: "模型服务已达到请求频率限制。",
       failureReason_provider_rate_limited_next: "请等待限流窗口恢复后重试。",
+      failureReason_provider_quota_exceeded_user: "模型服务的配额或账单限额已达到。",
+      failureReason_provider_quota_exceeded_next: "请检查模型服务账户和套餐，或切换模型或模型服务后重试。",
       failureReason_provider_connection_timeout_user: "模型服务连接超时。",
       failureReason_provider_connection_timeout_next: "请检查服务端点和网络，然后重试。",
       failureReason_provider_dns_failed_user: "无法解析模型服务的主机名。",
@@ -1523,6 +1533,7 @@
       queuedInputResume: '继续',
       queuedInputRemove: '删除',
       queuedInputAttachmentsUnsupported: '当前排队消息支持文本和 @context；请先移除二进制附件。',
+      attachmentsLoading: '附件读取中',
       queuedInputError_empty_input: '请先输入后续任务。',
       queuedInputError_input_too_long: '这条后续任务太长，无法排队。',
       queuedInputError_queue_full: '后续任务队列已满。',
@@ -1642,6 +1653,8 @@
       failureReason_accept_replay_failed_next: '请在 Overleaf 中检查该文件后重试。',
       failureReason_native_request_failed_user: '向本地 Codex bridge 的请求失败。',
       failureReason_native_request_failed_next: '打开「诊断」检查 bridge 后重试。',
+      failureReason_native_request_timeout_user: '本机服务没有响应。',
+      failureReason_native_request_timeout_next: '请重试，或打开「诊断」检查本机连接。',
       failureReason_panel_reload_interrupted_user: '页面刷新导致本轮中断。',
       failureReason_panel_reload_interrupted_next: '可编辑后重发任务以继续。',
       failureReason_sensitive_content_blocked_user: '发送前发现敏感内容，Codex 没有收到这次请求。',
@@ -1668,6 +1681,8 @@
       failureReason_target_editor_not_ready_next: '请等 Overleaf 加载完成后再重试。',
       failureReason_stale_source_changed_user: '{file} 在任务执行期间被修改过，Codex 没有覆盖它。',
       failureReason_stale_source_changed_next: '请先查看当前文件内容，再重新运行本轮任务。',
+      failureReason_document_identity_mismatch_user: 'Codex 无法确认编辑器内容属于目标文件，因此没有使用这些内容。',
+      failureReason_document_identity_mismatch_next: '请等目标文件打开并稳定后重试；如果问题持续，请重新加载 Overleaf。',
       failureReason_patch_anchor_not_found_user: '{file} 的修改锚点已经无法和当前 Overleaf 内容对齐。',
       failureReason_patch_anchor_not_found_next: '请基于当前文档重新运行任务。',
       failureReason_write_observed_mismatch_user: 'Codex 尝试写入 {file}，但写入后从 Overleaf 读回的内容与批准的改动不一致。',
@@ -1734,6 +1749,7 @@
       recentProjects_previewUnavailableHint: '已保存的对话暂时无法读取。',
       recentProjects_conversationGone: '该对话已不可用，请从更新后的列表中选择其他对话。',
       recentProjects_continueFailed: '暂时无法打开对话，请重试。',
+      recentProjects_renameFailed: '暂时无法重命名对话，输入的标题仍保留，可继续编辑或复制。',
       recentProjects_welcome_subtitle: '当前浏览器保存的对话',
       recentProjects_empty: '当前浏览器还没有保存的对话。打开一个 Overleaf 项目，与 Codex 开始对话即可。',
       recentProjects_sessions_empty: '该项目还没有保存的对话',

package/extension/src/shared/pageRpcContract.js

@@ -5,7 +5,7 @@
 })(typeof window !== 'undefined' ? window : (typeof globalThis !== 'undefined' ? globalThis : this), function () {
   'use strict';
 
-  var REVISION = '2026-10-19-mode-menu-switch-v52';
+  var REVISION = '2026-10-29-identity-v54';
   var METHODS = freezeCatalog({
     initializeCapability: entry('bridge.initialize', 'control', 'none', 'default', false, 'none'),
     probe: entry('bridge.probe', 'read', 'none', 'default', false, 'safe'),

package/extension/src/shared/projectFiles.js

@@ -67,10 +67,11 @@
         continue;
       }
       seen.add(normalized);
-      result.push(normalized);
       if (result.length >= limit) {
+        result.truncated = true;
         break;
       }
+      result.push(normalized);
     }
     return result;
   }

package/extension/src/shared/scopedPersistenceBrowserAdapter.js

@@ -12,6 +12,7 @@
   'use strict';
 
   var META_PREFIX = 'codex-overleaf-scoped-persistence-v1:';
+  var MIRROR_FENCE_PREFIX = 'codex-overleaf-mirror-reuse-fence-v1:';
   var fallbackMeta = new Map();
   var cleanPart = QueuePolicy.cleanPart;
   var normalizeMeta = QueuePolicy.normalizeMeta;
@@ -74,7 +75,40 @@
     };
   }
 
+  async function getMirrorReuseFences(scope, chromeApi) {
+    chromeApi = chromeApi || (typeof chrome !== 'undefined' ? chrome : null);
+    if (!normalizeScope(scope).projectId || !chromeApi?.storage?.local) throw new Error('Mirror fence storage is unavailable.');
+    var prefix = MIRROR_FENCE_PREFIX + scopeKey(scope).slice(META_PREFIX.length) + ':';
+    var stored = await chromeApi.storage.local.get(null);
+    return Object.keys(stored || {}).filter(key => key.startsWith(prefix)).map(key => {
+      var generation = key.slice(prefix.length);
+      if (!/^[a-zA-Z0-9_-]{1,160}$/.test(generation) || stored[key]?.v !== 1 || stored[key].generation !== generation) {
+        throw new Error('Mirror fence storage contains an unreadable generation.');
+      }
+      return generation;
+    }).sort();
+  }
+
+  async function setMirrorReuseFence(scope, generation, chromeApi) {
+    chromeApi = chromeApi || (typeof chrome !== 'undefined' ? chrome : null);
+    if (!normalizeScope(scope).projectId || !chromeApi?.storage?.local
+      || !/^[a-zA-Z0-9_-]{1,160}$/.test(generation)) throw new Error('Mirror fence storage is unavailable.');
+    var key = MIRROR_FENCE_PREFIX + scopeKey(scope).slice(META_PREFIX.length) + ':' + generation;
+    await chromeApi.storage.local.set({ [key]: { v: 1, generation } });
+  }
+
+  async function clearMirrorReuseFences(scope, generations, chromeApi) {
+    chromeApi = chromeApi || (typeof chrome !== 'undefined' ? chrome : null);
+    if (!normalizeScope(scope).projectId || !chromeApi?.storage?.local || !Array.isArray(generations)
+      || generations.some(generation => !/^[a-zA-Z0-9_-]{1,160}$/.test(generation))) throw new Error('Mirror fence storage is unavailable.');
+    var prefix = MIRROR_FENCE_PREFIX + scopeKey(scope).slice(META_PREFIX.length) + ':';
+    await chromeApi.storage.local.remove(generations.map(generation => prefix + generation));
+  }
+
   return Object.freeze({
+    getMirrorReuseFences: getMirrorReuseFences,
+    setMirrorReuseFence: setMirrorReuseFence,
+    clearMirrorReuseFences: clearMirrorReuseFences,
     createBrowserAdapter: createBrowserAdapter,
     normalizeScope: normalizeScope,
     scopeKey: scopeKey

package/extension/src/shared/staleGuard.js

@@ -7,6 +7,63 @@
 })(typeof globalThis !== 'undefined' ? globalThis : window, function staleGuardFactory() {
   'use strict';
 
+  const DOCUMENT_PROVENANCE_OTHER_MIN = 0.9;
+  const DOCUMENT_PROVENANCE_CLAIMED_MAX = 0.5;
+  const DOCUMENT_PROVENANCE_EDGE_LIMIT = 64 * 1024;
+
+  function assessDocumentProvenance(input = {}) {
+    const { path, projectId, documentIdentity } = input || {};
+    if (documentIdentity !== undefined) {
+      const valid = documentIdentity && typeof documentIdentity === 'object' && !Array.isArray(documentIdentity)
+        && documentIdentity.version === 1 && documentIdentity.source === 'cm-ranges-v1'
+        && typeof projectId === 'string' && projectId.length > 0 && documentIdentity.projectId === projectId
+        && typeof path === 'string' && path.length > 0 && documentIdentity.path === path
+        && typeof documentIdentity.documentId === 'string' && typeof documentIdentity.targetDocumentId === 'string'
+        && /^[a-f0-9]{24}$/.test(documentIdentity.documentId)
+        && /^[a-f0-9]{24}$/.test(documentIdentity.targetDocumentId)
+        && documentIdentity.documentId === documentIdentity.targetDocumentId;
+      return valid ? { ok: true, identityState: 'match' }
+        : { ok: false, code: 'document_identity_mismatch', identityState: 'mismatch' };
+    }
+    try {
+      const { path, text, references } = input || {};
+      if (typeof text !== 'string' || !references) return { ok: true, identityState: 'fallback' };
+      const entries = references instanceof Map ? references : Object.entries(references);
+      const claimed = references instanceof Map ? references.get(path)
+        : Object.prototype.hasOwnProperty.call(references, path) ? references[path] : undefined;
+      if (text === claimed) return { ok: true, identityState: 'fallback' };
+      let matchedPath, bestScore = -1;
+      for (const [otherPath, reference] of entries) {
+        if (otherPath === path || typeof reference !== 'string') continue;
+        if (text === reference) return { ok: false, code: 'document_identity_mismatch', identityState: 'fallback', matchedPath: otherPath };
+        const score = documentSimilarity(text, reference);
+        if (score > bestScore) { bestScore = score; matchedPath = otherPath; }
+      }
+      if (bestScore >= DOCUMENT_PROVENANCE_OTHER_MIN
+        && (typeof claimed !== 'string' || documentSimilarity(text, claimed) < DOCUMENT_PROVENANCE_CLAIMED_MAX)) {
+        return { ok: false, code: 'document_identity_mismatch', identityState: 'fallback', matchedPath };
+      }
+    } catch (_error) {
+      // Unavailable references supply no contradictory evidence.
+    }
+    return { ok: true, identityState: 'fallback' };
+  }
+
+  // Shared prefix + non-overlapping suffix / longer length. For large files,
+  // sample at most 64 Ki UTF-16 units at each edge and cap the denominator at
+  // twice that limit. Exact equality above still compares the complete text.
+  // No token arrays or quadratic diff: total work is O(total reference text),
+  // with bounded per-reference similarity work and constant auxiliary memory.
+  function documentSimilarity(left, right) {
+    const length = Math.min(left.length, right.length);
+    let prefix = 0, suffix = 0;
+    while (prefix < Math.min(length, DOCUMENT_PROVENANCE_EDGE_LIMIT) && left[prefix] === right[prefix]) prefix++;
+    while (suffix < Math.min(length - prefix, DOCUMENT_PROVENANCE_EDGE_LIMIT)
+      && left[left.length - suffix - 1] === right[right.length - suffix - 1]) suffix++;
+    const denominator = Math.min(Math.max(left.length, right.length), 2 * DOCUMENT_PROVENANCE_EDGE_LIMIT);
+    return denominator ? (prefix + suffix) / denominator : 1;
+  }
+
   function buildBaseFileLookup(files) {
     if (!Array.isArray(files) || files.length === 0) {
       return null;
@@ -262,6 +319,7 @@
   }
 
   return {
+    assessDocumentProvenance,
     buildBaseFileLookup,
     checkOperationFreshness,
     prepareOperationPatches,

package/extension/src/shared/storageMigration.js

@@ -23,6 +23,101 @@
     'selectedLocalSkillIdsByProject'
   ];
   var projectPreferenceLockTails = {};
+  var projectPreferenceBaselines = new Map();
+  var projectPreferenceIntents = new Map();
+  var projectPreferenceBaselineVersions = new WeakMap();
+
+  function getProjectPreferenceBaseline(accountScopeId, projectId) {
+    var key = buildScopedProjectPreferenceKey(accountScopeId, projectId);
+    var baseline = copyPreferenceValue(projectPreferenceBaselines.get(key));
+    var intents = projectPreferenceIntents.get(key);
+    if (baseline && intents) projectPreferenceBaselineVersions.set(baseline, {
+      owner: intents, versions: Object.assign({}, intents.acknowledged)
+    });
+    return baseline;
+  }
+
+  function adoptProjectPreferenceBaseline(prefs, accountScopeId, projectId) {
+    var key = buildScopedProjectPreferenceKey(accountScopeId, projectId);
+    if (key) {
+      projectPreferenceBaselines.set(key, copyPreferenceValue(prefs));
+      projectPreferenceIntents.set(key, { revision: 0, fields: {}, acknowledged: {} });
+    }
+  }
+
+  function captureProjectPreferenceWrite(input) {
+    var projectId = input.projectId;
+    var key = buildScopedProjectPreferenceKey(input.accountScopeId, projectId);
+    if (!key) return null;
+    var intents = projectPreferenceIntents.get(key);
+    if (!intents) {
+      intents = { revision: 0, fields: {}, acknowledged: {} };
+      projectPreferenceIntents.set(key, intents);
+    }
+    function values(prefs) {
+      return {
+        experimentalOtByProject: input.normalizeExperimentalOtByProject(prefs.experimentalOtByProject)[projectId] === true,
+        reviewingAvailabilityByProject: prefs.reviewingAvailabilityByProject?.[projectId],
+        governanceRulesByProject: input.normalizeGovernanceRulesByProject({
+          [projectId]: prefs.governanceRulesByProject?.[projectId] || {}
+        })[projectId],
+        customInstructionsByProject: input.normalizeCustomInstructionsByProject({
+          [projectId]: prefs.customInstructionsByProject?.[projectId] || ''
+        })[projectId]
+      };
+    }
+    var baseline = input.baseline || getProjectPreferenceBaseline(input.accountScopeId, projectId);
+    var captured = projectPreferenceBaselineVersions.get(baseline);
+    var versions = captured?.owner === intents ? captured.versions : {};
+    var previous = values(baseline || {});
+    var current = values(input.state);
+    var token = { key: key, owner: intents, projectId: projectId, fields: {}, versions: {}, written: [] };
+    for (var name of Object.keys(current)) {
+      var latest = intents.fields[name];
+      // A pending or later local intent supersedes the older captured read.
+      // Peer adoption alone does not turn an unchanged queued snapshot into an edit.
+      var reference = latest && latest.revision > (versions[name] || 0) ? latest.value : previous[name];
+      if (JSON.stringify(current[name]) !== JSON.stringify(reference)) {
+        latest = { revision: ++intents.revision, value: copyPreferenceValue(current[name]), dirty: true };
+        intents.fields[name] = latest;
+      }
+      token.fields[name] = latest && JSON.stringify(current[name]) === JSON.stringify(latest.value) ? latest : null;
+      token.versions[name] = latest?.revision || 0;
+    }
+    return token;
+  }
+
+  function projectPreferencePatch(token, accountScopeId, projectId) {
+    if (token.key !== buildScopedProjectPreferenceKey(accountScopeId, projectId)) {
+      throw Object.assign(new Error('Scoped project preferences require account and project identity.'), {
+        code: 'account_scope_unavailable'
+      });
+    }
+    var current = projectPreferenceIntents.get(token.key) === token.owner;
+    var patch = {};
+    token.written = [];
+    for (var name of Object.keys(token.fields)) {
+      var intent = token.fields[name];
+      var changed = current && intent?.dirty && token.owner.fields[name] === intent;
+      patch[name] = changed ? { [token.projectId]: copyPreferenceValue(intent.value) } : {};
+      if (changed) token.written.push(name);
+    }
+    return patch;
+  }
+
+  function completeProjectPreferenceWrite(token, prefs) {
+    if (projectPreferenceIntents.get(token.key) !== token.owner) return [];
+    for (var name of token.written) {
+      var intent = token.fields[name];
+      intent.dirty = false;
+      token.owner.acknowledged[name] = Math.max(token.owner.acknowledged[name] || 0, intent.revision);
+    }
+    projectPreferenceBaselines.set(token.key, copyPreferenceValue(prefs));
+    return Object.keys(token.fields).filter(function (name) {
+      var latest = token.owner.fields[name];
+      return (latest?.revision || 0) === token.versions[name] && !latest?.dirty;
+    });
+  }
 
   function buildScopedProjectPreferenceKey(accountScopeId, projectId) {
     var account = compactScopePart(accountScopeId);
@@ -170,6 +265,7 @@
       var visible = await StorageDb.claimSessionsForAccount(projectId, account, deleted);
       function result(currentPrefs, sessions, migrated) {
         var wanted = currentPrefs.activeSessionByProject?.[projectId] || '';
+        adoptProjectPreferenceBaseline(currentPrefs, account, projectId);
         return { prefs: currentPrefs, sessions: sessions,
           activeSessionId: sessions.some(session => session.id === wanted) ? wanted : sessions.at(-1)?.id || '',
           migrated: migrated };
@@ -260,7 +356,9 @@
       return chrome.storage.local.get([PREFS_KEY]).then(function (stored) {
         var claimed = claimLegacyProjectPreferences(stored[PREFS_KEY] || {}, account, project);
         var next = mergeScopedProjectPreferences(claimed.prefs, prefs, account, project);
-        return chrome.storage.local.set({ [PREFS_KEY]: next });
+        return chrome.storage.local.set({ [PREFS_KEY]: next }).then(function () {
+          return buildProjectPreferenceView(next, account, project);
+        });
       });
     });
   }
@@ -464,6 +562,11 @@
     runMigrationIfNeeded: runMigrationIfNeeded,
     savePrefs: savePrefs,
     loadPrefs: loadPrefs,
+    getProjectPreferenceBaseline: getProjectPreferenceBaseline,
+    adoptProjectPreferenceBaseline: adoptProjectPreferenceBaseline,
+    captureProjectPreferenceWrite: captureProjectPreferenceWrite,
+    projectPreferencePatch: projectPreferencePatch,
+    completeProjectPreferenceWrite: completeProjectPreferenceWrite,
     loadSessionTombstones: loadSessionTombstones,
     addSessionTombstones: addSessionTombstones,
     getDeletedSessionIds: getDeletedSessionIds,