@aotter/mantle 0.1.5-alpha.1 → 0.2.0-alpha.2

package/dist/spec/usecase/ValidateManifestsUseCase.js

@@ -0,0 +1,101 @@
+import { validateDiagnostic, } from "../kernel/diagnostic.js";
+import { checkSiteLocales } from "../domain/service/CrossSchemaChecker.js";
+import { linkManifestSet, } from "../domain/service/ManifestLinker.js";
+/** Link one parser-owned value and apply optional authoring checks. */
+export class ValidateManifestsUseCase {
+    execute(request) {
+        const linked = linkManifestSet(request.parsed);
+        const diagnostics = [...linked.diagnostics];
+        if (linked.ok && request.siteLocales !== undefined) {
+            diagnostics.push(...checkSiteLocales({
+                schemas: linked.value.schemas.map((schema) => schema.manifest),
+                phase: "validate",
+                siteLocales: request.siteLocales,
+            }));
+        }
+        if (linked.ok && request.mcpInput !== false) {
+            diagnostics.push(...checkMcpToolInputShapes(linked.value, request.mcpInput ?? {}));
+        }
+        const errorCount = diagnostics.filter((diagnostic) => diagnostic.severity === "error").length;
+        return {
+            diagnostics,
+            errorCount,
+            warningCount: diagnostics.length - errorCount,
+            ...(linked.ok ? { linked: linked.value } : {}),
+        };
+    }
+    static run(request) {
+        return new ValidateManifestsUseCase().execute(request);
+    }
+}
+/**
+ * A Procedure's HTTP input schema is reused verbatim as its MCP tool schema,
+ * so shapes that are fine for a typed client can strand a cold agent (#971).
+ * Advisory only, and only for Procedures reachable from an MCP Trigger.
+ */
+function checkMcpToolInputShapes(linked, options) {
+    const out = [];
+    const unionAmbiguity = options.unionAmbiguity ?? true;
+    const maxArrayItems = options.maxArrayItems === undefined ? 100 : options.maxArrayItems;
+    const exposed = new Set(linked.triggers
+        .filter((trigger) => trigger.manifest.spec.source.kind === "mcp")
+        .map((trigger) => trigger.manifest.spec.target.procedure));
+    for (const procedure of linked.procedures) {
+        const name = procedure.manifest.metadata.name;
+        if (!exposed.has(name))
+            continue;
+        const input = procedure.manifest.spec.input;
+        const diagnostic = (code, path, value, expected, message) => validateDiagnostic({
+            code,
+            severity: "warning",
+            path,
+            source: { ...procedure.source, path },
+            value,
+            expected,
+            message,
+        });
+        // The v0.1 grammar accepts `oneOf` only (`anyOf` is rejected at parse), so
+        // that is the one union keyword to inspect.
+        if (unionAmbiguity && Array.isArray(input.oneOf) && input.oneOf.length > 0) {
+            const advertised = new Set(input.required ?? []);
+            const hidden = new Set();
+            for (const branch of input.oneOf) {
+                for (const field of branch.required ?? [])
+                    if (!advertised.has(field))
+                        hidden.add(field);
+            }
+            const path = "/spec/input/oneOf";
+            const advertisedText = `[${[...advertised].sort().join(", ")}]`;
+            out.push(diagnostic("MCP_TOOL_INPUT_UNION_AMBIGUOUS", path, [...hidden].sort(), "one MCP tool per branch, or a top-level required set that is true for every branch", hidden.size
+                ? `Procedure '${name}' is an MCP tool whose input is a top-level oneOf; its advertised required set ` +
+                    `${advertisedText} hides [${[...hidden].sort().join(", ")}], which some branch needs, so a caller satisfying ` +
+                    `the schema can still be rejected. MCP clients render oneOf poorly; prefer separate tools (e.g. create/update).`
+                : `Procedure '${name}' is an MCP tool whose input is a top-level oneOf. MCP clients render oneOf poorly and ` +
+                    `cannot tell an agent which branch it is filling; prefer separate tools (e.g. create/update).`));
+        }
+        if (maxArrayItems !== null) {
+            for (const [field, property] of Object.entries(input.properties ?? {})) {
+                const schema = property;
+                const path = `/spec/input/properties/${field}`;
+                const types = new Set(Array.isArray(schema.type) ? schema.type : schema.type ? [schema.type] : []);
+                if (types.has("array")) {
+                    const bound = typeof schema.maxItems === "number" ? schema.maxItems : undefined;
+                    if (bound === undefined || bound > maxArrayItems) {
+                        out.push(diagnostic("MCP_TOOL_INPUT_UNBOUNDED", path, bound ?? null, `maxItems <= ${maxArrayItems} on an MCP tool array input`, `Procedure '${name}' is an MCP tool with array input '${field}' ${bound === undefined ? "without maxItems" : `allowing ${bound} items`}; ` +
+                            `an agent must serialise the whole array into one tools/call.`));
+                    }
+                }
+                else if (types.has("object")
+                    // Free-form means no declared shape at all: a typed map
+                    // (`additionalProperties: { type: string }`) declares its values.
+                    && (schema.additionalProperties === undefined || schema.additionalProperties === true)
+                    && Object.keys(schema.properties ?? {}).length === 0) {
+                    out.push(diagnostic("MCP_TOOL_INPUT_UNBOUNDED", path, null, "declared properties, or a narrower tool that does not take a free-form document", `Procedure '${name}' is an MCP tool with free-form object input '${field}' (no declared properties); ` +
+                        `its size is unbounded and an agent gets no shape to fill.`));
+                }
+            }
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=ValidateManifestsUseCase.js.map

package/dist/spec/usecase/ValidateManifestsUseCase.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidateManifestsUseCase.js","sourceRoot":"","sources":["../../../src/spec/usecase/ValidateManifestsUseCase.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,GAEnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EACL,eAAe,GAEhB,MAAM,qCAAqC,CAAC;AAK7C,uEAAuE;AACvE,MAAM,OAAO,wBAAwB;IACnC,OAAO,CAAC,OAAiC;QACvC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,WAAW,GAAiB,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC1D,IAAI,MAAM,CAAC,EAAE,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACnD,WAAW,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC;gBACnC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAC9D,KAAK,EAAE,UAAU;gBACjB,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CAAC,CAAC;QACN,CAAC;QACD,IAAI,MAAM,CAAC,EAAE,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC5C,WAAW,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;QAC9F,OAAO;YACL,WAAW;YACX,UAAU;YACV,YAAY,EAAE,WAAW,CAAC,MAAM,GAAG,UAAU;YAC7C,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,OAAiC;QAC1C,OAAO,IAAI,wBAAwB,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC;CACF;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,MAAyB,EACzB,OAA6B;IAE7B,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,IAAI,CAAC;IACtD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IACxF,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,MAAM,CAAC,QAAQ;SACZ,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC;SAChE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAC5D,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC9C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACjC,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5C,MAAM,UAAU,GAAG,CAAC,IAAmE,EAAE,IAAY,EAAE,KAAc,EAAE,QAAgB,EAAE,OAAe,EAAE,EAAE,CAC1J,kBAAkB,CAAC;YACjB,IAAI;YACJ,QAAQ,EAAE,SAAS;YACnB,IAAI;YACJ,MAAM,EAAE,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE;YACrC,KAAK;YACL,QAAQ;YACR,OAAO;SACR,CAAC,CAAC;QAEL,2EAA2E;QAC3E,4CAA4C;QAC5C,IAAI,cAAc,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBACjC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,IAAI,EAAE;oBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;wBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3F,CAAC;YACD,MAAM,IAAI,GAAG,mBAAmB,CAAC;YACjC,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAChE,GAAG,CAAC,IAAI,CAAC,UAAU,CACjB,gCAAgC,EAChC,IAAI,EACJ,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAClB,oFAAoF,EACpF,MAAM,CAAC,IAAI;gBACT,CAAC,CAAC,cAAc,IAAI,iFAAiF;oBACnG,GAAG,cAAc,WAAW,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,qDAAqD;oBAC9G,gHAAgH;gBAClH,CAAC,CAAC,cAAc,IAAI,yFAAyF;oBAC3G,8FAA8F,CACnG,CAAC,CAAC;QACL,CAAC;QAED,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;gBACvE,MAAM,MAAM,GAAG,QAAsB,CAAC;gBACtC,MAAM,IAAI,GAAG,0BAA0B,KAAK,EAAE,CAAC;gBAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACnG,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBACvB,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;oBAChF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,aAAa,EAAE,CAAC;wBACjD,GAAG,CAAC,IAAI,CAAC,UAAU,CACjB,0BAA0B,EAC1B,IAAI,EACJ,KAAK,IAAI,IAAI,EACb,eAAe,aAAa,6BAA6B,EACzD,cAAc,IAAI,sCAAsC,KAAK,KAAK,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,KAAK,QAAQ,IAAI;4BACxI,8DAA8D,CACjE,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;qBAAM,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAC5B,wDAAwD;oBACxD,kEAAkE;uBAC/D,CAAC,MAAM,CAAC,oBAAoB,KAAK,SAAS,IAAI,MAAM,CAAC,oBAAoB,KAAK,IAAI,CAAC;uBACnF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvD,GAAG,CAAC,IAAI,CAAC,UAAU,CACjB,0BAA0B,EAC1B,IAAI,EACJ,IAAI,EACJ,iFAAiF,EACjF,cAAc,IAAI,iDAAiD,KAAK,8BAA8B;wBACpG,2DAA2D,CAC9D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/spec/usecase/dto/ValidateManifestsRequest.d.ts

@@ -0,0 +1,27 @@
+import type { ParsedManifestSet } from "../../domain/service/ManifestParser.js";
+/**
+ * Input to the manifest validation use case (Loop 1 of the SDK
+ * authoring contract — ADR-0007). Loose primitives stay out per the
+ * clean-arch DTO rule; everything the use case needs is named here.
+ */
+export interface ValidateManifestsRequest {
+    readonly parsed: ParsedManifestSet;
+    /** Optional site config locales for the locale-vs-Schema consistency
+     *  check (ADR-0010). Validate-from-CLI flows leave this absent
+     *  (CLI can't reach the runtime DB); boot always passes it. */
+    readonly siteLocales?: ReadonlyArray<string>;
+    /** Advisory checks on MCP-surfaced Procedure inputs (#971). Core ships
+     *  the defaults; a downstream decides its own thresholds. `false`
+     *  disables the whole group. */
+    readonly mcpInput?: false | McpInputCheckOptions;
+}
+export interface McpInputCheckOptions {
+    /** Warn on a top-level `oneOf` input; the message names any branch-only
+     *  required fields hidden behind the advertised `required` (default `true`). */
+    readonly unionAmbiguity?: boolean;
+    /** Warn on array inputs whose `maxItems` exceeds this bound or is
+     *  undeclared, and on free-form object inputs (default `100`;
+     *  `null` disables the size check). */
+    readonly maxArrayItems?: number | null;
+}
+//# sourceMappingURL=ValidateManifestsRequest.d.ts.map

package/dist/spec/usecase/dto/ValidateManifestsRequest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidateManifestsRequest.d.ts","sourceRoot":"","sources":["../../../../src/spec/usecase/dto/ValidateManifestsRequest.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAEhF;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC;;mEAE+D;IAC/D,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7C;;oCAEgC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,KAAK,GAAG,oBAAoB,CAAC;CAClD;AAED,MAAM,WAAW,oBAAoB;IACnC;oFACgF;IAChF,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC;;2CAEuC;IACvC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACxC"}

package/dist/spec/usecase/dto/ValidateManifestsRequest.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ValidateManifestsRequest.js.map

package/dist/spec/usecase/dto/ValidateManifestsRequest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidateManifestsRequest.js","sourceRoot":"","sources":["../../../../src/spec/usecase/dto/ValidateManifestsRequest.ts"],"names":[],"mappings":""}

package/dist/spec/usecase/dto/ValidateManifestsResponse.d.ts

@@ -0,0 +1,14 @@
+import type { Diagnostic } from "../../kernel/diagnostic.js";
+import type { LinkedManifestSet } from "../../domain/service/ManifestLinker.js";
+/**
+ * Output of the manifest validation use case. `errorCount` and
+ * `warningCount` are pre-computed for adapters that need exit-code
+ * decisions or summary lines; `diagnostics` is the full list.
+ */
+export interface ValidateManifestsResponse {
+    readonly diagnostics: ReadonlyArray<Diagnostic>;
+    readonly errorCount: number;
+    readonly warningCount: number;
+    readonly linked?: LinkedManifestSet;
+}
+//# sourceMappingURL=ValidateManifestsResponse.d.ts.map

package/dist/spec/usecase/dto/ValidateManifestsResponse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidateManifestsResponse.d.ts","sourceRoot":"","sources":["../../../../src/spec/usecase/dto/ValidateManifestsResponse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAEhF;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAChD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC"}

package/dist/spec/usecase/dto/ValidateManifestsResponse.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ValidateManifestsResponse.js.map

package/dist/spec/usecase/dto/ValidateManifestsResponse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidateManifestsResponse.js","sourceRoot":"","sources":["../../../../src/spec/usecase/dto/ValidateManifestsResponse.ts"],"names":[],"mappings":""}

package/dist/spec/usecase/dto/index.d.ts

@@ -0,0 +1,3 @@
+export * from "./ValidateManifestsRequest.js";
+export * from "./ValidateManifestsResponse.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/spec/usecase/dto/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/spec/usecase/dto/index.ts"],"names":[],"mappings":"AAAA,cAAc,+BAA+B,CAAC;AAC9C,cAAc,gCAAgC,CAAC"}

package/dist/spec/usecase/dto/index.js

@@ -0,0 +1,3 @@
+export * from "./ValidateManifestsRequest.js";
+export * from "./ValidateManifestsResponse.js";
+//# sourceMappingURL=index.js.map

package/dist/spec/usecase/dto/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/spec/usecase/dto/index.ts"],"names":[],"mappings":"AAAA,cAAc,+BAA+B,CAAC;AAC9C,cAAc,gCAAgC,CAAC"}

package/dist/spec/usecase/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * `usecase/` — application services orchestrating domain logic. Each
+ * use case accepts a request DTO, returns a response DTO. No
+ * infrastructure dependencies (no I/O, no DB, no FS) — those live in
+ * `infrastructure/`.
+ */
+export * from "./dto/index.js";
+export * from "./ValidateManifestsUseCase.js";
+export * from "./EmitTypes.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/spec/usecase/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/spec/usecase/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,gBAAgB,CAAC;AAC/B,cAAc,+BAA+B,CAAC;AAC9C,cAAc,gBAAgB,CAAC"}

