@lovrozagar/oat 0.10.0 → 0.12.0

package/dist/config/validate.js

@@ -0,0 +1,86 @@
+/**
+ * The config, checked before anything runs.
+ *
+ * A misspelled key used to be ignored and a wrong type used to flow into the run — a
+ * `maxInFlight` of `"8"` silently became the default, a `cohortSize` of `0` seeded nothing. Each
+ * problem names the key path and what it should be, and the CLI exits 2 without sending a request.
+ */
+const string = (value, path) => (typeof value === "string" ? [] : [`${path} must be a string`]);
+const boolean = (value, path) => (typeof value === "boolean" ? [] : [`${path} must be true or false`]);
+const object = (value, path) => value !== null && typeof value === "object" && !Array.isArray(value) ? [] : [`${path} must be an object`];
+const integer = (min) => (value, path) => Number.isSafeInteger(value) && value >= min
+    ? []
+    : [`${path} must be an integer${min > 0 ? ` of at least ${min}` : min === 0 ? " of at least 0" : ""}`];
+const number = (value, path) => typeof value === "number" && Number.isFinite(value) ? [] : [`${path} must be a number`];
+const oneOf = (...allowed) => (value, path) => allowed.includes(value) ? [] : [`${path} must be one of ${allowed.map((a) => `"${a}"`).join(", ")}`];
+const arrayOf = (item) => (value, path) => Array.isArray(value)
+    ? value.flatMap((entry, index) => item(entry, `${path}[${index}]`))
+    : [`${path} must be an array`];
+const recordOf = (item) => (value, path) => object(value, path).length > 0
+    ? object(value, path)
+    : Object.entries(value).flatMap(([key, entry]) => item(entry, `${path}.${key}`));
+const shape = (fields, required = []) => (value, path) => {
+    const notObject = object(value, path);
+    if (notObject.length > 0)
+        return notObject;
+    const record = value;
+    const problems = [];
+    for (const key of required)
+        if (record[key] === undefined)
+            problems.push(`${path}.${key} is required`);
+    for (const [key, entry] of Object.entries(record)) {
+        const rule = fields[key];
+        if (rule === undefined)
+            problems.push(`${path}.${key} is not a config key`);
+        else if (entry !== undefined)
+            problems.push(...rule(entry, `${path}.${key}`));
+    }
+    return problems;
+};
+const principal = shape({
+    auth: object,
+    headers: recordOf(string),
+    id: string,
+    inviteAs: string,
+    rank: number,
+    role: string,
+    roots: recordOf(string),
+    rootsFromFlow: recordOf(string),
+}, ["id"]);
+const CONFIG = {
+    baseUrl: string,
+    cohortSize: integer(1),
+    entities: recordOf(object),
+    globalHeaders: recordOf(string),
+    hooks: object,
+    keepFixtures: boolean,
+    maxInFlight: integer(1),
+    network: shape({ requestTimeoutMs: integer(0), retries: integer(0), waitMs: integer(0) }),
+    only: arrayOf(string),
+    ops: arrayOf(string),
+    origins: arrayOf(object),
+    outDir: string,
+    outOfBand: shape({ attempts: integer(1), initialMs: integer(0), maxMs: integer(0) }),
+    payloads: oneOf("full", "per-write-path"),
+    principals: arrayOf(principal),
+    profile: string,
+    profiles: recordOf(object),
+    query: object,
+    rateLimits: arrayOf(object),
+    roots: recordOf(string),
+    saveExchanges: boolean,
+    seed: integer(Number.MIN_SAFE_INTEGER),
+    spec: string,
+    uploads: object,
+};
+/** Every problem with `config`, by key path. `run` needs a spec, a base URL and a principal. */
+export function configProblems(config, options = {}) {
+    const required = options.forRun === true ? ["spec", "baseUrl", "principals"] : [];
+    const problems = shape(CONFIG, required)(config, "config");
+    if (options.forRun === true && Array.isArray(config?.principals)) {
+        if (config.principals.length === 0)
+            problems.push("config.principals is empty");
+    }
+    return problems;
+}
+//# sourceMappingURL=validate.js.map

