@procedures/compiler 0.0.0-stage → 0.3.0

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAgB,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,MAAM,SAAS,CAAC;AAElE,0EAA0E;AAC1E,MAAM,MAAM,KAAK,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GACpG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,KAAK,EAAE,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAE5F,wCAAwC;AACxC,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAW3C;AAED,uFAAuF;AACvF,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,KAAK,CAiBvF;AAED,+BAA+B;AAC/B,MAAM,WAAW,WAAW;IAC1B,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AA2PD,0FAA0F;AAC1F,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,GAAG,WAAW,EAAE,CAKvE"}

package/dist/schema.js

@@ -0,0 +1,325 @@
+/**
+ * The check of an input against the JSON Schema of a procedure (the manifest gives draft-07).
+ *
+ * The compiler knows only a part of an input before the run: the literals, and the keys of an
+ * object whose values are calls. This validator works on such a partial value (a shape). It
+ * reports only a definite problem: a value that the compiler knows and that the schema refuses.
+ * A part that the compiler does not know agrees with each schema.
+ */
+import { isPlainObject } from "@procedures/client/browser";
+import { childPointer } from "./ir.js";
+/** The shape of the value of a node. */
+export function shapeOf(node) {
+    switch (node.kind) {
+        case "literal":
+            return { kind: "known", value: node.value, pointer: node.pointer };
+        case "object":
+            return { kind: "object", entries: new Map(node.entries.map((entry) => [entry.key, shapeOf(entry.value)])), pointer: node.pointer };
+        case "array":
+            return { kind: "array", items: node.items.map(shapeOf), pointer: node.pointer };
+        default:
+            return { kind: "unknown", pointer: node.pointer };
+    }
+}
+/** The shape of an input with the parent context of control flow (`callOperand()`). */
+export function withExtra(shape, extra) {
+    const keys = Object.keys(extra);
+    if (keys.length === 0)
+        return shape;
+    const extraEntries = keys.map((key) => [key, { kind: "known", value: extra[key], pointer: shape.pointer }]);
+    switch (shape.kind) {
+        case "object":
+            return { kind: "object", entries: new Map([...shape.entries, ...extraEntries]), pointer: shape.pointer };
+        case "known": {
+            const value = shape.value;
+            const base = typeof value === "object" && value !== null && !Array.isArray(value) ? value : {};
+            return { kind: "known", value: { ...base, ...extra }, pointer: shape.pointer };
+        }
+        case "array":
+            return { kind: "known", value: { ...extra }, pointer: shape.pointer };
+        case "unknown":
+            return shape;
+    }
+}
+/** The JSON type of a known value, or undefined for a value that JSON does not have. */
+function jsonType(value) {
+    if (value === null)
+        return "null";
+    if (Array.isArray(value))
+        return "array";
+    switch (typeof value) {
+        case "string":
+            return "string";
+        case "number":
+            return Number.isFinite(value) ? "number" : undefined;
+        case "boolean":
+            return "boolean";
+        case "object":
+            return isPlainObject(value) ? "object" : undefined;
+        case "undefined":
+            return "undefined";
+        default:
+            return undefined;
+    }
+}
+function deepEqual(a, b) {
+    if (Object.is(a, b))
+        return true;
+    if (typeof a !== "object" || typeof b !== "object" || a === null || b === null)
+        return false;
+    if (Array.isArray(a) !== Array.isArray(b))
+        return false;
+    if (Array.isArray(a) && Array.isArray(b))
+        return a.length === b.length && a.every((item, index) => deepEqual(item, b[index]));
+    const keysA = Object.keys(a);
+    const keysB = Object.keys(b);
+    return keysA.length === keysB.length && keysA.every((key) => Object.hasOwn(b, key) && deepEqual(a[key], b[key]));
+}
+function pathText(path) {
+    let text = "";
+    for (const part of path)
+        text += typeof part === "number" ? `[${part}]` : text === "" ? part : `.${part}`;
+    return text;
+}
+/** The shape of a known value: an object or an array gives entries, so a problem has a path. */
+function expand(shape) {
+    if (shape.kind !== "known")
+        return shape;
+    const value = shape.value;
+    if (Array.isArray(value)) {
+        return { kind: "array", items: value.map((item, index) => ({ kind: "known", value: item, pointer: childPointer(shape.pointer, index) })), pointer: shape.pointer };
+    }
+    if (isPlainObject(value)) {
+        return {
+            kind: "object",
+            entries: new Map(Object.entries(value).map(([key, item]) => [key, { kind: "known", value: item, pointer: childPointer(shape.pointer, key) }])),
+            pointer: shape.pointer,
+        };
+    }
+    return shape;
+}
+/** The JSON type of a shape, or undefined when the compiler does not know it. */
+function typeOfShape(shape) {
+    switch (shape.kind) {
+        case "object":
+            return "object";
+        case "array":
+            return "array";
+        case "known":
+            return jsonType(shape.value);
+        case "unknown":
+            return undefined;
+    }
+}
+function typeMatches(actual, expected, value) {
+    const types = Array.isArray(expected) ? expected : [expected];
+    return types.some((type) => type === actual || (type === "integer" && actual === "number" && Number.isInteger(value)) || (type === "number" && actual === "integer"));
+}
+class Validator {
+    root;
+    issues = [];
+    depth = 0;
+    constructor(root) {
+        this.root = root;
+    }
+    issue(shape, path, message) {
+        this.issues.push({ pointer: shape.pointer, path: pathText(path), message });
+    }
+    resolve(ref) {
+        if (!ref.startsWith("#"))
+            return undefined;
+        let current = this.root;
+        for (const part of ref.slice(1).split("/").filter((segment) => segment !== "")) {
+            const key = decodeURIComponent(part).replace(/~1/g, "/").replace(/~0/g, "~");
+            if (current === null || typeof current !== "object" || !Object.hasOwn(current, key))
+                return undefined;
+            current = current[key];
+        }
+        return typeof current === "boolean" || (typeof current === "object" && current !== null) ? current : undefined;
+    }
+    /** True when the shape agrees with the schema (no definite problem). The problems go to `issues`. */
+    validate(shape, schema, path) {
+        if (schema === undefined || schema === true)
+            return true;
+        if (schema === false) {
+            if (shape.kind === "unknown")
+                return true;
+            this.issue(shape, path, "no value is valid here");
+            return false;
+        }
+        if (shape.kind === "unknown")
+            return true;
+        if (this.depth > 50)
+            return true;
+        this.depth++;
+        try {
+            return this.validateObject(shape, schema, path);
+        }
+        finally {
+            this.depth--;
+        }
+    }
+    branches(shape, schemas, path) {
+        if (!Array.isArray(schemas))
+            return true;
+        for (const branch of schemas) {
+            const probe = new Validator(this.root);
+            if (probe.validate(shape, branch, path))
+                return true;
+        }
+        return false;
+    }
+    validateObject(shape, schema, path) {
+        const before = this.issues.length;
+        const ref = schema["$ref"];
+        if (typeof ref === "string") {
+            const target = this.resolve(ref);
+            if (target !== undefined)
+                this.validate(shape, target, path);
+        }
+        if (Array.isArray(schema["allOf"]))
+            for (const part of schema["allOf"])
+                this.validate(shape, part, path);
+        for (const key of ["anyOf", "oneOf"]) {
+            if (schema[key] !== undefined && !this.branches(shape, schema[key], path)) {
+                this.issue(shape, path, "the value agrees with none of the allowed forms");
+            }
+        }
+        const actual = typeOfShape(shape);
+        const value = shape.kind === "known" ? shape.value : undefined;
+        if (actual === undefined)
+            return this.issues.length === before;
+        if (schema["type"] !== undefined && !typeMatches(actual, schema["type"], value)) {
+            const expected = Array.isArray(schema["type"]) ? schema["type"].join(" or ") : String(schema["type"]);
+            this.issue(shape, path, `expected ${expected}, got ${actual}`);
+            return false;
+        }
+        if (shape.kind === "known" && actual !== "object" && actual !== "array") {
+            if (Array.isArray(schema["enum"]) && !schema["enum"].some((option) => deepEqual(option, value))) {
+                this.issue(shape, path, `expected one of ${schema["enum"].map((option) => JSON.stringify(option)).join(", ")}`);
+            }
+            if (Object.hasOwn(schema, "const") && !deepEqual(schema["const"], value)) {
+                this.issue(shape, path, `expected ${JSON.stringify(schema["const"])}`);
+            }
+            if (actual === "string")
+                this.string(shape, value, schema, path);
+            if (actual === "number" || actual === "integer")
+                this.number(shape, value, schema, path);
+            return this.issues.length === before;
+        }
+        const expanded = expand(shape);
+        if (expanded.kind === "object")
+            this.properties(expanded, schema, path);
+        if (expanded.kind === "array")
+            this.items(expanded, schema, path);
+        if (shape.kind === "known" && (Array.isArray(schema["enum"]) || Object.hasOwn(schema, "const"))) {
+            const options = Array.isArray(schema["enum"]) ? schema["enum"] : [schema["const"]];
+            if (!options.some((option) => deepEqual(option, value)))
+                this.issue(shape, path, "the value is not one of the allowed values");
+        }
+        return this.issues.length === before;
+    }
+    string(shape, value, schema, path) {
+        const min = schema["minLength"];
+        const max = schema["maxLength"];
+        if (typeof min === "number" && value.length < min)
+            this.issue(shape, path, `expected a string of ${min} characters or more`);
+        if (typeof max === "number" && value.length > max)
+            this.issue(shape, path, `expected a string of ${max} characters or fewer`);
+        const pattern = schema["pattern"];
+        if (typeof pattern === "string") {
+            let regex;
+            try {
+                regex = new RegExp(pattern);
+            }
+            catch {
+                regex = undefined;
+            }
+            if (regex && !regex.test(value))
+                this.issue(shape, path, `expected a string that matches ${pattern}`);
+        }
+    }
+    number(shape, value, schema, path) {
+        const minimum = schema["minimum"];
+        const maximum = schema["maximum"];
+        const exclusiveMinimum = schema["exclusiveMinimum"];
+        const exclusiveMaximum = schema["exclusiveMaximum"];
+        if (typeof minimum === "number" && (exclusiveMinimum === true ? value <= minimum : value < minimum)) {
+            this.issue(shape, path, `expected a number ${exclusiveMinimum === true ? "greater than" : "of"} ${minimum}${exclusiveMinimum === true ? "" : " or more"}`);
+        }
+        if (typeof maximum === "number" && (exclusiveMaximum === true ? value >= maximum : value > maximum)) {
+            this.issue(shape, path, `expected a number ${exclusiveMaximum === true ? "less than" : "of"} ${maximum}${exclusiveMaximum === true ? "" : " or less"}`);
+        }
+        if (typeof exclusiveMinimum === "number" && value <= exclusiveMinimum)
+            this.issue(shape, path, `expected a number greater than ${exclusiveMinimum}`);
+        if (typeof exclusiveMaximum === "number" && value >= exclusiveMaximum)
+            this.issue(shape, path, `expected a number less than ${exclusiveMaximum}`);
+        const multipleOf = schema["multipleOf"];
+        if (typeof multipleOf === "number" && multipleOf > 0) {
+            const quotient = value / multipleOf;
+            if (Math.abs(quotient - Math.round(quotient)) > 1e-9)
+                this.issue(shape, path, `expected a multiple of ${multipleOf}`);
+        }
+    }
+    properties(shape, schema, path) {
+        const properties = isPlainObject(schema["properties"]) ? schema["properties"] : {};
+        const present = (key) => {
+            const entry = shape.entries.get(key);
+            return entry !== undefined && !(entry.kind === "known" && entry.value === undefined);
+        };
+        if (Array.isArray(schema["required"])) {
+            for (const key of schema["required"]) {
+                if (typeof key === "string" && !present(key))
+                    this.issue(shape, [...path, key], "the input has no value for this required key");
+            }
+        }
+        const patterns = isPlainObject(schema["patternProperties"]) ? Object.keys(schema["patternProperties"]) : [];
+        const additional = schema["additionalProperties"];
+        for (const [key, entry] of shape.entries) {
+            if (entry.kind === "known" && entry.value === undefined)
+                continue;
+            if (Object.hasOwn(properties, key)) {
+                this.validate(entry, properties[key], [...path, key]);
+                continue;
+            }
+            if (patterns.some((pattern) => safeTest(pattern, key)))
+                continue;
+            if (additional === false)
+                this.issue(entry, [...path, key], "the schema does not allow this key");
+            else if (typeof additional === "object" && additional !== null)
+                this.validate(entry, additional, [...path, key]);
+        }
+    }
+    items(shape, schema, path) {
+        const minItems = schema["minItems"];
+        const maxItems = schema["maxItems"];
+        if (typeof minItems === "number" && shape.items.length < minItems)
+            this.issue(shape, path, `expected ${minItems} items or more`);
+        if (typeof maxItems === "number" && shape.items.length > maxItems)
+            this.issue(shape, path, `expected ${maxItems} items or fewer`);
+        const prefix = Array.isArray(schema["prefixItems"]) ? schema["prefixItems"] : Array.isArray(schema["items"]) ? schema["items"] : undefined;
+        const rest = prefix ? (Array.isArray(schema["items"]) ? schema["additionalItems"] : schema["items"]) : schema["items"];
+        shape.items.forEach((item, index) => {
+            const itemSchema = prefix && index < prefix.length ? prefix[index] : rest;
+            if (itemSchema !== undefined)
+                this.validate(item, itemSchema, [...path, index]);
+        });
+    }
+}
+function safeTest(pattern, value) {
+    try {
+        return new RegExp(pattern).test(value);
+    }
+    catch {
+        return false;
+    }
+}
+/** This function gives the definite problems of a partial input against a JSON Schema. */
+export function checkShape(shape, schema) {
+    if (schema === undefined || schema === null || (typeof schema !== "object" && typeof schema !== "boolean"))
+        return [];
+    const validator = new Validator(schema);
+    validator.validate(shape, schema, []);
+    return validator.issues;
+}
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAA6B,MAAM,SAAS,CAAC;AASlE,wCAAwC;AACxC,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QACrE,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QACrI,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAClF;YACE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,SAAS,CAAC,KAAY,EAAE,KAAwC;IAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAmB,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7H,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAC3G,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;YAC1B,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QACjF,CAAC;QACD,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QACxE,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAaD,wFAAwF;AACxF,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACvD,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACrD,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC7F,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9H,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,SAAS,CAAE,CAA6B,CAAC,GAAG,CAAC,EAAG,CAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC7K,CAAC;AAED,SAAS,QAAQ,CAAC,IAAkC;IAClD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,IAAI;QAAE,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IAC1G,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gGAAgG;AAChG,SAAS,MAAM,CAAC,KAAY;IAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAC5K,CAAC;IACD,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAmB,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/J,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,SAAS,WAAW,CAAC,KAAY;IAC/B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,MAAc,EAAE,QAAiB,EAAE,KAAc;IACpE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC;AACxK,CAAC;AAED,MAAM,SAAS;IAIgB,IAAI;IAHxB,MAAM,GAAkB,EAAE,CAAC;IAC5B,KAAK,GAAG,CAAC,CAAC;IAElB,YAA6B,IAAY;oBAAZ,IAAI;IAAW,CAAC;IAErC,KAAK,CAAC,KAAY,EAAE,IAAkC,EAAE,OAAe;QAC7E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IAC9E,CAAC;IAEO,OAAO,CAAC,GAAW;QACzB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,OAAO,GAAY,IAAI,CAAC,IAAI,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,EAAE,CAAC;YAC/E,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC7E,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACtG,OAAO,GAAI,OAAmC,CAAC,GAAG,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAE,OAAkB,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7H,CAAC;IAED,qGAAqG;IACrG,QAAQ,CAAC,KAAY,EAAE,MAA0B,EAAE,IAAkC;QACnF,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACzD,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACrB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,wBAAwB,CAAC,CAAC;YAClD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC1C,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE;YAAE,OAAO,IAAI,CAAC;QACjC,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAClD,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC;IACH,CAAC;IAEO,QAAQ,CAAC,KAAY,EAAE,OAAgB,EAAE,IAAkC;QACjF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAgB,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACjE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,cAAc,CAAC,KAAY,EAAE,MAA+B,EAAE,IAAkC;QACtG,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAClC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAAE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAc,EAAE,IAAI,CAAC,CAAC;QACnH,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;YACrC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC1E,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,iDAAiD,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;QAC/D,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;YAChF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YACtG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,QAAQ,SAAS,MAAM,EAAE,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACxE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBAChG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,mBAAmB,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClH,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;gBACzE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;YACzE,CAAC;YACD,IAAI,MAAM,KAAK,QAAQ;gBAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAe,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3E,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAe,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACnG,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;QACvC,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACxE,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAClE,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YAChG,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YACnF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,4CAA4C,CAAC,CAAC;QACjI,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;IACvC,CAAC;IAEO,MAAM,CAAC,KAAY,EAAE,KAAa,EAAE,MAA+B,EAAE,IAAkC;QAC7G,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,wBAAwB,GAAG,qBAAqB,CAAC,CAAC;QAC7H,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,wBAAwB,GAAG,sBAAsB,CAAC,CAAC;QAC9H,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,KAAyB,CAAC;YAC9B,IAAI,CAAC;gBACH,KAAK,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK,GAAG,SAAS,CAAC;YACpB,CAAC;YACD,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,kCAAkC,OAAO,EAAE,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;IAEO,MAAM,CAAC,KAAY,EAAE,KAAa,EAAE,MAA+B,EAAE,IAAkC;QAC7G,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,gBAAgB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACpD,MAAM,gBAAgB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACpD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC;YACpG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,qBAAqB,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,GAAG,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QAC7J,CAAC;QACD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC;YACpG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,qBAAqB,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,GAAG,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QAC1J,CAAC;QACD,IAAI,OAAO,gBAAgB,KAAK,QAAQ,IAAI,KAAK,IAAI,gBAAgB;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,kCAAkC,gBAAgB,EAAE,CAAC,CAAC;QACrJ,IAAI,OAAO,gBAAgB,KAAK,QAAQ,IAAI,KAAK,IAAI,gBAAgB;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,+BAA+B,gBAAgB,EAAE,CAAC,CAAC;QAClJ,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;QACxC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,QAAQ,GAAG,KAAK,GAAG,UAAU,CAAC;YACpC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI;gBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,0BAA0B,UAAU,EAAE,CAAC,CAAC;QACxH,CAAC;IACH,CAAC;IAEO,UAAU,CAAC,KAAyC,EAAE,MAA+B,EAAE,IAAkC;QAC/H,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,OAAO,GAAG,CAAC,GAAW,EAAW,EAAE;YACvC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrC,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QACvF,CAAC,CAAC;QACF,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,8CAA8C,CAAC,CAAC;YAClI,CAAC;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5G,MAAM,UAAU,GAAG,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACzC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClE,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAW,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;gBAChE,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBAAE,SAAS;YACjE,IAAI,UAAU,KAAK,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,oCAAoC,CAAC,CAAC;iBAC7F,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI;gBAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAoB,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7H,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,KAAwC,EAAE,MAA+B,EAAE,IAAkC;QACzH,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,QAAQ,gBAAgB,CAAC,CAAC;QACjI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,QAAQ,iBAAiB,CAAC,CAAC;QAClI,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3I,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvH,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAClC,MAAM,UAAU,GAAG,MAAM,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1E,IAAI,UAAU,KAAK,SAAS;gBAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAoB,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAa;IAC9C,IAAI,CAAC;QACH,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,UAAU,CAAC,KAAY,EAAE,MAAe;IACtD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,SAAS,CAAC;QAAE,OAAO,EAAE,CAAC;IACtH,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC,MAAgB,CAAC,CAAC;IAClD,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAgB,EAAE,EAAE,CAAC,CAAC;IAChD,OAAO,SAAS,CAAC,MAAM,CAAC;AAC1B,CAAC"}

