no-mistakes 0.79.0 → 0.81.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "no-mistakes",
-  "version": "0.79.0",
+  "version": "0.81.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.79.0",
-    "no-mistakes-linux-arm64-gnu": "0.79.0",
-    "no-mistakes-linux-x64-gnu": "0.79.0",
-    "no-mistakes-win32-x64-msvc": "0.79.0"
+    "no-mistakes-darwin-arm64": "0.81.0",
+    "no-mistakes-linux-arm64-gnu": "0.81.0",
+    "no-mistakes-linux-x64-gnu": "0.81.0",
+    "no-mistakes-win32-x64-msvc": "0.81.0"
   }
 }

package/postgres-expression-types.d.ts

@@ -17,7 +17,8 @@ export type PostgresSqlExpressionRoot =
   | { kind: "parenthesized"; expression: PostgresSqlExpressionRoot }
   | { kind: "cast"; dataType: string; expression: PostgresSqlExpressionRoot }
   | { kind: "literal"; sql: string }
-  | { kind: "binary" | "unary"; operator: string }
+  | { kind: "binary"; operator: string }
+  | { kind: "unary"; operator: string; expression: PostgresSqlExpressionRoot }
   | { kind: "case" | "subquery" | "other" };
 /** Bare CURRENT_TIMESTAMP is a value function; CURRENT_TIMESTAMP(3) uses call syntax. */
 export type PostgresSqlFunctionSyntax = "call" | "value";

package/postgres-function-types.d.ts