package/dist/config/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/config/validate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,MAAM,MAAM,GAAS,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,mBAAmB,CAAC,CAAC,CAAA;AACrG,MAAM,OAAO,GAAS,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,wBAAwB,CAAC,CAAC,CAAA;AAC5G,MAAM,MAAM,GAAS,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACpC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,oBAAoB,CAAC,CAAA;AAC1G,MAAM,OAAO,GACZ,CAAC,GAAW,EAAQ,EAAE,CACtB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACf,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,IAAI,GAAG;IACtD,CAAC,CAAC,EAAE;IACJ,CAAC,CAAC,CAAC,GAAG,IAAI,sBAAsB,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACzG,MAAM,MAAM,GAAS,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACpC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,mBAAmB,CAAC,CAAA;AACxF,MAAM,KAAK,GACV,CAAC,GAAG,OAAiB,EAAQ,EAAE,CAC/B,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACf,OAAO,CAAC,QAAQ,CAAC,KAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,mBAAmB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAChH,MAAM,OAAO,GACZ,CAAC,IAAU,EAAQ,EAAE,CACrB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC,GAAG,IAAI,mBAAmB,CAAC,CAAA;AACjC,MAAM,QAAQ,GACb,CAAC,IAAU,EAAQ,EAAE,CACrB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACf,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;IAC7B,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAA;AAC9G,MAAM,KAAK,GACV,CAAC,MAA4B,EAAE,WAA8B,EAAE,EAAQ,EAAE,CACzE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;IACf,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACrC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IAC1C,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,KAAK,MAAM,GAAG,IAAI,QAAQ;QAAE,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,GAAG,cAAc,CAAC,CAAA;IACtG,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACxB,IAAI,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,GAAG,sBAAsB,CAAC,CAAA;aACtE,IAAI,KAAK,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,QAAQ,CAAA;AAChB,CAAC,CAAA;AACF,MAAM,SAAS,GAAG,KAAK,CACtB;IACC,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC;IACzB,EAAE,EAAE,MAAM;IACV,QAAQ,EAAE,MAAM;IAChB,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC;IACvB,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC;CAC/B,EACD,CAAC,IAAI,CAAC,CACN,CAAA;AAED,MAAM,MAAM,GAAG;IACd,OAAO,EAAE,MAAM;IACf,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;IAC1B,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC;IAC/B,KAAK,EAAE,MAAM;IACb,YAAY,EAAE,OAAO;IACrB,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACzF,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC;IACxB,MAAM,EAAE,MAAM;IACd,SAAS,EAAE,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC;IACzC,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC;IAC9B,OAAO,EAAE,MAAM;IACf,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;IAC1B,KAAK,EAAE,MAAM;IACb,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC;IAC3B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC;IACvB,aAAa,EAAE,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC;IACtC,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,MAAM;CACgB,CAAA;AAEhC,gGAAgG;AAChG,MAAM,UAAU,cAAc,CAAC,MAAe,EAAE,UAAgC,EAAE;IACjF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACjF,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC1D,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAE,MAAmC,EAAE,UAAU,CAAC,EAAE,CAAC;QAChG,IAAK,MAAoC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAA;IAC/G,CAAC;IACD,OAAO,QAAQ,CAAA;AAChB,CAAC"}

package/dist/conformance/effects.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Extract-shaped `x-effects`: one write creates a parent and appends a data-dependent child list.
+ *
+ * Nested observe must bind the new parent id (response `table_id` / identity, or the list delta).
+ * `min` is at-least — empty child list fails, five rows pass. `count` + `min` is rejected at load.
+ */
+import type { ParserResult } from "./suite.ts";
+export declare function runEffectsSuite(): Promise<ParserResult[]>;
+//# sourceMappingURL=effects.d.ts.map

package/dist/conformance/effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../src/conformance/effects.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAgP9C,wBAAsB,eAAe,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CA2E/D"}

package/dist/conformance/effects.js

