@mrclrchtr/supi-code-intelligence 3.2.0 → 4.0.0

package/src/analysis/target/resolve-common.ts

@@ -1,115 +0,0 @@
-/**
- * Shared code_resolve result contracts and registration helpers.
- *
- * Kept separate from service.ts and file-resolution.ts so file-level
- * resolution can reuse the public resolve result shape without importing the
- * service implementation back, avoiding a runtime import cycle.
- */
-
-import { resolve } from "node:path";
-import type { ConfidenceMode } from "@mrclrchtr/supi-code-runtime/api";
-import type { WorkspaceCodeIntelligenceSession } from "../../session/session.ts";
-import type { TargetRegistrationInput, TargetStoreEntry } from "../../session/target-store.ts";
-import type { DisambiguationCandidateData } from "./types.ts";
-
-export interface ResolveServiceParams {
-  query?: string;
-  scope?: string;
-  kind?: string;
-  file?: string;
-  line?: number;
-  character?: number;
-  maxResults?: number;
-}
-
-/**
- * A disambiguation candidate with a registered target handle.
- *
- * Composes {@link DisambiguationCandidateData} with the stored
- * {@link TargetStoreEntry} so renderers get both candidate metadata and stable
- * handles.
- */
-export interface DisambiguationCandidate extends DisambiguationCandidateData {
-  targetId: string;
-  /** Full stored entry for tool details. */
-  entry: TargetStoreEntry;
-}
-
-export type ResolveServiceResult =
-  | {
-      kind: "resolved";
-      /** Registered target entries from the session store (absolute paths). */
-      targets: TargetStoreEntry[];
-      confidence: ConfidenceMode;
-      omittedCount: number;
-      nextQueries: string[];
-    }
-  | {
-      kind: "disambiguation";
-      candidates: DisambiguationCandidate[];
-      omittedCount: number;
-      nextQueries: string[];
-    }
-  | {
-      kind: "error";
-      message: string;
-    };
-
-/**
- * Register a single resolved target from the targeting pipeline into the
- * workflow target store and return the full stored entry.
- */
-export function registerFromTarget(
-  target: {
-    file: string;
-    position: { line: number; character: number };
-    displayLine: number;
-    displayCharacter: number;
-    name: string | null;
-    kind: string | null;
-    confidence: string;
-    anchorKind: TargetStoreEntry["anchorKind"];
-    container: string | null;
-    resolution?: import("../../types/index.ts").AnchoredResolutionMetadata;
-  },
-  session: WorkspaceCodeIntelligenceSession,
-  provenance: string,
-): TargetStoreEntry {
-  const input: TargetRegistrationInput = {
-    file: target.file,
-    position: target.position,
-    displayLine: target.displayLine,
-    displayCharacter: target.displayCharacter,
-    name: target.name,
-    kind: target.kind,
-    confidence: target.confidence as ConfidenceMode,
-    provenance,
-    anchorKind: target.anchorKind,
-    container: target.container,
-    resolution: target.resolution,
-  };
-  const { entry } = session.registerTarget(input);
-  return entry;
-}
-
-/** Register a disambiguation candidate in the target store and return it with handles. */
-export function registerCandidate(
-  c: DisambiguationCandidateData,
-  session: WorkspaceCodeIntelligenceSession,
-): DisambiguationCandidate {
-  const cwd = session.cwd;
-  const input: TargetRegistrationInput = {
-    file: resolve(cwd, c.file),
-    position: { line: c.line - 1, character: c.character - 1 },
-    displayLine: c.line,
-    displayCharacter: c.character,
-    name: c.name,
-    kind: c.kind,
-    confidence: "semantic" as ConfidenceMode,
-    provenance: "disambiguation",
-    anchorKind: c.anchorKind,
-    container: c.container,
-  };
-  const { targetId, entry } = session.registerTarget(input);
-  return { ...c, targetId, entry };
-}

package/src/analysis/target/service.ts

