@party-stack/ontology 0.1.0 → 0.2.0

package/lib/ir/validate.js

@@ -1,4 +1,4 @@
-function validateTypeDef(type, path, valueTypeNames) {
+function validateTypeDef(type, path, valueTypeNames, objectTypeNames) {
     switch (type.kind) {
         case "string":
         case "boolean":
@@ -9,9 +9,19 @@ function validateTypeDef(type, path, valueTypeNames) {
         case "timestamp":
         case "geopoint":
         case "attachment":
+        case "unknown":
             return [];
+        case "objectReference":
+            return objectTypeNames.has(type.value.objectType)
+                ? []
+                : [
+                    {
+                        message: `Unknown object type reference: "${type.value.objectType}".`,
+                        path: [...path, "objectType"],
+                    },
+                ];
         case "list":
-            return validateTypeDef(type.value.elementType, [...path, "elementType"], valueTypeNames);
+            return validateTypeDef(type.value.elementType, [...path, "elementType"], valueTypeNames, objectTypeNames);
         case "map": {
             const errors = [];
             if (type.value.keyType.kind !== "string") {
@@ -22,20 +32,20 @@ function validateTypeDef(type, path, valueTypeNames) {
             }
             return [
                 ...errors,
-                ...validateTypeDef(type.value.keyType, [...path, "keyType"], valueTypeNames),
-                ...validateTypeDef(type.value.valueType, [...path, "valueType"], valueTypeNames),
+                ...validateTypeDef(type.value.keyType, [...path, "keyType"], valueTypeNames, objectTypeNames),
+                ...validateTypeDef(type.value.valueType, [...path, "valueType"], valueTypeNames, objectTypeNames),
             ];
         }
         case "struct":
-            return validateStructFields(type.value.fields, [...path, "fields"], valueTypeNames);
+            return validateStructFields(type.value.fields, [...path, "fields"], valueTypeNames, objectTypeNames);
         case "union":
-            return validateUnionVariants(type.value.variants, [...path, "variants"], valueTypeNames);
+            return validateUnionVariants(type.value.variants, [...path, "variants"], valueTypeNames, objectTypeNames);
         case "optional":
-            return validateTypeDef(type.value.type, [...path, "type"], valueTypeNames);
+            return validateTypeDef(type.value.type, [...path, "type"], valueTypeNames, objectTypeNames);
         case "result":
             return [
-                ...validateTypeDef(type.value.okType, [...path, "okType"], valueTypeNames),
-                ...validateTypeDef(type.value.errType, [...path, "errType"], valueTypeNames),
+                ...validateTypeDef(type.value.okType, [...path, "okType"], valueTypeNames, objectTypeNames),
+                ...validateTypeDef(type.value.errType, [...path, "errType"], valueTypeNames, objectTypeNames),
             ];
         case "ref":
             return valueTypeNames.has(type.value.name)
@@ -48,7 +58,7 @@ function validateTypeDef(type, path, valueTypeNames) {
                 ];
     }
 }
-function validateStructFields(fields, path, valueTypeNames) {
+function validateStructFields(fields, path, valueTypeNames, objectTypeNames) {
     const fieldNames = new Set();
     const errors = [];
     for (let i = 0; i < fields.length; i++) {
@@ -58,11 +68,11 @@ function validateStructFields(fields, path, valueTypeNames) {
             errors.push({ message: `Duplicate field name: "${field.name}".`, path: [...fieldPath, "name"] });
         }
         fieldNames.add(field.name);
-        errors.push(...validateTypeDef(field.type, [...fieldPath, "type"], valueTypeNames));
+        errors.push(...validateTypeDef(field.type, [...fieldPath, "type"], valueTypeNames, objectTypeNames));
     }
     return errors;
 }
-function validateUnionVariants(variants, path, valueTypeNames) {
+function validateUnionVariants(variants, path, valueTypeNames, objectTypeNames) {
     const seen = new Set();
     const errors = [];
     for (let i = 0; i < variants.length; i++) {
@@ -75,11 +85,11 @@ function validateUnionVariants(variants, path, valueTypeNames) {
             });
         }
         seen.add(variant.name);
-        errors.push(...validateTypeDef(variant.type, [...variantPath, "type"], valueTypeNames));
+        errors.push(...validateTypeDef(variant.type, [...variantPath, "type"], valueTypeNames, objectTypeNames));
     }
     return errors;
 }
-function validateProperties(properties, path, valueTypeNames) {
+function validateProperties(properties, path, valueTypeNames, objectTypeNames) {
     const names = new Set();
     const errors = [];
     for (let i = 0; i < properties.length; i++) {
@@ -92,7 +102,214 @@ function validateProperties(properties, path, valueTypeNames) {
             });
         }
         names.add(prop.name);
-        errors.push(...validateTypeDef(prop.type, [...propPath, "type"], valueTypeNames));
+        errors.push(...validateTypeDef(prop.type, [...propPath, "type"], valueTypeNames, objectTypeNames));
+    }
+    return errors;
+}
+function resolveType(type, valueTypes, seen = new Set()) {
+    if (type.kind !== "ref") {
+        return type;
+    }
+    const name = type.value.name;
+    if (seen.has(name)) {
+        return undefined;
+    }
+    const resolved = valueTypes.get(name);
+    if (!resolved) {
+        return undefined;
+    }
+    return resolveType(resolved, valueTypes, new Set([...seen, name]));
+}
+function resolveParameterReferenceType(type, path, valueTypes, objectTypes) {
+    const resolvedType = resolveType(type, valueTypes);
+    if (!resolvedType) {
+        return undefined;
+    }
+    if (path.length === 0) {
+        return resolvedType;
+    }
+    const [segment, ...rest] = path;
+    switch (resolvedType.kind) {
+        case "optional":
+            return resolveParameterReferenceType(resolvedType.value.type, path, valueTypes, objectTypes);
+        case "struct": {
+            const field = resolvedType.value.fields.find((candidate) => candidate.name === segment);
+            return field
+                ? resolveParameterReferenceType(field.type, rest, valueTypes, objectTypes)
+                : undefined;
+        }
+        case "objectReference": {
+            const objectType = objectTypes.get(resolvedType.value.objectType);
+            if (!objectType) {
+                return undefined;
+            }
+            const property = objectType.properties.find((candidate) => candidate.name === segment);
+            return property
+                ? resolveParameterReferenceType(property.type, rest, valueTypes, objectTypes)
+                : undefined;
+        }
+        default:
+            return undefined;
+    }
+}
+function validateExpression(expression, parameters, path, valueTypes, objectTypes) {
+    switch (expression.kind) {
+        case "valueReference": {
+            if (expression.value.path.length === 0) {
+                return [{ message: "Value references must include a parameter path.", path: [...path, "path"] }];
+            }
+            const [parameterName, ...parameterPath] = expression.value.path;
+            const parameter = parameters.get(parameterName);
+            if (!parameter) {
+                return [
+                    {
+                        message: `Unknown action parameter: "${parameterName}".`,
+                        path: [...path, "path", 0],
+                    },
+                ];
+            }
+            return resolveParameterReferenceType(parameter.type, parameterPath, valueTypes, objectTypes)
+                ? []
+                : [
+                    {
+                        message: `Invalid value reference path on "${parameterName}".`,
+                        path: [...path, "path"],
+                    },
+                ];
+        }
+        case "contextReference":
+            return expression.value.path.length > 0
+                ? []
+                : [{ message: "Context references must include a path.", path: [...path, "path"] }];
+        case "functionCall":
+        case "literal":
+            return [];
+    }
+}
+function validateActionObjectReference(reference, parameters, path, valueTypes, objectTypes) {
+    if (reference.path.length !== 1) {
+        return {
+            errors: [
+                {
+                    message: "Action targets must point directly to an object reference parameter.",
+                    path: [...path, "path"],
+                },
+            ],
+        };
+    }
+    const [parameterName] = reference.path;
+    const parameter = parameters.get(parameterName);
+    if (!parameter) {
+        return {
+            errors: [
+                {
+                    message: `Unknown action parameter: "${parameterName}".`,
+                    path: [...path, "path", 0],
+                },
+            ],
+        };
+    }
+    const resolved = resolveParameterReferenceType(parameter.type, [], valueTypes, objectTypes);
+    if (!resolved || resolved.kind !== "objectReference") {
+        return {
+            errors: [
+                {
+                    message: `Action target parameter "${parameterName}" must be an object reference.`,
+                    path: [...path, "path", 0],
+                },
+            ],
+        };
+    }
+    const targetObjectType = objectTypes.get(resolved.value.objectType);
+    return targetObjectType
+        ? { errors: [], objectType: targetObjectType }
+        : {
+            errors: [
+                {
+                    message: `Unknown object type reference: "${resolved.value.objectType}".`,
+                    path: [...path, "path", 0],
+                },
+            ],
+        };
+}
+function validateActionPropertyAssignment(assignment, target, parameters, path, valueTypes, objectTypes) {
+    if (assignment.property.length === 0) {
+        return [{ message: "Action property assignments must specify a property.", path: [...path, "property"] }];
+    }
+    const [propertyName, ...rest] = assignment.property;
+    const property = target.properties.find((candidate) => candidate.name === propertyName);
+    if (!property) {
+        return [
+            {
+                message: `Unknown property "${propertyName}" on object type "${target.name}".`,
+                path: [...path, "property"],
+            },
+        ];
+    }
+    const resolved = resolveParameterReferenceType(property.type, rest, valueTypes, objectTypes);
+    const errors = validateExpression(assignment.value, parameters, [...path, "value"], valueTypes, objectTypes);
+    return resolved
+        ? errors
+        : [
+            ...errors,
+            {
+                message: `Invalid property "${assignment.property.join(".")}" on object type "${target.name}".`,
+                path: [...path, "property"],
+            },
+        ];
+}
+function validateAction(action, path, valueTypes, objectTypes) {
+    const errors = [];
+    const parameters = new Map(action.parameters.map((parameter) => [parameter.name, parameter]));
+    const seenParameters = new Set();
+    for (let index = 0; index < action.parameters.length; index++) {
+        const parameter = action.parameters[index];
+        const parameterPath = [...path, "parameters", index];
+        if (seenParameters.has(parameter.name)) {
+            errors.push({
+                message: `Duplicate action parameter name: "${parameter.name}".`,
+                path: [...parameterPath, "name"],
+            });
+        }
+        seenParameters.add(parameter.name);
+        errors.push(...validateTypeDef(parameter.type, [...parameterPath, "type"], new Set(valueTypes.keys()), new Set(objectTypes.keys())));
+        if (parameter.defaultValue) {
+            errors.push(...validateExpression(parameter.defaultValue, parameters, [...parameterPath, "defaultValue"], valueTypes, objectTypes));
+        }
+    }
+    for (let index = 0; index < action.logic.length; index++) {
+        const step = action.logic[index];
+        const stepPath = [...path, "logic", index];
+        switch (step.kind) {
+            case "createObject": {
+                const objectType = objectTypes.get(step.value.objectType);
+                if (!objectType) {
+                    errors.push({
+                        message: `Unknown object type "${step.value.objectType}" in action "${action.name}".`,
+                        path: [...stepPath, "value", "objectType"],
+                    });
+                    continue;
+                }
+                for (let valueIndex = 0; valueIndex < step.value.values.length; valueIndex++) {
+                    errors.push(...validateActionPropertyAssignment(step.value.values[valueIndex], objectType, parameters, [...stepPath, "value", "values", valueIndex], valueTypes, objectTypes));
+                }
+                break;
+            }
+            case "updateObject": {
+                const target = validateActionObjectReference(step.value.object, parameters, [...stepPath, "value", "object"], valueTypes, objectTypes);
+                errors.push(...target.errors);
+                if (!target.objectType) {
+                    continue;
+                }
+                for (let valueIndex = 0; valueIndex < step.value.values.length; valueIndex++) {
+                    errors.push(...validateActionPropertyAssignment(step.value.values[valueIndex], target.objectType, parameters, [...stepPath, "value", "values", valueIndex], valueTypes, objectTypes));
+                }
+                break;
+            }
+            case "deleteObject":
+                errors.push(...validateActionObjectReference(step.value.object, parameters, [...stepPath, "value", "object"], valueTypes, objectTypes).errors);
+                break;
+        }
     }
     return errors;
 }
@@ -110,12 +327,6 @@ export function validate(ontology) {
         }
         valueTypeNames.add(vt.name);
     }
-    // Validate value type definitions
-    for (let i = 0; i < ontology.types.length; i++) {
-        const vt = ontology.types[i];
-        errors.push(...validateTypeDef(vt.type, ["types", i, "type"], valueTypeNames));
-    }
-    // Collect object type names for link validation
     const objectTypeNames = new Set();
     for (let i = 0; i < ontology.objectTypes.length; i++) {
         const ot = ontology.objectTypes[i];
@@ -127,12 +338,19 @@ export function validate(ontology) {
         }
         objectTypeNames.add(ot.name);
     }
+    const valueTypes = new Map(ontology.types.map((type) => [type.name, type.type]));
+    const objectTypes = new Map(ontology.objectTypes.map((objectType) => [objectType.name, objectType]));
+    // Validate value type definitions once both namespaces are known.
+    for (let i = 0; i < ontology.types.length; i++) {
+        const vt = ontology.types[i];
+        errors.push(...validateTypeDef(vt.type, ["types", i, "type"], valueTypeNames, objectTypeNames));
+    }
     // Validate object types
     for (let i = 0; i < ontology.objectTypes.length; i++) {
         const ot = ontology.objectTypes[i];
         const otPath = ["objectTypes", i];
         // Validate properties
-        errors.push(...validateProperties(ot.properties, [...otPath, "properties"], valueTypeNames));
+        errors.push(...validateProperties(ot.properties, [...otPath, "properties"], valueTypeNames, objectTypeNames));
         // Validate primary key references a valid property
         const propertyNames = new Set(ot.properties.map((p) => p.name));
         if (!propertyNames.has(ot.primaryKey)) {
@@ -177,6 +395,19 @@ export function validate(ontology) {
             });
         }
     }