@@ -0,0 +1,276 @@
+/**
+ * Extract-shaped `x-effects`: one write creates a parent and appends a data-dependent child list.
+ *
+ * Nested observe must bind the new parent id (response `table_id` / identity, or the list delta).
+ * `min` is at-least — empty child list fails, five rows pass. `count` + `min` is rejected at load.
+ */
+import { createServer } from "node:http";
+import { run } from "../runtime/run.js";
+import { buildModel } from "../spec/graph.js";
+import { GapCollector, readEffects } from "../spec/extensions.js";
+const TABLE = {
+    properties: { id: { type: "string" }, name: { type: "string" }, table_id: { type: "string" } },
+    required: ["id", "name"],
+    type: "object",
+};
+const ROW = {
+    properties: { id: { type: "string" }, table_id: { type: "string" } },
+    required: ["id", "table_id"],
+    type: "object",
+};
+function extractSpec() {
+    return {
+        info: { title: "extract-effects", version: "1" },
+        openapi: "3.1.0",
+        paths: {
+            "/v1/projects/{project_id}/tables": {
+                get: {
+                    operationId: "table.list",
+                    parameters: [{ in: "path", name: "project_id", required: true, schema: { type: "string" } }],
+                    responses: {
+                        "200": {
+                            content: {
+                                "application/json": {
+                                    schema: {
+                                        properties: { tables: { items: TABLE, type: "array" } },
+                                        required: ["tables"],
+                                        type: "object",
+                                    },
+                                },
+                            },
+                            description: "ok",
+                        },
+                    },
+                    "x-entity": { action: "list", identity: "id", name: "table" },
+                },
+                post: {
+                    operationId: "table.create",
+                    parameters: [{ in: "path", name: "project_id", required: true, schema: { type: "string" } }],
+                    requestBody: {
+                        content: {
+                            "application/json": {
+                                schema: {
+                                    properties: { name: { type: "string" } },
+                                    required: ["name"],
+                                    type: "object",
+                                },
+                            },
+                        },
+                        required: true,
+                    },
+                    responses: {
+                        "201": { content: { "application/json": { schema: TABLE } }, description: "created" },
+                    },
+                    "x-entity": { action: "create", identity: "id", name: "table" },
+                },
+            },
+            "/v1/projects/{project_id}/tables/{table_id}": {
+                get: {
+                    operationId: "table.read",
+                    parameters: [
+                        { in: "path", name: "project_id", required: true, schema: { type: "string" } },
+                        { in: "path", name: "table_id", required: true, schema: { type: "string" } },
+                    ],
+                    responses: {
+                        "200": { content: { "application/json": { schema: TABLE } }, description: "ok" },
+                    },
+                    "x-entity": { action: "read", identity: "id", name: "table" },
+                },
+            },
+            "/v1/projects/{project_id}/tables/{table_id}/rows": {
+                get: {
+                    operationId: "row.list",
+                    parameters: [
+                        { in: "path", name: "project_id", required: true, schema: { type: "string" } },
+                        { in: "path", name: "table_id", required: true, schema: { type: "string" } },
+                    ],
+                    responses: {
+                        "200": {
+                            content: {
+                                "application/json": {
+                                    schema: {
+                                        properties: { rows: { items: ROW, type: "array" } },
+                                        required: ["rows"],
+                                        type: "object",
+                                    },
+                                },
+                            },
+                            description: "ok",
+                        },
+                    },
+                    "x-entity": { action: "list", identity: "id", name: "row" },
+                },
+            },
+            "/v1/projects/{project_id}/extract": {
+                post: {
+                    operationId: "extract.once",
+                    parameters: [{ in: "path", name: "project_id", required: true, schema: { type: "string" } }],
+                    responses: {
+                        "200": { content: { "application/json": { schema: TABLE } }, description: "ok" },
+                    },
+                    "x-effects": [
+                        { entity: "table", op: "create" },
+                        { entity: "row", min: 1, op: "append" },
+                    ],
+                    "x-entity": { action: "action", identity: "id", name: "table" },
+                    "x-wait": {
+                        operationId: "row.list",
+                        pollIntervalMs: 40,
+                        timeoutMs: 800,
+                        until: "$.rows.0",
+                    },
+                },
+            },
+        },
+    };
+}
+function send(res, status, body) {
+    if (body === undefined) {
+        res.writeHead(status);
+        res.end();
+        return;
+    }
+    const text = JSON.stringify(body);
+    res.writeHead(status, { "content-length": String(Buffer.byteLength(text)), "content-type": "application/json" });
+    res.end(text);
+}
+function readJson(req) {
+    return new Promise((resolve, reject) => {
+        const chunks = [];
+        req.on("data", (chunk) => {
+            chunks.push(chunk);
+        });
+        req.on("end", () => {
+            const text = Buffer.concat(chunks).toString("utf8");
+            if (text === "") {
+                resolve(undefined);
+                return;
+            }
+            try {
+                resolve(JSON.parse(text));
+            }
+            catch (error) {
+                reject(error);
+            }
+        });
+        req.on("error", reject);
+    });
+}
+async function serveExtract(rowCount) {
+    const spec = extractSpec();
+    const tables = new Map();
+    const rows = new Map();
+    let seq = 0;
+    const server = createServer((req, res) => {
+        void (async () => {
+            const url = new URL(req.url ?? "/", "http://127.0.0.1");
+            const method = (req.method ?? "GET").toUpperCase();
+            if (url.pathname === "/v1/openapi/spec" && method === "GET")
+                return send(res, 200, spec);
+            const list = /^\/v1\/projects\/([^/]+)\/tables$/.exec(url.pathname);
+            if (list !== null && method === "GET")
+                return send(res, 200, { tables: [...tables.values()] });
+            if (list !== null && method === "POST") {
+                const body = (await readJson(req));
+                const id = `t_${String((seq += 1))}`;
+                const row = { id, name: typeof body?.name === "string" ? body.name : "n", table_id: id };
+                tables.set(id, row);
+                rows.set(id, []);
+                return send(res, 201, row);
+            }
+            const item = /^\/v1\/projects\/([^/]+)\/tables\/([^/]+)$/.exec(url.pathname);
+            if (item !== null && method === "GET") {
+                const row = tables.get(decodeURIComponent(item[2] ?? ""));
+                return row === undefined ? send(res, 404) : send(res, 200, row);
+            }
+            const rowList = /^\/v1\/projects\/([^/]+)\/tables\/([^/]+)\/rows$/.exec(url.pathname);
+            if (rowList !== null && method === "GET") {
+                const tableId = decodeURIComponent(rowList[2] ?? "");
+                if (!tables.has(tableId))
+                    return send(res, 404);
+                return send(res, 200, { rows: rows.get(tableId) ?? [] });
+            }
+            const extract = /^\/v1\/projects\/([^/]+)\/extract$/.exec(url.pathname);
+            if (extract !== null && method === "POST") {
+                const id = `t_${String((seq += 1))}`;
+                const table = { id, name: "extracted", table_id: id };
+                tables.set(id, table);
+                const created = [];
+                for (let i = 0; i < rowCount; i++)
+                    created.push({ id: `r_${id}_${String(i + 1)}`, table_id: id });
+                rows.set(id, created);
+                return send(res, 200, table);
+            }
+            return send(res, 404);
+        })().catch(() => {
+            if (!res.headersSent)
+                send(res, 500);
+        });
+    });
+    await new Promise((resolve) => {
+        server.listen(0, "127.0.0.1", resolve);
+    });
+    const addr = server.address();
+    return {
+        close: () => new Promise((resolve, reject) => {
+            server.close((error) => (error ? reject(error) : resolve()));
+        }),
+        url: `http://127.0.0.1:${addr.port}`,
+    };
+}
+function push(results, name, why, ok, detail) {
+    results.push({ detail, name, ok, why });
+}
+async function runExtract(rowCount) {
+    const server = await serveExtract(rowCount);
+    try {
+        return await run({
+            baseUrl: server.url,
+            cohortSize: 1,
+            only: ["table"],
+            principals: [{ headers: { authorization: "Bearer t" }, id: "alpha", roots: { project_id: "p1" } }],
+            seed: 1,
+            spec: `${server.url}/v1/openapi/spec`,
+        });
+    }
+    finally {
+        await server.close();
+    }
+}
+export async function runEffectsSuite() {
+    const results = [];
+    const gaps = new GapCollector();
+    const both = readEffects({
+        responses: {},
+        "x-effects": [{ count: 1, entity: "row", min: 1, op: "append" }],
+    }, "extract.once", gaps);
+    const model = buildModel(extractSpec());
+    const extract = model.byOperationId.get("extract.once");
+    push(results, "count and min together are rejected at load", "doctor / readEffects must not keep a contradictory item", both.length === 0 &&
+        gaps.gaps.some((gap) => gap.tag === "x-effects" && gap.detail.includes("count and min")) &&
+        extract !== undefined &&
+        extract.effects.some((effect) => effect.entity === "row" && effect.min === 1 && effect.count === undefined), `read=${JSON.stringify(both)} gaps=${JSON.stringify(gaps.gaps)} modelled=${JSON.stringify(extract?.effects)}`);
+    try {
+        const empty = await runExtract(0);
+        const effectBug = empty.findings.find((finding) => finding.check === "effects.declared-effect-occurs" && finding.verdict === "BACKEND_BUG");
+        push(results, "extract with an empty row list fails min: 1", "nested row list after table create must be observed", effectBug !== undefined && (effectBug.detail.includes("row") || effectBug.summary.includes("row")), effectBug === undefined
+            ? `no effect finding; findings=${empty.findings.map((f) => `${f.verdict}:${f.check}`).join(",") || "none"}`
+            : effectBug.detail);
+    }
+    catch (error) {
+        push(results, "extract with an empty row list fails min: 1", "nested row list after table create must be observed", false, error instanceof Error ? error.message : String(error));
+    }
+    try {
+        const full = await runExtract(5);
+        const effectBug = full.findings.find((finding) => finding.check === "effects.declared-effect-occurs");
+        const waitBug = full.findings.find((finding) => finding.check === "effects.side-effect-arrives" && finding.verdict === "BACKEND_BUG");
+        push(results, "extract with 5 rows passes min: 1", "bound table_id must fill the nested row list and x-wait", effectBug === undefined && waitBug === undefined, effectBug === undefined && waitBug === undefined
+            ? "no effect/wait findings"
+            : `effects=${effectBug?.detail ?? "none"}; wait=${waitBug?.detail ?? "none"}`);
+    }
+    catch (error) {
+        push(results, "extract with 5 rows passes min: 1", "bound table_id must fill the nested row list and x-wait", false, error instanceof Error ? error.message : String(error));
+    }
+    return results;
+}
+//# sourceMappingURL=effects.js.map