package/dist/spec/usecase/index.js

@@ -0,0 +1,10 @@
+/**
+ * `usecase/` — application services orchestrating domain logic. Each
+ * use case accepts a request DTO, returns a response DTO. No
+ * infrastructure dependencies (no I/O, no DB, no FS) — those live in
+ * `infrastructure/`.
+ */
+export * from "./dto/index.js";
+export * from "./ValidateManifestsUseCase.js";
+export * from "./EmitTypes.js";
+//# sourceMappingURL=index.js.map

package/dist/spec/usecase/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/spec/usecase/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,gBAAgB,CAAC;AAC/B,cAAc,+BAA+B,CAAC;AAC9C,cAAc,gBAAgB,CAAC"}

package/dist/testing/cases/before-hook.d.ts

@@ -0,0 +1,4 @@
+import type { Report } from '../report.js';
+import type { Engine } from '../harness.js';
+export declare function run(r: Report, engine: Engine): Promise<void>;
+//# sourceMappingURL=before-hook.d.ts.map

package/dist/testing/cases/before-hook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"before-hook.d.ts","sourceRoot":"","sources":["../../../src/testing/cases/before-hook.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAM5C,wBAAsB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,iBAyDlD"}

package/dist/testing/cases/before-hook.js

@@ -0,0 +1,71 @@
+import { boot, caller, program, site } from '../harness.js';
+import { isConflict, opIndexOf, isRefusal, runProcedure } from '../harness.js';
+export async function run(r, engine) {
+    r.section('Case 4: before hooks');
+    const b = await boot(engine);
+    const seen = [];
+    let concurrent;
+    let veto = false;
+    const hooks = { before: { items: { update: async ({ row }) => {
+                    seen.push(row);
+                    if (veto)
+                        throw new Error('hook says no');
+                    await concurrent?.();
+                } } } };
+    const s = site(b, hooks);
+    const set = await program('procedure', 'UPDATE items SET stock = input.s WHERE id = input.id RETURNING id, stock, version', { id: 'text', s: 'int8' });
+    const fails = async (input) => { try {
+        await runProcedure(s, set, caller(input));
+        return undefined;
+    }
+    catch (e) {
+        return e;
+    } };
+    const item = async (id) => (await b.d1.all('SELECT stock, version FROM items WHERE id = ?1', [id]))[0];
+    // the hook reads the one visible row, then the statement carries the version the hook saw: `version = <bind>`, bound to it
+    const versionBound = ({ ir, binds }) => {
+        const n = JSON.stringify(ir.UpdateStmt.whereClause).match(/"sval":"version"\}\}\]\}\},"rexpr":\{"ParamRef":\{"number":(\d+)\}/)?.[1];
+        return n === undefined ? undefined : binds[Number(n) - 1];
+    };
+    const ok = await runProcedure(s, set, caller({ id: 'a', s: 9 }));
+    r.check('no concurrent write: commits and bumps version; the hook saw the one row before the change; the statement carries the version it saw', JSON.stringify(ok.rows) === '[[{"id":"a","stock":9,"version":2}]]' && seen.length === 1 && seen[0].id === 'a' && seen[0].stock === 5 && seen[0].version === 1 && versionBound(ok.batch[0]) === 1, seen[0]);
+    // the row changes between the hook and the commit: CONFLICT, and the concurrent write survives
+    concurrent = async () => { await b.d1.exec(["UPDATE items SET stock = 99, version = version + 1 WHERE id = 'b'"]); };
+    const e1 = await fails({ id: 'b', s: 1 });
+    r.check('row changed between the hook and the commit: CONFLICT op=0, the concurrent write is not overwritten', isConflict(e1) && opIndexOf(e1) === 0 && JSON.stringify(await item('b')) === '{"stock":99,"version":2}', String(e1?.message));
+    concurrent = undefined;
+    // a hook that throws vetoes the write: fail closed
+    veto = true;
+    const e2 = await fails({ id: 'd', s: 1 });
+    r.check('a throwing hook stops the statement and nothing is written', e2?.message === 'hook says no' && (await item('d')).stock === 7, String(e2?.message));
+    veto = false;
+    // no visible row (another owner's, expired): CONFLICT without calling the hook
+    const calls = seen.length;
+    const e3 = await fails({ id: 'X_z1', s: 1 });
+    r.check("another owner's row: CONFLICT, and the hook was never called (it cannot probe for the row)", isConflict(e3) && seen.length === calls, String(e3?.message));
+    // a set op on a Schema with a before hook is refused at compile time
+    let refused;
+    try {
+        await runProcedure(s, await program('procedure', "UPDATE items SET stock = 0 WHERE cat = 'x'"), caller());
+    }
+    catch (e) {
+        refused = e;
+    }
+    r.check('a set op on items (before update hook) is refused', isRefusal(refused, 'SQL_SHAPE') && /before hooks take row ops only/.test(refused.message), refused?.message);
+    // a Schema without a hook keeps its set ops; a before-update hook does not run for insert
+    const other = await runProcedure(s, await program('procedure', "UPDATE requisitions SET state = 'x' WHERE state = 'pending' RETURNING id"), caller());
+    const ins = await runProcedure(s, await program('procedure', "INSERT INTO items (name, cat, stock) VALUES ('n', 'x', 1) RETURNING name"), caller());
+    r.check('set ops stay legal where no before hook exists; the update hook does not run for insert', other.rows[0].length === 2 && seen.length === calls && ins.rows.length === 1);
+    // a before create hook reads the VALUES in a read of its own, so they may not depend on data that can change before the commit
+    const own = { ...s, hooks: { before: { orders: { insert: () => undefined } } } };
+    let subq;
+    try {
+        await runProcedure(own, await program('procedure', "INSERT INTO orders (item_id, qty) VALUES ('a', (SELECT stock FROM items WHERE id = 'a'))"), caller());
+    }
+    catch (e) {
+        subq = e;
+    }
+    const plain = await runProcedure(own, await program('procedure', "INSERT INTO orders (item_id, qty) VALUES ('a', 1) RETURNING qty"), caller());
+    r.check('an insert with a before create hook may not read data in its VALUES, and constant values are fine', isRefusal(subq, 'SQL_SHAPE') && plain.rows[0].length === 1, subq?.message);
+}
+//# sourceMappingURL=before-hook.js.map

