no-mistakes 0.95.0 → 0.96.0

package/analyze-project-types.d.ts

@@ -45,27 +45,28 @@ import type {
   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) &
+/** Shared `analyzeProject()` options after the request-level `root`/`tsconfig`/`config`. */
+export type BatchedProjectOptions = Omit<ProjectOptions, "root" | "tsconfig" | "config">;
+export type BatchedFlowOptions = Omit<FlowOptions, "root" | "tsconfig" | "config">;
+export type BatchedTraverseOptions = TraverseOptions & Pick<ProjectOptions, "config">;
+export type BatchedDependencyTraverseOptions = (TraverseGraphOptions | TraversePathsOptions) &
   Pick<ProjectOptions, "config">;
-type BatchedQueueRelatedOptions = BatchedProjectOptions & { files: string[] };
-type BatchedServerRouteRelatedOptions = BatchedProjectOptions &
+export type BatchedQueueRelatedOptions = BatchedProjectOptions & { files: string[] };
+export type BatchedServerRouteRelatedOptions = BatchedProjectOptions &
   ({ files: string[] } | { roots: string[] });
-type BatchedReactUsagesOptions = Pick<
+export type BatchedReactUsagesOptions = Pick<
   ProjectOptions,
   "root" | "tsconfig" | "config" | "targets" | "include" | "effort"
 > &
   Required<Pick<ProjectOptions, "target">>;
-type BatchedCheckOptions = Pick<
+export type BatchedCheckOptions = Pick<
   CheckOptions,
   "root" | "tsconfig" | "config" | "includeSuppressed" | "effort"
 > &
   Pick<CheckOptions, "includeRunnerConfigDeadlines" | "includeSqlVerdicts">;
-type BatchedQueryFileOptions<T> = Omit<T, "root" | "tsconfig">;
-type BatchedRootConfigOptions<T> = Omit<T, "root" | "config">;
-type BatchedRootTsConfigOptions<T> = Omit<T, "root" | "tsconfig" | "config">;
+export type BatchedQueryFileOptions<T> = Omit<T, "root" | "tsconfig">;
+export type BatchedRootConfigOptions<T> = Omit<T, "root" | "config">;
+export type BatchedRootTsConfigOptions<T> = Omit<T, "root" | "tsconfig" | "config">;
 
 export type AnalyzeProjectReportRequest =
   | ({ type: "dependencies"; id?: string } & BatchedDependencyTraverseOptions)
@@ -152,12 +153,21 @@ export interface AnalyzeProjectOptions {
   reports: AnalyzeProjectReportRequest[];
 }
 
+/** Discriminant for `analyzeProject()` report requests and result entries. */
+export type AnalyzeProjectReportType = AnalyzeProjectReportRequest["type"];
+
+/** Payload carried on one `analyzeProject()` result entry. */
+export type AnalyzeProjectReportResult = unknown | EffectsReport | RscCallersReport;
+
+/** One entry in `analyzeProject()` `reports`. */
+export interface AnalyzeProjectReport {
+  id?: string;
+  type: AnalyzeProjectReportType;
+  result: AnalyzeProjectReportResult;
+}
+
 export interface AnalyzeProjectResult {
-  reports: Array<{
-    id?: string;
-    type: AnalyzeProjectReportRequest["type"];
-    result: unknown | EffectsReport | RscCallersReport;
-  }>;
+  reports: AnalyzeProjectReport[];
   /**
    * Set when this call's resolved `jobs` differs from the process-wide Rayon pool.
    * Omitted when the pool was just created or the resolved count already matches.

package/executed-postgres-sql-types.d.ts

@@ -14,7 +14,7 @@ export interface ExecutedPostgresResolvedImport {
   toFileName: string;
 }
 
-export interface ExecutedPostgresSqlOptions {
+export interface ExecutedPostgresSqlOptions<Diagnostics extends boolean = false> {
   sources: ExecutedPostgresSource[];
   /** Module whose named imports provide the configured executors. */
   importSpecifier: string;
@@ -27,6 +27,8 @@ export interface ExecutedPostgresSqlOptions {
   resolveImports?: boolean;
   /** Explicit edges for aliases or package imports; relative supplied paths resolve automatically. */
   resolvedImports?: ExecutedPostgresResolvedImport[];
+  /** Include executor-type and unresolved-receiver diagnostics without treating them as SQL. */
+  includeDiagnostics?: Diagnostics;
 }
 
 export type ExecutedPostgresSqlKind = "inline" | "immutableLocal" | "composed" | "dynamic";
@@ -47,7 +49,31 @@ export interface ExecutedPostgresSql {
   incompleteReason: string | null;
 }
 
+/** Omitted member-call sites grouped by their imported receiver type identity. */
+export interface UndeclaredExecutorTypeSummary {
+  type: string;
+  module: string;
+  count: number;
+}
+
+/** Configured imported receiver types whose call ownership is still unresolved. */
+export type UnresolvedExecutorReceiverSummary = UndeclaredExecutorTypeSummary;
+
+export interface ExecutedPostgresSqlReport {
+  statements: ExecutedPostgresSql[];
+  /** Sorted by type, then module; empty when no undeclared receiver types were found. */
+  undeclaredExecutorTypes: UndeclaredExecutorTypeSummary[];
+  /** Configured types with unsupported receiver shapes, sorted by type and module. */
+  unresolvedExecutorReceivers: UnresolvedExecutorReceiverSummary[];
+}
+
 /** Extract configured PostgreSQL executor calls from supplied TS/JS source. */
+export function extractExecutedPostgresSql(
+  options: ExecutedPostgresSqlOptions<true> & { includeDiagnostics: true },
+): Promise<ExecutedPostgresSqlReport>;
 export function extractExecutedPostgresSql(
   options: ExecutedPostgresSqlOptions,
 ): Promise<ExecutedPostgresSql[]>;
+export function extractExecutedPostgresSql(
+  options: ExecutedPostgresSqlOptions<boolean>,
+): Promise<ExecutedPostgresSql[] | ExecutedPostgresSqlReport>;

package/package.json

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

package/test-types.d.ts

@@ -26,7 +26,8 @@ export type TestPlanFramework =
   | "dart"
   | "jest";
 
-interface TestsPlanOptionsBase {
+/** Shared option bag for `testsPlan()`. Direct-owner plans omit incompatible fields via `TestsPlanOptions`. */
+export interface TestsPlanOptionsBase {
   framework?: TestPlanFramework;
   /** Project root. Defaults to the current working directory. */
   root?: string;