package/dist/conformance/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../src/conformance/effects.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAA6C,MAAM,WAAW,CAAA;AAEnF,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AAIjE,MAAM,KAAK,GAAG;IACb,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;IAC9F,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC;IACxB,IAAI,EAAE,QAAQ;CACd,CAAA;AAED,MAAM,GAAG,GAAG;IACX,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;IACpE,QAAQ,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC;IAC5B,IAAI,EAAE,QAAQ;CACd,CAAA;AAED,SAAS,WAAW;IACnB,OAAO;QACN,IAAI,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,EAAE;QAChD,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE;YACN,kCAAkC,EAAE;gBACnC,GAAG,EAAE;oBACJ,WAAW,EAAE,YAAY;oBACzB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;oBAC5F,SAAS,EAAE;wBACV,KAAK,EAAE;4BACN,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE;wCACP,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;wCACvD,QAAQ,EAAE,CAAC,QAAQ,CAAC;wCACpB,IAAI,EAAE,QAAQ;qCACd;iCACD;6BACD;4BACD,WAAW,EAAE,IAAI;yBACjB;qBACD;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;iBAC7D;gBACD,IAAI,EAAE;oBACL,WAAW,EAAE,cAAc;oBAC3B,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;oBAC5F,WAAW,EAAE;wBACZ,OAAO,EAAE;4BACR,kBAAkB,EAAE;gCACnB,MAAM,EAAE;oCACP,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oCACxC,QAAQ,EAAE,CAAC,MAAM,CAAC;oCAClB,IAAI,EAAE,QAAQ;iCACd;6BACD;yBACD;wBACD,QAAQ,EAAE,IAAI;qBACd;oBACD,SAAS,EAAE;wBACV,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;qBACrF;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;iBAC/D;aACD;YACD,6CAA6C,EAAE;gBAC9C,GAAG,EAAE;oBACJ,WAAW,EAAE,YAAY;oBACzB,UAAU,EAAE;wBACX,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;wBAC9E,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBAC5E;oBACD,SAAS,EAAE;wBACV,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE;qBAChF;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;iBAC7D;aACD;YACD,kDAAkD,EAAE;gBACnD,GAAG,EAAE;oBACJ,WAAW,EAAE,UAAU;oBACvB,UAAU,EAAE;wBACX,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;wBAC9E,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBAC5E;oBACD,SAAS,EAAE;wBACV,KAAK,EAAE;4BACN,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE;wCACP,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;wCACnD,QAAQ,EAAE,CAAC,MAAM,CAAC;wCAClB,IAAI,EAAE,QAAQ;qCACd;iCACD;6BACD;4BACD,WAAW,EAAE,IAAI;yBACjB;qBACD;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;iBAC3D;aACD;YACD,mCAAmC,EAAE;gBACpC,IAAI,EAAE;oBACL,WAAW,EAAE,cAAc;oBAC3B,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;oBAC5F,SAAS,EAAE;wBACV,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE;qBAChF;oBACD,WAAW,EAAE;wBACZ,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE;wBACjC,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE;qBACvC;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;oBAC/D,QAAQ,EAAE;wBACT,WAAW,EAAE,UAAU;wBACvB,cAAc,EAAE,EAAE;wBAClB,SAAS,EAAE,GAAG;wBACd,KAAK,EAAE,UAAU;qBACjB;iBACD;aACD;SACD;KACkB,CAAA;AACrB,CAAC;AAED,SAAS,IAAI,CAAC,GAAmB,EAAE,MAAc,EAAE,IAAc;IAChE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QACrB,GAAG,CAAC,GAAG,EAAE,CAAA;QACT,OAAM;IACP,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IACjC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CAAA;IAChH,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,GAAoB;IACrC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACtC,MAAM,MAAM,GAAa,EAAE,CAAA;QAC3B,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YAChC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACnB,CAAC,CAAC,CAAA;QACF,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE;YAClB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YACnD,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBACjB,OAAO,CAAC,SAAS,CAAC,CAAA;gBAClB,OAAM;YACP,CAAC;YACD,IAAI,CAAC;gBACJ,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC,CAAA;YACrC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,MAAM,CAAC,KAAK,CAAC,CAAA;YACd,CAAC;QACF,CAAC,CAAC,CAAA;QACF,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,QAAgB;IAC3C,MAAM,IAAI,GAAG,WAAW,EAAE,CAAA;IAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0D,CAAA;IAChF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmD,CAAA;IACvE,IAAI,GAAG,GAAG,CAAC,CAAA;IAEX,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACxC,KAAK,CAAC,KAAK,IAAI,EAAE;YAChB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,kBAAkB,CAAC,CAAA;YACvD,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,WAAW,EAAE,CAAA;YAClD,IAAI,GAAG,CAAC,QAAQ,KAAK,kBAAkB,IAAI,MAAM,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;YAExF,MAAM,IAAI,GAAG,mCAAmC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACnE,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAA;YAC9F,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACxC,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAuB,CAAA;gBACxD,MAAM,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;gBACpC,MAAM,GAAG,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;gBACxF,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;gBACnB,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;gBAChB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;YAC3B,CAAC;YAED,MAAM,IAAI,GAAG,4CAA4C,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YAC5E,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACvC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;gBACzD,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;YAChE,CAAC;YAED,MAAM,OAAO,GAAG,kDAAkD,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACrF,IAAI,OAAO,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBAC1C,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;gBACpD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;gBAC/C,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;YACzD,CAAC;YAED,MAAM,OAAO,GAAG,oCAAoC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACvE,IAAI,OAAO,KAAK,IAAI,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC3C,MAAM,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;gBACpC,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;gBACrD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACrB,MAAM,OAAO,GAA4C,EAAE,CAAA;gBAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAA;gBACjG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;gBACrB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;YAC7B,CAAC;YAED,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACtB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE;YACf,IAAI,CAAC,GAAG,CAAC,WAAW;gBAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACrC,CAAC,CAAC,CAAA;IACH,CAAC,CAAC,CAAA;IAEF,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAiB,CAAA;IAC5C,OAAO;QACN,KAAK,EAAE,GAAG,EAAE,CACX,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QAC7D,CAAC,CAAC;QACH,GAAG,EAAE,oBAAoB,IAAI,CAAC,IAAI,EAAE;KACpC,CAAA;AACF,CAAC;AAED,SAAS,IAAI,CAAC,OAAuB,EAAE,IAAY,EAAE,GAAW,EAAE,EAAW,EAAE,MAAc;IAC5F,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAA;AACxC,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,QAAgB;IACzC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC3C,IAAI,CAAC;QACJ,OAAO,MAAM,GAAG,CAAC;YAChB,OAAO,EAAE,MAAM,CAAC,GAAG;YACnB,UAAU,EAAE,CAAC;YACb,IAAI,EAAE,CAAC,OAAO,CAAC;YACf,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;YAClG,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,kBAAkB;SACrC,CAAC,CAAA;IACH,CAAC;YAAS,CAAC;QACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;IACrB,CAAC;AACF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe;IACpC,MAAM,OAAO,GAAmB,EAAE,CAAA;IAElC,MAAM,IAAI,GAAG,IAAI,YAAY,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAG,WAAW,CACvB;QACC,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;KACvD,EACV,cAAc,EACd,IAAI,CACJ,CAAA;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;IACvD,IAAI,CACH,OAAO,EACP,6CAA6C,EAC7C,yDAAyD,EACzD,IAAI,CAAC,MAAM,KAAK,CAAC;QAChB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,WAAW,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QACxF,OAAO,KAAK,SAAS;QACrB,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,EAC5G,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAC7G,CAAA;IAED,IAAI,CAAC;QACJ,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,CAAC,CAAC,CAAA;QACjC,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CACpC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,gCAAgC,IAAI,OAAO,CAAC,OAAO,KAAK,aAAa,CACpG,CAAA;QACD,IAAI,CACH,OAAO,EACP,6CAA6C,EAC7C,qDAAqD,EACrD,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAClG,SAAS,KAAK,SAAS;YACtB,CAAC,CAAC,+BAA+B,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE;YAC3G,CAAC,CAAC,SAAS,CAAC,MAAM,CACnB,CAAA;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,OAAO,EACP,6CAA6C,EAC7C,qDAAqD,EACrD,KAAK,EACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACtD,CAAA;IACF,CAAC;IAED,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,CAAC,CAAC,CAAA;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,gCAAgC,CAAC,CAAA;QACrG,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CACjC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,6BAA6B,IAAI,OAAO,CAAC,OAAO,KAAK,aAAa,CACjG,CAAA;QACD,IAAI,CACH,OAAO,EACP,mCAAmC,EACnC,yDAAyD,EACzD,SAAS,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAChD,SAAS,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;YAC/C,CAAC,CAAC,yBAAyB;YAC3B,CAAC,CAAC,WAAW,SAAS,EAAE,MAAM,IAAI,MAAM,UAAU,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,CAC9E,CAAA;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,OAAO,EACP,mCAAmC,EACnC,yDAAyD,EACzD,KAAK,EACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACtD,CAAA;IACF,CAAC;IAED,OAAO,OAAO,CAAA;AACf,CAAC"}

