codex-overleaf-link 2.4.0 → 2.5.0

package/extension/src/shared/agentTranscript.js

@@ -372,6 +372,7 @@
         status: 'running',
         streamKey: getCodexStreamKey(method, params),
         streamRole: method === 'item/agentMessage/delta' ? 'assistant' : 'reasoning',
+        streamPhase: params.phase || '',
         appendText: true
       };
     }
@@ -412,12 +413,13 @@
       };
     }
     if (method === 'warning' || method === 'guardianWarning' || method === 'configWarning') {
-      const title = cleanVisibleText(params.message || params.warning || '');
+      const title = cleanVisibleText(params.message || params.warning || params.summary || '');
+      if (!title) return technicalOnly(event, locale);
       return {
         kind: 'activity',
         visible: true,
-        title: title || textFor(locale, 'Codex 返回了一条运行提示。', 'Codex returned a runtime notice.'),
-        status: 'running',
+        title,
+        status: event.status === 'failed' ? 'failed' : method === 'guardianWarning' ? 'warning' : 'info',
         technicalDetail: normalizeRawEvent(event)
       };
     }
@@ -459,6 +461,7 @@
           status,
           streamKey: getItemStreamKey('agent', item),
           streamRole: 'assistant',
+          streamPhase: item.phase || '',
           replaceText: true
         };
       }
@@ -500,6 +503,10 @@
         status,
         detail: {
           command: item.command,
+          itemId: item.id,
+          threadId: event.detail?.params?.threadId,
+          turnId: event.detail?.params?.turnId,
+          commandActions: item.commandActions,
           output: item.aggregatedOutput,
           exitCode: item.exitCode
         }
@@ -863,6 +870,11 @@
         : textFor(locale, '本轮没有可撤销的写入', 'this run has no reversible writes');
     }
 
+    if (input.saveVerification && input.saveVerification.state !== 'not_checked') {
+      report.saveState = input.saveVerification.state === 'verified_saved'
+        ? textFor(locale, '已确认保存', 'Saved')
+        : textFor(locale, '待确认，可检查保存状态', 'Pending confirmation; check save status');
+    }
     const failed = input.status === 'failed' || input.status === 'blocked';
     return {
       title: textFor(locale, '本轮完成报告', 'Task report'),
@@ -946,6 +958,7 @@
       });
     }
 
+    if (report.saveState) meta.push({ key: 'saveState', label: textFor(locale, '保存', 'Save'), value: report.saveState });
     return { conclusion, body: bodySections.join('\n\n'), meta };
   }
 
@@ -976,6 +989,7 @@
     if (nextStep) {
       sections.push(textFor(locale, `下一步：${nextStep}`, `Next: ${nextStep}`));
     }
+    if (report.saveState) sections.push(textFor(locale, `保存：${report.saveState}`, `Save: ${report.saveState}`));
     return sections.join('\n\n');
   }
 
@@ -1045,7 +1059,7 @@
     if (input.mode === 'ask' || input.status === '只问不改') {
       return textFor(locale, '这轮是只问不改。', 'This run was Ask mode.');
     }
-    if (input.status === 'rejected') {
+    if (input.status === 'cancelled' || input.status === 'rejected') {
       return textFor(locale, '你取消了这轮修改。', 'You cancelled this change.');
     }
     return '';

package/extension/src/shared/auditRecords.js

@@ -75,6 +75,7 @@
       mirror: summarizeMirror(input.mirror),
       auditLogs: summarizeAuditLogList(input.auditLogs),
       run: summarizeRun(input.run),
+      ...(Array.isArray(input.recentRuns) ? { recentRuns: input.recentRuns.slice(0, 8).map(summarizeRun) } : {}),
       governance: summarizeGovernance(input.governance),
       projectIdHash: hashString(stringField(input.projectId))
     };
