@lovrozagar/oat 0.9.1 → 0.11.0

package/dist/conformance/feature-gate.js

@@ -0,0 +1,428 @@
+/**
+ * `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 { createServer } from "node:http";
+import { report } from "../report/console.js";
+import { run } from "../runtime/run.js";
+import { buildModel } from "../spec/graph.js";
+import { dereference } from "../spec/load.js";
+const FORBIDDEN_SCHEMA = {
+    properties: {
+        error_key: { type: "string" },
+        status: { type: "integer" },
+        status_key: { type: "string" },
+        success: { type: "boolean" },
+        vars: { additionalProperties: true, type: "object" },
+    },
+    type: "object",
+};
+const WEBHOOK_ITEM = {
+    properties: { id: { type: "string" }, url: { type: "string" } },
+    required: ["id", "url"],
+    type: "object",
+};
+function webhookSpec(tag) {
+    const create = {
+        operationId: "webhook.create",
+        requestBody: {
+            content: {
+                "application/json": {
+                    schema: {
+                        additionalProperties: false,
+                        properties: { url: { type: "string" } },
+                        required: ["url"],
+                        type: "object",
+                    },
+                },
+            },
+            required: true,
+        },
+        responses: {
+            "201": {
+                content: { "application/json": { schema: WEBHOOK_ITEM } },
+                description: "created",
+            },
+            "403": {
+                content: { "application/json": { schema: FORBIDDEN_SCHEMA } },
+                description: "forbidden",
+            },
+        },
+        "x-entity": { action: "create", identity: "id", name: "webhook" },
+    };
+    if (tag !== null)
+        create["x-feature-gate"] = tag;
+    return {
+        info: { title: "Feature-gate harness", version: "1.0" },
+        openapi: "3.1.0",
+        paths: {
+            "/v1/orgs/{org_id}/webhooks": {
+                get: {
+                    operationId: "webhook.list",
+                    parameters: [{ in: "path", name: "org_id", required: true, schema: { type: "string" } }],
+                    responses: {
+                        "200": {
+                            content: {
+                                "application/json": {
+                                    schema: {
+                                        properties: { webhooks: { items: WEBHOOK_ITEM, type: "array" } },
+                                        required: ["webhooks"],
+                                        type: "object",
+                                    },
+                                },
+                            },
+                            description: "ok",
+                        },
+                    },
+                    "x-entity": { action: "list", identity: "id", name: "webhook" },
+                },
+                parameters: [{ in: "path", name: "org_id", required: true, schema: { type: "string" } }],
+                post: create,
+            },
+            "/v1/orgs/{org_id}/webhooks/{webhook_id}": {
+                get: {
+                    operationId: "webhook.read",
+                    parameters: [
+                        { in: "path", name: "org_id", required: true, schema: { type: "string" } },
+                        { in: "path", name: "webhook_id", required: true, schema: { type: "string" } },
+                    ],
+                    responses: {
+                        "200": {
+                            content: { "application/json": { schema: WEBHOOK_ITEM } },
+                            description: "ok",
+                        },
+                        "404": {
+                            content: {
+                                "application/json": {
+                                    schema: { properties: { error_key: { type: "string" } }, type: "object" },
+                                },
+                            },
+                            description: "not found",
+                        },
+                    },
+                    "x-entity": { action: "read", identity: "id", name: "webhook" },
+                },
+                patch: {
+                    operationId: "webhook.update",
+                    parameters: [
+                        { in: "path", name: "org_id", required: true, schema: { type: "string" } },
+                        { in: "path", name: "webhook_id", required: true, schema: { type: "string" } },
+                    ],
+                    requestBody: {
+                        content: {
+                            "application/json": {
+                                schema: { additionalProperties: false, properties: { url: { type: "string" } }, type: "object" },
+                            },
+                        },
+                    },
+                    responses: {
+                        "200": {
+                            content: { "application/json": { schema: WEBHOOK_ITEM } },
+                            description: "ok",
+                        },
+                        "403": {
+                            content: { "application/json": { schema: FORBIDDEN_SCHEMA } },
+                            description: "forbidden",
+                        },
+                        "404": {
+                            content: {
+                                "application/json": {
+                                    schema: { properties: { error_key: { type: "string" } }, type: "object" },
+                                },
+                            },
+                            description: "not found",
+                        },
+                    },
+                    "x-entity": { action: "update", identity: "id", name: "webhook" },
+                    ...(tag !== null ? { "x-feature-gate": tag } : {}),
+                },
+            },
+            "/v1/orgs/{org_id}/invites": {
+                get: {
+                    operationId: "invite.list",
+                    parameters: [{ in: "path", name: "org_id", required: true, schema: { type: "string" } }],
+                    responses: {
+                        "200": {
+                            content: {
+                                "application/json": {
+                                    schema: {
+                                        properties: {
+                                            invites: {
+                                                items: {
+                                                    properties: { email: { type: "string" }, id: { type: "string" } },
+                                                    type: "object",
+                                                },
+                                                type: "array",
+                                            },
+                                        },
+                                        required: ["invites"],
+                                        type: "object",
+                                    },
+                                },
+                            },
+                            description: "ok",
+                        },
+                    },
+                    "x-entity": { action: "list", identity: "id", name: "invite" },
+                },
+                parameters: [{ in: "path", name: "org_id", required: true, schema: { type: "string" } }],
+                post: {
+                    operationId: "invite.create",
+                    requestBody: {
+                        content: {
+                            "application/json": {
+                                schema: {
+                                    additionalProperties: false,
+                                    properties: { email: { type: "string" } },
+                                    required: ["email"],
+                                    type: "object",
+                                },
+                            },
+                        },
+                        required: true,
+                    },
+                    responses: {
+                        "201": {
+                            content: {
+                                "application/json": {
+                                    schema: {
+                                        properties: { email: { type: "string" }, id: { type: "string" } },
+                                        type: "object",
+                                    },
+                                },
+                            },
+                            description: "created",
+                        },
+                    },
+                    "x-entity": { action: "create", identity: "id", name: "invite" },
+                },
+            },
+        },
+    };
+}
+function gateBody(feature) {
+    return {
+        error_key: "forbidden",
+        status: 403,
+        status_key: "forbidden",
+        success: false,
+        vars: {
+            current_plan: "free",
+            feature,
+            feature_name: feature === "webhooks" ? "Webhooks" : feature,
+            required_plan: "pro",
+            type: "feature_gate",
+        },
+    };
+}
+async function serveHarness(options) {
+    const spec = webhookSpec(options.specTag);
+    const webhooks = new Map();
+    const invites = new Map();
+    let seq = 0;
+    if (options.listSeeded === true) {
+        webhooks.set("wh_existing", { id: "wh_existing", url: "https://example.test/hook" });
+    }
+    const readJson = (req) => 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);
+    });
+    const 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);
+    };
+    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 header = req.headers.authorization;
+            if (typeof header !== "string" || !header.startsWith("Bearer ")) {
+                return send(res, 401, { error_key: "unauthorized" });
+            }
+            if (url.pathname === "/v1/orgs/org_1/webhooks" && method === "GET") {
+                return send(res, 200, { webhooks: [...webhooks.values()] });
+            }
+            if (url.pathname === "/v1/orgs/org_1/webhooks" && method === "POST") {
+                if (options.create === "gate-match")
+                    return send(res, 403, gateBody("webhooks"));
+                if (options.create === "gate-mismatch")
+                    return send(res, 403, gateBody("custom_domain"));
+                if (options.create === "plain-403")
+                    return send(res, 403, { error_key: "forbidden" });
+                const body = (await readJson(req));
+                if (typeof body?.url !== "string") {
+                    return send(res, 400, { error_key: "required", vars: { field: "url" } });
+                }
+                const id = `wh_${String((seq += 1))}`;
+                const row = { id, url: body.url };
+                webhooks.set(id, row);
+                return send(res, 201, row);
+            }
+            const item = /^\/v1\/orgs\/org_1\/webhooks\/([^/]+)$/.exec(url.pathname);
+            if (item !== null && method === "GET") {
+                const row = webhooks.get(decodeURIComponent(item[1] ?? ""));
+                return row === undefined ? send(res, 404, { error_key: "not_found" }) : send(res, 200, row);
+            }
+            if (item !== null && method === "PATCH") {
+                if ((options.update ?? "ok") === "gate-match")
+                    return send(res, 403, gateBody("webhooks"));
+                const row = webhooks.get(decodeURIComponent(item[1] ?? ""));
+                if (row === undefined)
+                    return send(res, 404, { error_key: "not_found" });
+                const body = (await readJson(req));
+                if (typeof body?.url === "string")
+                    row.url = body.url;
+                return send(res, 200, row);
+            }
+            if (url.pathname === "/v1/orgs/org_1/invites" && method === "GET") {
+                return send(res, 200, { invites: [...invites.values()] });
+            }
+            if (url.pathname === "/v1/orgs/org_1/invites" && method === "POST") {
+                const body = (await readJson(req));
+                if (typeof body?.email !== "string") {
+                    return send(res, 400, { error_key: "required", vars: { field: "email" } });
+                }
+                const id = `inv_${String((seq += 1))}`;
+                const row = { email: body.email, id };
+                invites.set(id, row);
+                return send(res, 201, row);
+            }
+            return send(res, 404, { error_key: "not_found" });
+        })().catch(() => {
+            if (!res.headersSent)
+                send(res, 500, { error_key: "internal" });
+        });
+    });
+    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 PRINCIPALS = [{ headers: { authorization: "Bearer tok_alpha" }, id: "alpha", roots: { org_id: "org_1" } }];
+async function against(options, only) {
+    const server = await serveHarness(options);
+    try {
+        const result = await run({
+            baseUrl: server.url,
+            ...(only === undefined ? {} : { only }),
+            principals: PRINCIPALS,
+            seed: 1,
+            spec: `${server.url}/v1/openapi/spec`,
+        });
+        return { checksSkipped: result.checksSkipped, findings: result.findings };
+    }
+    finally {
+        await server.close();
+    }
+}
+function defects(findings) {
+    return findings.filter((f) => f.verdict !== "COVERAGE_GAP" && f.verdict !== "BLOCKED");
+}
+export async function runFeatureGateSuite() {
+    const results = [];
+    const push = (name, why, ok, detail) => {
+        results.push({ detail, name, ok, why });
+    };
+    const { doc: defensive } = dereference({
+        info: { title: "defensive", version: "1" },
+        openapi: "3.1.0",
+        paths: {
+            "/v1/things": {
+                post: {
+                    operationId: "thing.create",
+                    responses: { "201": { description: "ok" } },
+                    "x-entity": { action: "create", identity: "id", name: "thing" },
+                    "x-feature-gate": { not: "a string" },
+                },
+            },
+        },
+    });
+    const defensiveModel = buildModel(defensive);
+    push("non-string x-feature-gate is null", "same defensive read as x-cost / x-rate-limit", defensiveModel.byOperationId.get("thing.create")?.featureGate === null, `featureGate=${String(defensiveModel.byOperationId.get("thing.create")?.featureGate)}`);
+    const tagged = buildModel(webhookSpec("webhooks"));
+    const planText = report.plan(tagged, false);
+    const doctor = report.doctor(tagged, [], false);
+    push("plan lists x-feature-gate", "doctor / plan should show the tag", planText.includes("x-feature-gate: webhooks") &&
+        tagged.byOperationId.get("webhook.create")?.featureGate === "webhooks", planText.includes("x-feature-gate: webhooks") ? "shown" : "missing from plan");
+    push("doctor lists x-feature-gate", "doctor / plan should show the tag", doctor.text.includes("x-feature-gate: webhooks"), doctor.text.includes("x-feature-gate: webhooks") ? "shown" : "missing from doctor");
+    try {
+        const { findings } = await against({ create: "gate-match", specTag: "webhooks" }, ["webhook", "invite"]);
+        const seed = findings.find((f) => f.check === "world.seed" && f.entity === "webhook");
+        const inviteSeed = findings.find((f) => f.check === "world.seed" && f.entity === "invite");
+        const real = defects(findings);
+        const namesTag = seed?.detail.includes("x-feature-gate: webhooks") === true;
+        push("matching gate 403 is a coverage gap", "the backend matched the document", seed?.verdict === "COVERAGE_GAP" && namesTag && real.length === 0, `seed=${seed?.verdict ?? "none"} detail=${seed?.detail ?? "—"} defects=${real.map((f) => f.check).join(",") || "none"}`);
+        push("untagged invite still seeds", "CRUD without the tag is unchanged", inviteSeed === undefined && real.length === 0, inviteSeed === undefined ? "invite has no world.seed finding" : `${inviteSeed.verdict}: ${inviteSeed.detail}`);
+    }
+    catch (error) {
+        push("matching gate 403 is a coverage gap", "the backend matched the document", false, error instanceof Error ? error.message : String(error));
+        push("untagged invite still seeds", "CRUD without the tag is unchanged", false, "harness threw");
+    }
+    try {
+        const { findings } = await against({ create: "gate-mismatch", specTag: "webhooks" }, ["webhook"]);
+        const seed = findings.find((f) => f.check === "world.seed" && f.entity === "webhook");
+        push("mismatched vars.feature stays a seed error", "backend/tag drift must not look documented", seed?.verdict === "BLOCKED", `seed=${seed?.verdict ?? "none"} ${seed?.detail ?? ""}`);
+    }
+    catch (error) {
+        push("mismatched vars.feature stays a seed error", "backend/tag drift must not look documented", false, error instanceof Error ? error.message : String(error));
+    }
+    try {
+        const { findings } = await against({ create: "plain-403", specTag: null }, ["webhook"]);
+        const seed = findings.find((f) => f.check === "world.seed" && f.entity === "webhook");
+        push("untagged 403 stays a seed error", "do not treat every 403 as a feature gate", seed?.verdict === "BLOCKED", `seed=${seed?.verdict ?? "none"} ${seed?.detail ?? ""}`);
+    }
+    catch (error) {
+        push("untagged 403 stays a seed error", "do not treat every 403 as a feature gate", false, error instanceof Error ? error.message : String(error));
+    }
+    try {
+        const { findings } = await against({ create: "created", specTag: "webhooks", update: "gate-match" }, ["webhook"]);
+        const seed = findings.find((f) => f.check === "world.seed" && f.entity === "webhook");
+        const writeGaps = findings.filter((f) => f.verdict === "COVERAGE_GAP" && f.detail.includes("x-feature-gate: webhooks") && f.check !== "world.seed");
+        const real = defects(findings);
+        push("gated update after a 201 create is a coverage gap", "the gate is off for create; a later write still cites the tag", seed === undefined && writeGaps.length > 0 && real.length === 0, `seed=${seed?.verdict ?? "none"} writeGaps=${writeGaps.map((f) => f.check).join(",") || "none"} defects=${real.map((f) => `${f.verdict}:${f.check}`).join(",") || "none"}`);
+    }
+    catch (error) {
+        push("gated update after a 201 create is a coverage gap", "the gate is off for create; a later write still cites the tag", false, error instanceof Error ? error.message : String(error));
+    }
+    try {
+        const { findings } = await against({ create: "gate-match", listSeeded: true, specTag: "webhooks" }, ["webhook"]);
+        const seed = findings.find((f) => f.check === "world.seed" && f.entity === "webhook");
+        const real = defects(findings);
+        push("gated create with existing rows is not a defect", "read-only checks may still run against the list, same as excluded create", seed?.verdict === "COVERAGE_GAP" && real.length === 0, `seed=${seed?.verdict ?? "none"} defects=${real.map((f) => `${f.verdict}:${f.check}`).join(",") || "none"}`);
+    }
+    catch (error) {
+        push("gated create with existing rows is not a defect", "read-only checks may still run against the list, same as excluded create", false, error instanceof Error ? error.message : String(error));
+    }
+    return results;
+}
+//# sourceMappingURL=feature-gate.js.map

package/dist/conformance/feature-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"feature-gate.js","sourceRoot":"","sources":["../../src/conformance/feature-gate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAA6C,MAAM,WAAW,CAAA;AAEnF,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAI7C,MAAM,gBAAgB,GAAG;IACxB,UAAU,EAAE;QACX,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC3B,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC9B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5B,IAAI,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;KACpD;IACD,IAAI,EAAE,QAAQ;CACd,CAAA;AAED,MAAM,YAAY,GAAG;IACpB,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;IAC/D,QAAQ,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;IACvB,IAAI,EAAE,QAAQ;CACd,CAAA;AAED,SAAS,WAAW,CAAC,GAAkB;IACtC,MAAM,MAAM,GAA4B;QACvC,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE;YACZ,OAAO,EAAE;gBACR,kBAAkB,EAAE;oBACnB,MAAM,EAAE;wBACP,oBAAoB,EAAE,KAAK;wBAC3B,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;wBACvC,QAAQ,EAAE,CAAC,KAAK,CAAC;wBACjB,IAAI,EAAE,QAAQ;qBACd;iBACD;aACD;YACD,QAAQ,EAAE,IAAI;SACd;QACD,SAAS,EAAE;YACV,KAAK,EAAE;gBACN,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE;gBACzD,WAAW,EAAE,SAAS;aACtB;YACD,KAAK,EAAE;gBACN,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE;gBAC7D,WAAW,EAAE,WAAW;aACxB;SACD;QACD,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;KACjE,CAAA;IACD,IAAI,GAAG,KAAK,IAAI;QAAE,MAAM,CAAC,gBAAgB,CAAC,GAAG,GAAG,CAAA;IAEhD,OAAO;QACN,IAAI,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,KAAK,EAAE;QACvD,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE;YACN,4BAA4B,EAAE;gBAC7B,GAAG,EAAE;oBACJ,WAAW,EAAE,cAAc;oBAC3B,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;oBACxF,SAAS,EAAE;wBACV,KAAK,EAAE;4BACN,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE;wCACP,UAAU,EAAE,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;wCAChE,QAAQ,EAAE,CAAC,UAAU,CAAC;wCACtB,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,SAAS,EAAE;iBAC/D;gBACD,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;gBACxF,IAAI,EAAE,MAAM;aACZ;YACD,yCAAyC,EAAE;gBAC1C,GAAG,EAAE;oBACJ,WAAW,EAAE,cAAc;oBAC3B,UAAU,EAAE;wBACX,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;wBAC1E,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBAC9E;oBACD,SAAS,EAAE;wBACV,KAAK,EAAE;4BACN,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE;4BACzD,WAAW,EAAE,IAAI;yBACjB;wBACD,KAAK,EAAE;4BACN,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACzE;6BACD;4BACD,WAAW,EAAE,WAAW;yBACxB;qBACD;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;iBAC/D;gBACD,KAAK,EAAE;oBACN,WAAW,EAAE,gBAAgB;oBAC7B,UAAU,EAAE;wBACX,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;wBAC1E,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBAC9E;oBACD,WAAW,EAAE;wBACZ,OAAO,EAAE;4BACR,kBAAkB,EAAE;gCACnB,MAAM,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;6BAChG;yBACD;qBACD;oBACD,SAAS,EAAE;wBACV,KAAK,EAAE;4BACN,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE;4BACzD,WAAW,EAAE,IAAI;yBACjB;wBACD,KAAK,EAAE;4BACN,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE;4BAC7D,WAAW,EAAE,WAAW;yBACxB;wBACD,KAAK,EAAE;4BACN,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACzE;6BACD;4BACD,WAAW,EAAE,WAAW;yBACxB;qBACD;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;oBACjE,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAClD;aACD;YACD,2BAA2B,EAAE;gBAC5B,GAAG,EAAE;oBACJ,WAAW,EAAE,aAAa;oBAC1B,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;oBACxF,SAAS,EAAE;wBACV,KAAK,EAAE;4BACN,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE;wCACP,UAAU,EAAE;4CACX,OAAO,EAAE;gDACR,KAAK,EAAE;oDACN,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oDACjE,IAAI,EAAE,QAAQ;iDACd;gDACD,IAAI,EAAE,OAAO;6CACb;yCACD;wCACD,QAAQ,EAAE,CAAC,SAAS,CAAC;wCACrB,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,QAAQ,EAAE;iBAC9D;gBACD,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;gBACxF,IAAI,EAAE;oBACL,WAAW,EAAE,eAAe;oBAC5B,WAAW,EAAE;wBACZ,OAAO,EAAE;4BACR,kBAAkB,EAAE;gCACnB,MAAM,EAAE;oCACP,oBAAoB,EAAE,KAAK;oCAC3B,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oCACzC,QAAQ,EAAE,CAAC,OAAO,CAAC;oCACnB,IAAI,EAAE,QAAQ;iCACd;6BACD;yBACD;wBACD,QAAQ,EAAE,IAAI;qBACd;oBACD,SAAS,EAAE;wBACV,KAAK,EAAE;4BACN,OAAO,EAAE;gCACR,kBAAkB,EAAE;oCACnB,MAAM,EAAE;wCACP,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;wCACjE,IAAI,EAAE,QAAQ;qCACd;iCACD;6BACD;4BACD,WAAW,EAAE,SAAS;yBACtB;qBACD;oBACD,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAChE;aACD;SACD;KACkB,CAAA;AACrB,CAAC;AAYD,SAAS,QAAQ,CAAC,OAAe;IAChC,OAAO;QACN,SAAS,EAAE,WAAW;QACtB,MAAM,EAAE,GAAG;QACX,UAAU,EAAE,WAAW;QACvB,OAAO,EAAE,KAAK;QACd,IAAI,EAAE;YACL,YAAY,EAAE,MAAM;YACpB,OAAO;YACP,YAAY,EAAE,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO;YAC3D,aAAa,EAAE,KAAK;YACpB,IAAI,EAAE,cAAc;SACpB;KACD,CAAA;AACF,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,OAAuB;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuC,CAAA;IAC/D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyC,CAAA;IAChE,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACjC,QAAQ,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,2BAA2B,EAAE,CAAC,CAAA;IACrF,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,GAAoB,EAAoB,EAAE,CAC3D,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QAC/B,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;IAEH,MAAM,IAAI,GAAG,CAAC,GAAmB,EAAE,MAAc,EAAE,IAAc,EAAQ,EAAE;QAC1E,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;YACrB,GAAG,CAAC,GAAG,EAAE,CAAA;YACT,OAAM;QACP,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QACjC,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;QAChH,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACd,CAAC,CAAA;IAED,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,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,aAAa,CAAA;YACxC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,CAAA;YACrD,CAAC;YAED,IAAI,GAAG,CAAC,QAAQ,KAAK,yBAAyB,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACpE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAA;YAC5D,CAAC;YACD,IAAI,GAAG,CAAC,QAAQ,KAAK,yBAAyB,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACrE,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAA;gBAChF,IAAI,OAAO,CAAC,MAAM,KAAK,eAAe;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAA;gBACxF,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAA;gBACrF,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAsB,CAAA;gBACvD,IAAI,OAAO,IAAI,EAAE,GAAG,KAAK,QAAQ,EAAE,CAAC;oBACnC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;gBACzE,CAAC;gBACD,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;gBACrC,MAAM,GAAG,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAA;gBACjC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;gBACrB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;YAC3B,CAAC;YAED,MAAM,IAAI,GAAG,wCAAwC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACxE,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;gBAC3D,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;YAC5F,CAAC;YACD,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;gBACzC,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,YAAY;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAA;gBAC1F,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;gBAC3D,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAA;gBACxE,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAsB,CAAA;gBACvD,IAAI,OAAO,IAAI,EAAE,GAAG,KAAK,QAAQ;oBAAE,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;gBACrD,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;YAC3B,CAAC;YAED,IAAI,GAAG,CAAC,QAAQ,KAAK,wBAAwB,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACnE,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAA;YAC1D,CAAC;YACD,IAAI,GAAG,CAAC,QAAQ,KAAK,wBAAwB,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACpE,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAwB,CAAA;gBACzD,IAAI,OAAO,IAAI,EAAE,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACrC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;gBAC3E,CAAC;gBACD,MAAM,EAAE,GAAG,OAAO,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;gBACtC,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,CAAA;gBACrC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;gBACpB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;YAC3B,CAAC;YAED,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAA;QAClD,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE;YACf,IAAI,CAAC,GAAG,CAAC,WAAW;gBAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAA;QAChE,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,MAAM,UAAU,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,kBAAkB,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;AAEhH,KAAK,UAAU,OAAO,CACrB,OAAuB,EACvB,IAAe;IAKf,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAA;IAC1C,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC;YACxB,OAAO,EAAE,MAAM,CAAC,GAAG;YACnB,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACvC,UAAU,EAAE,UAAU;YACtB,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,kBAAkB;SACrC,CAAC,CAAA;QACF,OAAO,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAA;IAC1E,CAAC;YAAS,CAAC;QACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;IACrB,CAAC;AACF,CAAC;AAED,SAAS,OAAO,CAAC,QAAqD;IACrE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAA;AACvF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB;IACxC,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,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,WAAW,CAAC;QACtC,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE;QAC1C,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE;YACN,YAAY,EAAE;gBACb,IAAI,EAAE;oBACL,WAAW,EAAE,cAAc;oBAC3B,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE;oBAC3C,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;oBAC/D,gBAAgB,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE;iBACrC;aACD;SACD;KACkB,CAAC,CAAA;IACrB,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CACH,mCAAmC,EACnC,8CAA8C,EAC9C,cAAc,CAAC,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,WAAW,KAAK,IAAI,EACtE,eAAe,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,EAAE,CACtF,CAAA;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAA;IAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;IAC/C,IAAI,CACH,2BAA2B,EAC3B,mCAAmC,EACnC,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,CAAC;QAC5C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,WAAW,KAAK,UAAU,EACvE,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAC7E,CAAA;IACD,IAAI,CACH,6BAA6B,EAC7B,mCAAmC,EACnC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAChD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAClF,CAAA;IAED,IAAI,CAAC;QACJ,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,OAAO,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAA;QACxG,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;QACrF,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAA;QAC1F,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QAC9B,MAAM,QAAQ,GAAG,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,KAAK,IAAI,CAAA;QAC3E,IAAI,CACH,qCAAqC,EACrC,kCAAkC,EAClC,IAAI,EAAE,OAAO,KAAK,cAAc,IAAI,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EACjE,QAAQ,IAAI,EAAE,OAAO,IAAI,MAAM,WAAW,IAAI,EAAE,MAAM,IAAI,GAAG,YAAY,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CACvH,CAAA;QACD,IAAI,CACH,6BAA6B,EAC7B,mCAAmC,EACnC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAC7C,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,KAAK,UAAU,CAAC,MAAM,EAAE,CAC7G,CAAA;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,qCAAqC,EACrC,kCAAkC,EAClC,KAAK,EACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACtD,CAAA;QACD,IAAI,CAAC,6BAA6B,EAAE,mCAAmC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAA;IACjG,CAAC;IAED,IAAI,CAAC;QACJ,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,OAAO,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAA;QACjG,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;QACrF,IAAI,CACH,4CAA4C,EAC5C,4CAA4C,EAC5C,IAAI,EAAE,OAAO,KAAK,SAAS,EAC3B,QAAQ,IAAI,EAAE,OAAO,IAAI,MAAM,IAAI,IAAI,EAAE,MAAM,IAAI,EAAE,EAAE,CACvD,CAAA;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,4CAA4C,EAC5C,4CAA4C,EAC5C,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,EAAE,QAAQ,EAAE,GAAG,MAAM,OAAO,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAA;QACvF,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;QACrF,IAAI,CACH,iCAAiC,EACjC,0CAA0C,EAC1C,IAAI,EAAE,OAAO,KAAK,SAAS,EAC3B,QAAQ,IAAI,EAAE,OAAO,IAAI,MAAM,IAAI,IAAI,EAAE,MAAM,IAAI,EAAE,EAAE,CACvD,CAAA;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,iCAAiC,EACjC,0CAA0C,EAC1C,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,EAAE,QAAQ,EAAE,GAAG,MAAM,OAAO,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAA;QACjH,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;QACrF,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,CAChH,CAAA;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QAC9B,IAAI,CACH,mDAAmD,EACnD,+DAA+D,EAC/D,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAC/D,QAAQ,IAAI,EAAE,OAAO,IAAI,MAAM,cAAc,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,YAAY,IAAI,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,CAC1K,CAAA;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,mDAAmD,EACnD,+DAA+D,EAC/D,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,EAAE,QAAQ,EAAE,GAAG,MAAM,OAAO,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAA;QAChH,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;QACrF,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QAC9B,IAAI,CACH,iDAAiD,EACjD,0EAA0E,EAC1E,IAAI,EAAE,OAAO,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EACrD,QAAQ,IAAI,EAAE,OAAO,IAAI,MAAM,YAAY,IAAI,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,CAC3G,CAAA;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CACH,iDAAiD,EACjD,0EAA0E,EAC1E,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/fuzz.d.ts

@@ -0,0 +1,108 @@
+/**
+ * Combination fuzzing: many defects at once, chosen at random.
+ *
+ * The defect matrix injects one fault at a time, which is not how a backend fails. Real ones
+ * carry several simultaneously, and that interaction is where a tool quietly stops being useful:
+ * a broken listing makes every downstream check report a consequence, and a report of thirty
+ * findings with one root cause is nearly as useless as a report of none.
+ *
+ * So the oracle here is not "did every injected defect produce a finding". It is:
+ *
+ *   - **recall** — each injected defect's primary check fired, *or* was legitimately suppressed
+ *     because a check it depends on was itself broken by another injected defect;
+ *   - **precision** — no finding outside the union of what the injected set can justify.
+ *
+ * Suppression is the interesting half. Counting a suppressed check as a miss would push oat
+ * toward reporting cascades; counting any suppression as fine would let it hide real defects
+ * behind unrelated ones. The dependency graph is what separates those two, so it is consulted
+ * rather than assumed.
+ */
+import type { DefectName } from "../reference/defects.ts";
+import { type Backend } from "./suite.ts";
+export interface FuzzCase {
+    seed: number;
+    injected: DefectName[];
+    /** Injected defects whose primary check neither fired nor was justifiably suppressed. */
+    missed: Array<{
+        defect: DefectName;
+        primary: string;
+    }>;
+    /**
+     * Findings no injected defect accounts for.
+     *
+     * Carries the summary and evidence, not just the check id. A failure here is often rare —
+     * timing-sensitive cases surface once in several hundred runs — and re-running to find out
+     * what happened may simply not reproduce it. The report has to be enough on its own.
+     */
+    spurious: Array<{
+        check: string;
+        entity: string;
+        summary: string;
+        detail: string;
+    }>;
+    /** Injected defects whose check was suppressed by a broken dependency — expected, not a miss. */
+    cascaded: Array<{
+        defect: DefectName;
+        because: string;
+    }>;
+    /**
+     * Injected defects whose check ran, could not reach a verdict, and said so.
+     *
+     * Not a pass and not a miss. The defect went unreported, but the report names the check and
+     * the reason, which is what lets a reader re-run it once the blocking condition is gone. The
+     * failure this separates it from — a check that gives up in silence — is indistinguishable
+     * from a clean result, and that is the one worth failing the suite over.
+     */
+    unresolved: Array<{
+        defect: DefectName;
+        reason: string;
+    }>;
+    findings: number;
+    ok: boolean;
+    error?: string;
+}
+export interface FuzzOptions {
+    cases?: number;
+    maxDefects?: number;
+    backend?: Backend;
+    dialect?: string;
+    seed?: number;
+    onCase?: (result: FuzzCase) => void;
+}
+export declare function runFuzz(options?: FuzzOptions): Promise<FuzzCase[]>;
+export declare function renderFuzz(results: FuzzCase[]): {
+    text: string;
+    failures: number;
+};
+export interface PrecisionCase {
+    seed: number;
+    findings: Array<{
+        check: string;
+        entity: string;
+        summary: string;
+    }>;
+    inconclusive: number;
+    error?: string;
+}
+/**
+ * Precision under varied data, against a backend with no defects at all.
+ *
+ * The combination fuzzer varies the *faults*; this varies the *data*. Every check builds its
+ * cohort from a seed — empty strings, LIKE metacharacters, unicode, nulls, lexical extremes — and
+ * the conformance suite has only ever used seed 42. A property that holds at 42 and fails at 43
+ * was never a property of the contract; it was a property of that one fixture.
+ *
+ * Here the backend is correct by construction, so the bar is absolute: any finding at all is a
+ * false positive, and false positives are what make a tool get switched off.
+ */
+export declare function runPrecision(options?: {
+    cases?: number;
+    backend?: Backend;
+    dialect?: string;
+    seed?: number;
+}): Promise<PrecisionCase[]>;
+export declare function renderPrecision(results: PrecisionCase[]): {
+    text: string;
+    failures: number;
+};
+//# sourceMappingURL=fuzz.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fuzz.d.ts","sourceRoot":"","sources":["../../src/conformance/fuzz.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAGzD,OAAO,EAAE,KAAK,OAAO,EAAoC,MAAM,YAAY,CAAA;AAE3E,MAAM,WAAW,QAAQ;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB,yFAAyF;IACzF,MAAM,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,UAAU,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACtD;;;;;;OAMG;IACH,QAAQ,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACnF,iGAAiG;IACjG,QAAQ,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,UAAU,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACxD;;;;;;;OAOG;IACH,UAAU,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,UAAU,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACzD,QAAQ,EAAE,MAAM,CAAA;IAChB,EAAE,EAAE,OAAO,CAAA;IACX,KAAK,CAAC,EAAE,MAAM,CAAA;CACd;AAgCD,MAAM,WAAW,WAAW;IAC3B,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,KAAK,IAAI,CAAA;CACnC;AAED,wBAAsB,OAAO,CAAC,OAAO,GAAE,WAAgB,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CA+B5E;AA8ED,wBAAgB,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAgClF;AAED,MAAM,WAAW,aAAa;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACnE,YAAY,EAAE,MAAM,CAAA;IACpB,KAAK,CAAC,EAAE,MAAM,CAAA;CACd;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,YAAY,CACjC,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,GAClF,OAAO,CAAC,aAAa,EAAE,CAAC,CA4C1B;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAqB5F"}