package/dist/conformance/expected-failures.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Conformance cases known to fail today, and why.
+ *
+ * Each entry is a correct backend oat still misjudges. The list may only shrink: a listed case
+ * that starts passing fails the suite until its entry is removed, so a fix is recorded the moment
+ * it lands and a regression cannot hide behind an entry that is no longer needed.
+ *
+ * Keys are case names as the suite prints them (`shape:<name>`, `recall:<shape>:<defect>`).
+ */
+export declare const EXPECTED_FAILURES: Readonly<Record<string, string>>;
+/**
+ * Inconclusive verdicts a clean baseline may return, per `backend:dialect`, as `check@entity`.
+ *
+ * A check that cannot decide against a correct backend has not shown that it passes, so any
+ * verdict not listed here fails the baseline. Like the list above, this may only shrink.
+ */
+export declare const EXPECTED_INCONCLUSIVE: Readonly<Record<string, readonly string[]>>;
+//# sourceMappingURL=expected-failures.d.ts.map

package/dist/conformance/expected-failures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-failures.d.ts","sourceRoot":"","sources":["../../src/conformance/expected-failures.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,CAAA;AA4BrE;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAS7E,CAAA"}

package/dist/conformance/expected-failures.js

@@ -0,0 +1,48 @@
+/**
+ * Conformance cases known to fail today, and why.
+ *
+ * Each entry is a correct backend oat still misjudges. The list may only shrink: a listed case
+ * that starts passing fails the suite until its entry is removed, so a fix is recorded the moment
+ * it lands and a regression cannot hide behind an entry that is no longer needed.
+ *
+ * Keys are case names as the suite prints them (`shape:<name>`, `recall:<shape>:<defect>`).
+ */
+export const EXPECTED_FAILURES = {};
+const UNTAGGED_SORT_GUESSES = [
+    /* The guessed sort is refused, so ordering — and a walk under it — is never observed. These
+     * returned silently before outcomes were typed; they were never passes. */
+    "sort.order-is-applied@job",
+    "sort.order-is-applied@row",
+    "pagination.cursor-agrees-with-page@job",
+    "pagination.cursor-agrees-with-page@row",
+    "sort.multi-key-tiebreak@job",
+    "sort.reverse-symmetry@job",
+    "query.axes-compose@job",
+    "query.sort-and-select-compose@job",
+    "query.filter-sort-select-compose@job",
+    "query.filter-search-sort-compose@job",
+    "query.search-and-sort-compose@job",
+    "query.filter-search-sort-select-compose@job",
+    "sort.multi-key-tiebreak@row",
+    "sort.reverse-symmetry@row",
+    "query.axes-compose@row",
+    "query.sort-and-select-compose@row",
+    "query.filter-search-sort-compose@row",
+    "query.search-and-sort-compose@row",
+    "query.filter-sort-select-compose@row",
+    "query.filter-search-sort-select-compose@row",
+    "query.search-and-sort-compose@table",
+];
+/**
+ * Inconclusive verdicts a clean baseline may return, per `backend:dialect`, as `check@entity`.
+ *
+ * A check that cannot decide against a correct backend has not shown that it passes, so any
+ * verdict not listed here fails the baseline. Like the list above, this may only shrink.
+ */
+export const EXPECTED_INCONCLUSIVE = Object.fromEntries(["memory", "sqlite", "postgres"].flatMap((backend) => ["postgrest", "classic", "linked", "jsonapi", "plain"].map((dialect) => [
+    `${backend}:${dialect}:untagged`,
+    /* With every x-* tag stripped, oat guesses that each scalar property sorts; the backend
+     * rightly refuses parent keys. The guess is already reported as an x-query gap. */
+    UNTAGGED_SORT_GUESSES,
+])));
+//# sourceMappingURL=expected-failures.js.map