package/dist/scopes.d.ts

@@ -0,0 +1,25 @@
+/**
+ * The scopes pass: each `$ref` gets the binding that the interpreter reads.
+ *
+ * The pass follows `lookupOutputRef()` of the client. The innermost frame with the name gives the
+ * value. `$last` is the last result of the innermost frame that has one. A chain frame gets a
+ * name after its step: a step reads only the names of the steps before it. A name that no frame
+ * has is an error (`Unknown $ref name`). In the input of a deferred call, the runner can give the
+ * name later, so there the name stays.
+ */
+import { type Binding, type ProgramIR, type ScopeSnapshot } from "./ir.js";
+import type { Diagnostic } from "./diagnostics.js";
+/** A frame while the pass walks: the names grow as the steps of a chain pass. */
+interface Frame {
+    readonly names: Map<string, Binding>;
+    last: Binding | undefined;
+    /** The names of this step and the later steps of a chain, to find a use before the definition. */
+    later: ReadonlySet<string>;
+}
+type Env = readonly Frame[] | undefined;
+/** This function resolves the references of the IR and gives the diagnostics of the names. */
+export declare function resolveScopes(ir: ProgramIR): Diagnostic[];
+/** The static scope at a point: a copy of the frames, as `withScope()` gives them to a raw input. */
+export declare function snapshot(env: Env): ScopeSnapshot;
+export {};
+//# sourceMappingURL=scopes.d.ts.map

