no-mistakes 0.83.0 → 0.84.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "no-mistakes",
-  "version": "0.83.0",
+  "version": "0.84.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.83.0",
-    "no-mistakes-linux-arm64-gnu": "0.83.0",
-    "no-mistakes-linux-x64-gnu": "0.83.0",
-    "no-mistakes-win32-x64-msvc": "0.83.0"
+    "no-mistakes-darwin-arm64": "0.84.0",
+    "no-mistakes-linux-arm64-gnu": "0.84.0",
+    "no-mistakes-linux-x64-gnu": "0.84.0",
+    "no-mistakes-win32-x64-msvc": "0.84.0"
   }
 }

package/postgres-catalog-types.d.ts

@@ -79,6 +79,8 @@ export interface PostgresCatalogIndex {
 }
 export interface PostgresCatalogTable {
   relationKind: "table" | "partitioned table";
+  /** Optional parent table for hand-authored snapshots that include partition leaves. */
+  partitionOf?: string;
   columns: Record<string, PostgresCatalogColumn>;
   primaryKey: { columns: string[] } | null;
   uniqueConstraints: Record<string, { columns: string[] }>;

package/postgres-expression-types.d.ts

@@ -2,6 +2,7 @@ import type {
   PostgresSqlIdentifier,
   PostgresSqlName,
   PostgresSqlSpan,
+  PostgresSqlType,
 } from "./postgres-source-types";
 /** Syntactic root; wrappers never promote a nested call through an unrelated operator. */
 export type PostgresSqlExpressionRoot =
@@ -15,7 +16,12 @@ export type PostgresSqlExpressionRoot =
       modifiers: string[];
     }
   | { kind: "parenthesized"; expression: PostgresSqlExpressionRoot }
-  | { kind: "cast"; dataType: string; expression: PostgresSqlExpressionRoot }
+  | {
+      kind: "cast";
+      dataType: string;
+      dataTypeFacts: PostgresSqlType;
+      expression: PostgresSqlExpressionRoot;
+    }
   | { kind: "nullTest"; negated: boolean }
   | { kind: "distinctness"; negated: boolean }
   | { kind: "parameter"; placeholder: string }
@@ -50,7 +56,7 @@ export type PostgresSqlExpressionChildRoot =
       modifiers: string[];
     }
   | { kind: "parenthesized" }
-  | { kind: "cast"; castKind: string; dataType: string }
+  | { kind: "cast"; castKind: string; dataType: string; dataTypeFacts: PostgresSqlType }
   | { kind: "nullTest"; negated: boolean }
   | { kind: "distinctness"; negated: boolean }
   | { kind: "parameter"; placeholder: string }
@@ -66,6 +72,7 @@ export interface PostgresSqlExpressionChild {
   span: PostgresSqlSpan | null;
   root: PostgresSqlExpressionChildRoot;
   children: PostgresSqlExpressionChild[];
+  /** Complete represented syntax; a missing provenance span does not imply missing structure. */
   childrenComplete: boolean;
 }
 /** Bare CURRENT_TIMESTAMP is a value function; CURRENT_TIMESTAMP(3) uses call syntax. */

package/postgres-procedural-types.d.ts

