codex-overleaf-link 2.3.6 → 2.4.0

package/extension/src/shared/writebackSettlement.js

@@ -397,7 +397,7 @@
     if (!result || typeof result !== 'object' || result.ok === false) return result;
     if (Array.isArray(result.skipped) && result.skipped.length > 0) return result;
     const expectedFiles = Array.isArray(run?.undoExpectedFiles) ? run.undoExpectedFiles : [];
-    if (!expectedFiles.length || isUndoVerifiedContentMatching(run, result)) return result;
+    if (!expectedFiles.length || isUndoVerifiedContentMatching(run, result, options)) return result;
     const path = expectedFiles.find(entry => typeof entry?.path === 'string')?.path || '';
     appendSyntheticFailure(result, options.buildFailure?.('undo_not_verified', { path, type: 'undo' }, {
       changedDocument: true,
@@ -407,15 +407,18 @@
     return result;
   }
 
-  function isUndoVerifiedContentMatching(run, result) {
+  function isUndoVerifiedContentMatching(run, result, options = {}) {
     const expectedByPath = new Map((run?.undoExpectedFiles || [])
       .filter(file => typeof file?.path === 'string' && typeof file?.content === 'string')
       .map(file => [normalizeSettlementPath(file.path), file.content])
       .filter(([path]) => path));
     if (!expectedByPath.size) return true;
+    const postByPath = new Map((Array.isArray(options?.postFiles) ? options.postFiles : [])
+      .filter(file => typeof file?.path === 'string' && typeof file?.content === 'string')
+      .map(file => [normalizeSettlementPath(file.path), file.content]));
     const applied = Array.isArray(result?.applied) ? result.applied : [];
     return Array.from(expectedByPath).every(([path, expected]) =>
-      applied.some(entry => isVerifiedUndoEntryForPath(entry, path, expected))
+      applied.some(entry => isVerifiedUndoEntryForPath(entry, path, expected, postByPath.get(path)))
     );
   }
 
@@ -438,7 +441,7 @@
     ));
   }
 
-  function isVerifiedUndoEntryForPath(entry, path, expectedContent) {
+  function isVerifiedUndoEntryForPath(entry, path, expectedContent, postContent) {
     const inner = entry?.result || {};
     if (inner.ok === false) return false;
     const normalizedPath = normalizeSettlementPath(path);
@@ -456,7 +459,18 @@
         && inner.verifiedContent === expectedContent;
     }
     if (key === `snapshot-undo:${normalizedPath}`) {
-      return inner.verifiedContent === expectedContent;
+      if (inner.verifiedContent === expectedContent) return true;
+      const proof = inner.undoRebaseProof, before = proof?.beforeUndoContent;
+      if (inner.verified !== true || proof?.version !== 1
+        || normalizeSettlementPath(proof.path) !== normalizedPath
+        || typeof before !== 'string' || typeof postContent !== 'string' || !postContent
+        || typeof inner.verifiedContent !== 'string') return false;
+      // The page observed prefix + post + suffix before Undo. Prove that only
+      // this run's post-image became its pre-image, preserving both envelopes.
+      const start = before.indexOf(postContent);
+      if (start < 0 || before.indexOf(postContent, start + 1) >= 0) return false;
+      return inner.verifiedContent === before.slice(0, start) + expectedContent
+        + before.slice(start + postContent.length);
     }
     return false;
   }

package/extension/styles/panel.css

@@ -1029,11 +1029,21 @@
 }
 
 #codex-overleaf-panel .codex-diagnostics-menu {
-  position: absolute;
+  position: fixed;
   z-index: 2147483647;
-  top: 30px;
-  right: 0;
-  width: 260px;
+  top: 44px;
+  right: 12px;
+  bottom: auto;
+  left: auto;
+  margin: 0;
+  box-sizing: border-box;
+  width: min(300px, calc(100vw - 24px));
+  max-width: calc(100vw - 24px);
+  max-height: calc(100vh - 24px);
+  overflow: auto;
+  overscroll-behavior: contain;
+  overflow-wrap: anywhere;
+  color: var(--tl-fg-2);
   border: 1px solid var(--tl-border-strong);
   border-radius: 6px;
   background: var(--tl-surface-2);
@@ -1084,15 +1094,30 @@
   z-index: 2147483647;
   top: 44px;
   right: 12px;
-  width: min(316px, calc(var(--codex-overleaf-panel-width) - 24px));
-  max-height: min(520px, calc(100vh - 64px));
+  bottom: auto;
+  left: auto;
+  margin: 0;
+  padding: 0;
+  box-sizing: border-box;
+  width: min(560px, calc(100vw - 24px));
+  max-width: calc(100vw - 24px);
+  max-height: min(640px, calc(100vh - 24px));
   overflow: auto;
+  overscroll-behavior: contain;
+  overflow-wrap: anywhere;
+  color: var(--tl-fg-2);
   border: 1px solid var(--tl-border-strong);
   border-radius: 8px;
   background: var(--tl-surface-1);
   box-shadow: 0 14px 34px rgba(0, 0, 0, 0.48);
 }
 
+#codex-overleaf-panel .codex-diagnostics-menu::backdrop,
+#codex-overleaf-panel .codex-diagnostics-result::backdrop {
+  background: transparent;
+  pointer-events: none;
+}
+
 #codex-overleaf-panel .codex-diagnostics-result[hidden] {
   display: none;
 }