package/dist/testing/cases/before-hook.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"before-hook.js","sourceRoot":"","sources":["../../../src/testing/cases/before-hook.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAI/E,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,CAAS,EAAE,MAAc;IACjD,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAClC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAU,EAAE,CAAC;IACvB,IAAI,UAA6C,CAAC;IAClD,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,KAAK,GAAU,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;oBAClE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACf,IAAI,IAAI;wBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;oBAC1C,MAAM,UAAU,EAAE,EAAE,CAAC;gBACvB,CAAC,EAAE,EAAE,EAAE,CAAC;IACR,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACzB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,mFAAmF,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACvJ,MAAM,KAAK,GAAG,KAAK,EAAE,KAA8B,EAAE,EAAE,GAAG,IAAI,CAAC;QAAC,MAAM,YAAY,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAC,OAAO,SAAS,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,CAAU,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC;IAClK,MAAM,IAAI,GAAG,KAAK,EAAE,EAAU,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,gDAAgD,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/G,2HAA2H;IAC3H,MAAM,YAAY,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,oEAAoE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrI,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,KAAK,CAAC,sIAAsI,EAC5I,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,sCAAsC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7M,+FAA+F;IAC/F,UAAU,GAAG,KAAK,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,mEAAmE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrH,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,KAAK,CAAC,qGAAqG,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,0BAA0B,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7O,UAAU,GAAG,SAAS,CAAC;IAEvB,mDAAmD;IACnD,IAAI,GAAG,IAAI,CAAC;IACZ,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,KAAK,CAAC,4DAA4D,EAAE,EAAE,EAAE,OAAO,KAAK,cAAc,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5J,IAAI,GAAG,KAAK,CAAC;IAEb,+EAA+E;IAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,KAAK,CAAC,4FAA4F,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAEpK,qEAAqE;IACrE,IAAI,OAA0B,CAAC;IAC/B,IAAI,CAAC;QAAC,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,4CAA4C,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,GAAG,CAAU,CAAC;IAAC,CAAC;IACtJ,CAAC,CAAC,KAAK,CAAC,mDAAmD,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,gCAAgC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1K,0FAA0F;IAC1F,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,0EAA0E,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACtJ,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,0EAA0E,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACpJ,CAAC,CAAC,KAAK,CAAC,yFAAyF,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAEjL,+HAA+H;IAC/H,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC;IACjF,IAAI,IAAuB,CAAC;IAC5B,IAAI,CAAC;QAAC,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,0FAA0F,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,IAAI,GAAG,CAAU,CAAC;IAAC,CAAC;IACnM,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,iEAAiE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/I,CAAC,CAAC,KAAK,CAAC,mGAAmG,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1L,CAAC"}