@@ -1,229 +0,0 @@
-/**
- * code_resolve business logic.
- *
- * Normalizes code_resolve params (query, scope, kind, file, line, character)
- * into the existing targeting pipeline, registers resolved targets in the
- * target store, and returns a typed intermediate result that the tool
- * executor renders into markdown + details.
- */
-import { existsSync } from "node:fs";
-import type { WorkspaceCodeIntelligenceSession } from "../../session/session.ts";
-import type { CodeProvider } from "../provider.ts";
-import { getCodeProviderState } from "../provider.ts";
-import { normalizePath } from "../search/ripgrep.ts";
-import { resolveAnchoredSymbolTarget } from "./anchored.ts";
-import { resolveFileOnlyInput, tryPathLikeQuery } from "./file-resolution.ts";
-import {
-  type ResolveServiceParams,
-  type ResolveServiceResult,
-  registerCandidate,
-  registerFromTarget,
-} from "./resolve-common.ts";
-import { resolveSymbolTarget as resolveSymbol } from "./symbol.ts";
-import type { TargetOutcome } from "./types.ts";
-
-export type {
-  DisambiguationCandidate,
-  ResolveServiceParams,
-  ResolveServiceResult,
-} from "./resolve-common.ts";
-
-// ── Validation ────────────────────────────────────────────────────────
-
-/**
- * Cross-field validation for code_resolve params — defense-in-depth.
- *
- * The tool executor pipeline already validates via
- * {@link ../../tool/infra/cross-field.ts!resolveCrossFieldRules}, which is the
- * canonical source of these rules for tool-level use. This copy exists so
- * the resolve service validates its own inputs when called outside the
- * pipeline (e.g. from code_orientation's coordinate resolution).
- *
- * TypeBox (via pi schema validation) already enforces:
- * - kind must be a valid StringEnum value
- * - line/character must be numbers >= 1
- * - additionalProperties: false
- */
-export function validateResolveParams(params: ResolveServiceParams): string | null {
-  const hasQuery = params.query !== undefined && params.query.length > 0;
-  const hasFile = params.file !== undefined && params.file.length > 0;
-  const hasLine = params.line !== undefined;
-  const hasCharacter = params.character !== undefined;
-  if (!hasQuery && !hasFile) {
-    return "**Error:** `code_resolve` requires either `query` (for symbol/search resolution) or `file` (for anchored/file-level resolution).";
-  }
-  if (hasLine !== hasCharacter) {
-    return "**Error:** `line` and `character` must be provided together.";
-  }
-  if ((hasLine || hasCharacter) && !hasFile) {
-    return "**Error:** `line` and `character` require `file`.";
-  }
-  return null;
-}
-
-// ── Resolver sub-routines ─────────────────────────────────────────────
-
-/** Resolve anchored (file + line + character) input via provider-backed symbol resolution. */
-async function resolveAnchoredInput(
-  params: ResolveServiceParams,
-  session: WorkspaceCodeIntelligenceSession,
-  _maxResults: number,
-  provider: CodeProvider | null,
-): Promise<ResolveServiceResult> {
-  const cwd = session.cwd;
-  const file = params.file;
-  const line = params.line;
-  const character = params.character;
-  if (!file) {
-    return { kind: "error", message: "**Error:** File required for anchored resolution." };
-  }
-  if (line == null || character == null) {
-    return {
-      kind: "error",
-      message: "**Error:** Line and character required for anchored resolution.",
-    };
-  }
-  const resolvedFile = normalizePath(file, cwd);
-  if (!existsSync(resolvedFile)) {
-    return { kind: "error", message: `**Error:** File not found: \`${file}\`` };
-  }
-  const outcome = await resolveAnchoredSymbolTarget(resolvedFile, line, character, provider);
-  if (outcome.kind === "error") {
-    return { kind: "error", message: outcome.message };
-  }
-  if (outcome.kind === "resolved") {
-    const entry = registerFromTarget(outcome.target, session, "anchored");
-    return {
-      kind: "resolved",
-      targets: [entry],
-      confidence: entry.confidence,
-      omittedCount: 0,
-      nextQueries: [
-        "`code_graph` for usages of this target",
-        '`code_graph` with `relations: ["callees"]` for direct structural calls from this target',
-        "`code_impact` for blast radius",
-      ],
-    };
-  }
-  // Disambiguation — register each candidate and surface targetIds.
-  const disambig = outcome as Extract<TargetOutcome, { kind: "disambiguation" }>;
-  const candidates = disambig.candidates.map((c) => registerCandidate(c, session));
-  return {
-    kind: "disambiguation",
-    candidates,
-    omittedCount: disambig.omittedCount,
-    nextQueries: [
-      "Use `file` + `line` + `character` for one of the candidates above (pass the identifier coordinate)",
-      "Or refine with `query` + `scope` or `kind` filters",
-    ],
-  };
-}
-
-/** Resolve query/symbol input via semantic workspace symbols. */
-async function resolveQueryTarget(opts: {
-  query: string;
-  kind: string | undefined;
-  scope: string | undefined;
-  session: WorkspaceCodeIntelligenceSession;
-  provider: CodeProvider;
-  maxResults: number;
-}): Promise<ResolveServiceResult> {
-  const { query, kind, scope, session, provider, maxResults } = opts;
-  const cwd = session.cwd;
-
-  const scopePath = scope ? normalizePath(scope, cwd) : undefined;
-  const symbolKind = kind !== undefined && kind !== "symbol" ? kind : undefined;
-  const exportedOnly = kind === "export" ? true : undefined;
-
-  const outcome = await resolveSymbol(query, cwd, provider, {
-    path: scopePath,
-    kind: symbolKind,
-    exportedOnly,
-    maxResults,
-  });
-  if (outcome.kind === "error") {
-    return { kind: "error", message: outcome.message };
-  }
-  if (outcome.kind === "resolved") {
-    const entry = registerFromTarget(outcome.target, session, "symbol");
-    return {
-      kind: "resolved",
-      targets: [entry],
-      confidence: entry.confidence,
-      omittedCount: 0,
-      nextQueries: [
-        "`code_graph` for usages of this target",
-        '`code_graph` with `relations: ["callees"]` for direct structural calls from this target',
-        "`code_impact` for blast radius",
-      ],
-    };
-  }
-  // resolveSymbol never returns "group", so only disambiguation remains
-  const disambig = outcome as Extract<TargetOutcome, { kind: "disambiguation" }>;
-  const candidates = disambig.candidates.map((c) => registerCandidate(c, session));
-  return {
-    kind: "disambiguation",
-    candidates,
-    omittedCount: disambig.omittedCount,
-    nextQueries: [
-      "Use `file` + `line` + `character` for one of the candidates above",
-      "Or refine the query with `scope` or `kind` filters",
-    ],
-  };
-}
-
-// ── Main entry ────────────────────────────────────────────────────────
-
-/**
- * Execute the code_resolve service.
- *
- * Returns a structured intermediate result (resolved, disambiguation, or error)
- * that the tool executor renders into user-facing markdown + details.
- */
-export async function executeResolveService(
-  params: ResolveServiceParams,
-  session: WorkspaceCodeIntelligenceSession,
-): Promise<ResolveServiceResult> {
-  const cwd = session.cwd;
-  const validationError = validateResolveParams(params);
-  if (validationError) {
-    return { kind: "error", message: validationError };
-  }
-  const providerState = getCodeProviderState(cwd);
-  const provider = providerState.kind === "ready" ? providerState.provider : null;
-  const maxResults = params.maxResults ?? 10;
-  // Anchored resolution
-  if (params.file && params.line != null && params.character != null) {
-    return resolveAnchoredInput(params, session, maxResults, provider);
-  }
-  // File-only resolution
-  if (params.file && !params.query) {
-    return resolveFileOnlyInput(params, session, maxResults, provider);
-  }
-  // Query resolution
-  if (!params.query) {
-    return {
-      kind: "error",
-      message: "**Error:** Provide a `query` or `file` for resolution.",
-    };
-  }
-  // Special case: path-like query with kind file
-  const pathResult = await tryPathLikeQuery(params, session, maxResults, provider);
-  if (pathResult) return pathResult;
-  // Standard symbol resolution requires semantic provider
-  if (provider === null) {
-    return {
-      kind: "error",
-      message:
-        "**Error:** Symbol query requires active LSP. Use anchored coordinates (file + line + character) or a file-only query.",
-    };
-  }
-  return resolveQueryTarget({
-    query: params.query,
-    kind: params.kind,
-    scope: params.scope,
-    session,
-    provider,
-    maxResults,
-  });
-}

