start-command 0.42.0 → 0.44.0

package/src/lib/execution-resume-all.js

@@ -34,6 +34,7 @@ const ResumeAllAction = {
   RUNNING: 'running',
   RECONCILED: 'reconciled',
   UNKNOWN: 'unknown',
+  PAUSED: 'paused',
 };
 
 function formatResumeAllAsLinksNotation(summary) {
@@ -137,6 +138,19 @@ function resumeAllExecutions(store, deps = {}) {
       continue;
     }
 
+    if (probe.state === SessionState.PAUSED) {
+      // Neither restarted nor re-watched while frozen (issue #263).
+      executions.push(
+        describeRecord(
+          record,
+          probe,
+          ResumeAllAction.PAUSED,
+          `Skipped paused container: ${sessionName}. Use \`$ --unpause ${record.uuid}\` to continue it.`
+        )
+      );
+      continue;
+    }
+
     if (probe.alive && probe.backend === 'docker') {
       startWatcher(
         sessionName,

package/src/lib/execution-resume.js

@@ -43,7 +43,11 @@ const {
   rollbackLaunch,
   failLaunchedPersistence,
 } = require('./launch-persistence');
-const { SessionState, probeSession } = require('./session-probe');
+const {
+  SessionState,
+  pausedSessionError,
+  probeSession,
+} = require('./session-probe');
 const { getDockerNetworks } = require('./docker-network-lifecycle');
 const {
   writeCommandHandoff,
@@ -217,6 +221,10 @@ function buildResumePlan(
     return { error: 'Only detached isolated executions can be resumed.' };
   }
 
+  if (probe.state === SessionState.PAUSED) {
+    return pausedSessionError('resume', record.uuid, sessionName);
+  }
+
   if (probe.alive) {
     return {
       error:
@@ -481,6 +489,13 @@ async function resumeExecution(store, identifier, deps = {}) {
   const runner = deps.runner || runCommand;
   const probeFn = deps.probe || ((r) => probeSession(r, runner));
   const probe = probeFn(record);
+  if (probe.state === SessionState.PAUSED) {
+    // Refused before any snapshot or resource change (issue #263).
+    return {
+      success: false,
+      ...pausedSessionError('resume', record.uuid, probe.sessionName),
+    };
+  }
   const opts = record.options || {};
   let resources;
   try {

package/src/lib/execution-store.js

@@ -663,7 +663,11 @@ class ExecutionStore {
     const staleRecords = [];
 
     for (const record of executingRecords) {
-      if (require('./launch-owner').hasActiveLaunch(record)) {
+      if (
+        require('./launch-owner').hasActiveLaunch(record) ||
+        require('./execution-pause').isConfirmedPaused(record)
+      ) {
+        // A paused container is alive, just frozen (issue #263).
         continue;
       }
       let isStale = false;

package/src/lib/formal-ai-client.js

@@ -15,6 +15,7 @@ const { API_PREFIX } = require('./formal-ai-runtime');
 const {
   FILE_TOOLS,
   describeFileCall,
+  echoedByTool,
   normalizeFileArgs,
 } = require('./formal-ai-files');
 
@@ -144,7 +145,12 @@ const GAP_SCHEMAS = Object.freeze({
     'EditToolUnavailable',
     'ReadToolUnavailable',
   ],
-  'workspace-change-verification-gap/v1': ['VerificationRunToolUnavailable'],
+  // SourcePreimageUnavailable: Formal AI could not bind the complete Read
+  // before its edit to the change (issue #261).
+  'workspace-change-verification-gap/v1': [
+    'VerificationRunToolUnavailable',
+    'SourcePreimageUnavailable',
+  ],
 });
 const CAPABILITIES = new Set([
   'read',
@@ -196,10 +202,7 @@ function recognizeCapabilityGap(content, messages = []) {
   ) {
     return null;
   }
-  const echoed = messages.some(
-    (m) => m && m.role === 'tool' && String(m.content || '').includes(text)
-  );
-  if (echoed) {
+  if (echoedByTool(text, messages)) {
     return null;
   }
   return {