package/dist/scopes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scopes.d.ts","sourceRoot":"","sources":["../src/scopes.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAgB,KAAK,OAAO,EAA6C,KAAK,SAAS,EAAuC,KAAK,aAAa,EAAE,MAAM,SAAS,CAAC;AACzK,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,iFAAiF;AACjF,UAAU,KAAK;IACb,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1B,kGAAkG;IAClG,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC5B;AAED,KAAK,GAAG,GAAG,SAAS,KAAK,EAAE,GAAG,SAAS,CAAC;AAExC,8FAA8F;AAC9F,wBAAgB,aAAa,CAAC,EAAE,EAAE,SAAS,GAAG,UAAU,EAAE,CAKzD;AAMD,qGAAqG;AACrG,wBAAgB,QAAQ,CAAC,GAAG,EAAE,GAAG,GAAG,aAAa,CAGhD"}

package/dist/scopes.js

@@ -0,0 +1,202 @@
+/**
+ * The scopes pass: each `$ref` gets the binding that the interpreter reads.
+ *
+ * The pass follows `lookupOutputRef()` of the client. The innermost frame with the name gives the
+ * value. `$last` is the last result of the innermost frame that has one. A chain frame gets a
+ * name after its step: a step reads only the names of the steps before it. A name that no frame
+ * has is an error (`Unknown $ref name`). In the input of a deferred call, the runner can give the
+ * name later, so there the name stays.
+ */
+import { isPlainObject } from "@procedures/client/browser";
+import { isOutputRef } from "./refs.js";
+import { childPointer } from "./ir.js";
+/** This function resolves the references of the IR and gives the diagnostics of the names. */
+export function resolveScopes(ir) {
+    const diagnostics = [];
+    const root = ir.input ? [frameOf([["input", ir.input]])] : undefined;
+    visit(ir.root, root, diagnostics);
+    return diagnostics;
+}
+function frameOf(names) {
+    return { names: new Map(names), last: undefined, later: new Set() };
+}
+/** The static scope at a point: a copy of the frames, as `withScope()` gives them to a raw input. */
+export function snapshot(env) {
+    if (!env)
+        return undefined;
+    return env.map((frame) => ({ names: [...frame.names.entries()], last: frame.last }));
+}
+/** `lookupOutputRef()`: the binding of a name, or undefined. */
+function lookup(env, name) {
+    if (!env)
+        return undefined;
+    for (let index = env.length - 1; index >= 0; index--) {
+        const frame = env[index];
+        if (name === "$last") {
+            if (frame.last)
+                return frame.last;
+        }
+        else {
+            const binding = frame.names.get(name);
+            if (binding)
+                return binding;
+        }
+    }
+    return undefined;
+}
+function resolve(node, env, diagnostics) {
+    if (node.synthetic)
+        return;
+    node.binding = lookup(env, node.name);
+    if (node.binding)
+        return;
+    if (node.deferred) {
+        diagnostics.push({
+            severity: "info",
+            code: "unknown-name",
+            message: `No scope has the name "${node.name}" here. In the input of a deferred call, the $ref stays data for the runner.`,
+            pointer: node.pointer,
+        });
+        return;
+    }
+    const later = env?.some((frame) => frame.later.has(node.name)) ?? false;
+    const names = [...new Set((env ?? []).flatMap((frame) => [...frame.names.keys(), ...(frame.last ? ["$last"] : [])]))];
+    const known = names.length > 0 ? ` The names here: ${names.join(", ")}.` : " No name is in the scope here.";
+    diagnostics.push(later
+        ? {
+            severity: "error",
+            code: "use-before-definition",
+            message: `The $ref "${node.text}" reads "${node.name}" before the step that makes it: a step reads only the names of the steps before it.`,
+            pointer: node.pointer,
+        }
+        : {
+            severity: "error",
+            code: "unknown-name",
+            message: `Unknown $ref name "${node.name}" in "${node.text}".${known}${node.name === "$last" ? " The first step of a chain has no $last." : ""}`,
+            pointer: node.pointer,
+        });
+}
+function visitItems(items, env, diagnostics) {
+    if (items.kind === "list")
+        for (const item of items.items)
+            visit(item, env, diagnostics);
+    else
+        visit(items.value, env, diagnostics);
+}
+function visit(node, env, diagnostics) {
+    switch (node.kind) {
+        case "literal":
+        case "fail":
+            return;
+        case "reference":
+            resolve(node, env, diagnostics);
+            return;
+        case "object":
+            for (const entry of node.entries)
+                visit(entry.value, env, diagnostics);
+            return;
+        case "array":
+            for (const item of node.items)
+                visit(item, env, diagnostics);
+            return;
+        case "call":
+        case "deferred":
+            visit(node.input, env, diagnostics);
+            return;
+        case "dynamic":
+            node.scope = snapshot(env);
+            visit(node.input, env, diagnostics);
+            if (node.model)
+                visit(node.model, env, diagnostics);
+            // The body of procedure.define has its own scope (`input`): the program checks it as a body
+            else if (node.reason === "runs-refs" && node.key !== "procedure.define")
+                scanRaw(node.input, env, diagnostics);
+            return;
+        case "chain": {
+            const names = node.steps.map((step) => step.result.name);
+            const frame = { names: new Map(), last: undefined, later: new Set() };
+            const inner = [...(env ?? []), frame];
+            if (node.initialInput)
+                visit(node.initialInput, inner, diagnostics);
+            node.steps.forEach((step, index) => {
+                frame.later = new Set(names.slice(index).filter((name) => name !== undefined));
+                visit(step.node, inner, diagnostics);
+                if (step.result.name !== undefined)
+                    frame.names.set(step.result.name, step.result);
+                frame.last = step.result;
+            });
+            frame.later = new Set();
+            return;
+        }
+        case "parallel":
+            for (const task of node.tasks)
+                visit(task, env, diagnostics);
+            return;
+        case "conditional":
+            visit(node.condition, env, diagnostics);
+            if (node.then)
+                visit(node.then, env, diagnostics);
+            if (node.else)
+                visit(node.else, env, diagnostics);
+            return;
+        case "try":
+            visit(node.try, env, diagnostics);
+            visit(node.catch, [...(env ?? []), frameOf([["error", node.error]])], diagnostics);
+            return;
+        case "and":
+        case "or":
+            for (const value of node.values)
+                visit(value, env, diagnostics);
+            return;
+        case "map": {
+            visitItems(node.items, env, diagnostics);
+            // scopeWith({ [as]: item, index }): with `as: "index"`, the index replaces the item
+            if (node.fn)
+                visit(node.fn, [...(env ?? []), frameOf([[node.item.name, node.item], ["index", node.index]])], diagnostics);
+            return;
+        }
+        case "reduce": {
+            if (node.items)
+                visitItems(node.items, env, diagnostics);
+            visit(node.initial, env, diagnostics);
+            if (node.fn) {
+                visit(node.fn, [...(env ?? []), frameOf([["acc", node.acc], ["item", node.item], ["index", node.index]])], diagnostics);
+            }
+            return;
+        }
+    }
+}
+/**
+ * This function examines the raw input of a procedure that runs refs (`dag.traverse`, `core.catch`).
+ * Its `$ref` values read the scope of the caller, or a name that the runner gives. An unknown
+ * name is a warning.
+ */
+function scanRaw(node, env, diagnostics) {
+    if (node.kind !== "literal")
+        return;
+    const seen = new Set();
+    const walk = (value, pointer) => {
+        if (value === null || typeof value !== "object" || seen.has(value))
+            return;
+        seen.add(value);
+        if (isOutputRef(value)) {
+            const name = value.$ref.split(".")[0] ?? "";
+            if (env && !lookup(env, name)) {
+                diagnostics.push({
+                    severity: "warning",
+                    code: "unknown-name",
+                    message: `No scope has the name "${name}" here. The procedure that runs this input can give the name, or the $ref fails.`,
+                    pointer,
+                });
+            }
+            return;
+        }
+        if (Array.isArray(value))
+            value.forEach((item, index) => walk(item, childPointer(pointer, index)));
+        else if (isPlainObject(value))
+            for (const [key, item] of Object.entries(value))
+                walk(item, childPointer(pointer, key));
+    };
+    walk(node.value, node.pointer);
+}
+//# sourceMappingURL=scopes.js.map

