@mrclrchtr/supi-code-intelligence 3.2.0 → 4.0.0

package/src/tool/find/semantic-search.ts

@@ -1,128 +0,0 @@
-/**
- * Semantic search support for the pattern/find use-case.
- *
- * LSP workspace-symbol search with scope filtering and markdown rendering.
- * Extracted from orchestrate.ts to keep the main use-case under the
- * file-line limit.
- */
-
-import type { CodeSymbol } from "@mrclrchtr/supi-code-runtime/api";
-import { isWithinOrEqual } from "@mrclrchtr/supi-core/project";
-import { createEvidenceList, renderEvidenceListDisclosure } from "../../analysis/evidence.ts";
-import type { CodeProvider } from "../../analysis/provider.ts";
-import type { CodeIntelResult } from "../../types/index.ts";
-import { assembleFindResult } from "../result/find.ts";
-import type { PatternInput } from "./orchestrate.ts";
-
-export async function executeSemanticSearch(
-  input: PatternInput,
-  provider: CodeProvider | null,
-  cwd: string,
-): Promise<CodeIntelResult> {
-  if (!provider?.workspaceSymbols) {
-    throw new Error(
-      "code_find semantic search is unavailable because no semantic/LSP provider is active for this workspace.",
-    );
-  }
-
-  const symbols = await provider.workspaceSymbols(input.pattern);
-  if (symbols === null) {
-    throw new Error(
-      "code_find semantic search is unavailable because the active semantic provider cannot serve workspace symbol queries.",
-    );
-  }
-
-  const scope = getSemanticScope(input, cwd);
-  const scopedSymbols = filterSymbolsByScopes(symbols, scope.paths);
-  if (scopedSymbols.length === 0) {
-    return renderSemanticEmptyResult(input, scope.label);
-  }
-
-  return renderSemanticResults(input, scopedSymbols, cwd);
-}
-
-function filterSymbolsByScopes<T extends { file: string }>(
-  symbols: T[],
-  scopePaths: string[],
-): T[] {
-  return symbols.filter((symbol) =>
-    scopePaths.some((scopePath) => isWithinOrEqual(scopePath, symbol.file)),
-  );
-}
-
-function getSemanticScope(input: PatternInput, cwd: string): { paths: string[]; label: string } {
-  if (input.paths && input.paths.length > 0) {
-    return { paths: input.paths, label: input.scopeLabel ?? input.paths.join(", ") };
-  }
-  return { paths: [cwd], label: "." };
-}
-
-function getDetailScope(input: PatternInput): string | null {
-  return input.scopeLabel ?? null;
-}
-
-function renderSemanticEmptyResult(input: PatternInput, relPath: string): CodeIntelResult {
-  return {
-    content: `**Semantic search** — \`${input.pattern}\`\n\nNo semantic results found in \`${relPath}\`.`,
-    details: {
-      type: "search",
-      data: assembleFindResult({
-        confidence: "semantic",
-        scope: getDetailScope(input),
-        candidateCount: 0,
-        nextQueries: [
-          'Use `mode: "text"` for literal text search',
-          'Use `mode: "ast"` with `kind` for structural filtering',
-        ],
-      }),
-    },
-  };
-}
-
-function renderSemanticResults(
-  input: PatternInput,
-  symbols: CodeSymbol[],
-  cwd: string,
-): CodeIntelResult {
-  const max = input.maxResults ?? 8;
-  const evidence = createEvidenceList({
-    key: "find.semanticSymbols",
-    items: symbols,
-    maxResults: max,
-  });
-
-  const lines = [
-    `**Semantic search** — \`${input.pattern}\` (${symbols.length} symbol${symbols.length !== 1 ? "s" : ""} found)`,
-  ];
-
-  for (const sym of evidence.items) {
-    const kindLabel = sym.kind ? ` [${sym.kind}]` : "";
-    const container = sym.container ? ` (in ${sym.container})` : "";
-    const fileRel = sym.file.startsWith(cwd) ? sym.file.slice(cwd.length + 1) : sym.file;
-    const anchor = sym.nameAnchor ?? sym.declarationAnchor;
-    lines.push(`- \`${sym.name}\`${kindLabel}${container} — \`${fileRel}:${anchor.line}\``);
-  }
-
-  const disclosure = renderEvidenceListDisclosure(evidence);
-  if (disclosure) {
-    lines.push(disclosure);
-  }
-
-  return {
-    content: lines.join("\n"),
-    details: {
-      type: "search",
-      data: assembleFindResult({
-        confidence: "semantic",
-        scope: getDetailScope(input),
-        candidateCount: symbols.length,
-        omittedCount: evidence.metadata.omittedCount ?? 0,
-        evidenceLists: [evidence.metadata],
-        nextQueries: [
-          'Use `mode: "text"` for literal text search',
-          'Use `mode: "ast"` with `kind` for structural filtering',
-        ],
-      }),
-    },
-  };
-}