@@ -272,9 +273,22 @@
   }
 
   function summarizeRun(run = {}) {
+    run = run && typeof run === 'object' && !Array.isArray(run) ? run : {};
+    const captures = Array.isArray(run.trackedChangeCaptures) ? run.trackedChangeCaptures : [];
     return removeEmptySummaryFields({
       id: redactSecretLikeText(stringField(run.id)),
       status: redactSecretLikeText(stringField(run.status)),
+      startedAt: redactSecretLikeText(stringField(run.startedAt)),
+      finishedAt: redactSecretLikeText(stringField(run.finishedAt)),
+      requireReviewing: typeof run.executionSnapshot?.requireReviewing === 'boolean'
+        ? run.executionSnapshot.requireReviewing : undefined,
+      trackedChangeStatus: diagnosticToken(run.trackedChangeStatus),
+      undoStatus: diagnosticToken(run.undoStatus),
+      appliedOperationCount: Array.isArray(run.appliedOperations) ? run.appliedOperations.length : undefined,
+      undoTrackedChangeCount: Array.isArray(run.undoTrackedChanges) ? run.undoTrackedChanges.length : undefined,
+      captureCount: Array.isArray(run.trackedChangeCaptures) ? captures.length : undefined,
+      capturesTruncated: captures.length > 20 ? true : undefined,
+      trackedChangeCaptures: captures.slice(0, 20).map(summarizeTrackedCapture),
       errorCode: redactSecretLikeText(stringField(run.errorCode)),
       errorCategory: categorizeError(run.errorCode || run.message || run.error),
       events: (Array.isArray(run.events) ? run.events : []).map(event => removeEmptyFields({
@@ -287,6 +301,63 @@
     });
   }
 
+  // Export only proof metadata, never document text, prompts, labels or raw IDs.
+  function diagnosticToken(value) {
+    const text = redactSecretLikeText(stringField(value));
+    return /^[a-z][a-z0-9_]{0,79}$/.test(text) ? text : undefined;
+  }
+
+  function diagnosticNumbers(value, keys) {
+    const source = value && typeof value === 'object' ? value : {};
+    const result = {};
+    for (const key of keys) {
+      if (Number.isSafeInteger(source[key]) && source[key] >= 0) result[key] = source[key];
+    }
+    return result;
+  }
+
+  function diagnosticFingerprint(value) {
+    return typeof value === 'string' && /^\d{1,16}:[a-f0-9]{1,8}:[a-f0-9]{1,8}$/.test(value)
+      ? value : undefined;
+  }
+
+  function summarizeTrackedCapture(value) {
+    const capture = value && typeof value === 'object' && !Array.isArray(value) ? value : {};
+    const before = Array.isArray(capture.before) ? capture.before : [];
+    const refs = Array.isArray(capture.refs) ? capture.refs : [];
+    const ranges = Array.isArray(capture.ranges) ? capture.ranges : [];
+    const diagnostics = capture.diagnostics || {};
+    const refSummary = ref => removeEmptySummaryFields({
+      idHash: stringField(ref?.id) ? hashString(ref.id) : undefined,
+      kind: diagnosticToken(ref?.kind),
+      ...diagnosticNumbers(ref, ['from', 'to', 'textLength']),
+      textHash: diagnosticFingerprint(ref?.textHash)
+    });
+    return removeEmptySummaryFields({
+      pathHash: stringField(capture.path) ? hashString(capture.path) : undefined,
+      nativeDocIdHash: stringField(capture.nativeDocId) ? hashString(capture.nativeDocId) : undefined,
+      state: diagnosticToken(capture.state), reason: diagnosticToken(capture.reason),
+      source: diagnosticToken(capture.source),
+      ...diagnosticNumbers(capture, ['startedAt', 'expiresAt']),
+      expectedFingerprint: diagnosticFingerprint(capture.expected),
+      beforeCount: before.length, refCount: refs.length, rangeCount: ranges.length,
+      truncated: before.length > 1200 || refs.length > 1200 || ranges.length > 1000 ? true : undefined,
+      before: before.slice(0, 1200).map(refSummary),
+      refs: refs.slice(0, 1200).map(refSummary),
+      ranges: ranges.slice(0, 1000).map(range => removeEmptySummaryFields({
+        ...diagnosticNumbers(range, ['from', 'to', 'start', 'end', 'removedLength']),
+        removedHash: diagnosticFingerprint(range?.removedHash)
+      })),
+      diagnostics: removeEmptySummaryFields({
+        ...diagnosticNumbers(diagnostics, ['beforeCount', 'afterCount', 'capturedCount',
+          'filteredCount', 'polls', 'elapsedMs', 'waitMs']),
+        reason: diagnosticToken(diagnostics.reason),
+        source: diagnosticToken(diagnostics.source),
+        sourceReason: diagnosticToken(diagnostics.sourceReason)
+      })
+    });
+  }
+
   function summarizeGovernance(rules = {}) {
     return {
       readonlyPatternCount: Array.isArray(rules.readonlyPatterns) ? rules.readonlyPatterns.length : 0,

package/extension/src/shared/changeHistoryModel.js

@@ -0,0 +1,94 @@
+(function initChangeHistoryModel(root, factory) {
+  if (typeof module === 'object' && module.exports) {
+    module.exports = factory(require('./settlementFacts'), require('./sessionState'));
+  } else root.CodexOverleafModuleRegistry.define('ChangeHistoryModel', ['SettlementFacts', 'SessionState'], factory);
+})(typeof globalThis !== 'undefined' ? globalThis : window, function changeHistoryModelFactory(SettlementFacts, SessionState) {
+  'use strict';
+  const array = value => Array.isArray(value) ? value : [];
+  const text = value => typeof value === 'string' ? value : '';
+  const opaque = value => /^\[.*(?:omitted|redacted|chars=\d+|hash=).*?\]$/i.test(text(value).trim());
+
+  function project(records, options = {}) {
+    const { projectId, accountScopeId } = options;
+    if (!projectId || !accountScopeId) return [];
+    const sanitize = options.sanitizeText || text;
+    const safe = value => text(sanitize(text(value))).trim();
+    const sessions = new Map();
+    const live = new Map();
+    for (const session of array(options.storedSessions)) {
+      if (session?.projectId === projectId && session.accountScopeId === accountScopeId) sessions.set(session.id, session);
+    }
+    // In-memory sessions already passed the runtime's account/project hydrate
+    // boundary. Their review state is newer than the persisted audit snapshot.
+    for (const session of array(options.sessions)) {
+      if (!session?.id) continue;
+      const prior = sessions.get(session.id);
+      const runs = new Map(array(prior?.runs).map(run => [run.id, run]));
+      const current = session.id === options.activeSessionId ? array(options.activeRuns) : array(session.runs);
+      for (const run of current) if (run?.id) runs.set(run.id, run);
+      sessions.set(session.id, { ...prior, ...session, runs: [...runs.values()] });
+      live.set(session.id, new Set(current.filter(run => run?.id && (!run.runProjectId || run.runProjectId === projectId)).map(run => run.id)));
+    }
+    function path(value) {
+      const raw = text(value).replace(/\\/g, '/').replace(/^\.\//, '');
+      if (/(^|\/)\.codex-overleaf-(subagents|attachments)(\/|$)/.test(raw)) return '';
+      const result = safe(raw);
+      if (!result || /^\[.*\]$/.test(result)) return '';
+      return result.slice(0, 320);
+    }
+    const seen = new Set();
+    return array(records).filter(record => record?.projectId === projectId
+      && (!record.accountScopeId || record.accountScopeId === accountScopeId)
+      && sessions.has(record.sessionId))
+      .slice().sort((a, b) => String(b.createdAt || '').localeCompare(String(a.createdAt || '')))
+      .filter(record => {
+        const key = JSON.stringify([record.sessionId, record.turnId || record.id]);
+        if (seen.has(key)) return false;
+        seen.add(key); return true;
+      }).slice(0, 50).map(record => {
+        const session = sessions.get(record.sessionId);
+        const candidate = array(session.runs).find(run => run.id === record.turnId);
+        const run = candidate && (!candidate.runProjectId || candidate.runProjectId === projectId) ? candidate : null;
+        const facts = SettlementFacts.compactSettlementFacts(run?.settlement || run?.settlementFacts || {});
+        const projection = run ? SettlementFacts.projectRunSettlement(run) : null;
+        const applied = array(record.appliedFiles).filter(file => path(typeof file === 'string' ? file : file?.path));
+        const review = text(run?.trackedChangeStatus);
+        const hasWrites = applied.length > 0 || run?.changedDocument === true
+          || ['changed', 'possibly-changed'].includes(facts.documentEffect)
+          || ['pending', 'accepted', 'rejected', 'needs_review'].includes(review)
+          || run?.undoStatus === 'applied';
+        let files = applied.slice();
+        files.push(...facts.fileSettlements.filter(file => ['complete', 'partial'].includes(file.applied)
+          || ['changed', 'possibly-changed'].includes(file.documentEffect)));
+        if (!files.length && hasWrites) files = array(record.changedFiles);
+        const paths = [...new Set(files.flatMap(file => typeof file === 'string'
+          ? [path(file)] : [path(file?.path), path(file?.destinationPath)]).filter(Boolean))];
+        const unsafeSave = record.saveVerification?.ok === false
+          || ['failed', 'unavailable'].includes(record.saveVerification?.state);
+        let status;
+        if (review === 'accepted') status = 'accepted';
+        else if (review === 'rejected' || run?.undoStatus === 'applied') status = 'undone';
+        else if (review === 'needs_review' || projection?.terminalState === 'needs_review'
+          || facts.documentEffect === 'possibly-changed'
+          || ['partial', 'needs-review'].includes(facts.evidence.settled)
+          || hasWrites && (unsafeSave || ['failed', 'interrupted', 'needs_review_after_navigation'].includes(run?.status))) status = 'attention';
+        else if (run?.status === 'running' || record.resultStatus === 'draft' && !record.completedAt) status = 'running';
+        else if (review === 'pending') status = 'pending';
+        else if (!hasWrites) status = 'unchanged';
+        else status = run ? 'written' : 'unknown';
+        const suppliedSummary = safe(run?.safeTaskSummary || '');
+        const summary = suppliedSummary && !opaque(suppliedSummary)
+          ? SessionState.computeSafeTaskSummary(suppliedSummary) : '';
+        // Audit promptSummary deliberately stores a privacy marker. Never
+        // recover it, render it, or turn it into an apparent task summary.
+        return {
+          key: JSON.stringify([record.sessionId, record.turnId || record.id]),
+          projectId, accountScopeId, sessionId: record.sessionId, turnId: record.turnId,
+          createdAt: text(record.createdAt), paths, hasWrites, status, summary,
+          operation: paths.length === 1 ? text(files[0]?.type) : '',
+          canJump: Boolean(run && live.get(record.sessionId)?.has(record.turnId))
+        };
+      });
+  }
+  return { project };
+});

package/extension/src/shared/compatibility.js

@@ -12,7 +12,7 @@
   const MIN_NATIVE_VERSION = '1.0.0';
   const MIN_COMPATIBLE_NATIVE_VERSION = '1.0.0';
   const MIN_COMPATIBLE_EXTENSION_VERSION = '1.0.0';
-  const BUILD_TARGET_VERSION = '2.4.0';
+  const BUILD_TARGET_VERSION = '2.5.0';
   const DEFAULT_CHROME_EXTENSION_ID = 'illdpneeeopfffmiepaejglgmhpmdhdc';
   const REQUIRED_CAPABILITIES = Object.freeze([
     'bridgePing',

package/extension/src/shared/compileAdapter.js

@@ -163,7 +163,49 @@
     return result;
   }
 
+  function buildPostWriteCompileSummary({ result = null, logResult = null, error = null } = {}) {
+    const logAvailable = logResult?.ok === true;
+    const errors = logAvailable && Array.isArray(logResult.errors)
+      ? logResult.errors.slice(0, 5).map(formatCompileDiagnosticForSummary)
+      : [];
+    const warnings = logAvailable && Array.isArray(logResult.warnings)
+      ? logResult.warnings.slice(0, 5).map(formatCompileDiagnosticForSummary)
+      : [];
+    if (error) {
+      return {
+        status: 'failed',
+        reason: error?.message || 'Post-write compile failed.',
+        errors,
+        warnings,
+        logAvailable
+      };
+    }
+    if (!result?.ok) {
+      return {
+        status: 'failed',
+        reason: result?.reason || 'Post-write compile did not succeed.',
+        errors,
+        warnings,
+        logAvailable
+      };
+    }
+    return {
+      status: result.compile?.status || 'triggered',
+      reason: result.reason || '',
+      errors,
+      warnings,
+      logAvailable
+    };
+  }
+
+  function formatCompileDiagnosticForSummary(value) {
+    const text = String(value || '').replace(/\s+/g, ' ').trim();
+    return text.length > 180 ? `${text.slice(0, 179)}...` : text;
+  }
+
   return {
+    buildPostWriteCompileSummary,
+    formatCompileDiagnosticForSummary,
     COMPILABLE_EXTENSIONS,
     MAX_LOG_BYTES,
     extractErrorBlocks,

package/extension/src/shared/failureReasons.js

@@ -158,6 +158,26 @@
       fallbackUserMessage: 'Create/delete/rename/move did not appear in the file tree as expected.',
       fallbackNextAction: 'Inspect the file tree and retry if needed.'
     },
+    source_zip_unavailable: {
+      stage: 'preflight', severity: 'blocked', defaultRetryable: true,
+      fallbackUserMessage: 'The project could not be checked before uploading this file.',
+      fallbackNextAction: 'Retry sync; only missing files will be uploaded.'
+    },
+    file_upload_unconfirmed: {
+      stage: 'verify', severity: 'warning', defaultRetryable: true,
+      fallbackUserMessage: 'The file was submitted, but its saved content is not yet confirmed.',
+      fallbackNextAction: 'Check the file before retrying; matching content will not be uploaded twice.'
+    },
+    subagent_unfinished_output: {
+      stage: 'preflight', severity: 'blocked', defaultRetryable: false,
+      fallbackUserMessage: 'A subagent stopped before finishing this file; the main agent must review and adopt it.',
+      fallbackNextAction: 'Have the main agent complete and adopt the pending file.'
+    },
+    subagent_unauthorized_edit: {
+      stage: 'preflight', severity: 'blocked', defaultRetryable: false,
+      fallbackUserMessage: 'A file changed outside the subagent ownership boundary and was not synced.',
+      fallbackNextAction: 'Review the ownership violation; it cannot be cleared through output adoption.'
+    },
     partial_write_needs_review: {
       stage: 'verify', severity: 'warning', defaultRetryable: false,
       fallbackUserMessage: 'Some operations wrote, some were skipped.',

package/extension/src/shared/globalPreferences.js

@@ -112,7 +112,7 @@
       try {
         const url = new URL(sender?.tab?.url || '');
         allowed = sender.id === chromeApi.runtime.id && url.protocol === 'https:'
-          && ['overleaf.com', 'www.overleaf.com'].includes(url.hostname)
+          && ['overleaf.com', 'www.overleaf.com', 'cn.overleaf.com'].includes(url.hostname)
           && /^\/project(?:\/|$)/.test(url.pathname);
       } catch (_error) { /* reject unrelated contexts */ }
       if (!allowed) {