no-mistakes 0.94.0 → 0.96.0

package/analyze-project-types.d.ts

@@ -45,26 +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"
+  "root" | "tsconfig" | "config" | "targets" | "include" | "effort"
 > &
   Required<Pick<ProjectOptions, "target">>;
-type BatchedCheckOptions = Pick<
+export type BatchedCheckOptions = Pick<
   CheckOptions,
-  "root" | "tsconfig" | "config" | "includeSuppressed" | "includeRunnerConfigDeadlines"
->;
-type BatchedQueryFileOptions<T> = Omit<T, "root" | "tsconfig">;
-type BatchedRootConfigOptions<T> = Omit<T, "root" | "config">;
-type BatchedRootTsConfigOptions<T> = Omit<T, "root" | "tsconfig" | "config">;
+  "root" | "tsconfig" | "config" | "includeSuppressed" | "effort"
+> &
+  Pick<CheckOptions, "includeRunnerConfigDeadlines" | "includeSqlVerdicts">;
+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)
@@ -84,7 +86,7 @@ export type AnalyzeProjectReportRequest =
   | ({ type: "serverRouteRelated"; id?: string } & BatchedServerRouteRelatedOptions)
   | ({ type: "reactAnalyze" | "reactCheck"; id?: string } & Pick<
       ProjectOptions,
-      "targets" | "depth" | "assertNoFetch"
+      "targets" | "depth" | "assertNoFetch" | "effort"
     >)
   | ({ type: "reactUsages"; id?: string } & BatchedReactUsagesOptions)
   | ({
@@ -151,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

@@ -1,11 +1,24 @@
 import type { QueueCheckFinding } from "./queue-report-types";
 import type { ReactViolation } from "./react-report-types";
+import type { Effort } from "./traversal-types";
+
+/** A low-effort rule that used maximum analysis because a required partner was unavailable. */
+export interface AnalysisFallback {
+  /** Canonical rule identifier. */
+  rule: string;
+  /** Required partner check that could not be validated in scope. */
+  partner: string;
+  requested: Effort;
+  effective: Effort;
+}
 
 export interface CheckReport {
   react: ReactViolation[];
   queues: QueueCheckFinding[];
   rules: RuleFinding[];
   integration: IntegrationFinding[];
+  /** Partner-backed low-effort rules that fell back to maximum analysis; omitted when empty. */
+  analysisFallbacks?: AnalysisFallback[];
   /** Present only when requested; declaration evidence, not runtime closure. */
   runnerConfigDeadlines?: RunnerConfigDeadlineEvidence[];
   codebase: UniqueExportFinding[];
@@ -16,10 +29,41 @@ export interface CheckReport {
    */
   unprovenMemberQuerySql?: number;
   advisories: RuleFinding[];
+  /** Present only when `includeSqlVerdicts` is requested, including an empty array. */
+  sqlVerdicts?: SqlObligationVerdict[];
   /** Present when `includeSuppressed` is requested; empty when no directives matched. */
   suppressed?: SuppressedFinding[];
 }
 
+export type SqlVerdictStatus = "violation" | "proven-clear" | "abstain";
+export type SqlEvidenceKind = "exact" | "exhaustive-union" | "verified-prefix" | "policy-exemption";
+export interface SqlExecutorProfile {
+  importSpecifier: string;
+  executorNames: string[];
+  executorFactoryNames: string[];
+  executorTypeNames: string[];
+  trustedSqlTags: { module: string; name: string }[];
+}
+/** Zero-based ordinal among enabled applications of the same rule in config order. */
+export interface SqlRuleApplication {
+  index: number;
+  name?: string;
+}
+export interface SqlObligationVerdict {
+  profile: SqlExecutorProfile;
+  rule: string;
+  application?: SqlRuleApplication;
+  subcheck: string;
+  file: string;
+  span: [number, number];
+  status: SqlVerdictStatus;
+  advisory: boolean;
+  evidence?: SqlEvidenceKind;
+  knownPrefix?: string;
+  helperLines?: number[];
+  residualReasons?: string[];
+}
+
 export interface SuppressedFinding {
   domain: "react" | "queues" | "rules" | "filesystem" | "integration" | "codebase" | "advisories";
   rule: string;

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.94.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.94.0",
-    "no-mistakes-linux-arm64-gnu": "0.94.0",
-    "no-mistakes-linux-x64-gnu": "0.94.0",
-    "no-mistakes-win32-x64-msvc": "0.94.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/postgres-query-annotation-types.d.ts

@@ -1,5 +1,7 @@
-/** Policy for executor SQL whose leading text cannot be proven. Defaults to `report`. */
-export type PostgresUnanalyzableSql = "report" | "ignore";
+import type { Effort, Unanalyzable } from "./traversal-types";
+
+/** Backward-compatible SQL-specific name for the shared unanalyzable policy. */
+export type PostgresUnanalyzableSql = Unanalyzable;
 
 /** Configuration options for the `postgres-require-query-annotation` check rule. */
 export interface PostgresRequireQueryAnnotationOptions {
@@ -9,6 +11,9 @@ export interface PostgresRequireQueryAnnotationOptions {
   executorNames?: string[];
   executorFactoryNames?: string[];
   executorTypeNames?: string[];
+  /** @deprecated At effort "low" only; ignored there and warns when configured. Still used at effort "max". */
   trustedSqlTags?: { module: string; name: string }[];
+  effort?: Effort;
+  unanalyzable?: Unanalyzable;
   unanalyzableSql?: PostgresUnanalyzableSql;
 }

package/symbol-traversal-types.d.ts

@@ -0,0 +1,38 @@
+export interface SymbolExport {
+  name: string;
+  kind: string;
+  line: number;
+  reExport?: {
+    source: string;
+    imported: string;
+    resolved?: string;
+  };
+}
+
+export interface SymbolImport {
+  source: string;
+  imported: string;
+  local: string;
+  line: number;
+  typeOnly: boolean;
+  resolved?: string;
+}
+
+export interface SymbolFile {
+  path: string;
+  exports?: SymbolExport[];
+  imports?: SymbolImport[];
+}
+
+export interface SymbolsResult {
+  roots: string[];
+  files: SymbolFile[];
+}
+
+export type {
+  SignatureImpactCaller,
+  SignatureImpactLocation,
+  SignatureImpactResult,
+  SignatureImpactTest,
+  SignatureImpactWarning,
+} from "./signature-impact-types";

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/traversal-types.d.ts

@@ -143,46 +143,21 @@ export type SymbolsSignatureImpactOptions = SymbolsOptions & {
   symbol: string;
 };
 
-export interface SymbolExport {
-  name: string;
-  kind: string;
-  line: number;
-  reExport?: {
-    source: string;
-    imported: string;
-    resolved?: string;
-  };
-}
-
-export interface SymbolImport {
-  source: string;
-  imported: string;
-  local: string;
-  line: number;
-  typeOnly: boolean;
-  resolved?: string;
-}
-
-export interface SymbolFile {
-  path: string;
-  exports?: SymbolExport[];
-  imports?: SymbolImport[];
-}
-
-export interface SymbolsResult {
-  roots: string[];
-  files: SymbolFile[];
-}
-
 export type {
+  SymbolExport,
+  SymbolImport,
+  SymbolFile,
+  SymbolsResult,
   SignatureImpactCaller,
   SignatureImpactLocation,
   SignatureImpactResult,
   SignatureImpactTest,
   SignatureImpactWarning,
-} from "./signature-impact-types";
+} from "./symbol-traversal-types";
 
 export interface ProjectOptions {
+  /** Accepted by shared N-API options; applies to check reports and is ignored by other commands. */
+  effort?: Effort;
   /** Project root. Defaults to the current working directory. */
   root?: string;
   /** Path to tsconfig.json for alias resolution. Searched upward if omitted. */
@@ -202,9 +177,19 @@ export interface ProjectOptions {
   include?: string;
 }
 
+/** Analysis effort for configured rules. `max` preserves the current analysis. */
+export type Effort = "low" | "max";
+
+/** Policy for rule inputs that the selected effort cannot analyze. */
+export type Unanalyzable = "report" | "advise" | "ignore";
+
 export interface CheckOptions extends ProjectOptions {
+  /** Override configured rule effort for this check invocation. Defaults to `max`. */
+  effort?: Effort;
   /** Add deterministic accounting for findings hidden by no-mistakes directives. */
   includeSuppressed?: boolean;
   /** Add declared config evidence; absent slots never imply SDK defaults. */
   includeRunnerConfigDeadlines?: boolean;
+  /** Include per-obligation SQL proof and residual uncertainty in the check report. */
+  includeSqlVerdicts?: boolean;
 }