@@ -144,6 +144,10 @@ main();
 
 export const MCP_STDIO_BRIDGE_FILE_NAME = "mcp-stdio-bridge.mjs";
 
+// Concurrent writers in one process share the pid, so a counter keeps each
+// temporary file unique.
+let bridgeWriteCounter = 0;
+
 /**
  * Ensures the bridge script exists under `stateDir` and returns its absolute
  * path. Reuses an up-to-date copy so warm restarts do not rewrite the file.
@@ -160,7 +164,7 @@ export const ensureMcpStdioBridge = (
       return bridgePath;
     }
     yield* fileSystem.makeDirectory(stateDir, { recursive: true });
-    const tempPath = `${bridgePath}.${process.pid}.tmp`;
+    const tempPath = `${bridgePath}.${process.pid}.${bridgeWriteCounter++}.tmp`;
     yield* fileSystem.writeFileString(tempPath, MCP_STDIO_BRIDGE_SOURCE);
     yield* fileSystem.rename(tempPath, bridgePath);
     return bridgePath;
 
@@ -817,7 +817,18 @@ export const makeDevinAdapter = Effect.fn("makeDevinAdapter")(function* (
     return yield* Effect.gen(function* () {
       const launch = yield* context.promptLock.withPermit(
         Effect.gen(function* () {
-          yield* requireSession(input.threadId);
+          // Attachments were read before the lock was acquired; if the session
+          // was stopped and restarted meanwhile, `context` names a closed
+          // runtime and this send must not proceed on it.
+          const current = yield* requireSession(input.threadId);
+          if (current !== context) {
+            return yield* new ProviderAdapterRequestError({
+              provider: PROVIDER,
+              method: "session/prompt",
+              detail:
+                "The Devin session was restarted while the turn was being prepared. Send again.",
+            });
+          }
           const requestedModel = input.modelSelection?.model ?? context.session.model;
           const requested = resolveDevinModelId(requestedModel);
           const modelOption = findDevinModelConfigOption(yield* context.runtime.getConfigOptions);
 
@@ -75,6 +75,23 @@ export const makeDevinTextGeneration = Effect.fn("makeDevinTextGeneration")(func
         Effect.provideService(FileSystem.FileSystem, fileSystem),
       );
 
+      // Text generation has no interactive user and no workspace tools: any
+      // permission, elicitation, or extension request is declined so the turn
+      // cannot stall waiting for input that will never arrive.
+      yield* runtime.handleRequestPermission(() =>
+        Effect.succeed({ outcome: { outcome: "cancelled" as const } }),
+      );
+      yield* runtime.handleElicitation(() =>
+        Effect.succeed({ action: { action: "decline" as const } }),
+      );
+      yield* runtime.handleUnknownExtRequest((method) =>
+        Effect.fail(
+          new EffectAcpErrors.AcpRequestError({
+            code: -32601,
+            errorMessage: `Extension request '${method}' is disabled for text generation.`,
+          }),
+        ),
+      );
       yield* runtime.handleSessionUpdate((notification) => {
         const update = notification.update;
         if (update.sessionUpdate !== "agent_message_chunk") {
@@ -256,6 +273,7 @@ export const makeDevinTextGeneration = Effect.fn("makeDevinTextGeneration")(func
       const { prompt, outputSchema } = buildThreadTitlePrompt({
         message: input.message,
         previousTitle: input.previousTitle,
+        linkedContext: input.linkedContext,
         attachments: input.attachments,
       });
 
@@ -269,6 +287,7 @@ export const makeDevinTextGeneration = Effect.fn("makeDevinTextGeneration")(func
 
       return {
         title: sanitizeThreadTitle(generated.title),
+        ...(generated.needsRefinement ? { needsRefinement: true } : {}),
       } satisfies TextGeneration.ThreadTitleGenerationResult;
     });
 
 
@@ -57,6 +57,8 @@ describe("shouldIncludeModelPickerOption", () => {
     ["opencode", "warning"],
     ["antigravity", "error"],
     ["antigravity", "warning"],
+    ["devin", "error"],
+    ["devin", "warning"],
   ] as const)(
     "keeps only the active synthetic %s row when the provider status is %s",
     (driver, status) => {
 
@@ -91,7 +91,9 @@ export function shouldIncludeModelPickerOption(input: {
   if (isProviderInstancePickerReady(input.entry)) return true;
   return (
     input.entry.enabled &&
-    (input.entry.driverKind === "opencode" || input.entry.driverKind === "antigravity") &&
+    (input.entry.driverKind === "opencode" ||
+      input.entry.driverKind === "antigravity" ||
+      input.entry.driverKind === "devin") &&
     input.entry.instanceId === input.activeInstanceId &&
     input.option.slug === input.activeModel &&
     input.option.isUnavailable === true