package/dist/testing/cases/corpus.d.ts

@@ -0,0 +1,12 @@
+export type Item = {
+    id: string;
+    kind: 'view' | 'procedure';
+    sql: string;
+    inputs?: Record<string, string>;
+    input?: Record<string, unknown>;
+    /** rows per statement */
+    expect: unknown[][];
+};
+export declare const corpus: Item[];
+export declare const typedRows: Readonly<Record<string, unknown[][]>>;
+//# sourceMappingURL=corpus.d.ts.map

package/dist/testing/cases/corpus.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus.d.ts","sourceRoot":"","sources":["../../../src/testing/cases/corpus.ts"],"names":[],"mappings":"AAQA,MAAM,MAAM,IAAI,GAAG;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,yBAAyB;IACzB,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC;CACrB,CAAC;AAMF,eAAO,MAAM,MAAM,EAAE,IAAI,EA+ExB,CAAC;AAQF,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAQ3D,CAAC"}

package/dist/testing/cases/corpus.js

@@ -0,0 +1,91 @@
+// @ts-nocheck test code over loosely typed IR and rows
+// The printer corpus (spike task 1). Every node type and enum value in the validate.ts allowlist appears
+// in at least one item; each item runs on local D1 through the whole pipeline, and its rows are checked
+// against the result PostgreSQL semantics give. Data: see src/fixtures.ts (owner o1 sees items a b c d).
+import { NOW } from '../harness.js';
+const us = (y, mo, d, h = 0) => Date.UTC(y, mo - 1, d, h) * 1000;
+const v = (id, sql, expect, inputs, input) => ({ id, kind: 'view', sql, expect: [expect], inputs, input });
+const w = (id, sql, expect, inputs, input) => ({ id, kind: 'procedure', sql, expect, inputs, input });
+const ids = (...x) => x.map((id) => ({ id }));
+export const corpus = [
+    // ---- expressions --------------------------------------------------------------------------------------
+    v('arith', "SELECT name, stock + 1 AS s, stock * 2 - 1 AS t, stock / 2 AS h, stock % 3 AS m, -stock AS neg, name || '!' AS shout FROM items WHERE id = 'a'", [{ name: 'apple', s: 6, t: 9, h: 2, m: 2, neg: -5, shout: 'apple!' }]),
+    // PostgreSQL: `*` binds tighter than `||`, `+` tighter than `||`; SQLite: `||` binds tighter than both
+    v('precedence-concat', "SELECT 2 * 3 || 4 AS a, 1 + 2 || 3 AS b, 'x' || 1 + 1 AS c, 10 - 2 - 3 AS d, 10 - (2 - 3) AS e, -(1 + 2) * 3 AS f, (2 + 3) * 4 AS g FROM items WHERE id = 'a'", [{ a: '64', b: '33', c: 'x2', d: 5, e: 11, f: -9, g: 20 }]),
+    v('precedence-bool', "SELECT id FROM items WHERE (stock > 4 AND NOT cat = 'y' OR stock < 3) AND NOT (stock = 7) ORDER BY id", ids('a', 'b')),
+    v('case', "SELECT id, CASE WHEN stock > 6 THEN 'hi' WHEN stock > 3 THEN 'mid' ELSE 'lo' END AS lvl, CASE cat WHEN 'x' THEN 1 ELSE 0 END AS isx, COALESCE(NULL, stock) AS cs, NULLIF(stock, 5) AS ns FROM items WHERE id IN ('a', 'c') ORDER BY id", [{ id: 'a', lvl: 'mid', isx: 1, cs: 5, ns: null }, { id: 'c', lvl: 'hi', isx: 0, cs: 9, ns: 9 }]),
+    v('literals', "SELECT 'it''s a \\ back\\slash' AS s, -7 AS n, 1.5 AS f, true AS t, false AS x, NULL AS z, 1772928000000000 AS big FROM items WHERE id = 'a'", [{ s: "it's a \\ back\\slash", n: -7, f: 1.5, t: 1, x: 0, z: null, big: 1772928000000000 }]),
+    v('quoting', 'SELECT id AS "Group", name AS "select", stock AS "Total Count" FROM items WHERE id = \'a\'', [{ Group: 'a', select: 'apple', 'Total Count': 5 }]),
+    // ---- conditions ----------------------------------------------------------------------------------------
+    v('between', 'SELECT id FROM items WHERE stock BETWEEN 5 AND 7 ORDER BY id', ids('a', 'd')),
+    v('not-between', 'SELECT id FROM items WHERE stock NOT BETWEEN 3 AND 8 ORDER BY id', ids('b', 'c')),
+    v('like', "SELECT id FROM items WHERE name LIKE 'a%' OR name LIKE '%y' ORDER BY id", ids('a', 'b', 'c')),
+    v('not-like', "SELECT id FROM items WHERE name NOT LIKE '%rr%' ORDER BY id", ids('a', 'd')),
+    v('like-escape', "SELECT id FROM items WHERE 'a%b' LIKE 'a!%b' ESCAPE '!' AND 'axb' NOT LIKE 'a!%b' ESCAPE '!' AND id = 'a'", ids('a')),
+    // a condition as an operand: the printers parenthesize it, or SQLite would group it left to right and PostgreSQL refuse it
+    v('condition-in', 'SELECT id FROM items WHERE (stock > 4) IN (true) ORDER BY id', ids('a', 'c', 'd')),
+    v('condition-between', 'SELECT id FROM items WHERE (stock > 4) BETWEEN false AND (stock < 8) ORDER BY id', ids('a', 'b', 'd')),
+    v('condition-compare', "SELECT id FROM items WHERE (name LIKE 'a%') = (stock > 4) ORDER BY id", ids('a', 'b')),
+    v('condition-in-subquery', "SELECT id FROM items WHERE (stock IN (SELECT stock FROM items WHERE id = 'a')) = (stock > 4) ORDER BY id", ids('a', 'b')),
+    v('null-tests', "SELECT id FROM items WHERE cat IS NOT DISTINCT FROM 'x' AND tags IS NOT NULL AND NOT (stock IS NULL) AND cat IS DISTINCT FROM 'q' ORDER BY id", ids('a', 'b', 'd')),
+    v('in-list', "SELECT id FROM items WHERE id IN ('a', 'b') AND stock NOT IN (2) ORDER BY id", ids('a')),
+    v('any-subquery', 'SELECT id FROM items WHERE id = ANY (SELECT item_id FROM orders) ORDER BY id', ids('a')),
+    v('in-subquery', 'SELECT id FROM items WHERE id IN (SELECT item_id FROM orders) ORDER BY id', ids('a')),
+    v('exists', 'SELECT id FROM items WHERE EXISTS (SELECT 1 FROM orders o WHERE o.item_id = items.id) ORDER BY id', ids('a')),
+    v('not-exists', 'SELECT id FROM items WHERE NOT EXISTS (SELECT 1 FROM orders o WHERE o.item_id = items.id) ORDER BY id', ids('b', 'c', 'd')),
+    v('scalar-subquery', 'SELECT id, (SELECT count(*) FROM orders o WHERE o.item_id = i.id) AS n FROM items i ORDER BY id', [{ id: 'a', n: 2 }, { id: 'b', n: 0 }, { id: 'c', n: 0 }, { id: 'd', n: 0 }]),
+    v('input-param', 'SELECT id FROM items WHERE stock > input.min AND cat = input.cat ORDER BY id', ids('a', 'd'), { min: 'int8', cat: 'text' }, { min: 4, cat: 'x' }),
+    // ---- aggregates, windows, order, paging -------------------------------------------------------------------
+    v('aggregates', 'SELECT cat, count(*) AS n, count(DISTINCT stock) AS d, sum(stock) AS s, min(stock) AS lo, max(stock) AS hi, avg(stock) AS av, json_group_array(name) AS names, json_group_array(DISTINCT cat) AS cats, json_group_object(id, stock) AS obj FROM items GROUP BY cat HAVING count(*) > 0 ORDER BY cat', [{ cat: 'x', n: 3, d: 3, s: 14, lo: 2, hi: 7, av: 14 / 3, names: '["apple","berry","date"]', cats: '["x"]', obj: '{"a":5,"b":2,"d":7}' },
+        { cat: 'y', n: 1, d: 1, s: 9, lo: 9, hi: 9, av: 9, names: '["cherry"]', cats: '["y"]', obj: '{"c":9}' }]),
+    v('windows', 'SELECT r.cat, r.name, r.rn, r.rk, r.run, r.cnt FROM (SELECT cat, name, row_number() OVER (PARTITION BY cat ORDER BY stock DESC) AS rn, rank() OVER (PARTITION BY cat ORDER BY stock DESC) AS rk, sum(stock) OVER (PARTITION BY cat ORDER BY stock DESC) AS run, count(*) OVER (PARTITION BY cat) AS cnt, id FROM items) r ORDER BY r.cat, r.rn', [{ cat: 'x', name: 'date', rn: 1, rk: 1, run: 7, cnt: 3 }, { cat: 'x', name: 'apple', rn: 2, rk: 2, run: 12, cnt: 3 }, { cat: 'x', name: 'berry', rn: 3, rk: 3, run: 14, cnt: 3 }, { cat: 'y', name: 'cherry', rn: 1, rk: 1, run: 9, cnt: 1 }]),
+    v('order-nulls', 'SELECT id FROM items ORDER BY note DESC NULLS LAST, id ASC LIMIT 3', ids('d', 'c', 'a')),
+    v('order-nulls-first', 'SELECT id FROM items ORDER BY note ASC NULLS FIRST, id DESC LIMIT 3', ids('b', 'a', 'c')),
+    // PostgreSQL semantics: peers rank alike and a running sum includes all peers. An appended id key would break both.
+    v('window-ties', 'SELECT r.id, r.rk, r.run FROM (SELECT id, rank() OVER (ORDER BY cat) AS rk, sum(stock) OVER (ORDER BY cat) AS run FROM items) r ORDER BY r.id', [{ id: 'a', rk: 1, run: 14 }, { id: 'b', rk: 1, run: 14 }, { id: 'c', rk: 4, run: 23 }, { id: 'd', rk: 1, run: 14 }]),
+    v('distinct', 'SELECT DISTINCT cat FROM items', [{ cat: 'x' }, { cat: 'y' }]),
+    v('limit-input', 'SELECT id FROM items ORDER BY id LIMIT input.n', ids('a', 'b'), { n: 'int8' }, { n: 2 }),
+    // ---- relations ---------------------------------------------------------------------------------------------
+    v('inner-join', 'SELECT i.id, o.id AS oid FROM items i JOIN orders o ON o.item_id = i.id ORDER BY i.id, o.id', [{ id: 'a', oid: 'oa' }, { id: 'a', oid: 'ob' }]),
+    v('left-join', 'SELECT i.id, o.id AS oid FROM items i LEFT JOIN orders o ON o.item_id = i.id WHERE i.stock < 8 ORDER BY i.id, o.id', [{ id: 'a', oid: 'oa' }, { id: 'a', oid: 'ob' }, { id: 'b', oid: null }, { id: 'd', oid: null }]),
+    v('self-join', 'SELECT a.id AS a, b.id AS b FROM items a JOIN items b ON a.cat = b.cat AND a.id < b.id ORDER BY a.id, b.id', [{ a: 'a', b: 'b' }, { a: 'a', b: 'd' }, { a: 'b', b: 'd' }]),
+    v('from-subquery', 'SELECT s.id, s.stock FROM (SELECT id, stock FROM items WHERE cat = \'x\') s WHERE s.stock > 4 ORDER BY s.id', [{ id: 'a', stock: 5 }, { id: 'd', stock: 7 }]),
+    v('json-each', 'SELECT i.id, j.value AS tag FROM items i, json_each(i.tags) j WHERE j.value = input.tag ORDER BY i.id', [{ id: 'a', tag: 'red' }, { id: 'c', tag: 'red' }, { id: 'd', tag: 'red' }], { tag: 'text' }, { tag: 'red' }),
+    v('json-exists', 'SELECT i.id, i.tags ->> \'$[0]\' AS first FROM items i WHERE EXISTS (SELECT 1 FROM json_each(i.tags) j WHERE j.value = \'big\') ORDER BY i.id', [{ id: 'a', first: 'red' }]),
+    // ---- functions -----------------------------------------------------------------------------------------------
+    v('scalar-functions', "SELECT lower('AbC') AS lo, upper('AbC') AS up, length('héllo') AS len, abs(-3) AS ab, round(2.567, 2) AS r, substr('abcdef', 2, 3) AS sub, replace('a-b', '-', '+') AS rep, trim('  x ') AS t, ltrim('  x') AS lt, rtrim('x  ') AS rt, instr('abc', 'c') AS ins, typeof(1) AS ty, hex('A') AS hx FROM items WHERE id = 'a'", [{ lo: 'abc', up: 'ABC', len: 5, ab: 3, r: 2.57, sub: 'bcd', rep: 'a+b', t: 'x', lt: 'x', rt: 'x', ins: 3, ty: 'integer', hx: '41' }]),
+    v('json-functions', "SELECT json_extract(tags, '$[0]') AS e, json_array_length(tags) AS n, json_set(tags, '$[0]', 'z') AS s, json_insert(tags, '$[#]', 'w') AS i, json_remove(tags, '$[0]') AS r FROM items WHERE id = 'a'", [{ e: 'red', n: 2, s: '["z","big"]', i: '["red","big","w"]', r: '["big"]' }]),
+    v('casts', "SELECT CAST(stock AS text) AS t, round(stock) AS i, CAST(stock AS float8) AS f, CAST(stock AS bool) AS b, CAST('false' AS bool) AS bf, CAST('yes' AS bool) AS bt, stock::text || 'x' AS c FROM items WHERE id = 'a'", [{ t: '5', i: 5, f: 5, b: 1, bf: 0, bt: 1, c: '5x' }]),
+    v('literal-casts', "SELECT '2026-03-08 10:00:00+00'::timestamptz AS ts, date '2026-03-08' AS d, interval '36 hours' AS iv, interval '90 minutes' AS im, '12.34'::numeric(12, 2) AS n, CAST('2026-03-08T10:00:00.123456Z' AS timestamptz) AS us FROM items WHERE id = 'a'", [{ ts: us(2026, 3, 8, 10), d: Date.UTC(2026, 2, 8) / 86_400_000, iv: 129_600_000_000, im: 5_400_000_000, n: 1234, us: us(2026, 3, 8, 10) + 123456 }]),
+    v('mantle-refs', 'SELECT auth.uid() AS uid, auth.role() AS role, now() AS now, input.x AS x FROM items WHERE id = \'a\'', [{ uid: 'o1', role: 'staff', now: NOW, x: 3 }], { x: 'int8' }, { x: 3 }),
+    v('date-trunc', "SELECT date_trunc('hour', now()) AS h, date_trunc('day', now()) AS d, date_trunc('week', now()) AS w, date_trunc('month', now()) AS m, date_trunc('year', now()) AS y FROM items WHERE id = 'a'", [{ h: NOW, d: NOW, w: us(2026, 9, 28), m: us(2026, 9, 1), y: us(2026, 1, 1) }]), // site time zone UTC here; DST cases are in cases/types.ts
+    v('extract', "SELECT extract(year FROM now()) AS y, extract(month FROM now()) AS mo, extract(day FROM now()) AS d, extract(dow FROM now()) AS dow, extract(hour FROM now()) AS h FROM items WHERE id = 'a'", [{ y: 2026, mo: 9, d: 29, dow: new Date(NOW / 1000).getUTCDay(), h: 0 }]),
+    // ---- writes (the database is reset before each) -------------------------------------------------------------------
+    w('insert-values', "INSERT INTO settings (key, value) VALUES ('a', '1') RETURNING key, value", [[{ key: 'a', value: '1' }]]),
+    w('insert-string-escapes', "INSERT INTO settings (key, value) VALUES ('q', 'it''s a \\ back\\slash') RETURNING value", [[{ value: "it's a \\ back\\slash" }]]),
+    // params first appear out of numeric order here (?1, ?3, then ?2): `$n` would silently mis-bind on D1
+    w('insert-select-input', "INSERT INTO orders (item_id, qty) SELECT r.item_id, r.qty FROM requisitions r WHERE r.id = input.id RETURNING item_id, qty", [[{ item_id: 'a', qty: 2 }]], { id: 'text' }, { id: 'r1' }),
+    w('insert-select', "INSERT INTO orders (item_id, qty) SELECT id, stock FROM items WHERE cat = 'x' RETURNING item_id, qty", [[{ item_id: 'a', qty: 5 }, { item_id: 'b', qty: 2 }, { item_id: 'd', qty: 7 }]]),
+    w('insert-returning-star', "INSERT INTO requisitions (item_id, qty, state) VALUES ('a', 1, 'new') RETURNING *", [[{ item_id: 'a', qty: 1, state: 'new' }]]),
+    w('update-set', 'UPDATE items SET stock = stock + 1, name = upper(name) WHERE cat = \'x\' RETURNING id, name, stock', [[{ id: 'a', name: 'APPLE', stock: 6 }, { id: 'b', name: 'BERRY', stock: 3 }, { id: 'd', name: 'DATE', stock: 8 }]]),
+    w('update-row', "UPDATE items SET stock = input.s WHERE id = input.id RETURNING id, stock", [[{ id: 'a', stock: 9 }]], { id: 'text', s: 'int8' }, { id: 'a', s: 9 }),
+    w('delete', "DELETE FROM requisitions WHERE state = 'pending' RETURNING id", [[{ id: 'r1' }, { id: 'r2' }]]),
+    w('upsert-nothing', "INSERT INTO settings (key, value) VALUES ('theme', 'light') ON CONFLICT (key) DO NOTHING RETURNING key", [[]]),
+    w('upsert-update', "INSERT INTO settings (key, value) VALUES ('theme', 'light') ON CONFLICT (key) DO UPDATE SET value = excluded.value WHERE settings.value IS DISTINCT FROM excluded.value RETURNING key, value", [[{ key: 'theme', value: 'light' }]]),
+];
+/**
+ * The same results as the Store's wire values (ADR-0034 decision 5), for the items whose expectation above is D1's storage
+ * encoding of a computed output (ADR-0035, "computed outputs"). A dialect that decodes computed outputs by type (PostgreSQL
+ * does, by each column's type OID) gives these; an item passes with either.
+ */
+const iso = (y, mo, d, h = 0, us6 = '000000') => `${new Date(Date.UTC(y, mo - 1, d, h)).toISOString().slice(0, 19)}.${us6}Z`;
+export const typedRows = {
+    literals: [[{ s: "it's a \\ back\\slash", n: -7, f: 1.5, t: true, x: false, z: null, big: 1772928000000000 }]],
+    aggregates: [[{ cat: 'x', n: 3, d: 3, s: 14, lo: 2, hi: 7, av: 14 / 3, names: ['apple', 'berry', 'date'], cats: ['x'], obj: { a: 5, b: 2, d: 7 } },
+            { cat: 'y', n: 1, d: 1, s: 9, lo: 9, hi: 9, av: 9, names: ['cherry'], cats: ['y'], obj: { c: 9 } }]],
+    casts: [[{ t: '5', i: 5, f: 5, b: true, bf: false, bt: true, c: '5x' }]],
+    'literal-casts': [[{ ts: iso(2026, 3, 8, 10), d: '2026-03-08', iv: 129_600_000_000, im: 5_400_000_000, n: '12.34', us: iso(2026, 3, 8, 10, '123456') }]],
+    'mantle-refs': [[{ uid: 'o1', role: 'staff', now: iso(2026, 9, 29), x: 3 }]],
+    'date-trunc': [[{ h: iso(2026, 9, 29), d: iso(2026, 9, 29), w: iso(2026, 9, 28), m: iso(2026, 9, 1), y: iso(2026, 1, 1) }]],
+};
+//# sourceMappingURL=corpus.js.map

