codex-overleaf-link 2.5.0 → 2.6.0

package/extension/src/shared/lineReferences.js

@@ -227,20 +227,20 @@
 
   function collectMarkdownTargetReferences(text, mode, refs) {
     const normalizedText = stripReferenceQueryAndHash(String(text || '').trim());
-    const match = normalizedText.match(new RegExp(`^(.+?\\.${TEXT_EXTENSION_PATTERN}):(\\d+)(?::(\\d+))?$`, 'i'));
+    const match = normalizedText.match(new RegExp(`^(.+?\\.${TEXT_EXTENSION_PATTERN}):(\\d+)(?:[-–](\\d+)|:(\\d+))?$`, 'i'));
     if (!match) {
       return;
     }
-    const line = parsePositiveInteger(match[2]);
-    const column = match[3] ? parsePositiveInteger(match[3]) : null;
-    if (!line || (match[3] && !column)) {
+    const span = parseLineSpan(match[2], match[3]);
+    const column = match[4] ? parsePositiveInteger(match[4]) : null;
+    if (!span || (match[4] && !column)) {
       return;
     }
     refs.push({
       rawText: text,
       displayText: text,
       rawPath: match[1],
-      line,
+      ...span,
       column,
       source: mode,
       index: 0
@@ -248,12 +248,14 @@
   }
 
   function collectColonReferences(text, mode, refs) {
-    const pattern = new RegExp(`${REFERENCE_PREFIX_PATTERN}${PATH_PATTERN}:(\\d+)(?::(\\d+))?(?![-:\\d])`, 'gi');
+    // Range/column suffixes are mutually exclusive; malformed spans must not
+    // backtrack into a shorter reference, including decimal/exponent endpoints.
+    const pattern = new RegExp(`${REFERENCE_PREFIX_PATTERN}${PATH_PATTERN}:(\\d+)(?:[-–](\\d+)(?!\\.\\d|e[+-]?\\d)|:(\\d+))?(?![-–:\\d]|(?:\\.\\d+)?(?:e[+-]?\\d+)?[-–])`, 'gi');
     let match;
     while ((match = pattern.exec(text)) !== null) {
-      const line = parsePositiveInteger(match[3]);
-      const column = match[4] ? parsePositiveInteger(match[4]) : null;
-      if (!line || (match[4] && !column)) {
+      const span = parseLineSpan(match[3], match[4]);
+      const column = match[5] ? parsePositiveInteger(match[5]) : null;
+      if (!span || (match[5] && !column)) {
         continue;
       }
       const prefixLength = match[1].length;
@@ -262,7 +264,7 @@
         rawText,
         displayText: rawText,
         rawPath: match[2],
-        line,
+        ...span,
         column,
         source: mode,
         index: match.index + prefixLength
@@ -271,20 +273,20 @@
   }
 
   function collectLineWordReferences(text, mode, refs) {
-    const pattern = new RegExp(`${REFERENCE_PREFIX_PATTERN}${PATH_PATTERN}\\s+line\\s+(\\d+)(?![-:\\d])`, 'gi');
+    const pattern = new RegExp(`${REFERENCE_PREFIX_PATTERN}${PATH_PATTERN}\\s+line(?:s(?=\\s+\\d+[-–]))?\\s+(\\d+)(?:[-–](\\d+)(?!\\.\\d|e[+-]?\\d))?(?![-–:\\d]|(?:\\.\\d+)?(?:e[+-]?\\d+)?[-–])`, 'gi');
     let match;
     while ((match = pattern.exec(text)) !== null) {
-      const line = parsePositiveInteger(match[3]);
-      if (!line) {
+      const span = parseLineSpan(match[3], match[4]);
+      if (!span) {
         continue;
       }
       const prefixLength = match[1].length;
       const rawText = match[0].slice(prefixLength);
       refs.push({
         rawText,
-        displayText: `${match[2]}:${line}`,
+        displayText: `${match[2]}:${span.line}${span.endLine ? `–${span.endLine}` : ''}`,
         rawPath: match[2],
-        line,
+        ...span,
         column: null,
         source: mode,
         index: match.index + prefixLength
@@ -293,20 +295,20 @@
   }
 
   function collectChineseLineReferences(text, mode, refs) {
-    const pattern = new RegExp(`${REFERENCE_PREFIX_PATTERN}${PATH_PATTERN}\\s+第\\s*(\\d+)\\s*行`, 'gi');
+    const pattern = new RegExp(`${REFERENCE_PREFIX_PATTERN}${PATH_PATTERN}\\s+第\\s*(\\d+)(?:\\s*[-–至]\\s*(\\d+))?\\s*行`, 'gi');
     let match;
     while ((match = pattern.exec(text)) !== null) {
-      const line = parsePositiveInteger(match[3]);
-      if (!line) {
+      const span = parseLineSpan(match[3], match[4]);
+      if (!span) {
         continue;
       }
       const prefixLength = match[1].length;
       const rawText = match[0].slice(prefixLength);
       refs.push({
         rawText,
-        displayText: `${match[2]}:${line}`,
+        displayText: `${match[2]}:${span.line}${span.endLine ? `–${span.endLine}` : ''}`,
         rawPath: match[2],
-        line,
+        ...span,
         column: null,
         source: mode,
         index: match.index + prefixLength
@@ -361,13 +363,13 @@
       projectFiles
     });
     if (resolved) {
-      return `${resolved.path}:${ref.line}${ref.column ? `:${ref.column}` : ''}`;
+      return `${resolved.path}:${ref.line}${ref.endLine ? `-${ref.endLine}` : ref.column ? `:${ref.column}` : ''}`;
     }
-    return formatLocalPathPlaceholder(ref.line, placeholderBrackets);
+    return formatLocalPathPlaceholder(ref.line, placeholderBrackets, ref.endLine);
   }
 
-  function formatLocalPathPlaceholder(line, includeBrackets) {
-    const value = line ? `local path:${line}` : 'local path';
+  function formatLocalPathPlaceholder(line, includeBrackets, endLine) {
+    const value = line ? `local path:${line}${endLine ? `-${endLine}` : ''}` : 'local path';
     return includeBrackets ? `[${value}]` : value;
   }
 
@@ -383,7 +385,7 @@
   }
 
   function stripReferenceQueryAndHash(value) {
-    return String(value || '').replace(/([:.]\d+(?::\d+)?)(?:[?#].*)$/, '$1');
+    return String(value || '').replace(/([:.]\d+(?:[-–]\d+|:\d+)?)(?:[?#].*)$/, '$1');
   }
 
   function collectTextProjectFiles(projectFiles) {
@@ -423,18 +425,13 @@
   function shouldSkipReference(ref) {
     const rawPath = String(ref.rawPath || '');
     return /^https?:\/\//i.test(rawPath)
-      || isEmailLikePath(rawPath)
-      || hasUnsafeLineRange(ref.rawText);
+      || isEmailLikePath(rawPath);
   }
 
   function isEmailLikePath(rawPath) {
     return /^[^@\s/\\]+@[^@\s/\\]+$/.test(rawPath);
   }
 
-  function hasUnsafeLineRange(rawText) {
-    return /:\d+-\d+(?=$|[^\d])/.test(rawText);
-  }
-
   function hasUnsafePathSegments(path) {
     return normalizeReferencePath(path)
       .split('/')
@@ -455,6 +452,15 @@
     return parsed;
   }
 
+  function parseLineSpan(rawLine, rawEndLine) {
+    const line = parsePositiveInteger(rawLine);
+    const endLine = rawEndLine === undefined ? null : parsePositiveInteger(rawEndLine);
+    if (!line || (rawEndLine !== undefined && (!endLine || endLine < line))) {
+      return null;
+    }
+    return { line, ...(endLine > line ? { endLine } : {}) };
+  }
+
   function getBasename(path) {
     const parts = String(path || '').split('/');
     return parts[parts.length - 1] || '';
@@ -477,6 +483,7 @@
       displayText: ref.displayText,
       rawPath: ref.rawPath,
       line: ref.line,
+      ...(ref.endLine ? { endLine: ref.endLine } : {}),
       column: ref.column,
       source: ref.source
     };

package/extension/src/shared/managedUpdateProjection.js

@@ -5,9 +5,9 @@
     waiting: 'waiting_for_idle',
     waiting_for_safe_point: 'waiting_for_idle',
     awaiting_health_check: 'awaiting_health',
-    health_checking: 'awaiting_health'
+    health_checking: 'awaiting_health',
+    bootstrap_pending: 'awaiting_health'
   });
-
   const PHASES = Object.freeze([
     'idle',
     'up_to_date',

package/extension/src/shared/nativeRequestIdentity.js

@@ -55,6 +55,7 @@
 
   return Object.freeze({
     MAX_REQUEST_ID_CHARS,
+    validate,
     resolve
   });
 });

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-09-27-writing-style-references-v33';
+  var REVISION = '2026-10-19-mode-menu-switch-v52';
   var METHODS = freezeCatalog({
     initializeCapability: entry('bridge.initialize', 'control', 'none', 'default', false, 'none'),
     probe: entry('bridge.probe', 'read', 'none', 'default', false, 'safe'),
@@ -20,12 +20,13 @@
     ensureReviewing: entry('reviewing.enable', 'page_state', 'optional', 'default', true, 'idempotent'),
     ensureEditing: entry('reviewing.disable', 'page_state', 'optional', 'default', true, 'idempotent'),
     applyOperations: entry('document.write', 'document', 'required', 'writeback', true, 'no_retry'),
-    getWritebackReceipt: entry('writeback.receipt', 'read', 'required', 'default', true, 'safe'),
+    // Receipts settle already-dispatched writes after cancellation; their RPC deadlines still apply.
+    getWritebackReceipt: entry('writeback.receipt', 'read', 'required', 'default', false, 'safe'),
     getSelectionContext: entry('editor.selection', 'read', 'required', 'default', true, 'safe'),
-    binaryUploadBegin: entry('asset.stage', 'cache', 'required', 'default', false, 'no_retry'),
+    binaryUploadBegin: entry('asset.stage', 'cache', 'required', 'default', true, 'no_retry'),
     binaryUploadAppend: entry('asset.stage', 'cache', 'none', 'writeback', true, 'no_retry'),
     binaryUploadCommit: entry('asset.write', 'document', 'required', 'writeback', true, 'no_retry'),
-    binaryUploadStatus: entry('asset.receipt', 'read', 'required', 'default', true, 'safe'),
+    binaryUploadStatus: entry('asset.receipt', 'read', 'required', 'default', false, 'safe'),
     binaryUploadAbort: entry('asset.stage', 'cache', 'none', 'default', false, 'idempotent'),
     jumpToPosition: entry('editor.navigate', 'navigation', 'required', 'default', false, 'idempotent'),
     reconcileTrackedChangeCapture: entry('tracked_changes.read', 'read', 'required', 'default', false, 'safe'),

package/extension/src/shared/panelIcons.js

@@ -0,0 +1,39 @@
+(function initPanelIcons(root, factory) {
+  if (typeof module === 'object' && module.exports) module.exports = factory();
+  else root.CodexOverleafModuleRegistry.define('PanelIcons', [], factory);
+})(typeof globalThis !== 'undefined' ? globalThis : window, function panelIconsFactory() {
+  'use strict';
+
+  // 16-unit line icons drawn in the panel header's codexIcon style. Size and
+  // color come from the caller; `.codex-glyph` supplies stroke and caps.
+  const PATHS = Object.freeze({
+    plus: '<path d="M8 3.2v9.6M3.2 8h9.6"/>',
+    send: '<path d="M8 12.8V3.6"/><path d="m4.2 7.4 3.8-3.8 3.8 3.8"/>',
+    stop: '<rect x="4.4" y="4.4" width="7.2" height="7.2" rx="1.6" fill="currentColor" stroke="none"/>',
+    attach: '<path d="m12.6 7.4-4.8 4.8a3 3 0 0 1-4.2-4.2l5-5a2 2 0 0 1 2.8 2.8l-4.9 4.9a1 1 0 0 1-1.4-1.4l4.4-4.4"/>',
+    refresh: '<path d="M4.2 5.3A5 5 0 1 1 3.6 10"/><path d="M4.2 2.2v3.1H1.1"/>',
+    sparkle: '<path d="M7.4 2.6c.5 2.6 1.8 3.9 4.4 4.4-2.6.5-3.9 1.8-4.4 4.4C6.9 8.8 5.6 7.5 3 7c2.6-.5 3.9-1.8 4.4-4.4Z"/><path d="M12.3 10.5c.2 1 .7 1.5 1.7 1.7-1 .2-1.5.7-1.7 1.7-.2-1-.7-1.5-1.7-1.7 1-.2 1.5-.7 1.7-1.7Z"/>',
+    close: '<path d="m4.6 4.6 6.8 6.8M11.4 4.6l-6.8 6.8"/>',
+    pencil: '<path d="M10.4 3.1 12.9 5.6 6 12.5l-3.1.6.6-3.1Z"/><path d="m9.2 4.3 2.5 2.5"/>',
+    chevronDown: '<path d="m4.4 6.4 3.6 3.6 3.6-3.6"/>',
+    chevronLeft: '<path d="m9.8 3.6-4.4 4.4 4.4 4.4"/>',
+    lock: '<rect x="3.6" y="7.1" width="8.8" height="6.3" rx="1.5"/><path d="M5.6 7.1V5.3a2.4 2.4 0 0 1 4.8 0v1.8"/>',
+    compact: '<path d="M4.6 2.4 8 5.6l3.4-3.2"/><path d="M4.6 13.6 8 10.4l3.4 3.2"/><path d="M2.6 8h10.8"/>',
+    install: '<path d="M8 2.4v7.4"/><path d="m4.8 6.8 3.2 3.2 3.2-3.2"/><path d="M2.6 11v1.5c0 .6.4 1 1 1h8.8c.6 0 1-.4 1-1V11"/>',
+    book: '<path d="M8 4.3c-1.3-1.1-3-1.5-5.2-1.4v9.3c2.2-.1 3.9.3 5.2 1.4 1.3-1.1 3-1.5 5.2-1.4V2.9C11 2.8 9.3 3.2 8 4.3Z"/><path d="M8 4.3v9.3"/>',
+    terminal: '<rect x="2.1" y="2.9" width="11.8" height="10.2" rx="2"/><path d="m5 6.4 2 1.7-2 1.7"/><path d="M8.7 10h2.5"/>',
+    file: '<path d="M9.2 2.4H4.6a1 1 0 0 0-1 1v9.2a1 1 0 0 0 1 1h6.8a1 1 0 0 0 1-1V5.6Z"/><path d="M9.2 2.4v3.2h3.2"/>',
+    folder: '<path d="M2.2 4.4a1 1 0 0 1 1-1h3l1.4 1.6h5.2a1 1 0 0 1 1 1v6.4a1 1 0 0 1-1 1H3.2a1 1 0 0 1-1-1Z"/>',
+    alert: '<circle cx="8" cy="8" r="5.9"/><path d="M8 5v3.5"/><path d="M8 11h.01"/>',
+    spin: '<path d="M13.6 8A5.6 5.6 0 1 1 8 2.4"/>'
+  });
+
+  function svg(name, className = '') {
+    const paths = PATHS[name];
+    if (!paths) return '';
+    return '<svg class="codex-glyph' + (className ? ' ' + className : '') + '" viewBox="0 0 16 16" aria-hidden="true" focusable="false">'
+      + paths + '</svg>';
+  }
+
+  return { svg };
+});

package/extension/src/shared/projectFiles.js

@@ -83,55 +83,31 @@
       .replace(/^\/+/, '');
   }
 
+  // Project metadata, ZIP names and operation paths are already literal names.
+  // Decoding here would alias e.g. "a%20b.tex" with "a b.tex".
   function normalizeSafeProjectPath(value) {
-    if (typeof value !== 'string') {
-      return '';
-    }
-    if (hasControlCharacter(value)) {
-      return '';
-    }
-    const trimmed = value.trim();
-    if (!trimmed || trimmed.length > MAX_SAFE_PROJECT_PATH_LENGTH) {
-      return '';
-    }
-    if (trimmed.startsWith('/') || trimmed.includes('\\') || hasWindowsDrivePrefix(trimmed)) {
-      return '';
-    }
+    if (typeof value !== 'string' || !value || value.length > MAX_SAFE_PROJECT_PATH_LENGTH || value.trim() !== value
+      || hasControlCharacter(value) || value.startsWith('/') || value.includes('\\')
+      || hasWindowsDrivePrefix(value)) return '';
+    return value.split('/').some(segment => !segment || segment === '.' || segment === '..') ? '' : value;
+  }
 
-    let decoded = trimmed;
+  // Use only at an explicitly URL-encoded input boundary. Return one decoding,
+  // while conservatively checking nested encodings for traversal/separators.
+  function normalizeUrlEncodedProjectPath(value) {
+    if (typeof value !== 'string' || hasEncodedSeparator(value)) return '';
+    let decoded;
+    try { decoded = decodeURIComponent(value); } catch (_error) { return ''; }
+    const result = normalizeSafeProjectPath(decoded);
+    if (!result) return '';
     for (let index = 0; index < 3; index += 1) {
-      if (hasEncodedSeparator(decoded)) {
-        return '';
-      }
+      if (hasEncodedSeparator(decoded) || !normalizeSafeProjectPath(decoded)) return '';
       let next;
-      try {
-        next = decodeURIComponent(decoded);
-      } catch (_error) {
-        return '';
-      }
-      if (next === decoded) {
-        break;
-      }
+      try { next = decodeURIComponent(decoded); } catch (_error) { break; }
+      if (next === decoded) break;
       decoded = next;
     }
-
-    if (hasControlCharacter(decoded)
-      || decoded.startsWith('/')
-      || decoded.includes('\\')
-      || hasWindowsDrivePrefix(decoded)
-      || decoded.length > MAX_SAFE_PROJECT_PATH_LENGTH) {
-      return '';
-    }
-
-    const normalized = decoded.replace(/\/+/g, '/').trim();
-    if (!normalized || normalized.length > MAX_SAFE_PROJECT_PATH_LENGTH) {
-      return '';
-    }
-    const segments = normalized.split('/');
-    if (segments.some(segment => !segment || segment === '.' || segment === '..')) {
-      return '';
-    }
-    return normalized;
+    return hasEncodedSeparator(decoded) || !normalizeSafeProjectPath(decoded) ? '' : result;
   }
 
   function assertSafeProjectPath(value, label = 'path') {
@@ -175,6 +151,7 @@
     isUsableProjectFileContent,
     isTextProjectPath,
     normalizePath,
-    normalizeSafeProjectPath
+    normalizeSafeProjectPath,
+    normalizeUrlEncodedProjectPath
   };
 });

package/extension/src/shared/providerProfiles.js

@@ -167,7 +167,8 @@
       anthropicThinkingMode: normalizeAnthropicThinkingMode(value.anthropicThinkingMode),
       anthropicPromptCaching: value.anthropicPromptCaching === true,
       impersonateClaudeCode: value.impersonateClaudeCode === true,
-      maxOutputTokens: normalizeMaxOutputTokens(value.maxOutputTokens),
+      maxOutputTokens: normalizeMaxOutputTokens(value.maxOutputTokens, value.outputBudgetVersion !== 1),
+      outputBudgetVersion: 1,
       hasSecret: value.hasSecret === true,
       secretUpdatedAt: normalizeInteger(value.secretUpdatedAt),
       endpointDisclosureHost: normalizeText(value.endpointDisclosureHost),
@@ -262,6 +263,7 @@
       anthropicPromptCaching: false,
       impersonateClaudeCode: false,
       maxOutputTokens: 65536,
+      outputBudgetVersion: 1,
       hasSecret: false,
       secretUpdatedAt: 0,
       endpointDisclosureHost: '',
@@ -380,9 +382,9 @@
     return Number.isFinite(number) && number >= 0 ? Math.floor(number) : 0;
   }
 
-  function normalizeMaxOutputTokens(value) {
+  function normalizeMaxOutputTokens(value, legacy = false) {
     const number = normalizeInteger(value);
-    if (!number || number === 8192 || number === 32768) return 65536;
+    if (!number || (legacy && (number === 8192 || number === 32768))) return 65536;
     return Math.min(65536, Math.max(256, number));
   }
 

package/extension/src/shared/reviewing.js

@@ -77,6 +77,135 @@
     };
   }
 
+  const UNAVAILABLE_TTL_MS = 7 * 24 * 60 * 60 * 1000;
+  // Keep all upgrade-dialog selectors here: Overleaf DOM acceptance may recalibrate them.
+  const UPGRADE_MODAL_SELECTORS = Object.freeze({
+    body: '.upgrade-track-changes-modal',
+    modal: '.modal[role="dialog"], [role="dialog"][aria-modal="true"]',
+    close: '.modal-header button.btn-close, .modal-header button.close'
+  });
+
+  function visible(node) {
+    if (!node || !node.isConnected || node.hidden || node.getAttribute?.('aria-hidden') === 'true') return false;
+    const style = node.ownerDocument?.defaultView?.getComputedStyle(node);
+    return style?.display !== 'none' && style?.visibility !== 'hidden' && node.getClientRects().length > 0;
+  }
+
+  function findUpgradeModal(doc) {
+    for (const body of doc?.querySelectorAll(UPGRADE_MODAL_SELECTORS.body) || []) {
+      const modal = body.closest(UPGRADE_MODAL_SELECTORS.modal);
+      if (visible(body) && visible(modal)) return modal;
+    }
+    return null;
+  }
+
+  async function dismissUpgradeModal(modal, { delay, assertCurrent }) {
+    const isOpen = () => visible(modal);
+    const waitClosed = async () => {
+      for (let i = 0; i < 6 && isOpen(); i++) { await delay(80); assertCurrent(); }
+    };
+    assertCurrent();
+    const close = modal.querySelector(UPGRADE_MODAL_SELECTORS.close);
+    if (visible(close) && !close.disabled) close.click();
+    await waitClosed();
+    if (isOpen()) {
+      assertCurrent();
+      const KeyboardEvent = modal.ownerDocument.defaultView.KeyboardEvent;
+      modal.dispatchEvent(new KeyboardEvent('keydown', { key: 'Escape', code: 'Escape', keyCode: 27, bubbles: true }));
+      await waitClosed();
+    }
+    return !isOpen();
+  }
+
+  // Page owns state/identity; this controller owns the click/poll/upgrade stop sequence.
+  async function toggleMode(enabled, params, deps) {
+    const { assertCurrent, delay, getState, isConfirmed, click, findControls, findOption } = deps;
+    let attempted = false;
+    const inspect = async () => {
+      assertCurrent();
+      const modal = findUpgradeModal(deps.document);
+      if (enabled && modal) {
+        const evidence = { upgradeModal: true, dismissed: await dismissUpgradeModal(modal, deps) };
+        return { ok: false, code: 'reviewing_unavailable', attempted, evidence,
+          failure: deps.buildFailure('reviewing_unavailable', {
+            operationType: 'ensureReviewing', changedDocument: false, evidence
+          }) };
+      }
+      const state = getState();
+      return { ok: isConfirmed(enabled, state), attempted, reviewing: state.reviewing };
+    };
+    const poll = async waitMs => {
+      let result = await inspect();
+      for (let elapsed = 0; !result.ok && !result.code && elapsed < waitMs; elapsed += 120) {
+        await delay(120);
+        result = await inspect();
+      }
+      return result;
+    };
+    const waitMs = Number.isFinite(Number(params.waitMs)) ? Math.max(0, Number(params.waitMs)) : 1600;
+    const menuWaitMs = Math.min(waitMs, 1200);
+    const selectVisibleOption = async () => {
+      const option = findOption(enabled);
+      if (!option) return null;
+      assertCurrent(); click(option); attempted = true;
+      return poll(waitMs);
+    };
+    let result = await inspect();
+    if (result.ok || result.code) return result;
+    // An open menu must be consumed before a toggle can close it.
+    let selected = await selectVisibleOption();
+    if (selected) return selected;
+    for (const control of [...new Set(findControls().filter(Boolean))]) {
+      result = await inspect();
+      if (result.ok || result.code) return result;
+      selected = await selectVisibleOption();
+      if (selected) return selected;
+      if (control.getAttribute?.('aria-expanded') !== 'true') {
+        assertCurrent(); click(control); attempted = true;
+      }
+      // Menu mounting and target-mode confirmation have separate bounded waits.
+      for (let elapsed = 0; ; ) {
+        result = await inspect();
+        if (result.ok || result.code) return result;
+        selected = await selectVisibleOption();
+        if (selected) return selected;
+        if (elapsed >= menuWaitMs) break;
+        const step = Math.min(100, menuWaitMs - elapsed);
+        await delay(step);
+        elapsed += step;
+      }
+    }
+    return inspect();
+  }
+
+  function knownUnavailable(record, now = Date.now()) {
+    return record?.status === 'unavailable' && Number.isFinite(record.observedAt)
+      && now >= record.observedAt && now - record.observedAt < UNAVAILABLE_TTL_MS;
+  }
+
+  // Content preflight invokes this before dispatch. Only explicit choices can lower the policy.
+  async function resolveWritePolicy({ requireReviewing, knownUnavailable: unavailable }, deps) {
+    deps.assertCurrent();
+    let result = unavailable && requireReviewing
+      ? { ok: false, code: 'reviewing_unavailable', evidence: { upgradeModal: true, remembered: true } }
+      : await deps.ensureMode(requireReviewing);
+    deps.assertCurrent();
+    if (requireReviewing && result.ok) await deps.observe('available', 'reviewing_confirmed');
+    if (requireReviewing && result.code === 'reviewing_unavailable') {
+      if (!unavailable) await deps.observe('unavailable', 'upgrade_modal');
+      deps.assertCurrent();
+      const choice = await deps.choose(result);
+      deps.assertCurrent();
+      if (choice !== 'continue' && choice !== 'disable') return { ...result, ok: false };
+      await deps.applyUntracked(choice);
+      deps.assertCurrent();
+      result = await deps.ensureMode(false);
+      deps.assertCurrent();
+      return { ...result, requireReviewing: false, trackingDecision: choice };
+    }
+    return { ...result, requireReviewing };
+  }
+
   function matchesControlReview(text) {
     return CONTROL_REVIEW_PATTERNS.some(pattern => pattern.test(text));
   }
@@ -94,6 +223,6 @@
   }
 
   return {
-    detectReviewingFromSignals
+    detectReviewingFromSignals, findUpgradeModal, toggleMode, knownUnavailable, resolveWritePolicy, UNAVAILABLE_TTL_MS
   };
 });

package/extension/src/shared/runActivityModel.js

@@ -86,6 +86,27 @@
       written: Number.isSafeInteger(fileCount) ? fileCount : undefined, output: version }, sanitize);
   }
 
+  function contextCompactionState(event = {}) {
+    if (event.activity?.kind === 'lifecycle' && event.activity.target === 'context_compaction') {
+      return event.activity.state === 'running' ? 'running' : 'completed';
+    }
+    const raw = event.technicalDetail || (event.kind === 'technical' ? event.detail : null) || event;
+    const type = text(raw.type);
+    const method = text(raw.detail?.method || (type === 'codex.session.event' ? raw.title : ''));
+    if (raw.detail?.params?.item?.type === 'contextCompaction') {
+      if (method === 'item/started') return 'running';
+      if (method === 'item/completed') return 'completed';
+    }
+    // The legacy completion notification can carry an incorrectly inferred
+    // `running` status. The protocol method is authoritative in both versions.
+    if (method === 'thread/compacted') return 'completed';
+    const label = type + ' ' + method;
+    if (!/(compact|compaction|compacted)/i.test(label)
+      || !/(context|thread|turn|conversation|codex)/i.test(label)) return '';
+    if (/(completed|compacted|finished)/i.test(label)) return 'completed';
+    return raw.status === 'running' || /(started|starting|begin|prepar)/i.test(label) ? 'running' : 'completed';
+  }
+
   function capture(event = {}, sanitize = text) {
     if (event.activity?.v === 1) return normalize(event.activity, sanitize);
     if (event.kind === 'report' || event.kind === 'guidance' || event.kind === 'stream') return undefined;
@@ -103,6 +124,10 @@
     const scope = JSON.stringify([thread, turn]);
     const id = itemId ? JSON.stringify([thread, turn, itemId]) : '';
     const base = { id, scope, state: event.status };
+    const compactState = contextCompactionState(event);
+    if (compactState) {
+      return normalize({ ...base, kind: 'lifecycle', target: 'context_compaction', state: compactState }, sanitize);
+    }
     if (NOTICE_SOURCES.has(method)) {
       return normalize({ ...base, kind: 'notice', noticeSource: method,
         output: text(params.details), state: event.status === 'failed' ? 'failed' : 'warning' }, sanitize);
@@ -219,13 +244,31 @@
       && /(?:^|[\/\s"';&|])(?:latexmk|pdflatex|xelatex|lualatex|bibtex|biber)(?=\s|["']|$)/i.test(meta.command);
   }
 
+  // Read the completion watermark without building a full timeline for every
+  // older run when the composer refreshes its context indicator.
+  function getCompactedAt(run = {}) {
+    return (Array.isArray(run.events) ? run.events : []).reduce((latest, event) => {
+      if (!event || event.kind === 'report') return latest;
+      const meta = event.activity?.v === 1 ? event.activity : capture(event);
+      return meta?.kind === 'lifecycle' && meta.target === 'context_compaction' && meta.state === 'completed'
+        ? Math.max(latest, Date.parse(event.timestamp || '') || 0) : latest;
+    }, 0);
+  }
+
   function project(run = {}, incoming, options = {}) {
     const saved = Array.isArray(run.events) ? run.events : [];
-    const events = incoming && !saved.includes(incoming) ? saved.concat(incoming) : saved;
+    // Stream updates are saved before rendering; buffering and localization copy
+    // their objects. Keep the current saved event instead of its incoming copy.
+    const incomingStreamKey = incoming?.kind === 'stream' ? text(incoming.streamKey) : '';
+    const alreadySaved = incoming && saved.some(event => event === incoming
+      || (incomingStreamKey && event?.kind === 'stream' && event.streamKey === incomingStreamKey));
+    const events = incoming && !alreadySaved ? saved.concat(incoming) : saved;
     const ordered = [];
     const diagnostics = [];
     const diagnosticNotices = new Set();
     const byId = new Map();
+    const compactions = new Map();
+    let compactedAt = 0;
     const report = events.filter(event => event?.kind === 'report').at(-1);
     const finalText = text(report?.detailStructured?.conclusion
       || report?.detail?.Conclusion || report?.detail?.['结论']).trim();
@@ -296,6 +339,23 @@
       }
       const meta = event.activity?.v === 1 ? event.activity : capture(event);
       clipped ||= meta?.clipped === true;
+      if (meta?.kind === 'lifecycle' && meta.target === 'context_compaction') {
+        startWork(event);
+        const identity = meta.id || meta.scope;
+        if (meta.state !== 'running') {
+          if (meta.state === 'completed') compactedAt = Math.max(compactedAt, Date.parse(event.timestamp || '') || 0);
+          compactions.set(identity, { scope: meta.scope, running: false });
+          // Legacy completions have no item id and close the scope's active item.
+          if (!meta.id) for (const entry of compactions.values()) {
+            if (entry.scope === meta.scope) entry.running = false;
+          }
+        } else if (!meta.id || !compactions.has(identity)) {
+          compactions.set(identity, { scope: meta.scope, running: true });
+        }
+        diagnostics.push({ key, event });
+        if (stage === 'preparing') stage = 'working';
+        return;
+      }
       if (isDiagnosticNotice(event, meta)) {
         const noticeKey = JSON.stringify([meta?.noticeSource || '', event.title]);
         if (!diagnosticNotices.has(noticeKey)) diagnostics.push({ key, event });
@@ -312,7 +372,10 @@
       } else if (!meta && /^(?:Note: |提示：)/.test(text(event.title))) addSetupStep('note', event);
       if (!meta || meta.kind === 'lifecycle' || event.kind === 'technical') {
         diagnostics.push({ key, event });
-        if (meta?.kind === 'lifecycle') stage = meta.target;
+        if (meta?.kind === 'lifecycle') {
+          stage = meta.target;
+          if (stage === 'local_completed') compactions.clear();
+        }
         return;
       }
       const identity = meta.id ? 'item:' + meta.scope + ':' + meta.id : 'event:' + key;
@@ -354,8 +417,11 @@
     }
     const legacy = diagnostics.some(({ event }) => event.kind !== 'technical' && !event.technicalDetail && !event.activity);
     if (stage === 'local_completed') startWork({});
-    return { blocks, diagnostics, notices, stage, setup, fileCount: files.size, clipped, hasReport: Boolean(report), legacy };
+    const compacting = run.status === 'running' && stage !== 'local_completed'
+      && [...compactions.values()].some(entry => entry.running);
+    // Latest completed compaction in this run, in epoch milliseconds; 0 when none completed.
+    return { blocks, diagnostics, notices, stage, compacting, compactedAt, setup, fileCount: files.size, clipped, hasReport: Boolean(report), legacy };
   }
 
-  return { normalize, capture, project, normalizePhase: phase, isRoutineCancellationEvent };
+  return { normalize, capture, project, getCompactedAt, contextCompactionState, normalizePhase: phase, isRoutineCancellationEvent };
 });