package/dist/scopes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scopes.js","sourceRoot":"","sources":["../src/scopes.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,YAAY,EAAoI,MAAM,SAAS,CAAC;AAazK,8FAA8F;AAC9F,MAAM,UAAU,aAAa,CAAC,EAAa;IACzC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAClC,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,OAAO,CAAC,KAAgD;IAC/D,OAAO,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AACtE,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,QAAQ,CAAC,GAAQ;IAC/B,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAc,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,gEAAgE;AAChE,SAAS,MAAM,CAAC,GAAQ,EAAE,IAAY;IACpC,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,KAAK,IAAI,KAAK,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,IAAI,KAAK,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QACpC,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,OAAO,CAAC,IAAmB,EAAE,GAAQ,EAAE,WAAyB;IACvE,IAAI,IAAI,CAAC,SAAS;QAAE,OAAO;IAC3B,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO;IACzB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,0BAA0B,IAAI,CAAC,IAAI,8EAA8E;YAC1H,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;IACxE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,gCAAgC,CAAC;IAC5G,WAAW,CAAC,IAAI,CACd,KAAK;QACH,CAAC,CAAC;YACE,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,uBAAuB;YAC7B,OAAO,EAAE,aAAa,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,IAAI,sFAAsF;YAC1I,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB;QACH,CAAC,CAAC;YACE,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,sBAAsB,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,IAAI,KAAK,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC,CAAC,EAAE,EAAE;YAChJ,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CACN,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAgB,EAAE,GAAQ,EAAE,WAAyB;IACvE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;;QACpF,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,GAAQ,EAAE,WAAyB;IAC9D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO;QACT,KAAK,WAAW;YACd,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAChC,OAAO;QACT,KAAK,QAAQ;YACX,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO;gBAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACvE,OAAO;QACT,KAAK,OAAO;YACV,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAC7D,OAAO;QACT,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACpC,OAAO;QACT,KAAK,SAAS;YACZ,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACpC,IAAI,IAAI,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACpD,4FAA4F;iBACvF,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,GAAG,KAAK,kBAAkB;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAC/G,OAAO;QACT,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACzD,MAAM,KAAK,GAAU,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;YAC7E,MAAM,KAAK,GAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAC3C,IAAI,IAAI,CAAC,YAAY;gBAAE,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;YACpE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACjC,KAAK,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC;gBAC/F,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;gBACrC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;gBACnF,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;YACxB,OAAO;QACT,CAAC;QACD,KAAK,UAAU;YACb,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAC7D,OAAO;QACT,KAAK,aAAa;YAChB,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACxC,IAAI,IAAI,CAAC,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAClD,IAAI,IAAI,CAAC,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAClD,OAAO;QACT,KAAK,KAAK;YACR,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YACnF,OAAO;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM;gBAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAChE,OAAO;QACT,KAAK,KAAK,EAAE,CAAC;YACX,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACzC,oFAAoF;YACpF,IAAI,IAAI,CAAC,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YAC3H,OAAO;QACT,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,KAAK;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;gBACZ,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YAC1H,CAAC;YACD,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,OAAO,CAAC,IAAY,EAAE,GAAQ,EAAE,WAAyB;IAChE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,OAAgB,EAAQ,EAAE;QACtD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QAC3E,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC9B,WAAW,CAAC,IAAI,CAAC;oBACf,QAAQ,EAAE,SAAS;oBACnB,IAAI,EAAE,cAAc;oBACpB,OAAO,EAAE,0BAA0B,IAAI,kFAAkF;oBACzH,OAAO;iBACR,CAAC,CAAC;YACL,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;aAC9F,IAAI,aAAa,CAAC,KAAK,CAAC;YAAE,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IACzH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC"}