codex-overleaf-link 2.5.1 → 2.6.5

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/pageRpcContract.js

@@ -5,7 +5,7 @@
 })(typeof window !== 'undefined' ? window : (typeof globalThis !== 'undefined' ? globalThis : this), function () {
   'use strict';
 
-  var REVISION = '2026-10-05-scope-correction-v42';
+  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/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

@@ -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/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 };
 });

package/extension/src/shared/runExecutionSnapshot.js

@@ -132,6 +132,18 @@
     };
   }
 
+  // Commit the explicit preflight decision to both live and durable run consumers.
+  // The originally captured (possibly queued) snapshot stays immutable.
+  function applyUntrackedDecision(view, record, choice) {
+    if (!['continue', 'disable'].includes(choice) || !view?.recordId || record?.id !== view.recordId) {
+      throw Codec.snapshotError('invalid_reviewing_decision', 'An explicit decision for the current run is required.');
+    }
+    const snapshot = create({ ...snapshotOf(view), requireReviewing: false });
+    view.executionSnapshot = cloneSnapshot(snapshot);
+    Object.assign(record, toRunCompatibilityTuple(snapshot));
+    return snapshot;
+  }
+
   function projectForDisplay(value = {}) {
     const snapshot = snapshotOf(value);
     return {
@@ -174,6 +186,7 @@
     SCHEMA_VERSION: Codec.SCHEMA_VERSION,
     TUPLE_FIELDS: Codec.TUPLE_FIELDS,
     applyToState,
+    applyUntrackedDecision,
     capture,
     captureRawQueueTuple,
     cloneSnapshot,

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