Function prepareVerifyRun

src/verify/orchestrator.ts:45–110

(
  agent: VerifyAgentLike,
  options: VerifyOrchestratorOptions = {},
)

}

export async function prepareVerifyRun(
  agent: VerifyAgentLike,
  options: VerifyOrchestratorOptions = {},
): Promise<PreparedVerifyRun> {
  const cwd = agent.getCwd();
  const baseSettings = agent.getSandboxSettings();
  const manifest = loadVerifyEnvironment(cwd, baseSettings);

  if (manifest) {
    options.onProgress?.(`Loaded verify environment manifest: ${manifest.path}`);
  } else {
    options.onProgress?.("No verify environment manifest found; running verify-detect to generate one");
  }

  let profile = inferVerifyProjectProfile(cwd, manifest?.sandboxSettings ?? baseSettings, manifest?.recipe ?? null);
  let usedVerifyDetect = false;
  let manifestPath = manifest?.path;

  if (!manifest) {
    const detectedRecipe = await agent.detectVerifyRecipe(baseSettings, options.abortSignal);
    if (detectedRecipe) {
      usedVerifyDetect = true;
      profile = inferVerifyProjectProfile(cwd, baseSettings, detectedRecipe);
      options.onProgress?.(`verify-detect selected recipe for ${profile.appLabel}`);
      manifestPath = saveVerifyEnvironment(cwd, profile.recipe, profile.sandboxSettings);
      options.onProgress?.(`Created verify environment manifest: ${manifestPath}`);
    } else {
      options.onProgress?.(
        "verify-detect did not return a usable recipe; keeping deterministic fallback without writing a manifest",
      );
    }
  }

  const sandboxSettings = buildRuntimeSandboxSettings(profile);
  options.onProgress?.("Preparing verify checkpoint");
  const checkpoint = await ensureVerifyCheckpoint(cwd, profile, sandboxSettings);
  if (checkpoint.checkpointName) {
    sandboxSettings.from = checkpoint.checkpointName;
    if (checkpoint.guestWorkdir) {
      sandboxSettings.guestWorkdir = checkpoint.guestWorkdir;
      sandboxSettings.syncHostWorkspace = true;
    }
    options.onProgress?.(
      checkpoint.created
        ? `Created verify checkpoint: ${checkpoint.checkpointName}`
        : `Using verify checkpoint: ${checkpoint.checkpointName}`,
    );
  } else {
    options.onProgress?.("No verify checkpoint needed for this recipe");
  }

  const taskRequest: TaskRequest = {
    agent: "verify",
    description: "Run local verification",
    prompt: buildVerifyTaskPrompt(cwd, sandboxSettings, profile.recipe),
  };

  return {