@acpus/expression 0.1.0-alpha.0

package/dist/validator.js

@@ -0,0 +1,312 @@
+import { EXPRESSION_OPERATORS } from "./internal/operators.js";
+export function validateExprIR(expr) {
+    const diagnostics = [];
+    validateExpr(expr, diagnostics, "$", new Set(), false, new WeakSet());
+    return diagnostics;
+}
+function validateExpr(expr, diagnostics, path, scope, lambdaAllowed, seen) {
+    if (!isRecord(expr) || typeof expr.kind !== "string") {
+        diagnostics.push(error("EX002", "Expression must be an object with a string kind.", path));
+        return;
+    }
+    if (seen.has(expr)) {
+        diagnostics.push(error("EX002", "Expression graph must be acyclic.", path));
+        return;
+    }
+    seen.add(expr);
+    switch (expr.kind) {
+        case "literal":
+            validateKnownFields(expr, ["kind", "value", "type"], diagnostics, path);
+            if (!hasOwn(expr, "value") || !isJsonValue(expr.value))
+                diagnostics.push(error("EX002", "Expression literal value must be JSON-compatible.", `${path}.value`));
+            validateOptionalType(expr.type, diagnostics, `${path}.type`);
+            validateLiteralType(expr, diagnostics, path);
+            break;
+        case "ref":
+            validateKnownFields(expr, ["kind", "path", "type"], diagnostics, path);
+            validatePath(expr.path, diagnostics, `${path}.path`, "Expression ref path must be a non-empty string array.");
+            validateOptionalType(expr.type, diagnostics, `${path}.type`);
+            break;
+        case "var":
+            validateKnownFields(expr, ["kind", "id", "path", "type"], diagnostics, path);
+            if (typeof expr.id !== "string" || !scope.has(expr.id))
+                diagnostics.push(error("EX005", `Unbound expression variable '${String(expr.id)}'.`, path));
+            if (!hasOwn(expr, "path"))
+                diagnostics.push(error("EX006", "Expression var path must be a string array.", `${path}.path`));
+            else
+                validatePath(expr.path, diagnostics, `${path}.path`, "Expression var path must be a string array.", true);
+            validateOptionalType(expr.type, diagnostics, `${path}.type`);
+            break;
+        case "array":
+            validateKnownFields(expr, ["kind", "items", "type"], diagnostics, path);
+            validateExprArray(expr.items, diagnostics, `${path}.items`, scope, false, seen);
+            validateOptionalType(expr.type, diagnostics, `${path}.type`);
+            break;
+        case "object":
+            validateKnownFields(expr, ["kind", "fields", "type"], diagnostics, path);
+            validateExprFields(expr.fields, diagnostics, `${path}.fields`, scope, seen);
+            validateOptionalType(expr.type, diagnostics, `${path}.type`);
+            break;
+        case "template":
+            validateKnownFields(expr, ["kind", "template", "type"], diagnostics, path);
+            validateTemplate(expr.template, diagnostics, `${path}.template`, scope, seen);
+            validateOptionalType(expr.type, diagnostics, `${path}.type`);
+            break;
+        case "call":
+            validateKnownFields(expr, ["kind", "fn", "args", "type"], diagnostics, path);
+            validateCall(expr, diagnostics, path, scope, seen);
+            validateOptionalType(expr.type, diagnostics, `${path}.type`);
+            break;
+        case "lambda":
+            validateKnownFields(expr, ["kind", "params", "body"], diagnostics, path);
+            validateLambda(expr, diagnostics, path, scope, lambdaAllowed, seen);
+            break;
+        default:
+            diagnostics.push(error("EX002", `Unknown expression kind '${expr.kind}'.`, `${path}.kind`));
+    }
+    seen.delete(expr);
+}
+function validateCall(expr, diagnostics, path, scope, seen) {
+    if (typeof expr.fn !== "string") {
+        diagnostics.push(error("EX002", "Expression call fn must be a string.", `${path}.fn`));
+        return;
+    }
+    const spec = EXPRESSION_OPERATORS[expr.fn];
+    if (!spec) {
+        diagnostics.push(error("EX001", `Unknown expression operator '${expr.fn}'.`, `${path}.fn`));
+        return;
+    }
+    if (!Array.isArray(expr.args)) {
+        diagnostics.push(error("EX002", "Expression call args must be an array.", `${path}.args`));
+        return;
+    }
+    validateArity(expr.fn, expr.args.length, spec.arity, diagnostics, `${path}.args`);
+    forEachDense(expr.args, diagnostics, `${path}.args`, (arg, index) => {
+        if (spec.lambdaArgs.has(index) && (!isRecord(arg) || arg.kind !== "lambda")) {
+            diagnostics.push(error("EX004", `${expr.fn}(...) expected lambda callback.`, `${path}.args[${index}]`));
+            return;
+        }
+        validateExpr(arg, diagnostics, `${path}.args[${index}]`, scope, spec.lambdaArgs.has(index), seen);
+    });
+}
+function validateLambda(expr, diagnostics, path, scope, lambdaAllowed, seen) {
+    if (!lambdaAllowed) {
+        diagnostics.push(error("EX004", "Lambda expression is not allowed here.", path));
+        return;
+    }
+    if (!Array.isArray(expr.params)) {
+        diagnostics.push(error("EX002", "Lambda params must be an array.", `${path}.params`));
+        return;
+    }
+    const next = new Set(scope);
+    const local = new Set();
+    forEachDense(expr.params, diagnostics, `${path}.params`, (param, index) => {
+        const paramPath = `${path}.params[${index}]`;
+        if (!isRecord(param)) {
+            diagnostics.push(error("EX002", "Lambda param must contain a string id.", paramPath));
+            return;
+        }
+        validateKnownFields(param, ["id", "type"], diagnostics, paramPath);
+        if (typeof param.id !== "string")
+            diagnostics.push(error("EX002", "Lambda param must contain a string id.", paramPath));
+        else if (local.has(param.id))
+            diagnostics.push(error("EX007", `Duplicate lambda param id '${param.id}'.`, `${paramPath}.id`));
+        else {
+            local.add(param.id);
+            next.add(param.id);
+        }
+        validateOptionalType(param.type, diagnostics, `${paramPath}.type`);
+    });
+    validateExpr(expr.body, diagnostics, `${path}.body`, next, false, seen);
+}
+function validateExprArray(value, diagnostics, path, scope, lambdaAllowed, seen) {
+    if (!Array.isArray(value)) {
+        diagnostics.push(error("EX002", "Expression array items must be an array.", path));
+        return;
+    }
+    forEachDense(value, diagnostics, path, (item, index) => validateExpr(item, diagnostics, `${path}[${index}]`, scope, lambdaAllowed, seen));
+}
+function validateExprFields(value, diagnostics, path, scope, seen) {
+    if (!isRecord(value)) {
+        diagnostics.push(error("EX002", "Expression object fields must be an object.", path));
+        return;
+    }
+    for (const [key, item] of Object.entries(value))
+        validateExpr(item, diagnostics, `${path}.${key}`, scope, false, seen);
+}
+function validateTemplate(value, diagnostics, path, scope, seen) {
+    if (!isRecord(value) || value.kind !== "template" || !Array.isArray(value.parts)) {
+        diagnostics.push(error("EX002", "Expression template must contain template parts.", path));
+        return;
+    }
+    validateKnownFields(value, ["kind", "parts"], diagnostics, path);
+    forEachDense(value.parts, diagnostics, `${path}.parts`, (part, index) => {
+        const partPath = `${path}.parts[${index}]`;
+        if (!isRecord(part)) {
+            diagnostics.push(error("EX002", "Template part must be an object.", partPath));
+        }
+        else if (part.kind === "expr") {
+            validateKnownFields(part, ["kind", "expr"], diagnostics, partPath);
+            validateExpr(part.expr, diagnostics, `${partPath}.expr`, scope, false, seen);
+        }
+        else if (part.kind === "text") {
+            validateKnownFields(part, ["kind", "value"], diagnostics, partPath);
+            if (typeof part.value !== "string")
+                diagnostics.push(error("EX002", "Template text value must be a string.", `${partPath}.value`));
+        }
+        else {
+            diagnostics.push(error("EX002", `Unknown template part kind '${String(part.kind)}'.`, `${partPath}.kind`));
+        }
+    });
+}
+function validateOptionalType(value, diagnostics, path) {
+    if (value !== undefined)
+        validateType(value, diagnostics, path, new WeakSet());
+}
+function validateType(value, diagnostics, path, seen) {
+    if (!isRecord(value) || typeof value.kind !== "string") {
+        diagnostics.push(error("EX009", "Type metadata must be an object with a string kind.", path));
+        return;
+    }
+    if (seen.has(value)) {
+        diagnostics.push(error("EX009", "Type metadata must be acyclic.", path));
+        return;
+    }
+    seen.add(value);
+    switch (value.kind) {
+        case "unknown":
+        case "string":
+        case "number":
+        case "boolean":
+        case "null":
+            validateKnownFields(value, ["kind"], diagnostics, path);
+            break;
+        case "array":
+            validateKnownFields(value, ["kind", "item"], diagnostics, path);
+            validateType(value.item, diagnostics, `${path}.item`, seen);
+            break;
+        case "object": {
+            validateKnownFields(value, ["kind", "fields", "required", "additionalProperties"], diagnostics, path);
+            if (!isRecord(value.fields)) {
+                diagnostics.push(error("EX009", "Object type fields must be an object.", `${path}.fields`));
+            }
+            else {
+                for (const [key, field] of Object.entries(value.fields))
+                    validateType(field, diagnostics, `${path}.fields.${key}`, seen);
+            }
+            if (!Array.isArray(value.required)) {
+                diagnostics.push(error("EX009", "Object type required must be a string array.", `${path}.required`));
+            }
+            else {
+                forEachDense(value.required, diagnostics, `${path}.required`, (required, index) => {
+                    if (typeof required !== "string")
+                        diagnostics.push(error("EX009", "Object type required must be a string array.", `${path}.required[${index}]`));
+                    else if (isRecord(value.fields) && !hasOwn(value.fields, required))
+                        diagnostics.push(error("EX009", `Required type field '${required}' is not present in object fields.`, `${path}.required[${index}]`));
+                });
+            }
+            if (typeof value.additionalProperties !== "boolean")
+                diagnostics.push(error("EX009", "Object type additionalProperties must be a boolean.", `${path}.additionalProperties`));
+            break;
+        }
+        case "record":
+            validateKnownFields(value, ["kind", "value"], diagnostics, path);
+            validateType(value.value, diagnostics, `${path}.value`, seen);
+            break;
+        case "union":
+            validateKnownFields(value, ["kind", "variants"], diagnostics, path);
+            if (!Array.isArray(value.variants)) {
+                diagnostics.push(error("EX009", "Union type variants must be an array.", `${path}.variants`));
+            }
+            else {
+                forEachDense(value.variants, diagnostics, `${path}.variants`, (variant, index) => validateType(variant, diagnostics, `${path}.variants[${index}]`, seen));
+            }
+            break;
+        default:
+            diagnostics.push(error("EX009", `Unknown type kind '${value.kind}'.`, `${path}.kind`));
+    }
+    seen.delete(value);
+}
+function validateKnownFields(value, allowed, diagnostics, path) {
+    for (const key of Object.keys(value))
+        if (!allowed.includes(key))
+            diagnostics.push(error("EX002", `Unknown expression field '${key}'.`, `${path}.${key}`));
+}
+function validatePath(value, diagnostics, path, message, empty = false) {
+    if (!Array.isArray(value) || (!empty && value.length === 0)) {
+        diagnostics.push(error("EX006", message, path));
+        return;
+    }
+    forEachDense(value, diagnostics, path, (segment, index) => {
+        if (typeof segment !== "string")
+            diagnostics.push(error("EX006", message, `${path}[${index}]`));
+    });
+}
+function validateLiteralType(expr, diagnostics, path) {
+    if (!isRecord(expr.type) || typeof expr.type.kind !== "string")
+        return;
+    const value = expr.value;
+    const kind = value === null ? "null" : typeof value;
+    if (["string", "number", "boolean", "null"].includes(expr.type.kind) && expr.type.kind !== kind) {
+        diagnostics.push(error("EX008", "Literal type metadata does not match literal value.", `${path}.type`));
+    }
+}
+function validateArity(fn, actual, arity, diagnostics, path) {
+    if (Array.isArray(arity)) {
+        if (!arity.includes(actual))
+            diagnostics.push(error("EX003", `${fn}(...) expected ${formatArity(arity)} args, got ${actual}.`, path));
+        return;
+    }
+    if (actual < arity.min)
+        diagnostics.push(error("EX003", `${fn}(...) expected at least ${arity.min} args, got ${actual}.`, path));
+}
+function forEachDense(items, diagnostics, path, run) {
+    for (let index = 0; index < items.length; index++) {
+        if (!hasOwn(items, index)) {
+            diagnostics.push(error("EX002", "Array values must not contain sparse holes.", `${path}[${index}]`));
+            continue;
+        }
+        run(items[index], index);
+    }
+}
+function error(code, message, path) {
+    return { code, severity: "error", message, path };
+}
+function isRecord(value) {
+    return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function hasOwn(value, key) {
+    return Object.prototype.hasOwnProperty.call(value, key);
+}
+function isJsonValue(value, seen = new Set()) {
+    if (value === null || typeof value === "string" || typeof value === "number" || typeof value === "boolean")
+        return true;
+    if (Array.isArray(value)) {
+        if (seen.has(value))
+            return false;
+        seen.add(value);
+        for (let index = 0; index < value.length; index++) {
+            if (!hasOwn(value, index) || !isJsonValue(value[index], seen))
+                return false;
+        }
+        seen.delete(value);
+        return true;
+    }
+    if (!isRecord(value))
+        return false;
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null)
+        return false;
+    if (seen.has(value))
+        return false;
+    seen.add(value);
+    for (const item of Object.values(value))
+        if (!isJsonValue(item, seen))
+            return false;
+    seen.delete(value);
+    return true;
+}
+function formatArity(arity) {
+    return arity.length === 1 ? String(arity[0]) : arity.join(" or ");
+}
+//# sourceMappingURL=validator.js.map

