@mrclrchtr/supi-code-intelligence 4.10.0 → 5.0.0

package/node_modules/@mrclrchtr/supi-lsp/src/manager/manager-workspace-recovery.ts

@@ -1,4 +1,18 @@
+import * as path from "node:path";
+import {
+  type CodeRequestControl,
+  isCodeRequestInterruption,
+  throwIfCodeRequestInterrupted,
+} from "@mrclrchtr/supi-code-runtime/api";
+import type { RecoveryRestartReason } from "../client/client.ts";
+import { getDiagnosticFileState } from "../client/client-file-state.ts";
 import type { Diagnostic, FileEvent } from "../config/types.ts";
+import {
+  type DiagnosticEvidenceDocument,
+  type DiagnosticEvidenceSummary,
+  emptyDiagnosticEvidence,
+  summarizeDiagnosticEvidence,
+} from "../diagnostics/evidence.ts";
 import {
   assessStaleDiagnostics,
   type StaleDiagnosticAssessment,
@@ -8,18 +22,51 @@ export interface WorkspaceRecoveryResult {
   /** Active clients targeted by the best-effort refresh, not confirmed successful refreshes. */
   attemptedClients: number;
   restartedClients: number;
+  /** Server names of the active clients targeted by this pass, for telemetry identity. */
+  attemptedServers: string[];
+  /** Server names of the clients restarted during this pass, for telemetry identity. */
+  restartedServers: string[];
+  /** Stall signal of the first restarted route, when this pass restarted a client. */
+  restartReason?: RecoveryRestartReason;
+  /** Final document-level evidence from the last refresh in this recovery pass. */
+  diagnosticEvidence: DiagnosticEvidenceSummary;
+  /** Failure from the first refresh, when no later pass replaced it. */
+  refreshFailureReason?: string;
+  /** Wall-clock duration of the whole recovery pass, for telemetry. */
+  elapsedMs: number;
   staleAssessment: StaleDiagnosticAssessment;
 }
 
+/** One client route's diagnostic evidence capability for recovery targeting. */
+export interface WorkspaceDiagnosticRoute {
+  key: string;
+  /** False for push-only clients, which cannot confirm freshness by pull. */
+  supportsPull: boolean;
+  /** Files tracked by the route whose evidence is unconfirmed. */
+  unconfirmedFiles: string[];
+  /** Protocol-stall signal observed on the route, or null when healthy. */
+  stallSignal: RecoveryRestartReason | null;
+}
+
 export interface WorkspaceRecoveryHost {
   clearAllPullResultIds(): void;
   notifyWorkspaceFileChanges(changes: FileEvent[]): void;
-  refreshOpenDiagnostics(options?: { maxWaitMs?: number; quietMs?: number }): Promise<void>;
+  refreshOpenDiagnostics(
+    options?: { maxWaitMs?: number; quietMs?: number } & CodeRequestControl,
+  ): Promise<DiagnosticEvidenceSummary>;
   getOutstandingDiagnostics(
     maxSeverity?: number,
   ): Array<{ file: string; diagnostics: Diagnostic[] }>;
-  getStatus(): { servers: Array<{ status: "running" | "error" | "unavailable" }> };
-  restartClientsForFiles(filePaths: string[]): Promise<string[]>;
+  getRunningClientCount(): number;
+  getRunningClientNames(): string[];
+  isDiagnosticFile(filePath: string): boolean;
+  getClientDiagnosticRoutes(): WorkspaceDiagnosticRoute[];
+  getDiagnosticEvidence(): DiagnosticEvidenceSummary;
+  getCwd(): string;
+  restartClientsForFiles(
+    filePaths: string[],
+    options?: { pushOnly?: boolean; control?: CodeRequestControl },
+  ): Promise<Array<{ key: string; serverName: string; files: string[]; restarted: boolean }>>;
 }
 
 /** Clear cached pull IDs and forward watched-file changes to active clients. */
@@ -29,10 +76,16 @@ export function softRecoverWorkspaceDiagnostics(
 ): number {
   host.clearAllPullResultIds();
   if (changes.length > 0) host.notifyWorkspaceFileChanges(changes);
-  return countRunningClients(host);
+  return host.getRunningClientCount();
 }
 
-/** Run a recovery pass, refreshing diagnostics and escalating if stale state remains. */
+/**
+ * Run a recovery pass, refreshing diagnostics and escalating if stale state remains.
+ *
+ * The pass observes request cancellation between its phases and propagates
+ * the interruption as a rejection instead of swallowing it. A pass that
+ * starts already cancelled rejects before any client or evidence work.
+ */
 export async function recoverWorkspaceDiagnostics(
   host: WorkspaceRecoveryHost,
   options: {
@@ -40,45 +93,268 @@ export async function recoverWorkspaceDiagnostics(
     restartIfStillStale?: boolean;
     maxWaitMs?: number;
     quietMs?: number;
+    control?: CodeRequestControl;
   } = {},
 ): Promise<WorkspaceRecoveryResult> {
+  // Reject immediately when the request was already cancelled: no client or
+  // evidence work may start for a pass the caller no longer awaits.
+  throwIfCodeRequestInterrupted(options.control);
+  const recoveryStartedAt = Date.now();
   const attemptedClients = softRecoverWorkspaceDiagnostics(host, options.changes ?? []);
+  const attemptedServers = host.getRunningClientNames();
+  let diagnosticEvidence = emptyDiagnosticEvidence();
+  let refreshFailureReason: string | undefined;
 
   try {
-    await host.refreshOpenDiagnostics({ maxWaitMs: options.maxWaitMs, quietMs: options.quietMs });
-  } catch {
-    // Recovery should be best-effort.
+    diagnosticEvidence = await host.refreshOpenDiagnostics({
+      maxWaitMs: options.maxWaitMs,
+      quietMs: options.quietMs,
+      ...options.control,
+    });
+  } catch (error) {
+    if (isCodeRequestInterruption(error, options.control)) throw error;
+    refreshFailureReason = errorMessage(error);
+    diagnosticEvidence = host.getDiagnosticEvidence();
   }
 
   let staleAssessment = assessStaleDiagnostics(host.getOutstandingDiagnostics(1));
   let restartedClients = 0;
+  let restartServerNames: string[] = [];
+  let restartReason: RecoveryRestartReason | undefined;
 
-  if (options.restartIfStillStale && staleAssessment.suspected) {
-    const restarted = await host.restartClientsForFiles(
-      staleAssessment.matchedFiles.map((entry) => entry.file),
-    );
+  if (options.restartIfStillStale) {
+    // Observe cancellation between pass phases: an abort that arrived during
+    // the first refresh stops the pass before any client restart.
+    throwIfCodeRequestInterrupted(options.control);
+    const restartTargets = collectRecoveryRestartTargets(host);
+    const restartFiles = restartTargets.flatMap((target) => target.files);
+    if (restartFiles.length > 0) {
+      const escalation = await runRestartEscalation(host, {
+        restartFiles,
+        restartTargets,
+        evidence: diagnosticEvidence,
+        ...options,
+      });
+      restartedClients = escalation.restartedClients;
+      restartServerNames = escalation.restartedServerNames;
+      restartReason = escalation.restartReason;
+      diagnosticEvidence = escalation.diagnosticEvidence;
+      if (escalation.refreshedAfterRestart) refreshFailureReason = undefined;
+      staleAssessment = assessStaleDiagnostics(host.getOutstandingDiagnostics(1));
+    }
+  }
+
+  // Observe cancellation before returning regardless of escalation: a
+  // refresh-only pass must not report a clean result after the caller
+  // cancelled the request.
+  throwIfCodeRequestInterrupted(options.control);
+
+  return recoveryResult();
+
+  function recoveryResult(): WorkspaceRecoveryResult {
+    return {
+      attemptedClients,
+      restartedClients,
+      attemptedServers,
+      restartedServers: restartServerNames,
+      ...(restartReason ? { restartReason } : {}),
+      diagnosticEvidence,
+      ...(refreshFailureReason ? { refreshFailureReason } : {}),
+      elapsedMs: Date.now() - recoveryStartedAt,
+      staleAssessment,
+    };
+  }
+}
+
+/** One push-only route that a recovery pass may restart. */
+interface RecoveryRestartTarget {
+  key: string;
+  reason: RecoveryRestartReason;
+  files: string[];
+}
+
+/**
+ * Collect restart targets: push-only routes with a protocol-stall signal.
+ *
+ * Unconfirmed evidence alone never restarts a client: the reopen-resync
+ * fallback handles unconfirmed push-only documents without discarding
+ * server state (ADR 0020). Restarts require a readiness stall or repeated
+ * protocol failures, and stay limited to push-only routes.
+ */
+function collectRecoveryRestartTargets(host: WorkspaceRecoveryHost): RecoveryRestartTarget[] {
+  const targets: RecoveryRestartTarget[] = [];
+  for (const route of host.getClientDiagnosticRoutes()) {
+    if (route.supportsPull) continue;
+    if (!route.stallSignal) continue;
+    if (route.unconfirmedFiles.length === 0) continue;
+    targets.push({
+      key: route.key,
+      reason: route.stallSignal,
+      files: route.unconfirmedFiles,
+    });
+  }
+  return targets;
+}
+
+/**
+ * Restart affected push-only clients and merge the replacement refresh evidence.
+ *
+ * Cancellation observed during the escalation is propagated as a rejection;
+ * only non-interruption failures degrade to unconfirmed evidence.
+ */
+async function runRestartEscalation(
+  host: WorkspaceRecoveryHost,
+  options: {
+    restartFiles: readonly string[];
+    restartTargets: readonly RecoveryRestartTarget[];
+    evidence: DiagnosticEvidenceSummary;
+    maxWaitMs?: number;
+    quietMs?: number;
+    control?: CodeRequestControl;
+  },
+): Promise<{
+  restartedClients: number;
+  restartedServerNames: string[];
+  restartReason?: RecoveryRestartReason;
+  diagnosticEvidence: DiagnosticEvidenceSummary;
+  refreshedAfterRestart: boolean;
+}> {
+  const { restartFiles, restartTargets, evidence } = options;
+  const reasonByKey = new Map(restartTargets.map((target) => [target.key, target.reason]));
+  let diagnosticEvidence = evidence;
+  let restartedClients = 0;
+  let restartedServerNames: string[] = [];
+  let restartReason: RecoveryRestartReason | undefined;
+  let refreshedAfterRestart = false;
+
+  try {
+    const restartResults = await host.restartClientsForFiles([...restartFiles], {
+      pushOnly: true,
+      control: options.control,
+    });
+    // Observe cancellation once the restart loop settles: a cancelled pass
+    // must not invalidate or refresh evidence for replacement processes.
+    throwIfCodeRequestInterrupted(options.control);
+    const restarted = restartResults.filter((result) => result.restarted);
     restartedClients = restarted.length;
+    restartedServerNames = restarted.map((result) => result.serverName);
+    restartReason = firstRestartReason(restarted, reasonByKey);
+    // Every attempted route had its client replaced or shut down; its owned
+    // files need fresh evidence. Routes the manager skipped (pull-capable or
+    // guard-blocked) produce no result and keep their refreshed evidence.
+    const attemptedFiles = restartResults
+      .flatMap((result) => result.files)
+      .filter((file) => host.isDiagnosticFile(file));
+    diagnosticEvidence = invalidateDiagnosticEvidence(evidence, attemptedFiles, host.getCwd());
 
-    if (restartedClients > 0) {
+    if (restarted.length > 0) {
       try {
-        await host.refreshOpenDiagnostics({
-          maxWaitMs: options.maxWaitMs,
-          quietMs: options.quietMs,
-        });
-      } catch {
-        // Keep the previous assessment if the follow-up refresh fails.
+        diagnosticEvidence = mergeDiagnosticEvidence(
+          diagnosticEvidence,
+          await host.refreshOpenDiagnostics({
+            maxWaitMs: options.maxWaitMs,
+            quietMs: options.quietMs,
+            ...options.control,
+          }),
+          host.getCwd(),
+        );
+        // Observe cancellation after the replacement refresh: a cancelled
+        // pass discards the fresh result instead of reporting it as current.
+        throwIfCodeRequestInterrupted(options.control);
+        refreshedAfterRestart = true;
+      } catch (error) {
+        if (isCodeRequestInterruption(error, options.control)) throw error;
+        // Keep affected evidence unconfirmed when replacement refresh fails.
       }
-      staleAssessment = assessStaleDiagnostics(host.getOutstandingDiagnostics(1));
     }
+  } catch (error) {
+    if (isCodeRequestInterruption(error, options.control)) throw error;
+    // Keep affected evidence unconfirmed when replacement fails.
   }
 
   return {
-    attemptedClients,
     restartedClients,
-    staleAssessment,
+    restartedServerNames,
+    ...(restartReason ? { restartReason } : {}),
+    diagnosticEvidence,
+    refreshedAfterRestart,
   };
 }
 
-function countRunningClients(host: WorkspaceRecoveryHost): number {
-  return host.getStatus().servers.filter((server) => server.status === "running").length;
+/** Return the stall signal of the first route that actually restarted. */
+function firstRestartReason(
+  restarted: Array<{ key: string }>,
+  reasonByKey: ReadonlyMap<string, RecoveryRestartReason>,
+): RecoveryRestartReason | undefined {
+  for (const result of restarted) {
+    const reason = reasonByKey.get(result.key);
+    if (reason !== undefined) return reason;
+  }
+  return undefined;
+}
+
+function invalidateDiagnosticEvidence(
+  evidence: DiagnosticEvidenceSummary,
+  files: readonly string[],
+  cwd: string,
+): DiagnosticEvidenceSummary {
+  const affected = new Set(files.map((file) => path.resolve(cwd, file)));
+  const documents = evidence.documents.map((document) =>
+    affected.has(path.resolve(cwd, document.file))
+      ? {
+          ...document,
+          status: invalidatedFileStatus(path.resolve(cwd, document.file)),
+        }
+      : document,
+  );
+  const known = new Set(documents.map((document) => path.resolve(cwd, document.file)));
+  for (const file of files) {
+    const resolved = path.resolve(cwd, file);
+    if (!known.has(resolved)) {
+      documents.push({
+        file: path.relative(cwd, resolved),
+        status: invalidatedFileStatus(resolved),
+      });
+      known.add(resolved);
+    }
+  }
+  return summarizeDiagnosticEvidence(documents as DiagnosticEvidenceDocument[]);
+}
+
+function invalidatedFileStatus(filePath: string): "unconfirmed" | "failed" | "removed" {
+  switch (getDiagnosticFileState(filePath)) {
+    case "removed":
+      return "removed";
+    case "unreadable":
+      return "failed";
+    default:
+      return "unconfirmed";
+  }
+}
+
+function errorMessage(error: unknown): string {
+  return error instanceof Error && error.message ? error.message : "Diagnostic refresh failed.";
+}
+
+function mergeDiagnosticEvidence(
+  invalidated: DiagnosticEvidenceSummary,
+  refreshed: DiagnosticEvidenceSummary,
+  cwd: string,
+): DiagnosticEvidenceSummary {
+  const documents = new Map<string, DiagnosticEvidenceDocument>();
+  for (const document of invalidated.documents) {
+    const resolved = path.resolve(cwd, document.file);
+    documents.set(resolved, {
+      file: path.relative(cwd, resolved),
+      status: document.status,
+    });
+  }
+  for (const document of refreshed.documents) {
+    const resolved = path.resolve(cwd, document.file);
+    documents.set(resolved, {
+      file: path.relative(cwd, resolved),
+      status: document.status,
+    });
+  }
+  return summarizeDiagnosticEvidence(Array.from(documents.values()));
 }

package/node_modules/@mrclrchtr/supi-lsp/src/manager/manager-workspace-symbol.ts

@@ -2,6 +2,7 @@ import * as fs from "node:fs";
 import * as path from "node:path";
 import {
   type CodeQueryResult,
+  type CodeRequestControl,
   completedCodeQuery,
   partialCodeQuery,
   unavailableCodeQuery,
@@ -55,6 +56,7 @@ export interface WorkspaceSymbolCollection {
 export async function collectWorkspaceSymbols(
   clients: Iterable<LspClient>,
   query: string,
+  control?: CodeRequestControl,
 ): Promise<WorkspaceSymbolCollection> {
   const results: WorkspaceSymbolLike[] = [];
   const failures: string[] = [];
@@ -65,7 +67,7 @@ export async function collectWorkspaceSymbols(
     if (client.status !== "running") continue;
     if (!client.serverCapabilities?.workspaceSymbolProvider) continue;
     hasSupport = true;
-    const result = await client.workspaceSymbol(query);
+    const result = await client.workspaceSymbol(query, control);
     if (result.kind === "unavailable") {
       failures.push(result.reason);
       continue;
@@ -99,8 +101,9 @@ export function workspaceSymbolCollectionResult(
 export async function managerWorkspaceSymbol(
   clients: Iterable<LspClient>,
   query: string,
+  control?: CodeRequestControl,
 ): Promise<CodeQueryResult<WorkspaceSymbolLike[]>> {
-  return workspaceSymbolCollectionResult(await collectWorkspaceSymbols(clients, query));
+  return workspaceSymbolCollectionResult(await collectWorkspaceSymbols(clients, query, control));
 }
 
 export function findWorkspaceSymbolWarmTargets(