no-mistakes 0.79.0 → 0.80.0

package/package.json

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

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-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";
@@ -160,6 +162,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 }
   | {

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[];
+}