package/dist/testing/cases/corpus.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus.js","sourceRoot":"","sources":["../../../src/testing/cases/corpus.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,yGAAyG;AACzG,wGAAwG;AACxG,yGAAyG;AACzG,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAEpC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAU,EAAE,CAAS,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;AAYzF,MAAM,CAAC,GAAG,CAAC,EAAU,EAAE,GAAW,EAAE,MAAiB,EAAE,MAA+B,EAAE,KAA+B,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/L,MAAM,CAAC,GAAG,CAAC,EAAU,EAAE,GAAW,EAAE,MAAmB,EAAE,MAA+B,EAAE,KAA+B,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5L,MAAM,GAAG,GAAG,CAAC,GAAG,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AAExD,MAAM,CAAC,MAAM,MAAM,GAAW;IAC5B,0GAA0G;IAC1G,CAAC,CAAC,OAAO,EAAE,gJAAgJ,EACzJ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACxE,uGAAuG;IACvG,CAAC,CAAC,mBAAmB,EAAE,+JAA+J,EACpL,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,iBAAiB,EAAE,uGAAuG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5I,CAAC,CAAC,MAAM,EAAE,wOAAwO,EAChP,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC,CAAC,UAAU,EAAE,8IAA8I,EAC1J,CAAC,EAAE,CAAC,EAAE,uBAAuB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC9F,CAAC,CAAC,SAAS,EAAE,4FAA4F,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/J,2GAA2G;IAC3G,CAAC,CAAC,SAAS,EAAE,8DAA8D,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3F,CAAC,CAAC,aAAa,EAAE,kEAAkE,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACnG,CAAC,CAAC,MAAM,EAAE,yEAAyE,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACxG,CAAC,CAAC,UAAU,EAAE,6DAA6D,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3F,CAAC,CAAC,aAAa,EAAE,2GAA2G,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACvI,2HAA2H;IAC3H,CAAC,CAAC,cAAc,EAAE,8DAA8D,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrG,CAAC,CAAC,mBAAmB,EAAE,kFAAkF,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9H,CAAC,CAAC,mBAAmB,EAAE,uEAAuE,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9G,CAAC,CAAC,uBAAuB,EAAE,0GAA0G,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACrJ,CAAC,CAAC,YAAY,EAAE,+IAA+I,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACpL,CAAC,CAAC,SAAS,EAAE,8EAA8E,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACtG,CAAC,CAAC,cAAc,EAAE,8EAA8E,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3G,CAAC,CAAC,aAAa,EAAE,2EAA2E,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACvG,CAAC,CAAC,QAAQ,EAAE,mGAAmG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1H,CAAC,CAAC,YAAY,EAAE,uGAAuG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5I,CAAC,CAAC,iBAAiB,EAAE,iGAAiG,EACpH,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC,CAAC,aAAa,EAAE,8EAA8E,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnK,8GAA8G;IAC9G,CAAC,CAAC,YAAY,EAAE,qSAAqS,EACnT,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,0BAA0B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,qBAAqB,EAAE;QACvI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;IAC5G,CAAC,CAAC,SAAS,EAAE,gVAAgV,EAC3V,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACjP,CAAC,CAAC,aAAa,EAAE,oEAAoE,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1G,CAAC,CAAC,mBAAmB,EAAE,qEAAqE,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjH,oHAAoH;IACpH,CAAC,CAAC,aAAa,EAAE,+IAA+I,EAC9J,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IACvH,CAAC,CAAC,UAAU,EAAE,gCAAgC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,aAAa,EAAE,gDAAgD,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC1G,+GAA+G;IAC/G,CAAC,CAAC,YAAY,EAAE,6FAA6F,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IAChK,CAAC,CAAC,WAAW,EAAE,oHAAoH,EACjI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IACnG,CAAC,CAAC,WAAW,EAAE,4GAA4G,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1L,CAAC,CAAC,eAAe,EAAE,6GAA6G,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACjL,CAAC,CAAC,WAAW,EAAE,uGAAuG,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACrO,CAAC,CAAC,aAAa,EAAE,+IAA+I,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9L,iHAAiH;IACjH,CAAC,CAAC,kBAAkB,EAAE,4TAA4T,EAChV,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACxI,CAAC,CAAC,gBAAgB,EAAE,uMAAuM,EACzN,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;IAC/E,CAAC,CAAC,OAAO,EAAE,qNAAqN,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IACxR,CAAC,CAAC,eAAe,EAAE,sPAAsP,EACvQ,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC;IACvJ,CAAC,CAAC,aAAa,EAAE,uGAAuG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAClM,CAAC,CAAC,YAAY,EAAE,iMAAiM,EAC/M,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,2DAA2D;IAC9I,CAAC,CAAC,SAAS,EAAE,8LAA8L,EACzM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3E,sHAAsH;IACtH,CAAC,CAAC,eAAe,EAAE,0EAA0E,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC5H,CAAC,CAAC,uBAAuB,EAAE,0FAA0F,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC;IAC9J,sGAAsG;IACtG,CAAC,CAAC,qBAAqB,EAAE,4HAA4H,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAClN,CAAC,CAAC,eAAe,EAAE,sGAAsG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5M,CAAC,CAAC,uBAAuB,EAAE,mFAAmF,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC3J,CAAC,CAAC,YAAY,EAAE,oGAAoG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1O,CAAC,CAAC,YAAY,EAAE,0EAA0E,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACpK,CAAC,CAAC,QAAQ,EAAE,+DAA+D,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5G,CAAC,CAAC,gBAAgB,EAAE,wGAAwG,EAAE,CAAC,EAAE,CAAC,CAAC;IACnI,CAAC,CAAC,eAAe,EAAE,8LAA8L,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;CACzP,CAAC;AAEF;;;;GAIG;AACH,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAU,EAAE,CAAS,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,QAAQ,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC;AACrJ,MAAM,CAAC,MAAM,SAAS,GAA0C;IAC9D,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,uBAAuB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC9G,UAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YAChJ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACtG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IACxE,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;IACxJ,aAAa,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CAC5H,CAAC"}

