@danypops/pi-lector 0.15.0 → 0.16.0

package/extension/src/external-search/operations.ts

@@ -1,4 +1,4 @@
-import type { GithubRepoSearchResult, NpmPackageCandidate, SourcegraphCodeCandidate } from "@danypops/lector";
+import type { GithubRepoSearchResult, NpmPackageCandidate, SourcegraphCodeSearchResult } from "@danypops/lector";
 import { invokeLectorVehicleOperation, type LectorVehicleCall } from "../vehicle-client.ts";
 
 /** Matches EXTERNAL_SEARCH_PERMISSIONS' own declared value server-side (external-search/operation-registration.ts). */
@@ -12,7 +12,7 @@ const EXTERNAL_SEARCH_PERMISSIONS = ["external-search:read"];
 export interface ExternalSearchOperations {
 	githubRepos(query: string, maxResults: number, call: LectorVehicleCall): Promise<GithubRepoSearchResult>;
 	npmPackages(query: string, maxResults: number, call: LectorVehicleCall): Promise<{ candidates: readonly NpmPackageCandidate[] }>;
-	sourcegraphCode(query: string, maxResults: number, call: LectorVehicleCall): Promise<{ candidates: readonly SourcegraphCodeCandidate[] }>;
+	sourcegraphCode(query: string, maxResults: number, call: LectorVehicleCall): Promise<SourcegraphCodeSearchResult>;
 }
 
 export function createExternalSearchOperations(): ExternalSearchOperations {
@@ -29,12 +29,7 @@ export function createExternalSearchOperations(): ExternalSearchOperations {
 			);
 		},
 		sourcegraphCode(query, maxResults, call) {
-			return invokeLectorVehicleOperation<{ candidates: readonly SourcegraphCodeCandidate[] }>(
-				"search.sourcegraphCode",
-				{ query, maxResults },
-				EXTERNAL_SEARCH_PERMISSIONS,
-				call,
-			);
+			return invokeLectorVehicleOperation<SourcegraphCodeSearchResult>("search.sourcegraphCode", { query, maxResults }, EXTERNAL_SEARCH_PERMISSIONS, call);
 		},
 	};
 }

package/extension/src/external-search/rendering.ts

@@ -1,4 +1,4 @@
-import type { GithubRepoSearchResult, NpmPackageCandidate, SourcegraphCodeCandidate } from "@danypops/lector";
+import type { GithubRepoSearchResult, NpmPackageCandidate, SourcegraphCodeSearchResult } from "@danypops/lector";
 import type { LectorTheme } from "../lector-tui-theme.ts";
 import { presentationTitle } from "../presentation/tool-presentation.ts";
 
@@ -45,17 +45,15 @@ export function formatNpmPackageSearchResult(
 	return lines.join("\n");
 }
 
-export function formatSourcegraphCodeSearchResult(
-	result: { candidates: readonly SourcegraphCodeCandidate[] } | undefined,
-	expanded: boolean,
-	theme: LectorTheme,
-): string {
-	if (!result || result.candidates.length === 0) return theme.fg("dim", "no code matches");
+export function formatSourcegraphCodeSearchResult(result: SourcegraphCodeSearchResult | undefined, expanded: boolean, theme: LectorTheme): string {
+	if (!result) return theme.fg("dim", "no code matches");
 	const { visible, more } = boundedCandidates(result.candidates, expanded);
 	const lines = visible.map((candidate) => {
 		const matches = candidate.lineMatches.slice(0, expanded ? candidate.lineMatches.length : 3);
 		return `${theme.fg("accent", `${candidate.repository}/${candidate.path}`)}\n${matches.map((match) => `  ${match.line}: ${match.preview}`).join("\n")}`;
 	});
 	if (more > 0) lines.push(theme.fg("muted", `… ${more} more (expand to show)`));
+	if (result.truncated) lines.push(theme.fg("warning", `partial results · ${result.stopReason ?? "bounded"}`));
+	if (lines.length === 0) return theme.fg("dim", "no code matches");
 	return lines.join("\n");
 }

package/extension/src/index.ts

@@ -21,7 +21,7 @@ import type {
 	PackageSourceOperationResult,
 	PopulateSymbolGraphResult,
 	RepoFetchResult,
-	SourcegraphCodeCandidate,
+	SourcegraphCodeSearchResult,
 	SymbolAnnotation,
 	SymbolNode,
 	SymbolSearchResult,
@@ -2457,7 +2457,7 @@ export default function (pi: ExtensionAPI) {
 		type ExternalSearchToolDetails =
 			| { readonly action: "github_repos"; readonly result: GithubRepoSearchResult }
 			| { readonly action: "npm_packages"; readonly result: { candidates: readonly NpmPackageCandidate[] } }
-			| { readonly action: "sourcegraph_code"; readonly result: { candidates: readonly SourcegraphCodeCandidate[] } };
+			| { readonly action: "sourcegraph_code"; readonly result: SourcegraphCodeSearchResult };
 
 		const externalSearchOperations = createExternalSearchOperations();
 		registerLectorTool({

package/extension/src/workspace-cache/rendering.ts

@@ -26,7 +26,16 @@ export function formatWorkspaceCacheCall(
 
 function formatResultCounts(result: CacheResultCounts): string {
 	const failed = result.filesFailed > 0 ? `, ${result.filesFailed} failed` : "";
-	return `${result.filesProcessed}/${result.filesAttempted} files${failed}, ${result.symbolsProcessed} symbols, ${result.nodesAdded} nodes, ${result.edgesAdded} edges`;
+	const reuse = result.filesReused === undefined ? "" : `, ${result.filesReused} reused, ${result.filesReprocessed ?? 0} reprocessed`;
+	const retries = result.staleRetries ? `, ${result.staleRetries} stale ${result.staleRetries === 1 ? "retry" : "retries"}` : "";
+	const coverage = result.sourceCoverage;
+	const scopes = coverage?.scopes
+		.slice(0, 3)
+		.map((entry) => `${entry.scope}:${entry.files}`)
+		.join(", ");
+	const omitted = coverage ? coverage.scopeOmittedCount + Math.max(0, coverage.scopes.length - 3) : 0;
+	const scopeSummary = scopes ? `; coverage ${scopes}${omitted > 0 ? ` (+${omitted} scopes)` : ""}${coverage?.truncated ? " [bounded]" : ""}` : "";
+	return `${result.filesProcessed}/${result.filesAttempted} files${failed}${reuse}${retries}, ${result.symbolsProcessed} symbols, ${result.nodesAdded} nodes, ${result.edgesAdded} edges${scopeSummary}`;
 }
 
 export function formatWorkspaceReleaseModelContent(outcome: OperationOutputs["workspace.release"]): string {

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@danypops/pi-lector",
-	"version": "0.15.0",
+	"version": "0.16.0",
 	"description": "Pi host adapter for Lector: overrides read/write/edit with a daemon-backed, hash-guarded filesystem",
 	"license": "MIT",
 	"type": "module",
@@ -22,7 +22,7 @@
 		"@danypops/vehicle-client-pi": "^0.45.0"
 	},
 	"dependencies": {
-		"@danypops/lector": "^0.21.0",
+		"@danypops/lector": "^0.22.0",
 		"@danypops/vehicle-client": "^0.10.8",
 		"@danypops/vehicle-core": "^0.19.1",
 		"malevich-tui-components": "^0.32.1",