no-mistakes 0.95.0 → 0.97.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/check-report-types.d.ts

@@ -43,6 +43,7 @@ export interface SqlExecutorProfile {
   executorFactoryNames: string[];
   executorTypeNames: string[];
   trustedSqlTags: { module: string; name: string }[];
+  sqlLiteralHelpers?: string[];
 }
 /** Zero-based ordinal among enabled applications of the same rule in config order. */
 export interface SqlRuleApplication {

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.97.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.97.0",
+    "no-mistakes-linux-arm64-gnu": "0.97.0",
+    "no-mistakes-linux-x64-gnu": "0.97.0",
+    "no-mistakes-win32-x64-msvc": "0.97.0"
   }
 }

package/postgres-mutable-sql-registry-types.d.ts

@@ -0,0 +1,15 @@
+import type { Effort, Unanalyzable } from "./traversal-types";
+
+/** Configuration for the `postgres-no-mutable-sql-registry` check rule. */
+export interface PostgresNoMutableSqlRegistryOptions {
+  include?: string[];
+  exclude?: string[];
+  importSpecifier?: string;
+  executorNames?: string[];
+  executorFactoryNames?: string[];
+  executorTypeNames?: string[];
+  trustedSqlTags?: { module: string; name: string }[];
+  effort?: Effort;
+  unanalyzable?: Unanalyzable;
+  unanalyzableSql?: Unanalyzable;
+}

package/postgres-query-annotation-types.d.ts

@@ -11,6 +11,8 @@ export interface PostgresRequireQueryAnnotationOptions {
   executorNames?: string[];
   executorFactoryNames?: string[];
   executorTypeNames?: string[];
+  /** Exact module#export wrappers accepting one string or interpolation-free template literal. */
+  sqlLiteralHelpers?: string[];
   /** @deprecated At effort "low" only; ignored there and warns when configured. Still used at effort "max". */
   trustedSqlTags?: { module: string; name: string }[];
   effort?: Effort;

package/postgres-unbounded-identifier-types.d.ts

@@ -0,0 +1,15 @@
+import type { Effort, Unanalyzable } from "./traversal-types";
+
+/** Configuration for the `postgres-no-unbounded-sql-identifier` check rule. */
+export interface PostgresNoUnboundedSqlIdentifierOptions {
+  include?: string[];
+  exclude?: string[];
+  importSpecifier?: string;
+  executorNames?: string[];
+  executorFactoryNames?: string[];
+  executorTypeNames?: string[];
+  trustedSqlTags?: { module: string; name: string }[];
+  effort?: Effort;
+  unanalyzable?: Unanalyzable;
+  unanalyzableSql?: Unanalyzable;
+}

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;

package/types.d.ts

@@ -15,7 +15,9 @@ export * from "./named-query-types";
 export * from "./mermaid-types";
 export * from "./resolve-config-types";
 export * from "./postgres-query-annotation-types";
+export type * from "./postgres-unbounded-identifier-types";
 export * from "./postgres-catalog-types";
 export * from "./planning-impact-artifacts-types";
 export * from "./declared-payload-types";
 export type * from "./forbidden-call-types";
+export type * from "./postgres-mutable-sql-registry-types";