@@ -27,14 +27,20 @@ export interface PostgresSqlConditionalBranch {
 
 /** Original body source slices retain this enclosing literal encoding. */
 export type PostgresSqlBodyEncoding = "dollarQuoted" | "singleQuoted" | "escapedString";
+/** Concatenated command literals can contain several original string encodings. */
+export type PostgresSqlExecuteEncoding = PostgresSqlBodyEncoding | "concatenated";
 
-/** Wrapper literalSpan uses enclosing source coordinates. All child spans and
- * diagnostics use decodedSql coordinates, including nested expression spans.
+/** literalSpan and USING expression spans use enclosing source coordinates.
+ * Command child spans and diagnostics use decodedSql coordinates, including
+ * nested command expression spans.
  * Source occurrences never imply that SQL executes. */
 export interface PostgresSqlLiteralExecute {
+  /** The whole literal command expression, including concatenation and parentheses. */
   literalSpan: PostgresSqlSpan;
-  bodyEncoding: PostgresSqlBodyEncoding;
+  bodyEncoding: PostgresSqlExecuteEncoding;
   decodedSql: string;
+  /** Ordered source expressions, with enclosing source spans and no runtime evaluation. */
+  using: PostgresSqlExpression[];
   statements: PostgresSqlStatement[];
   diagnostics: PostgresSqlDiagnostic[];
   complete: boolean;

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

@@ -0,0 +1,14 @@
+/** Policy for executor SQL whose leading text cannot be proven. Defaults to `report`. */
+export type PostgresUnanalyzableSql = "report" | "ignore";
+
+/** Configuration options for the `postgres-require-query-annotation` check rule. */
+export interface PostgresRequireQueryAnnotationOptions {
+  include?: string[];
+  exclude?: string[];
+  importSpecifier?: string;
+  executorNames?: string[];
+  executorFactoryNames?: string[];
+  executorTypeNames?: string[];
+  trustedSqlTags?: { module: string; name: string }[];
+  unanalyzableSql?: PostgresUnanalyzableSql;
+}

package/postgres-source-types.d.ts

@@ -1,3 +1,5 @@
+import type { PostgresSqlTrigger } from "./postgres-trigger-types";
+export type * from "./postgres-trigger-types";
 import type { PostgresSqlWrapper } from "./postgres-wrapper-types";
 export type * from "./postgres-wrapper-types";
 import type { PostgresSqlFunction } from "./postgres-function-types";
@@ -62,6 +64,7 @@ export interface PostgresSqlExpression {
   functions: PostgresSqlFunctionReference[];
   root: PostgresSqlExpressionRoot;
   children: PostgresSqlExpressionChild[];
+  /** True only when the entire represented expression structure is complete, independently of spans. */
   childrenComplete: boolean;
 }
 export interface PostgresSqlType {
@@ -148,26 +151,6 @@ export interface PostgresSqlView {
   dependenciesComplete: boolean;
   functions: PostgresSqlFunctionReference[];
 }
-export interface PostgresSqlTriggerTransition {
-  kind: string;
-  name: PostgresSqlName;
-}
-export interface PostgresSqlTrigger {
-  name: PostgresSqlName;
-  table: PostgresSqlName;
-  timing: string | null;
-  events: string[];
-  forEach: string | null;
-  condition: PostgresSqlExpression | null;
-  function: PostgresSqlName | null;
-  arguments: string[];
-  constraint: boolean;
-  orReplace: boolean;
-  referencedTable: PostgresSqlName | null;
-  transitions: PostgresSqlTriggerTransition[];
-  executionKind: string | null;
-  characteristics: string | null;
-}
 export type PostgresSqlStatementKind =
   | { kind: "comment"; comment: PostgresSqlComment }
   | { kind: "alterIndex"; index: PostgresSqlAlterIndex }

package/postgres-trigger-types.d.ts

@@ -0,0 +1,34 @@
+import type {
+  PostgresSqlExpression,
+  PostgresSqlIdentifier,
+  PostgresSqlName,
+} from "./postgres-source-types";
+
+export interface PostgresSqlTriggerTransition {
+  kind: string;
+  name: PostgresSqlName;
+}
+/** UPDATE OF columns preserve source order and quoted identifiers. */
+export type PostgresSqlTriggerEventKind = "insert" | "delete" | "truncate" | "update";
+export interface PostgresSqlTriggerEvent {
+  kind: PostgresSqlTriggerEventKind;
+  updateOf: boolean;
+  updateColumns: PostgresSqlIdentifier[];
+}
+export interface PostgresSqlTrigger {
+  name: PostgresSqlName;
+  table: PostgresSqlName;
+  timing: string | null;
+  events: string[];
+  eventFacts: PostgresSqlTriggerEvent[];
+  forEach: string | null;
+  condition: PostgresSqlExpression | null;
+  function: PostgresSqlName | null;
+  arguments: string[];
+  constraint: boolean;
+  orReplace: boolean;
+  referencedTable: PostgresSqlName | null;
+  transitions: PostgresSqlTriggerTransition[];
+  executionKind: string | null;
+  characteristics: string | null;
+}

package/types.d.ts

@@ -12,4 +12,5 @@ export * from "./query-types";
 export * from "./named-query-types";
 export * from "./mermaid-types";
 export * from "./resolve-config-types";
+export * from "./postgres-query-annotation-types";
 export * from "./planning-impact-artifacts-types";