no-mistakes 0.62.1 → 0.64.0

package/analyze-project-types.d.ts

@@ -42,12 +42,16 @@ import type {
   ProjectOptions,
   SymbolsListOptions,
   SymbolsSignatureImpactOptions,
+  TraverseGraphOptions,
   TraverseOptions,
+  TraversePathsOptions,
 } from "./traversal-types";
 
 type BatchedProjectOptions = Omit<ProjectOptions, "root" | "tsconfig" | "config">;
 type BatchedFlowOptions = Omit<FlowOptions, "root" | "tsconfig" | "config">;
 type BatchedTraverseOptions = TraverseOptions & Pick<ProjectOptions, "config">;
+type BatchedDependencyTraverseOptions = (TraverseGraphOptions | TraversePathsOptions) &
+  Pick<ProjectOptions, "config">;
 type BatchedQueueRelatedOptions = BatchedProjectOptions & { files: string[] };
 type BatchedServerRouteRelatedOptions = BatchedProjectOptions &
   ({ files: string[] } | { roots: string[] });
@@ -62,7 +66,8 @@ type BatchedRootConfigOptions<T> = Omit<T, "root" | "config">;
 type BatchedRootTsConfigOptions<T> = Omit<T, "root" | "tsconfig" | "config">;
 
 export type AnalyzeProjectReportRequest =
-  | ({ type: "dependencies" | "dependents" | "related"; id?: string } & BatchedTraverseOptions)
+  | ({ type: "dependencies"; id?: string } & BatchedDependencyTraverseOptions)
+  | ({ type: "dependents" | "related"; id?: string } & BatchedTraverseOptions)
   | ({ type: "symbols"; id?: string } & (SymbolsListOptions | SymbolsSignatureImpactOptions))
   | ({ type: "importUsages"; id?: string } & Omit<ImportUsagesOptions, "root">)
   | ({ type: "flow"; id?: string } & BatchedFlowOptions)
@@ -95,6 +100,12 @@ export type AnalyzeProjectReportRequest =
       type: "resolveCheck";
       id?: string;
     } & BatchedQueryFileOptions<ResolveCheckOptions | ResolveCheckFilesOptions>)
+  | {
+      /** Checks the union of seed and reachable files from dependency reports in this request. */
+      type: "resolveCheckDependencies";
+      id?: string;
+      dependencyReportIds: string[];
+    }
   | ({ type: "fetches"; id?: string } & BatchedRootConfigOptions<FetchesOptions>)
   | ({ type: "dataPw"; id?: string } & BatchedRootConfigOptions<DataPwOptions>)
   | ({ type: "registryExtension"; id?: string } & Omit<RegistryExtensionOptions, "root">)

package/import-closure-types.d.ts

@@ -0,0 +1,25 @@
+import type { TraverseOptions, TsConfigDiagnostic } from "./traversal-types";
+
+export type TraverseProjection = "graph" | "paths";
+
+export type DependencyBoundOptions = {
+  /** Pre-traversal include globs for the initial candidate inventory. */
+  candidateInclude?: string[];
+  /** Pre-traversal exclude globs. Reachable imports still escape this set. */
+  candidateExclude?: string[];
+};
+
+export type TraverseGraphOptions = TraverseOptions &
+  DependencyBoundOptions & {
+    projection?: "graph";
+  };
+
+export type TraversePathsOptions = TraverseOptions &
+  DependencyBoundOptions & {
+    projection: "paths";
+  };
+
+export interface ImportClosureResult {
+  files: string[];
+  diagnostics: TsConfigDiagnostic[];
+}

package/index.d.ts