@@ -1821,9 +1846,12 @@
 #codex-overleaf-panel .codex-plugin-confirm::backdrop { background: transparent; }
 
 #codex-overleaf-panel .codex-plugin-confirm-card {
+  display: flex;
+  flex-direction: column;
+  box-sizing: border-box;
   width: 100%;
   max-height: min(520px, calc(100vh - 28px));
-  overflow: hidden;
+  overflow: auto;
   border: 1px solid var(--tl-border-strong);
   border-radius: 8px;
   background: var(--tl-surface-1);
@@ -1832,6 +1860,7 @@
 
 #codex-overleaf-panel .codex-plugin-confirm-head {
   display: flex;
+  flex: 0 0 auto;
   align-items: center;
   gap: 10px;
   padding: 14px 14px 12px;
@@ -1860,6 +1889,8 @@
 }
 
 #codex-overleaf-panel .codex-plugin-confirm-body {
+  flex: 0 1 auto;
+  min-height: 0;
   max-height: 300px;
   overflow: auto;
   padding: 12px 14px;
@@ -1872,6 +1903,9 @@
 
 #codex-overleaf-panel .codex-plugin-confirm-actions {
   display: flex;
+  flex: 0 0 auto;
+  flex-wrap: wrap;
+  align-items: stretch;
   justify-content: flex-end;
   gap: 8px;
   padding: 12px 14px 14px;
@@ -1879,12 +1913,23 @@
 }
 
 #codex-overleaf-panel .codex-plugin-confirm-actions button {
-  min-width: 72px;
-  height: 30px;
+  display: flex;
+  flex: 1 1 auto;
+  align-items: center;
+  justify-content: center;
+  box-sizing: border-box;
+  min-width: min(72px, 100%);
+  max-width: 100%;
+  min-height: 34px;
+  height: auto;
   border: 1px solid var(--tl-border-strong);
   border-radius: 6px;
-  padding: 0 12px;
+  padding: 7px 12px;
   font-weight: 650;
+  line-height: 1.35;
+  text-align: center;
+  white-space: normal;
+  overflow-wrap: anywhere;
 }
 
 #codex-overleaf-panel .codex-plugin-confirm-cancel {

package/native-host/src/taskRunnerRuntime.js

@@ -82,6 +82,10 @@ async function handleRequest(request, env = process.env, emit = () => {}) {
     return handleMirrorStatus(request, env);
   }
 
+  if (request.method === 'mirror.invalidate') {
+    return handleMirrorInvalidate(request, env);
+  }
+
   if (request.method === 'mirror.scanSensitive') {
     return handleMirrorScanSensitive(request, env);
   }
@@ -709,6 +713,27 @@ async function handleMirrorConfirmWriteback(request, env) {
   }
 }
 
+function handleMirrorInvalidate(request, env) {
+  const projectId = request.params?.projectId;
+  if (typeof projectId !== 'string' || !projectId.trim()) {
+    return errorResponse(request.id, 'invalid_project_id', 'Mirror invalidation requires an explicit project id.');
+  }
+  const projectKey = resolveProjectKey({ projectId });
+  const lockToken = acquireProjectLock(projectKey);
+  if (!lockToken) {
+    return errorResponse(request.id, 'project_locked', `Project ${projectKey} is currently in use by codex.run`);
+  }
+  try {
+    const { markMirrorDirty } = require('./mirrorWorkspace');
+    markMirrorDirty({ projectId, rootDir: env.CODEX_OVERLEAF_MIRROR_ROOT, reason: 'overleaf_undo' });
+    return okResponse(request.id, { invalidated: true, projectKey });
+  } catch (error) {
+    return errorResponse(request.id, 'mirror_invalidation_failed', error.message);
+  } finally {
+    releaseProjectLock(projectKey, lockToken);
+  }
+}
+
 function handleMirrorStatus(request, env) {
   const { getMirrorStatus } = require('./mirrorWorkspace');
   const params = request.params || {};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "codex-overleaf-link",
-  "version": "2.3.6",
+  "version": "2.4.0",
   "description": "Cross-platform Chrome bridge that connects Codex to the active Overleaf project.",
   "license": "MIT",
   "type": "commonjs",
@@ -17,9 +17,12 @@
     "build:content": "node scripts/build-content-bundle.mjs",
     "check:module-graph": "node scripts/check-content-module-graph.mjs",
     "test": "npm run check:module-graph && node scripts/run-tests.mjs",
+    "test:fast": "npm run check:module-graph && node scripts/run-tests.mjs --fast",
+    "test:focus": "npm run check:module-graph && node scripts/run-tests.mjs",
     "check:architecture": "node scripts/check-architecture-budget.mjs --enforce-target",
     "benchmark:large": "node scripts/benchmark-large-project.mjs --gate",
     "smoke:extension": "npm run build:content && node scripts/smoke-extension.mjs",
+    "smoke:prepare:chrome": "npm run build:content && npm run test:fast && npm run install:managed",
     "verify:release": "node scripts/verify-release.mjs",
     "verify:source": "node scripts/verify-release.mjs --source-hygiene-only",
     "verify:release-artifacts": "node scripts/verify-release-artifacts.mjs",
@@ -60,6 +63,7 @@
     "scripts/uninstall-native-host.mjs",
     "scripts/verify-npm-package.mjs",
     "README.md",
+    "README.zh-CN.md",
     "package.json"
   ],
   "devDependencies": {