@lovrozagar/oat 0.9.1 → 0.11.0

package/dist/conformance/rate-limit.js

@@ -0,0 +1,372 @@
+/**
+ * Reactive 429 backoff and plan-limit adopt. Tags stay the proactive path; these cases prove
+ * the first 429 is not a seed failure and that a 402 does not invent a table.
+ */
+import { createServer } from "node:http";
+import { Client } from "../runtime/client.js";
+import { parseRetryAfter, retryWaitMs, RETRY_BACKOFF_CAP_MS } from "../runtime/rate-limit.js";
+import { run } from "../runtime/run.js";
+import { isPlanLimitResponse } from "../runtime/world.js";
+function send(res, status, body, extra) {
+    if (body === undefined) {
+        res.writeHead(status, extra);
+        res.end();
+        return;
+    }
+    const text = JSON.stringify(body);
+    res.writeHead(status, {
+        "content-length": String(Buffer.byteLength(text)),
+        "content-type": "application/json",
+        ...extra,
+    });
+    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 listen(handler) {
+    const server = createServer(handler);
+    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}`,
+    };
+}
+const ITEM = {
+    properties: { id: { type: "string" }, name: { type: "string" } },
+    required: ["id", "name"],
+    type: "object",
+};
+function thingSpec() {
+    return {
+        info: { title: "untagged-429", version: "1" },
+        openapi: "3.1.0",
+        paths: {
+            "/v1/things": {
+                get: {
+                    operationId: "thing.list",
+                    responses: {
+                        "200": {
+                            content: {
+                                "application/json": {
+                                    schema: {
+                                        properties: { items: { items: ITEM, type: "array" } },
+                                        required: ["items"],
+                                        type: "object",
+                                    },
+                                },
+                            },
+                            description: "ok",
+                        },
+                    },
+                    "x-entity": { action: "list", identity: "id", name: "thing" },
+                },
+                post: {
+                    operationId: "thing.create",
+                    requestBody: {
+                        content: {
+                            "application/json": {
+                                schema: { properties: { name: { type: "string" } }, required: ["name"], type: "object" },
+                            },
+                        },
+                        required: true,
+                    },
+                    responses: {
+                        "201": { content: { "application/json": { schema: ITEM } }, description: "created" },
+                    },
+                    "x-entity": { action: "create", identity: "id", name: "thing" },
+                },
+            },
+            "/v1/things/{id}": {
+                delete: {
+                    operationId: "thing.delete",
+                    responses: { "204": { description: "gone" } },
+                    "x-entity": { action: "delete", identity: "id", name: "thing" },
+                },
+                get: {
+                    operationId: "thing.read",
+                    responses: { "200": { content: { "application/json": { schema: ITEM } }, description: "ok" } },
+                    "x-entity": { action: "read", identity: "id", name: "thing" },
+                },
+            },
+        },
+    };
+}
+export async function runRateLimitSuite() {
+    const results = [];
+    const push = (name, why, ok, detail) => {
+        results.push({ detail, name, ok, why });
+    };
+    push("Retry-After delta-seconds and exponential cap", "pure wait math must not hang a tester", parseRetryAfter("1") === 1000 && retryWaitMs(undefined, 8) === RETRY_BACKOFF_CAP_MS, `delta=${String(parseRetryAfter("1"))} cap=${String(retryWaitMs(undefined, 8))}`);
+    push("402 and table_plan_limit are plan limits; 429 is not", "reuse is 402-only", isPlanLimitResponse(402, {}) &&
+        isPlanLimitResponse(400, { error_key: "table_plan_limit" }) &&
+        !isPlanLimitResponse(429, { error_key: "table_plan_limit" }), "ok");
+    try {
+        let posts = 0;
+        const rows = new Map();
+        const document = thingSpec();
+        const server = await listen((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, document);
+                if (url.pathname === "/v1/things" && method === "GET")
+                    return send(res, 200, { items: [...rows.values()] });
+                if (url.pathname === "/v1/things" && method === "POST") {
+                    posts += 1;
+                    if (posts === 1)
+                        return send(res, 429, { error: "too_many_requests" }, { "retry-after": "0" });
+                    const id = `t_${String(posts)}`;
+                    const row = { id, name: "n" };
+                    rows.set(id, row);
+                    return send(res, 201, row);
+                }
+                const item = /^\/v1\/things\/([^/]+)$/.exec(url.pathname);
+                if (item !== null && method === "DELETE") {
+                    rows.delete(item[1] ?? "");
+                    return send(res, 204);
+                }
+                if (item !== null && method === "GET") {
+                    const row = rows.get(item[1] ?? "");
+                    return row === undefined ? send(res, 404) : send(res, 200, row);
+                }
+                return send(res, 404);
+            })().catch(() => {
+                if (!res.headersSent)
+                    send(res, 500);
+            });
+        });
+        try {
+            const client = new Client(server.url);
+            const first = await client.request("POST", "/v1/things", { body: { name: "n" } });
+            push("Client.request retries a 429 with Retry-After and returns 201", "first 429 is not the result", first.status === 201 && client.transcript.map((e) => e.status).join(",") === "429,201", `status=${first.status} seq=${client.transcript.map((e) => e.status).join(",")}`);
+            const result = await run({
+                baseUrl: server.url,
+                keepFixtures: true,
+                only: ["thing"],
+                principals: [{ headers: { authorization: "Bearer t" }, id: "alpha" }],
+                seed: 1,
+                spec: `${server.url}/v1/openapi/spec`,
+            });
+            const blocked = result.findings.filter((f) => f.verdict === "BLOCKED" && f.check === "world.seed");
+            push("seed is not failed by the first 429 on an untagged create", "no x-rate-limit required", blocked.length === 0 && result.entitiesTested.includes("thing"), `blocked=${blocked.length} entities=${result.entitiesTested.join(",")}`);
+        }
+        finally {
+            await server.close();
+        }
+    }
+    catch (error) {
+        push("Client.request retries a 429 with Retry-After and returns 201", "first 429 is not the result", false, error instanceof Error ? error.message : String(error));
+    }
+    try {
+        const tables = new Map([
+            ["tbl_extract", { id: "tbl_extract", name: "from-extract" }],
+        ]);
+        const rows = new Map();
+        let rowSeq = 0;
+        const document = {
+            info: { title: "plan-limit", version: "1" },
+            openapi: "3.1.0",
+            paths: {
+                "/v1/tables": {
+                    get: {
+                        operationId: "table.list",
+                        responses: {
+                            "200": {
+                                content: {
+                                    "application/json": {
+                                        schema: {
+                                            properties: { items: { items: ITEM, type: "array" } },
+                                            required: ["items"],
+                                            type: "object",
+                                        },
+                                    },
+                                },
+                                description: "ok",
+                            },
+                        },
+                        "x-entity": { action: "list", identity: "id", name: "table" },
+                    },
+                    post: {
+                        operationId: "table.create",
+                        requestBody: {
+                            content: {
+                                "application/json": {
+                                    schema: { properties: { name: { type: "string" } }, required: ["name"], type: "object" },
+                                },
+                            },
+                            required: true,
+                        },
+                        responses: {
+                            "201": { content: { "application/json": { schema: ITEM } }, description: "created" },
+                            "402": { description: "payment_required" },
+                        },
+                        "x-entity": { action: "create", identity: "id", name: "table" },
+                    },
+                },
+                "/v1/tables/{table_id}": {
+                    delete: {
+                        operationId: "table.delete",
+                        parameters: [{ in: "path", name: "table_id", required: true, schema: { type: "string" } }],
+                        responses: { "204": { description: "gone" } },
+                        "x-entity": { action: "delete", identity: "id", name: "table" },
+                    },
+                    get: {
+                        operationId: "table.read",
+                        parameters: [{ in: "path", name: "table_id", required: true, schema: { type: "string" } }],
+                        responses: { "200": { content: { "application/json": { schema: ITEM } }, description: "ok" } },
+                        "x-entity": { action: "read", identity: "id", name: "table" },
+                    },
+                },
+                "/v1/tables/{table_id}/rows": {
+                    get: {
+                        operationId: "row.list",
+                        parameters: [{ in: "path", name: "table_id", required: true, schema: { type: "string" } }],
+                        responses: {
+                            "200": {
+                                content: {
+                                    "application/json": {
+                                        schema: {
+                                            properties: { items: { items: ITEM, type: "array" } },
+                                            required: ["items"],
+                                            type: "object",
+                                        },
+                                    },
+                                },
+                                description: "ok",
+                            },
+                        },
+                        "x-entity": { action: "list", identity: "id", name: "row" },
+                    },
+                    post: {
+                        operationId: "row.create",
+                        parameters: [{ in: "path", name: "table_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: ITEM } }, description: "created" },
+                        },
+                        "x-entity": { action: "create", identity: "id", name: "row" },
+                    },
+                },
+                "/v1/tables/{table_id}/rows/{row_id}": {
+                    delete: {
+                        operationId: "row.delete",
+                        parameters: [
+                            { in: "path", name: "table_id", required: true, schema: { type: "string" } },
+                            { in: "path", name: "row_id", required: true, schema: { type: "string" } },
+                        ],
+                        responses: { "204": { description: "gone" } },
+                        "x-entity": { action: "delete", identity: "id", name: "row" },
+                    },
+                    get: {
+                        operationId: "row.read",
+                        parameters: [
+                            { in: "path", name: "table_id", required: true, schema: { type: "string" } },
+                            { in: "path", name: "row_id", required: true, schema: { type: "string" } },
+                        ],
+                        responses: { "200": { content: { "application/json": { schema: ITEM } }, description: "ok" } },
+                        "x-entity": { action: "read", identity: "id", name: "row" },
+                    },
+                },
+            },
+        };
+        const server = await listen((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, document);
+                if (url.pathname === "/v1/tables" && method === "GET")
+                    return send(res, 200, { items: [...tables.values()] });
+                if (url.pathname === "/v1/tables" && method === "POST") {
+                    return send(res, 402, { error_key: "table_plan_limit", status_key: "payment_required" });
+                }
+                const tableItem = /^\/v1\/tables\/([^/]+)$/.exec(url.pathname);
+                if (tableItem !== null && method === "GET") {
+                    const row = tables.get(decodeURIComponent(tableItem[1] ?? ""));
+                    return row === undefined ? send(res, 404) : send(res, 200, row);
+                }
+                if (tableItem !== null && method === "DELETE")
+                    return send(res, 204);
+                const rowCol = /^\/v1\/tables\/([^/]+)\/rows$/.exec(url.pathname);
+                if (rowCol !== null && method === "GET")
+                    return send(res, 200, { items: [...rows.values()] });
+                if (rowCol !== null && method === "POST") {
+                    const tableId = decodeURIComponent(rowCol[1] ?? "");
+                    if (!tables.has(tableId))
+                        return send(res, 404);
+                    const body = ((await readJson(req)) ?? {});
+                    rowSeq += 1;
+                    const row = { id: `r_${String(rowSeq)}`, name: body.name ?? "n", table_id: tableId };
+                    rows.set(row.id, row);
+                    return send(res, 201, row);
+                }
+                const rowItem = /^\/v1\/tables\/([^/]+)\/rows\/([^/]+)$/.exec(url.pathname);
+                if (rowItem !== null && method === "GET") {
+                    const row = rows.get(decodeURIComponent(rowItem[2] ?? ""));
+                    return row === undefined ? send(res, 404) : send(res, 200, row);
+                }
+                if (rowItem !== null && method === "DELETE")
+                    return send(res, 204);
+                return send(res, 404);
+            })().catch(() => {
+                if (!res.headersSent)
+                    send(res, 500);
+            });
+        });
+        try {
+            const result = await run({
+                baseUrl: server.url,
+                keepFixtures: true,
+                only: ["table", "row"],
+                principals: [{ headers: { authorization: "Bearer t" }, id: "alpha" }],
+                seed: 1,
+                spec: `${server.url}/v1/openapi/spec`,
+            });
+            const rowBlocked = result.findings.some((f) => f.verdict === "BLOCKED" && f.entity === "row");
+            const invented = result.client.transcript.some((e) => e.method === "POST" && new URL(e.url).pathname === "/v1/tables" && e.status < 300);
+            const backend402 = result.findings.some((f) => f.verdict === "BACKEND_BUG" && f.detail.includes("402"));
+            push("row seeds after table.create 402 when a same-tenant table already exists", "do not invent tables; do not treat documented plan limit as a defect", !rowBlocked && !invented && !backend402 && result.entitiesTested.includes("row"), `blocked=${rowBlocked} invented=${invented} backend402=${backend402} tested=${result.entitiesTested.join(",")}`);
+        }
+        finally {
+            await server.close();
+        }
+    }
+    catch (error) {
+        push("row seeds after table.create 402 when a same-tenant table already exists", "do not invent tables; do not treat documented plan limit as a defect", false, error instanceof Error ? error.message : String(error));
+    }
+    return results;
+}
+//# sourceMappingURL=rate-limit.js.map

package/dist/conformance/rate-limit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rate-limit.js","sourceRoot":"","sources":["../../src/conformance/rate-limit.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAA6C,MAAM,WAAW,CAAA;AAEnF,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAA;AAC7F,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAIzD,SAAS,IAAI,CAAC,GAAmB,EAAE,MAAc,EAAE,IAAc,EAAE,KAA8B;IAChG,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QAC5B,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;QACrB,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACjD,cAAc,EAAE,kBAAkB;QAClC,GAAG,KAAK;KACR,CAAC,CAAA;IACF,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,MAAM,CAAC,OAA4D;IAIjF,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;IACpC,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,MAAM,IAAI,GAAG;IACZ,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;IAChE,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC;IACxB,IAAI,EAAE,QAAQ;CACd,CAAA;AAED,SAAS,SAAS;IACjB,OAAO;QACN,IAAI,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE;QAC7C,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE;YACN,YAAY,EAAE;gBACb,GAAG,EAAE;oBACJ,WAAW,EAAE,YAAY;oBACzB,SAAS,EAAE;wBACV,KAAK,EAAE;4BACN,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE;wCACP,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;wCACrD,QAAQ,EAAE,CAAC,OAAO,CAAC;wCACnB,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,WAAW,EAAE;wBACZ,OAAO,EAAE;4BACR,kBAAkB,EAAE;gCACnB,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;6BACxF;yBACD;wBACD,QAAQ,EAAE,IAAI;qBACd;oBACD,SAAS,EAAE;wBACV,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;qBACpF;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;iBAC/D;aACD;YACD,iBAAiB,EAAE;gBAClB,MAAM,EAAE;oBACP,WAAW,EAAE,cAAc;oBAC3B,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE;oBAC7C,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;iBAC/D;gBACD,GAAG,EAAE;oBACJ,WAAW,EAAE,YAAY;oBACzB,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE;oBAC9F,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;iBAC7D;aACD;SACD;KACkB,CAAA;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB;IACtC,MAAM,OAAO,GAAmB,EAAE,CAAA;IAClC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,GAAW,EAAE,EAAW,EAAE,MAAc,EAAQ,EAAE;QAC7E,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAA;IACxC,CAAC,CAAA;IAED,IAAI,CACH,+CAA+C,EAC/C,uCAAuC,EACvC,eAAe,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,oBAAoB,EACnF,SAAS,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,QAAQ,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAChF,CAAA;IACD,IAAI,CACH,sDAAsD,EACtD,mBAAmB,EACnB,mBAAmB,CAAC,GAAG,EAAE,EAAE,CAAC;QAC3B,mBAAmB,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;QAC3D,CAAC,mBAAmB,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC,EAC7D,IAAI,CACJ,CAAA;IAED,IAAI,CAAC;QACJ,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwC,CAAA;QAC5D,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAA;QAC5B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YACxC,KAAK,CAAC,KAAK,IAAI,EAAE;gBAChB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,kBAAkB,CAAC,CAAA;gBACvD,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,WAAW,EAAE,CAAA;gBAClD,IAAI,GAAG,CAAC,QAAQ,KAAK,kBAAkB,IAAI,MAAM,KAAK,KAAK;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;gBAC5F,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,IAAI,MAAM,KAAK,KAAK;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAA;gBAC3G,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;oBACxD,KAAK,IAAI,CAAC,CAAA;oBACV,IAAI,KAAK,KAAK,CAAC;wBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAA;oBAC9F,MAAM,EAAE,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;oBAC/B,MAAM,GAAG,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA;oBAC7B,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;oBACjB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;gBAC3B,CAAC;gBACD,MAAM,IAAI,GAAG,yBAAyB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;gBACzD,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;oBAC1B,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;gBACtB,CAAC;gBACD,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBACvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;oBACnC,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;gBAChE,CAAC;gBACD,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACtB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE;gBACf,IAAI,CAAC,GAAG,CAAC,WAAW;oBAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACrC,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QACF,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YACrC,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;YACjF,IAAI,CACH,+DAA+D,EAC/D,6BAA6B,EAC7B,KAAK,CAAC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,EACtF,UAAU,KAAK,CAAC,MAAM,QAAQ,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAChF,CAAA;YAED,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC;gBACxB,OAAO,EAAE,MAAM,CAAC,GAAG;gBACnB,YAAY,EAAE,IAAI;gBAClB,IAAI,EAAE,CAAC,OAAO,CAAC;gBACf,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;gBACrE,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,kBAAkB;aACrC,CAAC,CAAA;YACF,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAA;YAClG,IAAI,CACH,2DAA2D,EAC3D,0BAA0B,EAC1B,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC/D,WAAW,OAAO,CAAC,MAAM,aAAa,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACvE,CAAA;QACF,CAAC;gBAAS,CAAC;YACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;QACrB,CAAC;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,+DAA+D,EAC/D,6BAA6B,EAC7B,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,MAAM,GAAG,IAAI,GAAG,CAAuC;YAC5D,CAAC,aAAa,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;SAC5D,CAAC,CAAA;QACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAA0D,CAAA;QAC9E,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,MAAM,QAAQ,GAAG;YAChB,IAAI,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE;YAC3C,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE;gBACN,YAAY,EAAE;oBACb,GAAG,EAAE;wBACJ,WAAW,EAAE,YAAY;wBACzB,SAAS,EAAE;4BACV,KAAK,EAAE;gCACN,OAAO,EAAE;oCACR,kBAAkB,EAAE;wCACnB,MAAM,EAAE;4CACP,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;4CACrD,QAAQ,EAAE,CAAC,OAAO,CAAC;4CACnB,IAAI,EAAE,QAAQ;yCACd;qCACD;iCACD;gCACD,WAAW,EAAE,IAAI;6BACjB;yBACD;wBACD,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;qBAC7D;oBACD,IAAI,EAAE;wBACL,WAAW,EAAE,cAAc;wBAC3B,WAAW,EAAE;4BACZ,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACxF;6BACD;4BACD,QAAQ,EAAE,IAAI;yBACd;wBACD,SAAS,EAAE;4BACV,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;4BACpF,KAAK,EAAE,EAAE,WAAW,EAAE,kBAAkB,EAAE;yBAC1C;wBACD,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;qBAC/D;iBACD;gBACD,uBAAuB,EAAE;oBACxB,MAAM,EAAE;wBACP,WAAW,EAAE,cAAc;wBAC3B,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;wBAC1F,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE;wBAC7C,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;qBAC/D;oBACD,GAAG,EAAE;wBACJ,WAAW,EAAE,YAAY;wBACzB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;wBAC1F,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE;wBAC9F,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;qBAC7D;iBACD;gBACD,4BAA4B,EAAE;oBAC7B,GAAG,EAAE;wBACJ,WAAW,EAAE,UAAU;wBACvB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;wBAC1F,SAAS,EAAE;4BACV,KAAK,EAAE;gCACN,OAAO,EAAE;oCACR,kBAAkB,EAAE;wCACnB,MAAM,EAAE;4CACP,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;4CACrD,QAAQ,EAAE,CAAC,OAAO,CAAC;4CACnB,IAAI,EAAE,QAAQ;yCACd;qCACD;iCACD;gCACD,WAAW,EAAE,IAAI;6BACjB;yBACD;wBACD,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;qBAC3D;oBACD,IAAI,EAAE;wBACL,WAAW,EAAE,YAAY;wBACzB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;wBAC1F,WAAW,EAAE;4BACZ,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACxF;6BACD;4BACD,QAAQ,EAAE,IAAI;yBACd;wBACD,SAAS,EAAE;4BACV,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;yBACpF;wBACD,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;qBAC7D;iBACD;gBACD,qCAAqC,EAAE;oBACtC,MAAM,EAAE;wBACP,WAAW,EAAE,YAAY;wBACzB,UAAU,EAAE;4BACX,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;4BAC5E,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;yBAC1E;wBACD,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE;wBAC7C,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;qBAC7D;oBACD,GAAG,EAAE;wBACJ,WAAW,EAAE,UAAU;wBACvB,UAAU,EAAE;4BACX,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;4BAC5E,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;yBAC1E;wBACD,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE;wBAC9F,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;qBAC3D;iBACD;aACD;SACkB,CAAA;QACpB,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YACxC,KAAK,CAAC,KAAK,IAAI,EAAE;gBAChB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,kBAAkB,CAAC,CAAA;gBACvD,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,WAAW,EAAE,CAAA;gBAClD,IAAI,GAAG,CAAC,QAAQ,KAAK,kBAAkB,IAAI,MAAM,KAAK,KAAK;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;gBAC5F,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,IAAI,MAAM,KAAK,KAAK;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAA;gBAC7G,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;oBACxD,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,CAAA;gBACzF,CAAC;gBACD,MAAM,SAAS,GAAG,yBAAyB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;gBAC9D,IAAI,SAAS,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;oBAC9D,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;gBAChE,CAAC;gBACD,IAAI,SAAS,KAAK,IAAI,IAAI,MAAM,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;gBACpE,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;gBACjE,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAA;gBAC7F,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;oBAC1C,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;oBACnD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;oBAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAsB,CAAA;oBAC/D,MAAM,IAAI,CAAC,CAAA;oBACX,MAAM,GAAG,GAAG,EAAE,EAAE,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAA;oBACpF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;oBACrB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;gBAC3B,CAAC;gBACD,MAAM,OAAO,GAAG,wCAAwC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;gBAC3E,IAAI,OAAO,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;oBAC1D,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;gBAChE,CAAC;gBACD,IAAI,OAAO,KAAK,IAAI,IAAI,MAAM,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;gBAClE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACtB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE;gBACf,IAAI,CAAC,GAAG,CAAC,WAAW;oBAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACrC,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QACF,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC;gBACxB,OAAO,EAAE,MAAM,CAAC,GAAG;gBACnB,YAAY,EAAE,IAAI;gBAClB,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;gBACtB,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;gBACrE,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,kBAAkB;aACrC,CAAC,CAAA;YACF,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAA;YAC7F,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,CACxF,CAAA;YACD,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;YACvG,IAAI,CACH,0EAA0E,EAC1E,sEAAsE,EACtE,CAAC,UAAU,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAChF,WAAW,UAAU,aAAa,QAAQ,eAAe,UAAU,WAAW,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAC/G,CAAA;QACF,CAAC;gBAAS,CAAC;YACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;QACrB,CAAC;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,0EAA0E,EAC1E,sEAAsE,EACtE,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/scope.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Targeted-run recall: `--ops` must not lose a defect it was pointed at.
+ *
+ * For every defect the reference backend can exhibit, a full run names the operations its finding
+ * judges. A run targeted at exactly those operations has to report the same defect. A check whose
+ * declared `subjects` omit the operation it actually judges fails here: the targeted run either
+ * never queues it or attributes the finding elsewhere.
+ */
+import { type ParserResult } from "./suite.ts";
+/**
+ * `known` carries, per defect, the operations its finding judged in a full run the caller already
+ * made — the defect matrix makes exactly that run — so only the targeted run is sent here.
+ */
+export declare function runScopeSuite(filter?: string[], known?: Readonly<Record<string, readonly string[]>>): Promise<ParserResult[]>;
+//# sourceMappingURL=scope.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../src/conformance/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,EAAkC,KAAK,YAAY,EAAE,MAAM,YAAY,CAAA;AA+B9E;;;GAGG;AACH,wBAAsB,aAAa,CAClC,MAAM,CAAC,EAAE,MAAM,EAAE,EACjB,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GACjD,OAAO,CAAC,YAAY,EAAE,CAAC,CAsCzB"}

package/dist/conformance/scope.js

@@ -0,0 +1,78 @@
+/**
+ * Targeted-run recall: `--ops` must not lose a defect it was pointed at.
+ *
+ * For every defect the reference backend can exhibit, a full run names the operations its finding
+ * judges. A run targeted at exactly those operations has to report the same defect. A check whose
+ * declared `subjects` omit the operation it actually judges fails here: the targeted run either
+ * never queues it or attributes the finding elsewhere.
+ */
+import { DEFECTS } from "../reference/defects.js";
+import { run } from "../runtime/run.js";
+import { EXPECTED, PRINCIPALS, SQL_ONLY } from "./suite.js";
+const NOT_DEFECTS = new Set(["COVERAGE_GAP", "BLOCKED"]);
+function primaryOf(expected) {
+    return Array.isArray(expected) ? (expected[0] ?? "") : expected;
+}
+async function runOnce(defects, ops) {
+    const { createMemoryServer } = await import("../reference/http.js");
+    const server = await createMemoryServer({ defects });
+    try {
+        const result = await run({
+            baseUrl: server.url,
+            principals: PRINCIPALS,
+            seed: 42,
+            spec: `${server.url}/v1/openapi/spec`,
+            ...(ops === undefined ? {} : { ops }),
+        });
+        return {
+            findings: result.findings.filter((f) => !NOT_DEFECTS.has(f.verdict)),
+            statuses: new Map(result.scope.operations.map((op) => [op.operationId, op.status])),
+        };
+    }
+    finally {
+        await server.close();
+    }
+}
+/**
+ * `known` carries, per defect, the operations its finding judged in a full run the caller already
+ * made — the defect matrix makes exactly that run — so only the targeted run is sent here.
+ */
+export async function runScopeSuite(filter, known) {
+    const results = [];
+    const names = Object.keys(DEFECTS)
+        .filter((name) => filter === undefined || filter.length === 0 || filter.includes(name))
+        .filter((name) => !SQL_ONLY.has(name));
+    for (const defect of names) {
+        const check = primaryOf(EXPECTED[defect]);
+        const name = `--ops recall: ${defect}`;
+        const why = `a run targeted at the operation ${check} judges must still report it`;
+        try {
+            const reported = known?.[defect];
+            const ops = reported ?? (await runOnce([defect])).findings.find((f) => f.check === check)?.operations;
+            if (ops === undefined) {
+                results.push({ detail: "the full run did not report it either", name, ok: false, why });
+                continue;
+            }
+            if (ops.length === 0) {
+                results.push({ detail: `${check} finding carries no operation`, name, ok: false, why });
+                continue;
+            }
+            const targeted = await runOnce([defect], [...ops]);
+            const detected = targeted.findings.some((f) => f.check === check);
+            const failed = ops.some((op) => targeted.statuses.get(op) === "failed");
+            results.push({
+                detail: `--ops ${ops.join(",")}: ${detected ? "reported" : "MISSED"}, status ${ops
+                    .map((op) => targeted.statuses.get(op) ?? "absent")
+                    .join(",")}`,
+                name,
+                ok: detected && failed,
+                why,
+            });
+        }
+        catch (error) {
+            results.push({ detail: error instanceof Error ? error.message : String(error), name, ok: false, why });
+        }
+    }
+    return results;
+}
+//# sourceMappingURL=scope.js.map

package/dist/conformance/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/conformance/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,OAAO,EAAmB,MAAM,yBAAyB,CAAA;AAElE,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AACvC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAqB,MAAM,YAAY,CAAA;AAE9E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,CAAA;AAExD,SAAS,SAAS,CAAC,QAA2B;IAC7C,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAA;AAChE,CAAC;AAED,KAAK,UAAU,OAAO,CACrB,OAAqB,EACrB,GAAc;IAEd,MAAM,EAAE,kBAAkB,EAAE,GAAG,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAA;IACnE,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAA;IACpD,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC;YACxB,OAAO,EAAE,MAAM,CAAC,GAAG;YACnB,UAAU,EAAE,UAAU;YACtB,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,kBAAkB;YACrC,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;SACrC,CAAC,CAAA;QACF,OAAO;YACN,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACpE,QAAQ,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SACnF,CAAA;IACF,CAAC;YAAS,CAAC;QACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;IACrB,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAClC,MAAiB,EACjB,KAAmD;IAEnD,MAAM,OAAO,GAAmB,EAAE,CAAA;IAClC,MAAM,KAAK,GAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAkB;SAClD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACtF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;IAEvC,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;QACzC,MAAM,IAAI,GAAG,iBAAiB,MAAM,EAAE,CAAA;QACtC,MAAM,GAAG,GAAG,mCAAmC,KAAK,8BAA8B,CAAA;QAClF,IAAI,CAAC;YACJ,MAAM,QAAQ,GAAG,KAAK,EAAE,CAAC,MAAM,CAAC,CAAA;YAChC,MAAM,GAAG,GACR,QAAQ,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,EAAE,UAAU,CAAA;YAC1F,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,uCAAuC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;gBACvF,SAAQ;YACT,CAAC;YACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,KAAK,+BAA+B,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;gBACvF,SAAQ;YACT,CAAC;YACD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;YAClD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAA;YACjE,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAA;YACvE,OAAO,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,SAAS,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,YAAY,GAAG;qBAChF,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC;qBAClD,IAAI,CAAC,GAAG,CAAC,EAAE;gBACb,IAAI;gBACJ,EAAE,EAAE,QAAQ,IAAI,MAAM;gBACtB,GAAG;aACH,CAAC,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;QACvG,CAAC;IACF,CAAC;IACD,OAAO,OAAO,CAAA;AACf,CAAC"}

package/dist/conformance/seed-contract.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Fixture walk, cheap-profile effects, and invite/register-as-create contracts.
+ *
+ * These are the cases a real document trips: `z.unknown()` / `z.record` after `$ref` inlining,
+ * `--profile cheap` still POSTing `extract.once`, and `org.inviteMember` / `auth.registerWithEmail`
+ * being treated as `POST /things`.
+ */
+import type { ParserResult } from "./suite.ts";
+export declare function runFixtureWalkCases(): ParserResult[];
+export declare function runSeedContractSuite(): Promise<ParserResult[]>;
+//# sourceMappingURL=seed-contract.d.ts.map

package/dist/conformance/seed-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"seed-contract.d.ts","sourceRoot":"","sources":["../../src/conformance/seed-contract.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAiBH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAM9C,wBAAgB,mBAAmB,IAAI,YAAY,EAAE,CAwNpD;AA2XD,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CA6NpE"}