ultimate-pi 0.18.0 → 0.19.0

package/.pi/lib/harness-lens/clients/lsp/lsp-index.ts

@@ -0,0 +1,11 @@
+/**
+ * LSP Module for pi-lens
+ *
+ * Multi-language LSP client supporting 40+ languages.
+ */
+
+export * from "./client.js";
+export * from "./index.js";
+export * from "./language.js";
+export * from "./launch.js";
+export * from "./server.js";

package/.pi/lib/harness-lens/clients/lsp/path-utils.ts

@@ -0,0 +1,12 @@
+/**
+ * Re-export from shared path-utils.
+ * Kept as a local module for LSP imports that use relative paths.
+ */
+export {
+	isUnderDir,
+	normalizeFilePath,
+	normalizeMapKey,
+	pathsEqual,
+	pathToUri,
+	uriToPath,
+} from "../path-utils.js";

package/.pi/lib/harness-lens/clients/lsp/server-strategies.ts

@@ -0,0 +1,81 @@
+/**
+ * Per-Server Diagnostic Strategies for pi-lens LSP
+ *
+ * Codifies known server behavior so timing decisions (debounce, retry budget,
+ * first-push seeding) are automatic rather than one-size-fits-all.
+ *
+ * Env var overrides (PI_LENS_LSP_*) always take precedence over strategy values.
+ */
+
+export interface DiagnosticStrategy {
+	/** Seed the push cache on the very first publishDiagnostics notification.
+	 *  True for servers whose first push is known to be complete. */
+	seedFirstPush: boolean;
+	/** Maximum ms to spend retrying pull diagnostics when the first pull returns
+	 *  empty. 0 = skip pull retry entirely, rely on push. */
+	pullRetryBudgetMs: number;
+	/** Debounce window for push diagnostics (ms). Applied in both the notification
+	 *  handler and the waitForDiagnostics listener. */
+	debounceMs: number;
+	/** The aggregate timeout for waitForDiagnostics per this server (ms).
+	 *  Overrides the global DIAGNOSTICS_AGGREGATE_WAIT_MS in the service layer. */
+	aggregateWaitMs: number;
+	/** Whether this server benefits from a second pull after an empty fast first
+	 *  pull. TypeScript: no (rely on push). rust-analyzer: yes (incremental). */
+	expectSemanticSecondPush: boolean;
+}
+
+export const SERVER_DIAGNOSTIC_STRATEGIES: Record<string, DiagnosticStrategy> =
+	{
+		typescript: {
+			seedFirstPush: true,
+			pullRetryBudgetMs: 0,
+			debounceMs: 50,
+			aggregateWaitMs: 1000,
+			expectSemanticSecondPush: false,
+		},
+		"rust-analyzer": {
+			seedFirstPush: false,
+			pullRetryBudgetMs: 500,
+			debounceMs: 150,
+			aggregateWaitMs: 3000,
+			expectSemanticSecondPush: true,
+		},
+		// PythonServer (pyright / basedpyright) — openFilesOnly mode: lazy per-file
+		// analysis, startup similar to jedi. seedFirstPush: true because pyright's
+		// first publishDiagnostics after didOpen is the complete result for that file.
+		python: {
+			seedFirstPush: true,
+			pullRetryBudgetMs: 0,
+			debounceMs: 100,
+			aggregateWaitMs: 1500,
+			expectSemanticSecondPush: false,
+		},
+		"python-jedi": {
+			seedFirstPush: true,
+			pullRetryBudgetMs: 0,
+			debounceMs: 100,
+			aggregateWaitMs: 1000,
+			expectSemanticSecondPush: false,
+		},
+		eslint: {
+			seedFirstPush: true,
+			pullRetryBudgetMs: 0,
+			debounceMs: 200,
+			aggregateWaitMs: 2000,
+			expectSemanticSecondPush: false,
+		},
+	};
+
+/** Fallback for unknown servers. Conservative defaults. */
+export const DEFAULT_STRATEGY: DiagnosticStrategy = {
+	seedFirstPush: false,
+	pullRetryBudgetMs: 250,
+	debounceMs: 150,
+	aggregateWaitMs: 1500,
+	expectSemanticSecondPush: false,
+};
+
+export function getStrategy(serverId: string): DiagnosticStrategy {
+	return SERVER_DIAGNOSTIC_STRATEGIES[serverId] ?? DEFAULT_STRATEGY;
+}