package/dist/testing/cases/policy.d.ts

@@ -0,0 +1,74 @@
+import type { Report } from '../report.js';
+import type { Engine } from '../harness.js';
+import type { Mode } from '../../core/sql/policy.js';
+type Step = {
+    kind: 'view' | 'procedure';
+    sql: string;
+    inputs?: Record<string, string>;
+    input?: Record<string, unknown>;
+    mode?: Mode;
+    /** what the caller is entitled to see: the exact rows of every statement, as JSON */
+    rows?: unknown[][];
+    /** or: the statement must fail with a CONFLICT (an invisible row is a missing row) */
+    conflict?: true;
+};
+export type Probe = {
+    steps: Step[];
+};
+/** One entry per RelationPosition. A missing or extra key does not typecheck. */
+export declare const PROBES: {
+    from: {
+        steps: Step[];
+    };
+    'join.left': {
+        steps: Step[];
+    };
+    'join.right': {
+        steps: Step[];
+    };
+    'from-subquery': {
+        steps: Step[];
+    };
+    cte: {
+        steps: Step[];
+    };
+    'setop.left': {
+        steps: Step[];
+    };
+    'setop.right': {
+        steps: Step[];
+    };
+    sublink: {
+        steps: Step[];
+    };
+    json_each: {
+        steps: Step[];
+    };
+    window: {
+        steps: Step[];
+    };
+    'insert-target': {
+        steps: Step[];
+    };
+    'insert-select': {
+        steps: Step[];
+    };
+    'update-target': {
+        steps: Step[];
+    };
+    'delete-target': {
+        steps: Step[];
+    };
+    'conflict-update': {
+        steps: Step[];
+    };
+    search: {
+        steps: Step[];
+    };
+    near: {
+        steps: Step[];
+    };
+};
+export declare function run(r: Report, engine: Engine): Promise<void>;
+export {};
+//# sourceMappingURL=policy.d.ts.map

package/dist/testing/cases/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../../src/testing/cases/policy.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAI5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAIrD,KAAK,IAAI,GAAG;IACV,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,qFAAqF;IACrF,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC;IACnB,sFAAsF;IACtF,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB,CAAC;AACF,MAAM,MAAM,KAAK,GAAG;IAAE,KAAK,EAAE,IAAI,EAAE,CAAA;CAAE,CAAC;AAOtC,iFAAiF;AACjF,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+CwB,CAAC;AAS5C,wBAAsB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,iBAiElD"}