package/dist/conformance/expected-failures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-failures.js","sourceRoot":"","sources":["../../src/conformance/expected-failures.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAqC,EAAE,CAAA;AAErE,MAAM,qBAAqB,GAAsB;IAChD;+EAC2E;IAC3E,2BAA2B;IAC3B,2BAA2B;IAC3B,wCAAwC;IACxC,wCAAwC;IACxC,6BAA6B;IAC7B,2BAA2B;IAC3B,wBAAwB;IACxB,mCAAmC;IACnC,sCAAsC;IACtC,sCAAsC;IACtC,mCAAmC;IACnC,6CAA6C;IAC7C,6BAA6B;IAC7B,2BAA2B;IAC3B,wBAAwB;IACxB,mCAAmC;IACnC,sCAAsC;IACtC,mCAAmC;IACnC,sCAAsC;IACtC,6CAA6C;IAC7C,qCAAqC;CACrC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAgD,MAAM,CAAC,WAAW,CACnG,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACpD,CAAC,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;IACvE,GAAG,OAAO,IAAI,OAAO,WAAW;IAChC;uFACmF;IACnF,qBAAqB;CACrB,CAAC,CACF,CACD,CAAA"}

package/dist/conformance/feature-gate.d.ts

@@ -0,0 +1,7 @@
+/**
+ * `x-feature-gate` is a declared fact. These cases prove a matching 403 is coverage, and that
+ * the two ways to be wrong — no tag, or a tag that disagrees with `vars.feature` — stay failures.
+ */
+import type { ParserResult } from "./suite.ts";
+export declare function runFeatureGateSuite(): Promise<ParserResult[]>;
+//# sourceMappingURL=feature-gate.d.ts.map

package/dist/conformance/feature-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feature-gate.d.ts","sourceRoot":"","sources":["../../src/conformance/feature-gate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAgX9C,wBAAsB,mBAAmB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAuJnE"}