package/dist/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAU/D,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC,CAAC;IACtE,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,YAAY,CACnB,IAAa,EACb,WAAmC,EACnC,IAAY,EACZ,KAAkB,EAClB,aAAsB,EACtB,IAAqB;IAErB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,kDAAkD,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3F,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,mCAAmC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5E,OAAO;IACT,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACxE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,mDAAmD,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,CAAC;YAC/J,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;YAC7D,mBAAmB,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC7C,MAAM;QACR,KAAK,KAAK;YACR,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACvE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,EAAE,uDAAuD,CAAC,CAAC;YAC9G,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;YAC7D,MAAM;QACR,KAAK,KAAK;YACR,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC7E,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,gCAAgC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACpJ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,6CAA6C,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC;;gBACtH,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,EAAE,6CAA6C,EAAE,IAAI,CAAC,CAAC;YAC/G,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;YAC7D,MAAM;QACR,KAAK,OAAO;YACV,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACxE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAChF,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;YAC7D,MAAM;QACR,KAAK,QAAQ;YACX,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACzE,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC5E,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;YAC7D,MAAM;QACR,KAAK,UAAU;YACb,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC3E,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,IAAI,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9E,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;YAC7D,MAAM;QACR,KAAK,MAAM;YACT,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC7E,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACnD,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;YAC7D,MAAM;QACR,KAAK,QAAQ;YACX,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACzE,cAAc,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;YACpE,MAAM;QACR;YACE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,4BAA4B,IAAI,CAAC,IAAI,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC;IAChG,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,IAA6B,EAAE,WAAmC,EAAE,IAAY,EAAE,KAAkB,EAAE,IAAqB;IAC/I,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QAChC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,sCAAsC,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC;QACvF,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,gCAAgC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC;QAC5F,OAAO;IACT,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,wCAAwC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC;QAC3F,OAAO;IACT,CAAC;IACD,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IAClF,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAClE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC5E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,iCAAiC,EAAE,GAAG,IAAI,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC;YACxG,OAAO;QACT,CAAC;QACD,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,IAAI,SAAS,KAAK,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,IAA6B,EAC7B,WAAmC,EACnC,IAAY,EACZ,KAAkB,EAClB,aAAsB,EACtB,IAAqB;IAErB,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,wCAAwC,EAAE,IAAI,CAAC,CAAC,CAAC;QACjF,OAAO;IACT,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,iCAAiC,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC,CAAC;QACtF,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACxE,MAAM,SAAS,GAAG,GAAG,IAAI,WAAW,KAAK,GAAG,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,wCAAwC,EAAE,SAAS,CAAC,CAAC,CAAC;YACtF,OAAO;QACT,CAAC;QACD,mBAAmB,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;QACnE,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,wCAAwC,EAAE,SAAS,CAAC,CAAC,CAAC;aACnH,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,8BAA8B,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,SAAS,KAAK,CAAC,CAAC,CAAC;aACzH,CAAC;YACJ,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrB,CAAC;QACD,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,SAAS,OAAO,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IACH,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,WAAmC,EACnC,IAAY,EACZ,KAAkB,EAClB,aAAsB,EACtB,IAAqB;IAErB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,0CAA0C,EAAE,IAAI,CAAC,CAAC,CAAC;QACnF,OAAO;IACT,CAAC;IACD,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5I,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,WAAmC,EAAE,IAAY,EAAE,KAAkB,EAAE,IAAqB;IACtI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,6CAA6C,EAAE,IAAI,CAAC,CAAC,CAAC;QACtF,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACzH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAE,WAAmC,EAAE,IAAY,EAAE,KAAkB,EAAE,IAAqB;IACpI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACjF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,kDAAkD,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3F,OAAO;IACT,CAAC;IACD,mBAAmB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IACjE,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI,QAAQ,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACtE,MAAM,QAAQ,GAAG,GAAG,IAAI,UAAU,KAAK,GAAG,CAAC;QAC3C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,kCAAkC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACjF,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChC,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;YACnE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,QAAQ,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/E,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChC,mBAAmB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;YACpE,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,uCAAuC,EAAE,GAAG,QAAQ,QAAQ,CAAC,CAAC,CAAC;QACrI,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,+BAA+B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,QAAQ,OAAO,CAAC,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAE,WAAmC,EAAE,IAAY;IAC7F,IAAI,KAAK,KAAK,SAAS;QAAE,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,WAAmC,EAAE,IAAY,EAAE,IAAqB;IAC5G,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,qDAAqD,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9F,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,gCAAgC,EAAE,IAAI,CAAC,CAAC,CAAC;QACzE,OAAO;IACT,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAEhB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,mBAAmB,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACxD,MAAM;QACR,KAAK,OAAO;YACV,mBAAmB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAChE,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,EAAE,IAAI,CAAC,CAAC;YAC5D,MAAM;QACR,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,mBAAmB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,sBAAsB,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACtG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,uCAAuC,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC,CAAC;YAC9F,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;oBAAE,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI,WAAW,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;YAC3H,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,8CAA8C,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC;YACvG,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,IAAI,WAAW,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;oBAChF,IAAI,OAAO,QAAQ,KAAK,QAAQ;wBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,8CAA8C,EAAE,GAAG,IAAI,aAAa,KAAK,GAAG,CAAC,CAAC,CAAC;yBAC5I,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC;wBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,wBAAwB,QAAQ,oCAAoC,EAAE,GAAG,IAAI,aAAa,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3M,CAAC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,OAAO,KAAK,CAAC,oBAAoB,KAAK,SAAS;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,qDAAqD,EAAE,GAAG,IAAI,uBAAuB,CAAC,CAAC,CAAC;YAC7K,MAAM;QACR,CAAC;QACD,KAAK,QAAQ;YACX,mBAAmB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACjE,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC9D,MAAM;QACR,KAAK,OAAO;YACV,mBAAmB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACpE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,uCAAuC,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC;YAChG,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,IAAI,WAAW,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,aAAa,KAAK,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5J,CAAC;YACD,MAAM;QACR;YACE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,KAAK,CAAC,IAAI,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC;IAC3F,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B,EAAE,OAA0B,EAAE,WAAmC,EAAE,IAAY;IACxI,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,6BAA6B,GAAG,IAAI,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;AAC7J,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,WAAmC,EAAE,IAAY,EAAE,OAAe,EAAE,KAAK,GAAG,KAAK;IACrH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5D,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAChD,OAAO;IACT,CAAC;IACD,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACxD,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,IAA6B,EAAE,WAAmC,EAAE,IAAY;IAC3G,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO;IACvE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,IAAI,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC;IACpD,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAChG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,qDAAqD,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC;IAC1G,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,EAAU,EAAE,MAAc,EAAE,KAA4B,EAAE,WAAmC,EAAE,IAAY;IAChI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,kBAAkB,WAAW,CAAC,KAAK,CAAC,cAAc,MAAM,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACtI,OAAO;IACT,CAAC;IACD,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,2BAA2B,KAAK,CAAC,GAAG,cAAc,MAAM,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACnI,CAAC;AAED,SAAS,YAAY,CAAI,KAAU,EAAE,WAAmC,EAAE,IAAY,EAAE,GAAqC;IAC3H,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,6CAA6C,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;YACrG,SAAS;QACX,CAAC;QACD,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,IAAkC,EAAE,OAAe,EAAE,IAAY;IAC9E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,GAAgB;IAC7C,OAAO,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,OAAO,IAAI,GAAG,EAAU;IAC3D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC9E,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACvE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IACpF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,KAAe;IAClC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACpE,CAAC"}

package/package.json

@@ -0,0 +1,60 @@
+{
+  "name": "@acpus/expression",
+  "version": "0.1.0-alpha.0",
+  "type": "module",
+  "description": "Acpus typed JSON-value expression language.",
+  "keywords": [
+    "acpus",
+    "expression",
+    "workflow",
+    "ir"
+  ],
+  "license": "MIT",
+  "engines": {
+    "node": ">=22"
+  },
+  "exports": {
+    ".": {
+      "development": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./ir": {
+      "development": "./src/ir.ts",
+      "types": "./dist/ir.d.ts",
+      "default": "./dist/ir.js"
+    },
+    "./validator": {
+      "development": "./src/validator.ts",
+      "types": "./dist/validator.d.ts",
+      "default": "./dist/validator.js"
+    },
+    "./evaluator": {
+      "development": "./src/evaluator.ts",
+      "types": "./dist/evaluator.d.ts",
+      "default": "./dist/evaluator.js"
+    }
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "neverthrow": "^8.2.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/kelvinschen/acpus"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "clean": "rm -rf dist"
+  }
+}