@@ -1,3 +1,4 @@
+import type { PostgresSqlWrapper } from "./postgres-wrapper-types";
 import type {
   PostgresSqlExpression,
   PostgresSqlIdentifier,
@@ -11,6 +12,8 @@ export interface PostgresSqlFunctionArgument {
   default: PostgresSqlExpression | null;
 }
 export interface PostgresSqlFunction {
+  /** Non-executing declaration; opaque bodies have incomplete child facts. */
+  wrapper: PostgresSqlWrapper;
   name: PostgresSqlName;
   arguments: PostgresSqlFunctionArgument[];
   returnType: PostgresSqlType | null;

package/postgres-insert-types.d.ts

@@ -15,6 +15,7 @@ export interface PostgresSqlInsert {
   source: PostgresSqlInsertSource;
   onConflict: PostgresSqlConflict | null;
   span: PostgresSqlSpan | null;
+  /** Syntax completeness is independent of provenance and does not imply replay safety. */
   complete: boolean;
   diagnostics: PostgresSqlDiagnostic[];
 }
@@ -32,7 +33,12 @@ export interface PostgresSqlConflict {
 export type PostgresSqlConflictTarget =
   | { kind: "omitted" }
   | { kind: "columns"; columns: PostgresSqlIdentifier[] }
-  | { kind: "constraint"; name: PostgresSqlName };
+  | { kind: "constraint"; name: PostgresSqlName }
+  | {
+      kind: "expressions";
+      expressions: PostgresSqlExpression[];
+      operatorClasses?: (PostgresSqlArbiterOperatorClass | null)[];
+    };
 export type PostgresSqlConflictAction =
   | { kind: "doNothing" }
   | {
@@ -40,11 +46,29 @@ export type PostgresSqlConflictAction =
       assignments: PostgresSqlInsertAssignment[];
       predicate: PostgresSqlExpression | null;
     };
+/** Ordered index expressions retain source spans; catalog resolution is not implied. */
+export interface PostgresSqlAssignmentTarget {
+  base: PostgresSqlExpression;
+  subscripts: PostgresSqlExpression[];
+  indirection?: PostgresSqlAssignmentStep[];
+  span: PostgresSqlSpan | null;
+}
+export interface PostgresSqlArbiterOperatorClass {
+  name: PostgresSqlName;
+  parameters?: PostgresSqlArbiterParameter[];
+  span: PostgresSqlSpan | null;
+}
+export type PostgresSqlAssignmentStep =
+  | { kind: "subscript"; expression: PostgresSqlExpression; span: PostgresSqlSpan | null }
+  | { kind: "field"; name: PostgresSqlIdentifier; span: PostgresSqlSpan | null };
 export interface PostgresSqlInsertAssignment {
   columns: PostgresSqlName[];
+  target?: PostgresSqlAssignmentTarget;
   expression: PostgresSqlExpression;
+  /** Conservative syntactic lineage; derived and unresolved do not imply missing syntax. */
   provenance: PostgresSqlInsertProvenance;
   span: PostgresSqlSpan | null;
+  /** Whether the assignment syntax is fully represented, independently of provenance. */
   complete: boolean;
 }
 export type PostgresSqlInsertProvenance =
@@ -52,4 +76,10 @@ export type PostgresSqlInsertProvenance =
   | "excludedColumn"
   | "literal"
   | "placeholder"
+  | "derived"
   | "unresolved";
+
+export interface PostgresSqlArbiterParameter {
+  name: PostgresSqlIdentifier;
+  value: PostgresSqlExpression;
+}

package/postgres-procedural-types.d.ts

@@ -26,4 +26,16 @@ export interface PostgresSqlConditionalBranch {
 }
 
 /** Original body source slices retain this enclosing literal encoding. */
-export type PostgresSqlBodyEncoding = "dollarQuoted" | "singleQuoted";
+export type PostgresSqlBodyEncoding = "dollarQuoted" | "singleQuoted" | "escapedString";
+
+/** Wrapper literalSpan uses enclosing source coordinates. All child spans and
+ * diagnostics use decodedSql coordinates, including nested expression spans.
+ * Source occurrences never imply that SQL executes. */
+export interface PostgresSqlLiteralExecute {
+  literalSpan: PostgresSqlSpan;
+  bodyEncoding: PostgresSqlBodyEncoding;
+  decodedSql: string;
+  statements: PostgresSqlStatement[];
+  diagnostics: PostgresSqlDiagnostic[];
+  complete: boolean;
+}

package/postgres-source-types.d.ts

@@ -1,3 +1,5 @@
+import type { PostgresSqlWrapper } from "./postgres-wrapper-types";
+export type * from "./postgres-wrapper-types";
 import type { PostgresSqlFunction } from "./postgres-function-types";
 import type { PostgresSqlComment, PostgresSqlAlterIndex } from "./postgres-metadata-types";
 export type * from "./postgres-metadata-types";
@@ -13,6 +15,7 @@ export type * from "./postgres-drop-types";
 import type {
   PostgresSqlConditionalBranch,
   PostgresSqlProceduralBlock,
+  PostgresSqlLiteralExecute,
 } from "./postgres-procedural-types";
 export type * from "./postgres-procedural-types";
 /** Pure SQL source input. No repository, database, or filesystem options are needed. */
@@ -94,6 +97,8 @@ export interface PostgresSqlConstraint {
   onUpdate: string | null;
   characteristics: string | null;
   sql: string;
+  /** UTF-8 source range; null when no proven token boundary is available. */
+  span: PostgresSqlSpan | null;
 }
 export type PostgresSqlAlterOperation =
   | { kind: "addColumn"; column: PostgresSqlColumn }
@@ -117,6 +122,7 @@ export interface PostgresSqlIndexKey {
 export interface PostgresSqlIndex {
   name: PostgresSqlName | null;
   table: PostgresSqlName;
+  only: boolean;
   method: string;
   unique: boolean;
   nullsDistinct: boolean;
@@ -160,6 +166,7 @@ export interface PostgresSqlTrigger {
 export type PostgresSqlStatementKind =
   | { kind: "comment"; comment: PostgresSqlComment }
   | { kind: "alterIndex"; index: PostgresSqlAlterIndex }
+  | { kind: "wrapper"; wrapper: PostgresSqlWrapper }
   | { kind: "insert"; insert: PostgresSqlInsert }
   | { kind: "select"; query: PostgresSqlQuery }
   | {
@@ -175,6 +182,7 @@ export type PostgresSqlStatementKind =
   | { kind: "createTrigger"; trigger: PostgresSqlTrigger }
   | { kind: "createFunction"; function: PostgresSqlFunction }
   | { kind: "drop"; drop: PostgresSqlDrop }
+  | { kind: "literalExecute"; execute: PostgresSqlLiteralExecute }
   | { kind: "doBlock"; block: PostgresSqlProceduralBlock }
   | { kind: "conditional"; branches: PostgresSqlConditionalBranch[] }
   | { kind: "other" };

package/postgres-wrapper-types.d.ts

@@ -0,0 +1,16 @@
+import type {
+  PostgresSqlDiagnostic,
+  PostgresSqlSpan,
+  PostgresSqlStatement,
+} from "./postgres-source-types";
+export type PostgresSqlExecution = "nonExecuting" | "executesForAnalysis" | "unknown";
+export type PostgresSqlWrapperKind = "explain" | "prepare" | "functionDeclaration";
+/** Ordered child source occurrences inherit the enclosing execution context. */
+export interface PostgresSqlWrapper {
+  wrapperKind: PostgresSqlWrapperKind;
+  execution: PostgresSqlExecution;
+  statements: PostgresSqlStatement[];
+  span: PostgresSqlSpan | null;
+  complete: boolean;
+  diagnostics: PostgresSqlDiagnostic[];
+}