codex-overleaf-link 2.5.1 → 2.6.5

package/native-host/src/skills/reviewer-response/SKILL.md

@@ -0,0 +1,65 @@
+---
+name: reviewer-response
+description: >
+  Use only when the user asks to respond to peer-review or reviewer comments,
+  write a rebuttal or response letter, or plan a revision from reviews.
+---
+
+# Reviewer Response
+
+Map reviewer comments to evidence in the paper, proposed edits, and reply
+drafts. Keep missing evidence visible instead of filling it with assumptions.
+
+## Workflow
+
+1. Split the reviews into atomic comments with stable IDs R<reviewer>.<n>,
+   such as R1.2. Keep the reviewer's own numbering when present; retain the
+   original label when splitting a numbered comment into smaller items.
+2. For each comment, look for evidence in the project files. Cite actual
+   source lines as plain-text path:line or path:start-end, for example
+   main.tex:212-230. Do not wrap references in backticks: the panel turns
+   plain-text references into clickable links. If evidence is absent, write
+   "Not found"; distinguish files not read from files searched without a match.
+3. Output a compact ledger table with these columns:
+
+   ID | Comment | Evidence in the paper | Proposed change | Status
+
+   Keep cells short for the narrow panel, with each Comment at most about
+   12 words. Put necessary explanations below the table. Use only these
+   statuses, adding a short reason:
+   - Ready to edit: the evidence supports a specific local edit.
+   - Needs an experiment: new experimental evidence is required.
+   - Needs author input: facts or a decision must come from the author.
+   - Unresolved: the comment remains open for another stated reason.
+   - No change: explain why the current paper already addresses the comment
+     or why a change is unwarranted.
+
+   Write the table and explanations in the user's language, translating
+   headings, statuses, and "Not found" accordingly. Keep the IDs unchanged.
+4. After the ledger, draft replies only for the comments the user asked
+   about, or for every comment when they requested a full response letter.
+   Write reply drafts in English unless the user asks otherwise. Label each
+   draft with its comment ID and distinguish proposed work from completed work.
+5. Finish with one "Next:" line, localized to the user's language, explaining
+   how to apply approved items. For example: Next: after approving R1.2,
+   switch to Auto and send "Apply R1.2".
+
+## Integrity rules
+
+- Never invent results, numbers, experiments, citations, or completed changes.
+- Anything needed for a response that is not present in the paper or provided
+  by the user must be marked Needs an experiment or Needs author input.
+- Reply drafts must not promise results. State missing evidence or pending
+  author input explicitly; do not describe planned edits as already made.
+- Cite only files and lines actually inspected. User-provided facts are not
+  evidence already in the paper; identify their source separately.
+
+## Editing rules
+
+- In Ask mode, never edit files.
+- In Auto mode, edit only the comment IDs the user explicitly approves.
+  Keep edits minimal and local, leaving unrelated text untouched. An approved
+  ID does not authorize inventing missing evidence or results.
+- After editing, report which IDs changed with plain-text path:line or
+  path:start-end references. Keep pending items separate and do not claim
+  an edit, save, or experiment completed without evidence.

package/native-host/src/taskRunnerRuntime.js

@@ -50,7 +50,7 @@ const activeRunEntries = new Map();
 // Overleaf tab was reloaded — the requestId lived in content-side JS state
 // and is gone, but the native-host-side controller is still running).
 const activeRunByProject = new Map();
