@typed-sql/compiler 1.0.0 → 2.0.0

package/dist/packages/compiler/src/verification.js

@@ -0,0 +1,516 @@
+import { createHash } from "node:crypto";
+import { isAbsolute, relative, resolve, sep } from "node:path";
+import { compileSource } from "./compiler.js";
+import { buildQueryManifest, serializeQueryManifest, } from "./manifest.js";
+export const QUERY_VERIFICATION_FORMAT_VERSION = 1;
+export const QUERY_VERIFIER_VERSION = "typed-sql-v1";
+const sha256 = (value) => createHash("sha256").update(value).digest("hex");
+const compareText = (left, right) => (left < right ? -1 : left > right ? 1 : 0);
+function portableRelative(rootDir, file) {
+    const root = resolve(rootDir);
+    const path = relative(root, isAbsolute(file) ? resolve(file) : resolve(root, file))
+        .split(sep)
+        .join("/");
+    if (path.length === 0 || path === ".." || path.startsWith("../") || isAbsolute(path)) {
+        throw new TypeError(`Cannot make ${file} relative to ${rootDir}`);
+    }
+    return path;
+}
+function expectedColumn(column, index) {
+    return {
+        index: index + 1,
+        name: column.name,
+        tsType: column.tsType,
+        nullable: column.nullable,
+        ...(column.databaseType === undefined ? {} : { databaseType: column.databaseType }),
+    };
+}
+function expectedParameter(parameter) {
+    return {
+        index: parameter.index,
+        tsType: parameter.tsType,
+        nullable: parameter.nullable,
+        ...(parameter.databaseType === undefined ? {} : { databaseType: parameter.databaseType }),
+    };
+}
+/** Recompiles source only in memory and proves that it still matches the supplied manifest. */
+export function collectQueryVerificationCandidates(options) {
+    const rebuilt = buildQueryManifest({
+        rootDir: options.rootDir,
+        sources: options.sources,
+        ...(options.projects === undefined ? {} : { projects: options.projects }),
+        dialect: options.dialect,
+        schema: options.schema,
+        ...(options.typePolicy === undefined ? {} : { typePolicy: options.typePolicy }),
+        compilerVersion: options.manifest.compilerVersion,
+        ...(options.maxStructuralVariants === undefined ? {} : { maxStructuralVariants: options.maxStructuralVariants }),
+    }).manifest;
+    if (serializeQueryManifest(rebuilt) !== serializeQueryManifest(options.manifest)) {
+        throw new TypeError("Query manifest is stale; regenerate it before live verification");
+    }
+    const entries = new Map(options.manifest.queries
+        .filter((entry) => entry.status === "resolved")
+        .map((entry) => [`${entry.source.file}\0${entry.source.range.start}`, entry]));
+    const candidates = [];
+    for (const input of options.sources) {
+        const file = portableRelative(options.rootDir, input.file);
+        const compilation = compileSource({
+            source: input.source,
+            dialect: options.dialect,
+            schema: options.schema,
+            ...(options.typePolicy === undefined ? {} : { typePolicy: options.typePolicy }),
+            ...(options.maxStructuralVariants === undefined ? {} : { maxStructuralVariants: options.maxStructuralVariants }),
+        });
+        for (const query of compilation.queries) {
+            const entry = entries.get(`${file}\0${query.query.range.start}`);
+            if (entry === undefined || entry.fingerprint !== query.fingerprint) {
+                throw new TypeError(`Query manifest does not match ${file}:${query.query.range.line}`);
+            }
+            for (const variant of query.variants) {
+                if (!entry.variants.some((manifestVariant) => manifestVariant.fingerprint === variant.fingerprint)) {
+                    throw new TypeError(`Query manifest is missing variant ${variant.fingerprint}`);
+                }
+                candidates.push({
+                    queryId: entry.id,
+                    variantFingerprint: variant.fingerprint,
+                    source: entry.source,
+                    sql: variant.sql,
+                    operation: variant.semantics.operation.value,
+                    columns: variant.columns.map(expectedColumn),
+                    parameters: variant.parameters.map(expectedParameter),
+                });
+            }
+        }
+    }
+    return candidates.sort((left, right) => compareText(left.source.file, right.source.file) ||
+        left.source.range.start - right.source.range.start ||
+        compareText(left.variantFingerprint, right.variantFingerprint));
+}
+function normalizedType(value) {
+    return value.trim().toLowerCase().replace(/\s+/gu, " ");
+}
+function topLevelUnionMembers(value) {
+    const members = [];
+    let start = 0;
+    let quote;
+    let escaped = false;
+    let depth = 0;
+    for (let index = 0; index < value.length; index += 1) {
+        const char = value[index];
+        if (quote !== undefined) {
+            if (escaped)
+                escaped = false;
+            else if (char === "\\")
+                escaped = true;
+            else if (char === quote)
+                quote = undefined;
+            continue;
+        }
+        if (char === '"' || char === "'")
+            quote = char;
+        else if (char === "(" || char === "[" || char === "{")
+            depth += 1;
+        else if (char === ")" || char === "]" || char === "}")
+            depth = Math.max(0, depth - 1);
+        else if (char === "|" && depth === 0) {
+            members.push(value.slice(start, index).trim());
+            start = index + 1;
+        }
+    }
+    members.push(value.slice(start).trim());
+    return members;
+}
+function primitiveType(member) {
+    if (["string", "number", "bigint", "boolean", "null", "undefined"].includes(member)) {
+        return member;
+    }
+    if (/^-?(?:0|[1-9]\d*)(?:\.\d+)?(?:e[+-]?\d+)?$/iu.test(member))
+        return "number";
+    if (/^-?(?:0|[1-9]\d*)n$/u.test(member))
+        return "bigint";
+    if (member === "true" || member === "false")
+        return "boolean";
+    if (member.startsWith('"') && member.endsWith('"')) {
+        try {
+            return typeof JSON.parse(member) === "string" ? "string" : undefined;
+        }
+        catch {
+            return undefined;
+        }
+    }
+    return undefined;
+}
+/** Parameter metadata describes what the server accepts, so a compiler-side literal subset is safe. */
+function parameterTypeCompatible(expected, actual) {
+    if (expected === actual)
+        return true;
+    const accepted = topLevelUnionMembers(actual);
+    const supplied = topLevelUnionMembers(expected);
+    return (supplied.length > 0 &&
+        supplied.every((member) => accepted.some((target) => member === target || (primitiveType(target) === target && primitiveType(member) === target))));
+}
+function compareField(target, expected, actual) {
+    const mismatches = [];
+    const add = (kind, expectedValue, actualValue) => mismatches.push({ kind, target, index: expected.index, expected: expectedValue, actual: actualValue });
+    if (target === "column" &&
+        expected.name !== undefined &&
+        actual.name !== undefined &&
+        expected.name !== actual.name) {
+        add("column-name", expected.name, actual.name);
+    }
+    if (expected.tsType !== "unknown" && actual.tsType !== undefined) {
+        if (expected.tsType !== actual.tsType &&
+            (target !== "parameter" || !parameterTypeCompatible(expected.tsType, actual.tsType))) {
+            add("typescript-type", expected.tsType, actual.tsType);
+        }
+    }
+    else if (expected.databaseType !== undefined &&
+        actual.databaseType !== undefined &&
+        normalizedType(expected.databaseType) !== normalizedType(actual.databaseType)) {
+        add("database-type", expected.databaseType, actual.databaseType);
+    }
+    if (actual.nullable !== undefined && expected.nullable !== actual.nullable) {
+        add("nullability", String(expected.nullable), String(actual.nullable));
+    }
+    return mismatches;
+}
+function compareEvidence(candidate, evidence) {
+    const mismatches = [];
+    if (candidate.columns.length !== evidence.columns.length) {
+        mismatches.push({
+            kind: "column-count",
+            target: "column",
+            expected: String(candidate.columns.length),
+            actual: String(evidence.columns.length),
+        });
+    }
+    if (candidate.parameters.length !== evidence.parameters.length) {
+        mismatches.push({
+            kind: "parameter-count",
+            target: "parameter",
+            expected: String(candidate.parameters.length),
+            actual: String(evidence.parameters.length),
+        });
+    }
+    for (let index = 0; index < Math.min(candidate.columns.length, evidence.columns.length); index += 1) {
+        mismatches.push(...compareField("column", candidate.columns[index], evidence.columns[index]));
+    }
+    for (let index = 0; index < Math.min(candidate.parameters.length, evidence.parameters.length); index += 1) {
+        mismatches.push(...compareField("parameter", candidate.parameters[index], evidence.parameters[index]));
+    }
+    return mismatches;
+}
+function safeToPrepare(operation) {
+    return operation === "read" || operation === "write";
+}
+async function boundedMap(values, concurrency, visit) {
+    const output = new Array(values.length);
+    let cursor = 0;
+    const worker = async () => {
+        while (cursor < values.length) {
+            const index = cursor++;
+            output[index] = await visit(values[index]);
+        }
+    };
+    await Promise.all(Array.from({ length: Math.min(concurrency, values.length) }, worker));
+    return output;
+}
+function canonicalize(value) {
+    if (Array.isArray(value))
+        return value.map(canonicalize);
+    if (typeof value !== "object" || value === null)
+        return value;
+    return Object.fromEntries(Object.entries(value)
+        .sort(([left], [right]) => compareText(left, right))
+        .map(([key, item]) => [key, canonicalize(item)]));
+}
+function normalizedServer(server) {
+    if (typeof server.version !== "string" || server.version.length === 0)
+        throw new TypeError("Live verifier server.version must be a non-empty string");
+    return {
+        version: server.version,
+        ...(server.features === undefined ? {} : { features: [...new Set(server.features)].sort(compareText) }),
+    };
+}
+function verificationCacheKey(value) {
+    return `sha256:${sha256(JSON.stringify(canonicalize({
+        verifierVersion: QUERY_VERIFIER_VERSION,
+        adapterVersion: value.adapterVersion,
+        dialect: value.dialect,
+        manifestHash: value.manifestHash,
+        server: normalizedServer(value.server),
+        entries: value.entries,
+    })))}`;
+}
+export async function verifyQueryManifest(options) {
+    if (options.verifier.dialect !== options.manifest.dialect.id)
+        throw new TypeError(`Verifier dialect ${options.verifier.dialect} does not match ${options.manifest.dialect.id}`);
+    const concurrency = options.concurrency ?? 4;
+    if (!Number.isSafeInteger(concurrency) || concurrency < 1)
+        throw new TypeError("verification concurrency must be a positive safe integer");
+    if (options.verifier.adapterVersion.length === 0)
+        throw new TypeError("Verifier adapterVersion must not be empty");
+    const server = normalizedServer(await options.verifier.server());
+    const byQuery = new Map();
+    for (const candidate of options.candidates)
+        byQuery.set(candidate.queryId, [...(byQuery.get(candidate.queryId) ?? []), candidate]);
+    const work = [];
+    for (const query of options.manifest.queries) {
+        if (query.status === "unresolved") {
+            work.push({
+                queryId: query.id,
+                source: query.source,
+                status: "skipped",
+                code: "TSQ501",
+                reason: "manifest-unresolved",
+            });
+            continue;
+        }
+        const candidates = byQuery.get(query.id) ?? [];
+        for (const variant of query.variants) {
+            const candidate = candidates.find((item) => item.variantFingerprint === variant.fingerprint);
+            if (candidate === undefined)
+                work.push({
+                    queryId: query.id,
+                    variantFingerprint: variant.fingerprint,
+                    source: query.source,
+                    status: "skipped",
+                    code: "TSQ501",
+                    reason: "candidate-missing",
+                });
+            else if (!safeToPrepare(candidate.operation))
+                work.push({
+                    queryId: query.id,
+                    variantFingerprint: variant.fingerprint,
+                    source: query.source,
+                    status: "skipped",
+                    code: "TSQ501",
+                    reason: "unsafe-operation",
+                });
+            else
+                work.push(candidate);
+        }
+    }
+    const entries = await boundedMap(work, concurrency, async (item) => {
+        if ("status" in item)
+            return item;
+        try {
+            const native = await options.verifier.verify({
+                fingerprint: item.variantFingerprint,
+                sql: item.sql,
+                operation: item.operation,
+            });
+            if (native.unavailable !== undefined && native.unavailable.length > 0) {
+                return {
+                    queryId: item.queryId,
+                    variantFingerprint: item.variantFingerprint,
+                    source: item.source,
+                    status: "skipped",
+                    code: "TSQ501",
+                    reason: "native-metadata-unavailable",
+                };
+            }
+            const evidence = {
+                columns: native.columns.map((field) => ({ ...field })),
+                parameters: native.parameters.map((field) => ({ ...field })),
+            };
+            const mismatches = compareEvidence(item, evidence);
+            return mismatches.length === 0
+                ? {
+                    queryId: item.queryId,
+                    variantFingerprint: item.variantFingerprint,
+                    source: item.source,
+                    status: "verified",
+                    evidence,
+                }
+                : {
+                    queryId: item.queryId,
+                    variantFingerprint: item.variantFingerprint,
+                    source: item.source,
+                    status: "mismatch",
+                    code: "TSQ500",
+                    mismatches,
+                    evidence,
+                };
+        }
+        catch {
+            return {
+                queryId: item.queryId,
+                variantFingerprint: item.variantFingerprint,
+                source: item.source,
+                status: "error",
+                code: "TSQ502",
+                reason: "native-verification-failed",
+            };
+        }
+    });
+    const manifestHash = `sha256:${sha256(serializeQueryManifest(options.manifest))}`;
+    const cacheKey = verificationCacheKey({
+        adapterVersion: options.verifier.adapterVersion,
+        dialect: options.verifier.dialect,
+        manifestHash,
+        server,
+        entries,
+    });
+    const proof = {
+        formatVersion: QUERY_VERIFICATION_FORMAT_VERSION,
+        verifierVersion: QUERY_VERIFIER_VERSION,
+        adapterVersion: options.verifier.adapterVersion,
+        dialect: options.verifier.dialect,
+        manifestHash,
+        cacheKey,
+        server,
+        entries,
+    };
+    return {
+        proof,
+        verified: entries.filter((entry) => entry.status === "verified").length,
+        mismatched: entries.filter((entry) => entry.status === "mismatch").length,
+        skipped: entries.filter((entry) => entry.status === "skipped").length,
+        failed: entries.filter((entry) => entry.status === "error").length,
+    };
+}
+export function serializeQueryVerificationProof(proof) {
+    return `${JSON.stringify(canonicalize(proof), null, 2)}\n`;
+}
+function record(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function fingerprint(value, description) {
+    if (typeof value !== "string" || !/^sha256:[a-f\d]{64}$/u.test(value)) {
+        throw new TypeError(`${description} must be a SHA-256 fingerprint`);
+    }
+}
+function sourceLocation(value) {
+    if (!record(value) ||
+        typeof value.file !== "string" ||
+        value.file.length === 0 ||
+        value.file === ".." ||
+        value.file.startsWith("../") ||
+        isAbsolute(value.file)) {
+        throw new TypeError("Query verification source must contain a relative file");
+    }
+    if (!record(value.range))
+        throw new TypeError("Query verification source range is invalid");
+    for (const property of ["start", "end", "line", "column"]) {
+        if (!Number.isSafeInteger(value.range[property]))
+            throw new TypeError("Query verification source range is invalid");
+    }
+}
+function evidenceFields(value, description) {
+    if (!Array.isArray(value))
+        throw new TypeError(`${description} must be an array`);
+    for (const field of value) {
+        if (!record(field) || !Number.isSafeInteger(field.index) || field.index < 1) {
+            throw new TypeError(`${description} contains an invalid field`);
+        }
+        for (const property of ["name", "databaseType", "tsType"]) {
+            if (field[property] !== undefined && typeof field[property] !== "string") {
+                throw new TypeError(`${description} contains an invalid ${property}`);
+            }
+        }
+        if (field.nullable !== undefined && typeof field.nullable !== "boolean") {
+            throw new TypeError(`${description} contains invalid nullability`);
+        }
+    }
+}
+function proofEvidence(value) {
+    if (!record(value))
+        throw new TypeError("Query verification evidence must be an object");
+    evidenceFields(value.columns, "Query verification columns");
+    evidenceFields(value.parameters, "Query verification parameters");
+}
+export function parseQueryVerificationProof(value) {
+    if (!record(value))
+        throw new TypeError("Query verification proof must be an object");
+    if (value.formatVersion !== QUERY_VERIFICATION_FORMAT_VERSION)
+        throw new TypeError(`Unsupported query verification format ${String(value.formatVersion)}`);
+    if (value.verifierVersion !== QUERY_VERIFIER_VERSION)
+        throw new TypeError(`Unsupported query verifier version ${String(value.verifierVersion)}`);
+    for (const property of ["adapterVersion", "dialect", "manifestHash", "cacheKey"]) {
+        if (typeof value[property] !== "string" || value[property].length === 0)
+            throw new TypeError(`Query verification proof ${property} must be a non-empty string`);
+    }
+    fingerprint(value.manifestHash, "Query verification manifestHash");
+    fingerprint(value.cacheKey, "Query verification cacheKey");
+    if (!record(value.server) ||
+        typeof value.server.version !== "string" ||
+        value.server.version.length === 0 ||
+        (value.server.features !== undefined &&
+            (!Array.isArray(value.server.features) ||
+                value.server.features.some((feature) => typeof feature !== "string"))) ||
+        !Array.isArray(value.entries))
+        throw new TypeError("Query verification proof server or entries are invalid");
+    const statuses = new Set(["verified", "mismatch", "skipped", "error"]);
+    const mismatchKinds = new Set([
+        "column-count",
+        "parameter-count",
+        "column-name",
+        "database-type",
+        "typescript-type",
+        "nullability",
+    ]);
+    const skipReasons = new Set([
+        "manifest-unresolved",
+        "unsafe-operation",
+        "candidate-missing",
+        "native-metadata-unavailable",
+    ]);
+    for (const entry of value.entries) {
+        if (!record(entry) || !statuses.has(String(entry.status)))
+            throw new TypeError("Query verification proof contains an invalid entry");
+        fingerprint(entry.queryId, "Query verification queryId");
+        sourceLocation(entry.source);
+        if (entry.variantFingerprint !== undefined)
+            fingerprint(entry.variantFingerprint, "Query verification variant");
+        if (entry.status !== "skipped" && entry.variantFingerprint === undefined) {
+            throw new TypeError("Query verification entry requires a variant fingerprint");
+        }
+        if (entry.status === "verified")
+            proofEvidence(entry.evidence);
+        else if (entry.status === "mismatch") {
+            if (entry.code !== "TSQ500" || !Array.isArray(entry.mismatches))
+                throw new TypeError("Query verification mismatch is invalid");
+            proofEvidence(entry.evidence);
+            for (const mismatch of entry.mismatches) {
+                if (!record(mismatch) ||
+                    !mismatchKinds.has(mismatch.kind) ||
+                    !["column", "parameter"].includes(String(mismatch.target)) ||
+                    (mismatch.index !== undefined && (!Number.isSafeInteger(mismatch.index) || mismatch.index < 1)) ||
+                    typeof mismatch.expected !== "string" ||
+                    typeof mismatch.actual !== "string")
+                    throw new TypeError("Query verification mismatch evidence is invalid");
+            }
+        }
+        else if (entry.status === "skipped") {
+            if (entry.code !== "TSQ501" ||
+                !skipReasons.has(entry.reason) ||
+                (entry.reason !== "manifest-unresolved" && entry.variantFingerprint === undefined))
+                throw new TypeError("Query verification skip is invalid");
+        }
+        else if (entry.code !== "TSQ502" || entry.reason !== "native-verification-failed") {
+            throw new TypeError("Query verification failure is invalid");
+        }
+    }
+    return value;
+}
+export function assertQueryVerificationProofCurrent(manifest, proof, verifier) {
+    const manifestHash = `sha256:${sha256(serializeQueryManifest(manifest))}`;
+    if (proof.manifestHash !== manifestHash)
+        throw new TypeError("Query verification proof is stale for this manifest");
+    if (proof.dialect !== manifest.dialect.id)
+        throw new TypeError("Query verification proof dialect is stale");
+    if (verifier !== undefined &&
+        (proof.dialect !== verifier.dialect || proof.adapterVersion !== verifier.adapterVersion))
+        throw new TypeError("Query verification proof adapter is stale");
+    const expectedCacheKey = verificationCacheKey({
+        adapterVersion: proof.adapterVersion,
+        dialect: proof.dialect,
+        manifestHash,
+        server: proof.server,
+        entries: proof.entries,
+    });
+    if (proof.cacheKey !== expectedCacheKey)
+        throw new TypeError("Query verification proof cache key is stale");
+}
+//# sourceMappingURL=verification.js.map

package/dist/packages/compiler/src/verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../../src/verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAY/D,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,kBAAkB,EAGlB,sBAAsB,GACvB,MAAM,eAAe,CAAC;AAEvB,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAU,CAAC;AAC5D,MAAM,CAAC,MAAM,sBAAsB,GAAG,cAAuB,CAAC;AAsH9D,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC3F,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAExG,SAAS,gBAAgB,CAAC,OAAe,EAAE,IAAY;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SAChF,KAAK,CAAC,GAAG,CAAC;SACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,SAAS,CAAC,eAAe,IAAI,gBAAgB,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB,EAAE,KAAa;IAC3D,OAAO;QACL,KAAK,EAAE,KAAK,GAAG,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,CAAC,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC;KACpF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,SAA4B;IACrD,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,GAAG,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,CAAC;KAC1F,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,kCAAkC,CAChD,OAAoE;IAEpE,MAAM,OAAO,GAAG,kBAAkB,CAAC;QACjC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzE,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;QAC/E,eAAe,EAAE,OAAO,CAAC,QAAQ,CAAC,eAAe;QACjD,GAAG,CAAC,OAAO,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,OAAO,CAAC,qBAAqB,EAAE,CAAC;KACjH,CAAC,CAAC,QAAQ,CAAC;IACZ,IAAI,sBAAsB,CAAC,OAAO,CAAC,KAAK,sBAAsB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,SAAS,CAAC,iEAAiE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,OAAO,CAAC,QAAQ,CAAC,OAAO;SACrB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;SAC9C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,KAAK,CAAU,CAAC,CACzF,CAAC;IACF,MAAM,UAAU,GAAiC,EAAE,CAAC;IACpD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,aAAa,CAAC;YAChC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;YAC/E,GAAG,CAAC,OAAO,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,OAAO,CAAC,qBAAqB,EAAE,CAAC;SACjH,CAAC,CAAC;QACH,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YACjE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;gBACnE,MAAM,IAAI,SAAS,CAAC,iCAAiC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,EAAE,CAAC,eAAe,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;oBACnG,MAAM,IAAI,SAAS,CAAC,qCAAqC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;gBAClF,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACd,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,kBAAkB,EAAE,OAAO,CAAC,WAAW;oBACvC,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,GAAG,EAAE,OAAO,CAAC,GAAG;oBAChB,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK;oBAC5C,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;oBAC5C,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,iBAAiB,CAAC;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;QAChD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK;QAClD,WAAW,CAAC,IAAI,CAAC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,CAAC,CACjE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IACzC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAA4B,CAAC;IACjC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,OAAO;gBAAE,OAAO,GAAG,KAAK,CAAC;iBACxB,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,GAAG,IAAI,CAAC;iBAClC,IAAI,IAAI,KAAK,KAAK;gBAAE,KAAK,GAAG,SAAS,CAAC;YAC3C,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,GAAG,IAAI,CAAC;aAC1C,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aAC7D,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;aACjF,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/C,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,OAAO,OAAO,CAAC;AACjB,CAAC;AAID,SAAS,aAAa,CAAC,MAAc;IACnC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACpF,OAAO,MAAuB,CAAC;IACjC,CAAC;IACD,IAAI,8CAA8C,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,QAAQ,CAAC;IACjF,IAAI,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,QAAQ,CAAC;IACzD,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAC9D,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC;YACH,OAAO,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,uGAAuG;AACvG,SAAS,uBAAuB,CAAC,QAAgB,EAAE,MAAc;IAC/D,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,CACL,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,QAAQ,CAAC,IAAI,CACX,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,CACxG,CACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,MAA8B,EAC9B,QAAwC,EACxC,MAAkC;IAElC,MAAM,UAAU,GAAgC,EAAE,CAAC;IACnD,MAAM,GAAG,GAAG,CAAC,IAAmC,EAAE,aAAqB,EAAE,WAAmB,EAAE,EAAE,CAC9F,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IACzG,IACE,MAAM,KAAK,QAAQ;QACnB,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,MAAM,CAAC,IAAI,KAAK,SAAS;QACzB,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAC7B,CAAC;QACD,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACjE,IACE,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YACjC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EACpF,CAAC;YACD,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;SAAM,IACL,QAAQ,CAAC,YAAY,KAAK,SAAS;QACnC,MAAM,CAAC,YAAY,KAAK,SAAS;QACjC,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,EAC7E,CAAC;QACD,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC3E,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,eAAe,CACtB,SAAqC,EACrC,QAAuC;IAEvC,MAAM,UAAU,GAAgC,EAAE,CAAC;IACnD,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC;YAC1C,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC/D,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,iBAAiB;YACvB,MAAM,EAAE,WAAW;YACnB,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC;YAC7C,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;SAC3C,CAAC,CAAC;IACL,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpG,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,CAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1G,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,UAAU,CAAC,KAAK,CAAE,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,aAAa,CAAC,SAAkD;IACvE,OAAO,SAAS,KAAK,MAAM,IAAI,SAAS,KAAK,OAAO,CAAC;AACvD,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,MAAwB,EACxB,WAAmB,EACnB,KAAwC;IAExC,MAAM,MAAM,GAAG,IAAI,KAAK,CAAS,MAAM,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,MAAM,GAAG,KAAK,IAAI,EAAE;QACxB,OAAO,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC;IACF,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACnD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAmC;IAC3D,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QACnE,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;IACjF,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;KACxG,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAM7B;IACC,OAAO,UAAU,MAAM,CACrB,IAAI,CAAC,SAAS,CACZ,YAAY,CAAC;QACX,eAAe,EAAE,sBAAsB;QACvC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC;QACtC,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CACH,CACF,EAAE,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,OAAmC;IAC3E,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE;QAC1D,MAAM,IAAI,SAAS,CAAC,oBAAoB,OAAO,CAAC,QAAQ,CAAC,OAAO,mBAAmB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IACpH,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC;QACvD,MAAM,IAAI,SAAS,CAAC,0DAA0D,CAAC,CAAC;IAClF,IAAI,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACnH,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwC,CAAC;IAChE,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,UAAU;QACxC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IACzF,MAAM,IAAI,GAA+D,EAAE,CAAC;IAC5E,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,SAAS;gBACjB,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,qBAAqB;aAC9B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAC/C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAkB,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;YAC7F,IAAI,SAAS,KAAK,SAAS;gBACzB,IAAI,CAAC,IAAI,CAAC;oBACR,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,kBAAkB,EAAE,OAAO,CAAC,WAAW;oBACvC,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,MAAM,EAAE,SAAS;oBACjB,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,mBAAmB;iBAC5B,CAAC,CAAC;iBACA,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC;gBAC1C,IAAI,CAAC,IAAI,CAAC;oBACR,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,kBAAkB,EAAE,OAAO,CAAC,WAAW;oBACvC,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,MAAM,EAAE,SAAS;oBACjB,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,kBAAkB;iBAC3B,CAAC,CAAC;;gBACA,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAwC,EAAE;QACvG,IAAI,QAAQ,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAC3C,WAAW,EAAE,IAAI,CAAC,kBAAkB;gBACpC,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CAAC,CAAC;YACH,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtE,OAAO;oBACL,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;oBAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,MAAM,EAAE,SAAS;oBACjB,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,6BAA6B;iBACtC,CAAC;YACJ,CAAC;YACD,MAAM,QAAQ,GAAG;gBACf,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;gBACtD,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;aAC7D,CAAC;YACF,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACnD,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC;gBAC5B,CAAC,CAAC;oBACE,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;oBAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,MAAM,EAAE,UAAU;oBAClB,QAAQ;iBACT;gBACH,CAAC,CAAC;oBACE,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;oBAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,MAAM,EAAE,UAAU;oBAClB,IAAI,EAAE,QAAQ;oBACd,UAAU;oBACV,QAAQ;iBACT,CAAC;QACR,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;gBAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,MAAM,EAAE,OAAO;gBACf,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,4BAA4B;aACrC,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,UAAU,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;IAClF,MAAM,QAAQ,GAAG,oBAAoB,CAAC;QACpC,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,cAAc;QAC/C,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;QACjC,YAAY;QACZ,MAAM;QACN,OAAO;KACR,CAAC,CAAC;IACH,MAAM,KAAK,GAA2B;QACpC,aAAa,EAAE,iCAAiC;QAChD,eAAe,EAAE,sBAAsB;QACvC,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,cAAc;QAC/C,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;QACjC,YAAY;QACZ,QAAQ;QACR,MAAM;QACN,OAAO;KACR,CAAC;IACF,OAAO;QACL,KAAK;QACL,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QACvE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QACzE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;QACrE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,MAAM;KACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,KAA6B;IAC3E,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,WAAmB;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,SAAS,CAAC,GAAG,WAAW,gCAAgC,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IACE,CAAC,MAAM,CAAC,KAAK,CAAC;QACd,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACvB,KAAK,CAAC,IAAI,KAAK,IAAI;QACnB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAC5B,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EACtB,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IAC5F,KAAK,MAAM,QAAQ,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAU,EAAE,CAAC;QACnE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IACtH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,WAAmB;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,WAAW,mBAAmB,CAAC,CAAC;IAClF,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAK,KAAK,CAAC,KAAgB,GAAG,CAAC,EAAE,CAAC;YACxF,MAAM,IAAI,SAAS,CAAC,GAAG,WAAW,4BAA4B,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,CAAU,EAAE,CAAC;YACnE,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACzE,MAAM,IAAI,SAAS,CAAC,GAAG,WAAW,wBAAwB,QAAQ,EAAE,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACxE,MAAM,IAAI,SAAS,CAAC,GAAG,WAAW,+BAA+B,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACzF,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,4BAA4B,CAAC,CAAC;IAC5D,cAAc,CAAC,KAAK,CAAC,UAAU,EAAE,+BAA+B,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAc;IACxD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IACtF,IAAI,KAAK,CAAC,aAAa,KAAK,iCAAiC;QAC3D,MAAM,IAAI,SAAS,CAAC,yCAAyC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;IAC9F,IAAI,KAAK,CAAC,eAAe,KAAK,sBAAsB;QAClD,MAAM,IAAI,SAAS,CAAC,sCAAsC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAC7F,KAAK,MAAM,QAAQ,IAAI,CAAC,gBAAgB,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,CAAU,EAAE,CAAC;QAC1F,IAAI,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;YACrE,MAAM,IAAI,SAAS,CAAC,4BAA4B,QAAQ,6BAA6B,CAAC,CAAC;IAC3F,CAAC;IACD,WAAW,CAAC,KAAK,CAAC,YAAY,EAAE,iCAAiC,CAAC,CAAC;IACnE,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,6BAA6B,CAAC,CAAC;IAC3D,IACE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QACrB,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,QAAQ;QACxC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YAClC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;gBACpC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAE7B,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAgC;QAC3D,cAAc;QACd,iBAAiB;QACjB,aAAa;QACb,eAAe;QACf,iBAAiB;QACjB,aAAa;KACd,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAmC;QAC5D,qBAAqB;QACrB,kBAAkB;QAClB,mBAAmB;QACnB,6BAA6B;KAC9B,CAAC,CAAC;IACH,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACvD,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;QAC5E,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,4BAA4B,CAAC,CAAC;QACzD,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS;YAAE,WAAW,CAAC,KAAK,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;QAChH,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACzE,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;YAAE,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;gBAC7D,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;YAChE,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC9B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACxC,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC;oBACjB,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAqC,CAAC;oBAClE,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;oBAC1D,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAK,QAAQ,CAAC,KAAgB,GAAG,CAAC,CAAC,CAAC;oBAC3G,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ;oBACrC,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;oBAEnC,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACtC,IACE,KAAK,CAAC,IAAI,KAAK,QAAQ;gBACvB,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAA0C,CAAC;gBAClE,CAAC,KAAK,CAAC,MAAM,KAAK,qBAAqB,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS,CAAC;gBAElF,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,4BAA4B,EAAE,CAAC;YACpF,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,KAA0C,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,QAAuB,EACvB,KAA6B,EAC7B,QAAgE;IAEhE,MAAM,YAAY,GAAG,UAAU,MAAM,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;IAC1E,IAAI,KAAK,CAAC,YAAY,KAAK,YAAY;QAAE,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IACpH,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IAC5G,IACE,QAAQ,KAAK,SAAS;QACtB,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc,CAAC;QAExF,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACnE,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;QAC5C,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,YAAY;QACZ,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,QAAQ,KAAK,gBAAgB;QAAE,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;AAC9G,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@typed-sql/compiler",
-  "version": "1.0.0",
-  "description": "Dialect-neutral TypeScript source extraction and typed SQL compilation.",
+  "version": "2.0.0",
+  "description": "Dialect-neutral TypeScript source compilation, query evidence, and migration compatibility.",
   "license": "MIT",
   "author": "Lojhan",
   "repository": {
@@ -36,7 +36,8 @@
     ".": "./dist/packages/compiler/src/index.js"
   },
   "dependencies": {
-    "@typed-sql/core": "1.0.0"
+    "@typed-sql/core": "2.0.0",
+    "@typed-sql/schema": "2.0.0"
   },
   "scripts": {
     "test": "poku test --reporter=compact --enforce",