package/src/analysis/tests/likely-tests.ts

@@ -1,174 +0,0 @@
-/**
- * Likely test file discovery for impact analysis.
- *
- * Extracted from orchestrate.ts to keep impact orchestration focused.
- * Combines direct test-file detection, semantic reference-based discovery,
- * and path conventions to find companion test files for affected source files.
- */
-
-import * as path from "node:path";
-import type { CodePosition } from "@mrclrchtr/supi-code-runtime/api";
-import type { CodeProvider } from "../provider.ts";
-import {
-  type DiscoveredTestFile,
-  describeTestFile,
-  discoverTestFilesForSource,
-  isTestFilePath,
-} from "./test-discovery.ts";
-
-export interface ChangeSetFileEntry {
-  absPath: string;
-  relPath: string;
-}
-
-export type TestAnchorMap = Map<string, CodePosition[]>;
-
-export interface LikelyTestsResult {
-  paths: string[];
-  files: Array<Pick<DiscoveredTestFile, "absPath" | "testNames" | "labelStatus">>;
-  provenance?: "semantic+conventions" | "conventions-only";
-}
-
-export function buildTestAnchorMap(
-  entries: Array<{ file: string; position: CodePosition }>,
-): TestAnchorMap {
-  const map: TestAnchorMap = new Map();
-  for (const entry of entries) {
-    const key = path.resolve(entry.file);
-    const positions = map.get(key) ?? [];
-    positions.push(entry.position);
-    map.set(key, positions);
-  }
-  return map;
-}
-
-export function normalizeChangeSet(files: string[], cwd: string): ChangeSetFileEntry[] {
-  const seen = new Set<string>();
-  const result: ChangeSetFileEntry[] = [];
-
-  for (const file of files) {
-    const absPath = path.resolve(cwd, file);
-    const relPath = path.relative(cwd, absPath) || file;
-    if (seen.has(absPath)) continue;
-    seen.add(absPath);
-    result.push({ absPath, relPath });
-  }
-
-  return result;
-}
-
-function dedupeDiscoveredTestFiles(
-  files: Array<Pick<DiscoveredTestFile, "absPath" | "testNames" | "labelStatus">>,
-): Array<Pick<DiscoveredTestFile, "absPath" | "testNames" | "labelStatus">> {
-  const byPath = new Map<
-    string,
-    Pick<DiscoveredTestFile, "absPath" | "testNames" | "labelStatus">
-  >();
-
-  for (const file of files) {
-    const existing = byPath.get(file.absPath);
-    if (!existing) {
-      byPath.set(file.absPath, file);
-      continue;
-    }
-
-    if (existing.labelStatus !== "recognized" && file.labelStatus === "recognized") {
-      byPath.set(file.absPath, file);
-    }
-  }
-
-  return [...byPath.values()].sort((left, right) => left.absPath.localeCompare(right.absPath));
-}
-
-// biome-ignore lint/complexity/useMaxParams: shared likely-test collection keeps evidence inputs explicit
-// biome-ignore lint/complexity/noExcessiveCognitiveComplexity: discovery aggregation across direct tests, semantic references, and conventions is clearest in one helper
-export async function collectLikelyTests(
-  affectedFiles: Set<string>,
-  cwd: string,
-  references: CodeProvider["references"] | undefined,
-  testAnchors?: TestAnchorMap,
-  fallbackProvenance?: "semantic+conventions" | "conventions-only",
-  outline?: CodeProvider["outline"],
-): Promise<LikelyTestsResult> {
-  const seen = new Set<string>();
-  const likelyTests: string[] = [];
-  const discoveredFiles: Array<Pick<DiscoveredTestFile, "absPath" | "testNames" | "labelStatus">> =
-    [];
-  let provenance = fallbackProvenance;
-
-  for (const affFile of affectedFiles) {
-    if (isTestFilePath(affFile)) {
-      addLikelyTestPath(cwd, affFile, seen, likelyTests);
-      const described = await describeTestFile(affFile, { outline, cwd });
-      discoveredFiles.push(described);
-      continue;
-    }
-
-    const positions = testAnchors?.get(path.resolve(affFile)) ?? [];
-    const discoveries =
-      positions.length > 0
-        ? await Promise.all(
-            positions.map((position) =>
-              discoverTestFilesForSource(affFile, {
-                cwd,
-                cap: 3,
-                references,
-                outline,
-                position,
-              }),
-            ),
-          )
-        : [
-            await discoverTestFilesForSource(affFile, {
-              cwd,
-              cap: 3,
-              references,
-              outline,
-            }),
-          ];
-
-    for (const discovery of discoveries) {
-      if (discovery.kind !== "found") continue;
-      if (discovery.provenance === "semantic+conventions") {
-        provenance = "semantic+conventions";
-      } else if (!provenance) {
-        provenance = discovery.provenance;
-      }
-    }
-
-    const discovered = dedupeDiscoveredTestFiles(discoveries.flatMap((entry) => entry.files));
-    for (const testFile of discovered) {
-      addLikelyTestPath(cwd, testFile.absPath, seen, likelyTests);
-      discoveredFiles.push(testFile);
-    }
-  }
-
-  const files = dedupeDiscoveredTestFiles(discoveredFiles).slice(0, 3);
-  likelyTests.sort((a, b) => a.localeCompare(b));
-  return { paths: likelyTests.slice(0, 3), files, provenance };
-}
-
-function addLikelyTestPath(
-  cwd: string,
-  absPath: string,
-  seen: Set<string>,
-  likelyTests: string[],
-): void {
-  const relPath = path.relative(cwd, absPath) || absPath;
-  if (seen.has(relPath)) return;
-  seen.add(relPath);
-  likelyTests.push(relPath);
-}
-
-import { detectVitestWorkspace, VITEST_RUNNABLE_EXTENSIONS } from "./vitest.ts";
-
-export function buildLikelyTestCommands(cwd: string, likelyTests: string[]): string[] {
-  if (likelyTests.length === 0 || !detectVitestWorkspace(cwd)) {
-    return [];
-  }
-
-  return likelyTests
-    .filter((testPath) => VITEST_RUNNABLE_EXTENSIONS.has(path.extname(testPath)))
-    .slice(0, 3)
-    .map((relTest) => `pnpm vitest run ${relTest} --reporter=verbose`);
-}