-const CODEX_RUN_PASSTHROUGH_ERROR_CODES = new Set(['thread_resume_failed', 'codex_no_usable_result', 'codex_process_stop_unconfirmed', 'selected_context_unresolved', 'codex_local_skill_unavailable']);
+const CODEX_RUN_PASSTHROUGH_ERROR_CODES = new Set(['thread_resume_failed', 'codex_no_usable_result', 'codex_context_limit', 'codex_process_stop_unconfirmed', 'selected_context_unresolved', 'codex_local_skill_unavailable', 'document_identity_mismatch']);
 
 async function handleRequest(request, env = process.env, emit = () => {}) {
   if (!request || typeof request !== 'object') {
@@ -72,7 +72,7 @@ async function handleRequest(request, env = process.env, emit = () => {}) {
       platform: getNativeRuntimePlatform({ env }),
       protocolVersion: 2,
       supportedProtocol: { ...SUPPORTED_NATIVE_PROTOCOL },
-      capabilities: { ...Object.fromEntries(REQUIRED_CAPABILITIES.map(capability => [capability, true])), literalProjectPaths: true },
+      capabilities: { ...Object.fromEntries(REQUIRED_CAPABILITIES.map(capability => [capability, true])), literalProjectPaths: true, threadCompact: true },
       minExtensionVersion: MIN_COMPATIBLE_EXTENSION_VERSION,
       version: PACKAGE_VERSION,
       environment: summarizeNativeEnvironment(env)
@@ -213,6 +213,13 @@ async function handleCodexRun(request, env, emit) {
   const identity = NativeRequestIdentity.validate(request.id);
   if (!identity.ok) return errorResponse(request.id, identity.error.code, identity.error.message, identity.error.details);
   let params = request.params || {};
+  if (params.operation === 'compact') {
+    if (typeof params.threadId !== 'string' || !params.threadId.trim() || params.threadId.length > 160
+      || typeof params.projectId !== 'string' || !params.projectId.trim()) {
+      return errorResponse(request.id, 'codex_compact_thread_required', 'Compaction requires an existing project conversation.');
+    }
+    params = { ...params, threadId: params.threadId.trim(), mode: 'ask', writingStyleBuild: undefined };
+  }
   if (params.writingStyleBuild != null) {
     if (typeof params.writingStyleBuild !== 'object' || Array.isArray(params.writingStyleBuild)) {
       return errorResponse(request.id, 'writing_style_invalid_build', 'Writing style build settings must be an object.');
@@ -272,7 +279,9 @@ async function handleCodexRun(request, env, emit) {
     }
 
     abortController.signal.throwIfAborted();
-    if (params.useExistingMirror) {
+    // Compaction only updates the captured thread; it neither refreshes the
+    // project mirror nor accepts document overlays as part of this request.
+    if (params.operation !== 'compact' && params.useExistingMirror) {
       const { getMirrorStatus, applyFileOverlays } = require('./mirrorWorkspace');
       const rootDir = env.CODEX_OVERLEAF_MIRROR_ROOT;
       const status = getMirrorStatus(projectKey, { rootDir });
@@ -299,9 +308,9 @@ async function handleCodexRun(request, env, emit) {
       // OT overlays prove that the current page agrees with the trusted OT
       // baseline; they must not rewrite it or supply a replacement hash.
       if (!isOtWarmMirrorReuseRequest(params) && Array.isArray(params.fileOverlays) && params.fileOverlays.length) {
-        await applyFileOverlays({ projectId: projectKey, overlays: params.fileOverlays, rootDir });
+        await applyFileOverlays({ projectId: projectKey, evidenceProjectId: params.projectId, overlays: params.fileOverlays, rootDir });
       }
-    } else if (!params.writingStyleBuild && !isSnapshotlessSkillInstallerRun(params) && !hasRunnableProjectSnapshotEvidence(params)) {
+    } else if (params.operation !== 'compact' && !params.writingStyleBuild && !isSnapshotlessSkillInstallerRun(params) && !hasRunnableProjectSnapshotEvidence(params)) {
       return errorResponse(
         request.id,
         'codex_run_requires_snapshot_evidence',
@@ -377,6 +386,9 @@ async function handleCodexSteer(request) {
   if (!entry?.control) {
     return errorResponse(request.id, 'codex_turn_not_ready', 'The active Codex turn is not ready for guidance.');
   }
+  if (entry.control.operation === 'compact') {
+    return errorResponse(request.id, 'codex_compact_not_steerable', 'Wait for context compaction to finish before sending a message.');
+  }
   const expectedThreadId = String(params.threadId || '');
   const expectedTurnId = String(params.expectedTurnId || params.turnId || '');
   if ((expectedThreadId && expectedThreadId !== entry.control.threadId)
@@ -444,6 +456,13 @@ function handleCodexCancel(request, env = process.env) {
     });
   }
 
+  if (targetId != null && !force) {
+    return okResponse(request.id, {
+      cancelled: false,
+      reason: 'request_not_active'
+    });
+  }
+
   if (projectKey) {
     const entry = activeRunByProject.get(projectKey);
     if (entry?.controller) {
@@ -681,14 +700,14 @@ function createCancellationError() {
 }
 
 function isCancellationError(error = {}) {
-  if (['codex_turn_failed', 'codex_turn_status_invalid'].includes(error.code)) return false;
+  if (['codex_turn_failed', 'codex_turn_status_invalid', 'codex_context_limit'].includes(error.code)) return false;
   return error.code === 'codex_cancelled'
     || error.name === 'AbortError'
     || /cancelled by the user|was cancelled/i.test(error.message || '');
 }
 
 function shouldPassthroughCodexRunError(error = {}) {
-  return CODEX_RUN_PASSTHROUGH_ERROR_CODES.has(error.code);
+  return CODEX_RUN_PASSTHROUGH_ERROR_CODES.has(error.code) || String(error.code || '').startsWith('codex_compact_');
 }
 
 function isCodexMissing(env = process.env) {
@@ -721,6 +740,7 @@ async function handleMirrorSync(request, env) {
   try {
     const result = await syncOverleafToMirror({
       projectId,
+      evidenceProjectId: params.projectId,
       project: params.project || { files: [] },
       rootDir
     });
@@ -757,7 +777,7 @@ async function handleMirrorPatchFiles(request, env) {
     });
     return okResponse(request.id, result);
   } catch (error) {
-    return errorResponse(request.id, 'mirror_patch_files_failed', error.message);
+    return errorResponse(request.id, error.code === 'document_identity_mismatch' ? error.code : 'mirror_patch_files_failed', error.message);
   } finally {
     releaseProjectLock(projectKey, lockToken);
   }