+    const actionNames = new Set();
+    for (let i = 0; i < ontology.actionTypes.length; i++) {
+        const action = ontology.actionTypes[i];
+        const actionPath = ["actionTypes", i];
+        if (actionNames.has(action.name)) {
+            errors.push({
+                message: `Duplicate action type name: "${action.name}".`,
+                path: [...actionPath, "name"],
+            });
+        }
+        actionNames.add(action.name);
+        errors.push(...validateAction(action, actionPath, valueTypes, objectTypes));
+    }
     return errors.length === 0 ? { kind: "ok" } : { kind: "err", errors };
 }
 //# sourceMappingURL=validate.js.map

package/lib/ir/validate.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/ir/validate.ts"],"names":[],"mappings":"AAWA,SAAS,eAAe,CACpB,IAAa,EACb,IAA6B,EAC7B,cAA2B;IAE3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY;YACb,OAAO,EAAE,CAAC;QAEd,KAAK,MAAM;YACP,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,EAAE,cAAc,CAAC,CAAC;QAE7F,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,MAAM,MAAM,GAAsB,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC;oBACR,OAAO,EAAE,+BAA+B;oBACxC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC;iBAC7B,CAAC,CAAC;YACP,CAAC;YACD,OAAO;gBACH,GAAG,MAAM;gBACT,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,cAAc,CAAC;gBAC5E,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,GAAG,IAAI,EAAE,WAAW,CAAC,EAAE,cAAc,CAAC;aACnF,CAAC;QACN,CAAC;QAED,KAAK,QAAQ;YACT,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,EAAE,cAAc,CAAC,CAAC;QAExF,KAAK,OAAO;YACR,OAAO,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,EAAE,cAAc,CAAC,CAAC;QAE7F,KAAK,UAAU;YACX,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC;QAE/E,KAAK,QAAQ;YACT,OAAO;gBACH,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,EAAE,cAAc,CAAC;gBAC1E,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,cAAc,CAAC;aAC/E,CAAC;QAEN,KAAK,KAAK;YACN,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBACtC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACI;wBACI,OAAO,EAAE,kCAAkC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI;wBAC9D,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC;qBAC1B;iBACJ,CAAC;IAChB,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CACzB,MAAmE,EACnE,IAA6B,EAC7B,cAA2B;IAE3B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;QAE/B,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,0BAA0B,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE3B,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;IACxF,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,qBAAqB,CAC1B,QAAgD,EAChD,IAA6B,EAC7B,cAA2B;IAE3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;QAEjC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,4BAA4B,OAAO,CAAC,IAAI,IAAI;gBACrD,IAAI,EAAE,CAAC,GAAG,WAAW,EAAE,MAAM,CAAC;aACjC,CAAC,CAAC;QACP,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAEvB,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,WAAW,EAAE,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;IAC5F,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACvB,UAAyB,EACzB,IAA6B,EAC7B,cAA2B;IAE3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;QAE9B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,6BAA6B,IAAI,CAAC,IAAI,IAAI;gBACnD,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC;aAC9B,CAAC,CAAC;QACP,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAErB,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;IACtF,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,QAAoB;IACzC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,8CAA8C;IAC9C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC9B,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,+BAA+B,EAAE,CAAC,IAAI,IAAI;gBACnD,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC;aAC7B,CAAC,CAAC;QACP,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,kCAAkC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,gDAAgD;IAChD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACpC,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,gCAAgC,EAAE,CAAC,IAAI,IAAI;gBACpD,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC,EAAE,MAAM,CAAC;aACnC,CAAC,CAAC;QACP,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,wBAAwB;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACpC,MAAM,MAAM,GAAG,CAAC,aAAa,EAAE,CAAC,CAA4B,CAAC;QAE7D,sBAAsB;QACtB,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,GAAG,MAAM,EAAE,YAAY,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;QAE7F,mDAAmD;QACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,gBAAgB,EAAE,CAAC,UAAU,wCAAwC;gBAC9E,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,YAAY,CAAC;aAClC,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,sBAAsB;IACtB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC,CAA4B,CAAC;QAE3D,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,4BAA4B,EAAE,CAAC,EAAE,IAAI;gBAC9C,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC;aAC1B,CAAC,CAAC;QACP,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAEnB,oEAAoE;QACpE,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7D,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,qCAAqC,EAAE,CAAC,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI;gBAC7F,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC;aACtC,CAAC,CAAC;QACP,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAExB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,uBAAuB,EAAE,CAAC,MAAM,CAAC,UAAU,mBAAmB;gBACvE,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC;aAC5C,CAAC,CAAC;QACP,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,uBAAuB,EAAE,CAAC,MAAM,CAAC,UAAU,mBAAmB;gBACvE,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC;aAC5C,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC1E,CAAC"}
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/ir/validate.ts"],"names":[],"mappings":"AAqBA,SAAS,eAAe,CACpB,IAAa,EACb,IAA6B,EAC7B,cAA2B,EAC3B,eAA4B;IAE5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS;YACV,OAAO,EAAE,CAAC;QAEd,KAAK,iBAAiB;YAClB,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;gBAC7C,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACI;wBACI,OAAO,EAAE,mCAAmC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI;wBACrE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,YAAY,CAAC;qBAChC;iBACJ,CAAC;QAEZ,KAAK,MAAM;YACP,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;QAE9G,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,MAAM,MAAM,GAAsB,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC;oBACR,OAAO,EAAE,+BAA+B;oBACxC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC;iBAC7B,CAAC,CAAC;YACP,CAAC;YACD,OAAO;gBACH,GAAG,MAAM;gBACT,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC;gBAC7F,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,GAAG,IAAI,EAAE,WAAW,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC;aACpG,CAAC;QACN,CAAC;QAED,KAAK,QAAQ;YACT,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;QAEzG,KAAK,OAAO;YACR,OAAO,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;QAE9G,KAAK,UAAU;YACX,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;QAEhG,KAAK,QAAQ;YACT,OAAO;gBACH,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC;gBAC3F,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC;aAChG,CAAC;QAEN,KAAK,KAAK;YACN,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBACtC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACI;wBACI,OAAO,EAAE,kCAAkC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI;wBAC9D,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC;qBAC1B;iBACJ,CAAC;IAChB,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CACzB,MAAmE,EACnE,IAA6B,EAC7B,cAA2B,EAC3B,eAA4B;IAE5B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;QAE/B,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,0BAA0B,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE3B,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,SAAS,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;IACzG,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,qBAAqB,CAC1B,QAAgD,EAChD,IAA6B,EAC7B,cAA2B,EAC3B,eAA4B;IAE5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;QAEjC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,4BAA4B,OAAO,CAAC,IAAI,IAAI;gBACrD,IAAI,EAAE,CAAC,GAAG,WAAW,EAAE,MAAM,CAAC;aACjC,CAAC,CAAC;QACP,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAEvB,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,WAAW,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;IAC7G,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACvB,UAAyB,EACzB,IAA6B,EAC7B,cAA2B,EAC3B,eAA4B;IAE5B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;QAE9B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,6BAA6B,IAAI,CAAC,IAAI,IAAI;gBACnD,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC;aAC9B,CAAC,CAAC;QACP,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAErB,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;IACvG,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CAChB,IAAa,EACb,UAAwC,EACxC,OAAO,IAAI,GAAG,EAAU;IAExB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,OAAO,WAAW,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,6BAA6B,CAClC,IAAa,EACb,IAAc,EACd,UAAwC,EACxC,WAA+C;IAE/C,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACnD,IAAI,CAAC,YAAY,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,YAAY,CAAC;IACxB,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAEhC,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,UAAU;YACX,OAAO,6BAA6B,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACjG,KAAK,QAAQ,CAAC,CAAC,CAAC;YACZ,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACxF,OAAO,KAAK;gBACR,CAAC,CAAC,6BAA6B,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC;gBAC1E,CAAC,CAAC,SAAS,CAAC;QACpB,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACrB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAClE,IAAI,CAAC,UAAU,EAAE,CAAC;gBACd,OAAO,SAAS,CAAC;YACrB,CAAC;YACD,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACvF,OAAO,QAAQ;gBACX,CAAC,CAAC,6BAA6B,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC;gBAC7E,CAAC,CAAC,SAAS,CAAC;QACpB,CAAC;QACD;YACI,OAAO,SAAS,CAAC;IACzB,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACvB,UAAsB,EACtB,UAAmD,EACnD,IAA6B,EAC7B,UAAwC,EACxC,WAA+C;IAE/C,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACpB,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,CAAC,EAAE,OAAO,EAAE,iDAAiD,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;YACrG,CAAC;YAED,MAAM,CAAC,aAAa,EAAE,GAAG,aAAa,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;YAChE,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,aAAc,CAAC,CAAC;YACjD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,OAAO;oBACH;wBACI,OAAO,EAAE,8BAA8B,aAAa,IAAI;wBACxD,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;qBAC7B;iBACJ,CAAC;YACN,CAAC;YAED,OAAO,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC;gBACxF,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACI;wBACI,OAAO,EAAE,oCAAoC,aAAa,IAAI;wBAC9D,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC;qBAC1B;iBACJ,CAAC;QACZ,CAAC;QACD,KAAK,kBAAkB;YACnB,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;gBACnC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,yCAAyC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5F,KAAK,cAAc,CAAC;QACpB,KAAK,SAAS;YACV,OAAO,EAAE,CAAC;IAClB,CAAC;AACL,CAAC;AAED,SAAS,6BAA6B,CAClC,SAAmC,EACnC,UAAmD,EACnD,IAA6B,EAC7B,UAAwC,EACxC,WAA+C;IAE/C,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;YACH,MAAM,EAAE;gBACJ;oBACI,OAAO,EAAE,sEAAsE;oBAC/E,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC;iBAC1B;aACJ;SACJ,CAAC;IACN,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC;IACvC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,aAAc,CAAC,CAAC;IACjD,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,OAAO;YACH,MAAM,EAAE;gBACJ;oBACI,OAAO,EAAE,8BAA8B,aAAa,IAAI;oBACxD,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;iBAC7B;aACJ;SACJ,CAAC;IACN,CAAC;IAED,MAAM,QAAQ,GAAG,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAC5F,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACnD,OAAO;YACH,MAAM,EAAE;gBACJ;oBACI,OAAO,EAAE,4BAA4B,aAAa,gCAAgC;oBAClF,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;iBAC7B;aACJ;SACJ,CAAC;IACN,CAAC;IAED,MAAM,gBAAgB,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACpE,OAAO,gBAAgB;QACnB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,gBAAgB,EAAE;QAC9C,CAAC,CAAC;YACI,MAAM,EAAE;gBACJ;oBACI,OAAO,EAAE,mCAAmC,QAAQ,CAAC,KAAK,CAAC,UAAU,IAAI;oBACzE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;iBAC7B;aACJ;SACJ,CAAC;AACZ,CAAC;AAED,SAAS,gCAAgC,CACrC,UAA8B,EAC9B,MAAqB,EACrB,UAAmD,EACnD,IAA6B,EAC7B,UAAwC,EACxC,WAA+C;IAE/C,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,EAAE,OAAO,EAAE,sDAAsD,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;IAC9G,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,GAAG,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC;IACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACxF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACZ,OAAO;YACH;gBACI,OAAO,EAAE,qBAAqB,YAAY,qBAAqB,MAAM,CAAC,IAAI,IAAI;gBAC9E,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC;aAC9B;SACJ,CAAC;IACN,CAAC;IAED,MAAM,QAAQ,GAAG,6BAA6B,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,kBAAkB,CAC7B,UAAU,CAAC,KAAK,EAChB,UAAU,EACV,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,EAClB,UAAU,EACV,WAAW,CACd,CAAC;IAEF,OAAO,QAAQ;QACX,CAAC,CAAC,MAAM;QACR,CAAC,CAAC;YACI,GAAG,MAAM;YACT;gBACI,OAAO,EAAE,qBAAqB,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,qBAAqB,MAAM,CAAC,IAAI,IAAI;gBAC/F,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC;aAC9B;SACJ,CAAC;AACZ,CAAC;AAED,SAAS,cAAc,CACnB,MAAqB,EACrB,IAA6B,EAC7B,UAAwC,EACxC,WAA+C;IAE/C,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9F,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;QAC5C,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;QAErD,IAAI,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,qCAAqC,SAAS,CAAC,IAAI,IAAI;gBAChE,IAAI,EAAE,CAAC,GAAG,aAAa,EAAE,MAAM,CAAC;aACnC,CAAC,CAAC;QACP,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAEnC,MAAM,CAAC,IAAI,CACP,GAAG,eAAe,CACd,SAAS,CAAC,IAAI,EACd,CAAC,GAAG,aAAa,EAAE,MAAM,CAAC,EAC1B,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,EAC1B,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAC9B,CACJ,CAAC;QAEF,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CACX,GAAG,kBAAkB,CACb,SAAS,CAAC,YAAY,EACtB,UAAU,EACV,CAAC,GAAG,aAAa,EAAE,cAAc,CAAC,EAClC,UAAU,EACV,WAAW,CACd,CACJ,CAAC;QACN,CAAC;IACL,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAE3C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,cAAc,CAAC,CAAC,CAAC;gBAClB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBAC1D,IAAI,CAAC,UAAU,EAAE,CAAC;oBACd,MAAM,CAAC,IAAI,CAAC;wBACR,OAAO,EAAE,wBAAwB,IAAI,CAAC,KAAK,CAAC,UAAU,gBAAgB,MAAM,CAAC,IAAI,IAAI;wBACrF,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC;qBAC7C,CAAC,CAAC;oBACH,SAAS;gBACb,CAAC;gBACD,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC;oBAC3E,MAAM,CAAC,IAAI,CACP,GAAG,gCAAgC,CAC/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAE,EAC9B,UAAU,EACV,UAAU,EACV,CAAC,GAAG,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,EAC5C,UAAU,EACV,WAAW,CACd,CACJ,CAAC;gBACN,CAAC;gBACD,MAAM;YACV,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBAClB,MAAM,MAAM,GAAG,6BAA6B,CACxC,IAAI,CAAC,KAAK,CAAC,MAAM,EACjB,UAAU,EACV,CAAC,GAAG,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAChC,UAAU,EACV,WAAW,CACd,CAAC;gBACF,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9B,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;oBACrB,SAAS;gBACb,CAAC;gBACD,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC;oBAC3E,MAAM,CAAC,IAAI,CACP,GAAG,gCAAgC,CAC/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAE,EAC9B,MAAM,CAAC,UAAU,EACjB,UAAU,EACV,CAAC,GAAG,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,EAC5C,UAAU,EACV,WAAW,CACd,CACJ,CAAC;gBACN,CAAC;gBACD,MAAM;YACV,CAAC;YACD,KAAK,cAAc;gBACf,MAAM,CAAC,IAAI,CACP,GAAG,6BAA6B,CAC5B,IAAI,CAAC,KAAK,CAAC,MAAM,EACjB,UAAU,EACV,CAAC,GAAG,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAChC,UAAU,EACV,WAAW,CACd,CAAC,MAAM,CACX,CAAC;gBACF,MAAM;QACd,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,QAAoB;IACzC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,8CAA8C;IAC9C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC9B,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,+BAA+B,EAAE,CAAC,IAAI,IAAI;gBACnD,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC;aAC7B,CAAC,CAAC;QACP,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACpC,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,gCAAgC,EAAE,CAAC,IAAI,IAAI;gBACpD,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC,EAAE,MAAM,CAAC;aACnC,CAAC,CAAC;QACP,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAErG,kEAAkE;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;IACpG,CAAC;IAED,wBAAwB;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACpC,MAAM,MAAM,GAAG,CAAC,aAAa,EAAE,CAAC,CAA4B,CAAC;QAE7D,sBAAsB;QACtB,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,GAAG,MAAM,EAAE,YAAY,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;QAE9G,mDAAmD;QACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,gBAAgB,EAAE,CAAC,UAAU,wCAAwC;gBAC9E,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,YAAY,CAAC;aAClC,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,sBAAsB;IACtB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC,CAA4B,CAAC;QAE3D,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,4BAA4B,EAAE,CAAC,EAAE,IAAI;gBAC9C,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC;aAC1B,CAAC,CAAC;QACP,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAEnB,oEAAoE;QACpE,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7D,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,qCAAqC,EAAE,CAAC,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI;gBAC7F,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC;aACtC,CAAC,CAAC;QACP,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAExB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,uBAAuB,EAAE,CAAC,MAAM,CAAC,UAAU,mBAAmB;gBACvE,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC;aAC5C,CAAC,CAAC;QACP,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,uBAAuB,EAAE,CAAC,MAAM,CAAC,UAAU,mBAAmB;gBACvE,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC;aAC5C,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACxC,MAAM,UAAU,GAAG,CAAC,aAAa,EAAE,CAAC,CAA4B,CAAC;QAEjE,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC;gBACR,OAAO,EAAE,gCAAgC,MAAM,CAAC,IAAI,IAAI;gBACxD,IAAI,EAAE,CAAC,GAAG,UAAU,EAAE,MAAM,CAAC;aAChC,CAAC,CAAC;QACP,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAE7B,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IAChF,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC1E,CAAC"}