package/src/tool/graph/collect-relation.ts

@@ -1,372 +0,0 @@
-/**
- * Per-relation data collection for code_graph.
- *
- * Extracted from execute-graph.ts to keep the graph executor focused on
- * orchestration. Each relation dispatches to a dedicated handler that
- * calls the appropriate relations module directly.
- */
-
-import type { CodeProvider } from "../../analysis/provider.ts";
-import {
-  readNextEnclosingScope,
-  readNextTarget,
-  readNextTopSites,
-} from "../../analysis/read-next.ts";
-import { toDisplayPath } from "../../analysis/search/ripgrep.ts";
-import {
-  buildTestSurfaceDetails,
-  discoverTestFilesForSource,
-  renderRankedTestLabelsForMarkdown,
-} from "../../analysis/tests/test-discovery.ts";
-import type { AnchorKind } from "../../session/target-store.ts";
-import type { GraphSection } from "../result/graph.ts";
-import { collectCallees } from "./callees.ts";
-import { renderCallsResult } from "./calls-md.ts";
-import type { GraphRelation } from "./execute.ts";
-import { collectImplementations } from "./implementations.ts";
-import { renderImplementationsResult } from "./implementations-md.ts";
-import { renderExportsResult, renderImportsResult } from "./markdown-base.ts";
-import { collectCallers } from "./references.ts";
-import { renderReferencesResult } from "./references-md.ts";
-import type { CallEntry } from "./types.ts";
-
-// ── Shared context passed to each relation handler ────────────────────
-
-interface CollectionContext {
-  file: string;
-  position: { line: number; character: number };
-  displayName: string;
-  cwd: string;
-  provider: CodeProvider | null;
-  maxResults: number;
-  anchorKind: AnchorKind;
-  calleeDepth: "direct" | "deep";
-}
-
-// ── Dispatcher ────────────────────────────────────────────────────────
-
-/** Options for {@link collectRelation}. */
-export interface CollectRelationOptions {
-  file: string;
-  position: { line: number; character: number };
-  displayName: string;
-  cwd: string;
-  provider: CodeProvider | null;
-  maxResults: number;
-  semanticReadinessError: string | null;
-  anchorKind: AnchorKind;
-  calleeDepth?: "direct" | "deep";
-}
-
-/**
- * Collect data for one graph relation. Dispatches to the handler for the
- * requested relation kind, gating semantic relations behind readiness.
- */
-export async function collectRelation(
-  rel: GraphRelation,
-  opts: CollectRelationOptions,
-): Promise<GraphSection> {
-  if (opts.semanticReadinessError && (rel === "references" || rel === "implements")) {
-    return { kind: "unavailable", rel, message: opts.semanticReadinessError };
-  }
-
-  const ctx: CollectionContext = {
-    file: opts.file,
-    position: opts.position,
-    displayName: opts.displayName,
-    cwd: opts.cwd,
-    provider: opts.provider,
-    maxResults: opts.maxResults,
-    anchorKind: opts.anchorKind,
-    calleeDepth: opts.calleeDepth ?? "direct",
-  };
-
-  try {
-    const handler = RELATION_HANDLERS[rel];
-    if (!handler) {
-      return { kind: "not-implemented", rel, message: `Unknown relation: ${rel}` };
-    }
-    return handler(ctx);
-  } catch (err) {
-    return {
-      kind: "unavailable",
-      rel,
-      message: err instanceof Error ? err.message : "Unknown error",
-    };
-  }
-}
-
-// ── Relation handlers ─────────────────────────────────────────────────
-
-async function collectReferencesRelation(ctx: CollectionContext): Promise<GraphSection> {
-  const rel: GraphRelation = "references";
-  if (!ctx.provider?.references) {
-    return { kind: "unavailable", rel, message: "No semantic provider for references" };
-  }
-  const result = await collectCallers(ctx.file, ctx.position, ctx.displayName, {
-    cwd: ctx.cwd,
-    provider: { references: ctx.provider.references },
-  });
-  if (result.confidence === "unavailable") {
-    return { kind: "unavailable", rel, message: "No references available" };
-  }
-
-  // Filter out the declaration position (target file + position)
-  const targetLine = ctx.position.line + 1;
-  const targetChar = ctx.position.character + 1;
-  const refs = result.references.filter((r) => {
-    if (r.file !== ctx.file) return true;
-    if (r.line === targetLine && r.character === targetChar) return false;
-    return true;
-  });
-
-  const rendered = renderReferencesResult(
-    ctx.displayName,
-    refs,
-    result.externalCount,
-    result.confidence,
-    ctx.cwd,
-    ctx.maxResults,
-  );
-  return {
-    kind: "ok",
-    rel,
-    count: refs.length,
-    content: rendered.content,
-    evidenceLists: rendered.evidenceList ? [rendered.evidenceList] : [],
-    readNext: [
-      readNextTarget(
-        toDisplayPath(ctx.cwd, ctx.file),
-        ctx.position.line + 1,
-        "inspect the resolved target before editing",
-      ),
-      ...readNextTopSites(
-        refs.slice(0, ctx.maxResults).map((ref) => ({
-          file: toDisplayPath(ctx.cwd, ref.file),
-          line: ref.line,
-        })),
-        2,
-        "reference",
-      ),
-    ],
-  };
-}
-
-async function collectCalleesRelation(ctx: CollectionContext): Promise<GraphSection> {
-  const rel: GraphRelation = "callees";
-  if (ctx.anchorKind === "declaration") {
-    return {
-      kind: "unavailable",
-      rel,
-      message:
-        "Cannot collect callees from a declaration anchor. Re-resolve the target to a name anchor, or pass file + line + character anchored on the identifier.",
-    };
-  }
-  if (!ctx.provider?.calleesAt) {
-    return { kind: "unavailable", rel, message: "No structural provider for callees" };
-  }
-  const result = await collectCallees(
-    ctx.file,
-    ctx.position.line + 1,
-    ctx.position.character + 1,
-    ctx.displayName,
-    { cwd: ctx.cwd, provider: { calleesAt: ctx.provider.calleesAt } },
-    undefined,
-    ctx.calleeDepth,
-  );
-  if (result.confidence === "unavailable") {
-    return { kind: "unavailable", rel, message: "No callees available" };
-  }
-  const enclosingScope = result.enclosingScope ?? {
-    name: ctx.displayName ?? "symbol",
-    file: ctx.file,
-    startLine: ctx.position.line + 1,
-    endLine: ctx.position.line + 1,
-  };
-  const calls: CallEntry[] = result.callees.map((c) => ({
-    name: c.name,
-    file: c.file,
-    line: c.line,
-  }));
-  const rendered = renderCallsResult(
-    enclosingScope,
-    calls,
-    toDisplayPath(ctx.cwd, ctx.file),
-    ctx.maxResults,
-    result.depth,
-  );
-  return {
-    kind: "ok",
-    rel,
-    count: calls.length,
-    content: rendered.content,
-    evidenceLists: rendered.evidenceList ? [rendered.evidenceList] : [],
-    readNext: [
-      readNextEnclosingScope(
-        toDisplayPath(ctx.cwd, ctx.file),
-        enclosingScope,
-        ctx.position.line + 1,
-      ),
-    ],
-  };
-}
-
-async function collectImplementationsRelation(ctx: CollectionContext): Promise<GraphSection> {
-  const rel: GraphRelation = "implements";
-  if (!ctx.provider?.implementation) {
-    return { kind: "unavailable", rel, message: "No semantic provider for implementations" };
-  }
-  const result = await collectImplementations(
-    ctx.file,
-    ctx.position,
-    ctx.displayName,
-    { cwd: ctx.cwd, provider: { implementation: ctx.provider.implementation } },
-    ctx.maxResults,
-  );
-  if (result.confidence === "unavailable") {
-    return { kind: "unavailable", rel, message: "No implementations available" };
-  }
-  // Filter self-references: LSP returns the declaration itself as an
-  // "implementation" for non-interface symbols. Drop the target location.
-  const targetLine = ctx.position.line + 1;
-  const filtered = result.implementations.filter(
-    (impl) => !(impl.file === ctx.file && impl.line === targetLine),
-  );
-  const rendered = renderImplementationsResult(
-    filtered,
-    result.externalCount,
-    ctx.cwd,
-    ctx.maxResults,
-    ctx.displayName,
-  );
-  return {
-    kind: "ok",
-    rel,
-    count: filtered.length,
-    content: rendered.content,
-    evidenceLists: rendered.evidenceList ? [rendered.evidenceList] : [],
-  };
-}
-
-async function collectImportsRelation(ctx: CollectionContext): Promise<GraphSection> {
-  const rel: GraphRelation = "imports";
-  if (!ctx.provider?.imports) {
-    return { kind: "unavailable", rel, message: "No structural provider for imports" };
-  }
-  const importResult = await ctx.provider.imports(ctx.file);
-  if (importResult.kind !== "success") {
-    return { kind: "unavailable", rel, message: `Imports unavailable: ${importResult.kind}` };
-  }
-  const flatImports = importResult.data.map((entry) => ({
-    moduleSpecifier: entry.moduleSpecifier,
-    startLine: entry.startLine,
-  }));
-  const rendered = renderImportsResult(
-    ctx.displayName,
-    flatImports,
-    toDisplayPath(ctx.cwd, ctx.file),
-    ctx.maxResults,
-  );
-  return {
-    kind: "ok",
-    rel,
-    count: flatImports.length,
-    content: rendered.content,
-    evidenceLists: rendered.evidenceList ? [rendered.evidenceList] : [],
-  };
-}
-
-async function collectExportsRelation(ctx: CollectionContext): Promise<GraphSection> {
-  const rel: GraphRelation = "exports";
-  if (!ctx.provider?.exports) {
-    return { kind: "unavailable", rel, message: "No structural provider for exports" };
-  }
-  const exportResult = await ctx.provider.exports(ctx.file);
-  if (exportResult.kind !== "success") {
-    return { kind: "unavailable", rel, message: `Exports unavailable: ${exportResult.kind}` };
-  }
-  const flatExports = exportResult.data.map((entry) => ({
-    name: entry.name,
-    kind: entry.kind,
-    startLine: entry.startLine,
-  }));
-  const rendered = renderExportsResult(
-    ctx.displayName,
-    flatExports,
-    toDisplayPath(ctx.cwd, ctx.file),
-    ctx.maxResults,
-  );
-  return {
-    kind: "ok",
-    rel,
-    count: flatExports.length,
-    content: rendered.content,
-    evidenceLists: rendered.evidenceList ? [rendered.evidenceList] : [],
-  };
-}
-
-async function collectTestsRelation(ctx: CollectionContext): Promise<GraphSection> {
-  const rel: GraphRelation = "tests";
-  const discovery = await discoverTestFilesForSource(ctx.file, {
-    references: ctx.provider?.references,
-    outline: ctx.provider?.outline,
-    cwd: ctx.cwd,
-    cap: ctx.maxResults,
-    position: ctx.position,
-  });
-  const tests = buildTestSurfaceDetails(
-    { status: discovery.kind, provenance: discovery.provenance, files: discovery.files },
-    ctx.cwd,
-    ctx.maxResults,
-  );
-
-  if (discovery.kind === "unavailable") {
-    return {
-      kind: "unavailable",
-      rel,
-      message: "No test provider available — semantic and structural providers are absent",
-      tests,
-    };
-  }
-
-  if (discovery.kind === "empty") {
-    return {
-      kind: "ok",
-      rel,
-      count: 0,
-      content: `**Tests** — no companion test files found.\n`,
-      tests,
-    };
-  }
-
-  const testLines: string[] = [];
-  for (const testFile of tests.files.slice(0, 3)) {
-    testLines.push(`- \`${testFile.file}\``);
-    testLines.push(...renderRankedTestLabelsForMarkdown(testFile.labels, ctx.maxResults));
-  }
-
-  const provenanceNote = `, ${discovery.provenance}`;
-  const content = `**Tests** (${discovery.files.length} companion file${discovery.files.length !== 1 ? "s" : ""}${provenanceNote})\n\n${testLines.join("\n")}\n`;
-  return { kind: "ok", rel, count: discovery.files.length, content, tests };
-}
-
-// ── Handler dispatch table ────────────────────────────────────────────
-
-/**
- * Handler dispatch table for concrete relation kinds.
- *
- * The `"all"` pseudo-relation is expanded into the individual kinds by
- * {@link expandAllRelations} in execute-graph.ts before iteration, so
- * `collectRelation` is never called with `"all"` at runtime. The table
- * is typed as a partial record to reflect this invariant.
- */
-const RELATION_HANDLERS: Partial<
-  Record<GraphRelation, (ctx: CollectionContext) => Promise<GraphSection>>
-> = {
-  references: collectReferencesRelation,
-  callees: collectCalleesRelation,
-  implements: collectImplementationsRelation,
-  imports: collectImportsRelation,
-  exports: collectExportsRelation,
-  tests: collectTestsRelation,
-};