@@ -50,7 +50,10 @@ import type {
   TestsTargetsOptions,
   TestsTargetsReport,
   TestsWhyOptions,
+  TraverseGraphOptions,
   TraverseOptions,
+  TraversePathsOptions,
+  ImportClosureResult,
   WhyStep,
   WithInvocationOptions,
   WritePlanningImpactArtifactsOptions,
@@ -61,7 +64,10 @@ export * from "./types";
 export * from "./index-ci-infra";
 
 export function dependencies(
-  options: WithInvocationOptions<TraverseOptions>,
+  options: WithInvocationOptions<TraversePathsOptions>,
+): Promise<ImportClosureResult>;
+export function dependencies(
+  options: WithInvocationOptions<TraverseGraphOptions>,
 ): Promise<DependencyResult>;
 export function dependents(
   options: WithInvocationOptions<TraverseOptions>,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "no-mistakes",
-  "version": "0.62.1",
+  "version": "0.64.0",
   "description": "Deterministic impact maps, test plans, Playwright coverage, and repository checks for coding agents",
   "license": "MIT",
   "repository": {
@@ -45,9 +45,9 @@
     "access": "public"
   },
   "optionalDependencies": {
-    "no-mistakes-darwin-arm64": "0.62.1",
-    "no-mistakes-linux-arm64-gnu": "0.62.1",
-    "no-mistakes-linux-x64-gnu": "0.62.1",
-    "no-mistakes-win32-x64-msvc": "0.62.1"
+    "no-mistakes-darwin-arm64": "0.64.0",
+    "no-mistakes-linux-arm64-gnu": "0.64.0",
+    "no-mistakes-linux-x64-gnu": "0.64.0",
+    "no-mistakes-win32-x64-msvc": "0.64.0"
   }
 }

package/query-types.d.ts

@@ -121,6 +121,12 @@ export interface ResolveCheckImport {
   status: ImportResolutionStatus;
   /** Root-relative resolved target, when the import resolves locally. */
   resolved?: string;
+  /**
+   * `true` when the specifier is not a string literal or empty template
+   * (`import(\`./${name}\`)`, `import(moduleName)`, `require(name)`).
+   * Computed imports are always `unresolved`.
+   */
+  computed: boolean;
 }
 
 export interface ResolveCheckResult {

package/signature-impact-types.d.ts

@@ -0,0 +1,35 @@
+export interface SignatureImpactLocation {
+  file: string;
+  symbol: string;
+  line: number;
+  kind: string;
+}
+
+export interface SignatureImpactCaller {
+  file: string;
+  symbol?: string;
+  depth: number;
+  via: string[];
+}
+
+export interface SignatureImpactTest {
+  file: string;
+  depth: number;
+  via: string[];
+}
+
+export interface SignatureImpactWarning {
+  type: string;
+  message: string;
+}
+
+export interface SignatureImpactResult {
+  roots: string[];
+  symbol: string;
+  definition: SignatureImpactLocation;
+  exports: SignatureImpactLocation[];
+  productionCallers: SignatureImpactCaller[];
+  testCallers: SignatureImpactCaller[];
+  suggestedTests: SignatureImpactTest[];
+  warnings: SignatureImpactWarning[];
+}

package/traversal-types.d.ts

@@ -54,6 +54,13 @@ export interface TraverseOptions {
   includeSymbols?: boolean;
 }
 
+export type {
+  ImportClosureResult,
+  TraverseGraphOptions,
+  TraversePathsOptions,
+  TraverseProjection,
+} from "./import-closure-types";
+
 export interface DependencyFile {
   path?: string;
   file?: string;
@@ -167,41 +174,13 @@ export interface SymbolsResult {
   files: SymbolFile[];
 }
 
-export interface SignatureImpactLocation {
-  file: string;
-  symbol: string;
-  line: number;
-  kind: string;
-}
-
-export interface SignatureImpactCaller {
-  file: string;
-  symbol?: string;
-  depth: number;
-  via: string[];
-}
-
-export interface SignatureImpactTest {
-  file: string;
-  depth: number;
-  via: string[];
-}
-
-export interface SignatureImpactWarning {
-  type: string;
-  message: string;
-}
-
-export interface SignatureImpactResult {
-  roots: string[];
-  symbol: string;
-  definition: SignatureImpactLocation;
-  exports: SignatureImpactLocation[];
-  productionCallers: SignatureImpactCaller[];
-  testCallers: SignatureImpactCaller[];
-  suggestedTests: SignatureImpactTest[];
-  warnings: SignatureImpactWarning[];
-}
+export type {
+  SignatureImpactCaller,
+  SignatureImpactLocation,
+  SignatureImpactResult,
+  SignatureImpactTest,
+  SignatureImpactWarning,
+} from "./signature-impact-types";
 
 export interface ProjectOptions {
   /** Project root. Defaults to the current working directory. */