@party-stack/ontology 0.1.0

package/lib/ir/schema.js

@@ -0,0 +1,194 @@
+import { s, SchemaIRSchema } from "@party-stack/schema";
+export default {
+    types: [
+        ...SchemaIRSchema.types.filter((type) => type.name !== "SchemaIR"),
+        {
+            name: "PropertyDef",
+            description: "A property on an Object type.",
+            type: s.struct({
+                fields: [
+                    {
+                        name: "name",
+                        displayName: "Name",
+                        type: s.string({}),
+                        description: "The property's name.",
+                    },
+                    {
+                        name: "displayName",
+                        displayName: "Display name",
+                        type: s.string({}),
+                        description: "Human-readable name.",
+                    },
+                    {
+                        name: "type",
+                        displayName: "Type",
+                        type: s.ref({ name: "TypeDef" }),
+                        description: "The property's type.",
+                    },
+                    {
+                        name: "description",
+                        displayName: "Description",
+                        type: s.optional({ type: s.string({}) }),
+                        description: "Optional description.",
+                    },
+                    {
+                        name: "deprecated",
+                        displayName: "Deprecated?",
+                        type: s.optional({ type: s.ref({ name: "Deprecation" }) }),
+                    },
+                ],
+            }),
+        },
+        {
+            name: "ObjectTypeDef",
+            description: "An object type in the ontology.",
+            type: s.struct({
+                fields: [
+                    {
+                        name: "name",
+                        displayName: "Name",
+                        type: s.string({}),
+                        description: "The object type's programmatic name.",
+                    },
+                    {
+                        name: "displayName",
+                        displayName: "Display name",
+                        type: s.string({}),
+                        description: "Human-readable name.",
+                    },
+                    {
+                        name: "pluralDisplayName",
+                        displayName: "Plural display name",
+                        type: s.string({}),
+                    },
+                    {
+                        name: "primaryKey",
+                        displayName: "Primary key",
+                        type: s.string({}),
+                        description: "The name of the property that serves as primary key.",
+                    },
+                    {
+                        name: "properties",
+                        displayName: "Properties",
+                        type: s.list({ elementType: s.ref({ name: "PropertyDef" }) }),
+                        description: "The object type's properties.",
+                    },
+                    {
+                        name: "description",
+                        displayName: "Description",
+                        type: s.optional({ type: s.string({}) }),
+                        description: "Optional description.",
+                    },
+                    {
+                        name: "deprecated",
+                        displayName: "Deprecated?",
+                        type: s.optional({ type: s.ref({ name: "Deprecation" }) }),
+                    },
+                ],
+            }),
+        },
+        {
+            name: "LinkTypeSideDef",
+            type: s.struct({
+                fields: [
+                    {
+                        name: "objectType",
+                        displayName: "Object type",
+                        type: s.string({}),
+                    },
+                    {
+                        name: "name",
+                        displayName: "Name",
+                        type: s.string({}),
+                    },
+                    {
+                        name: "displayName",
+                        displayName: "Display name",
+                        type: s.string({}),
+                    },
+                ],
+            }),
+        },
+        {
+            name: "LinkCardinality",
+            description: "The cardinality of a link from the source's perspective.",
+            type: s.string({
+                constraint: s.StringConstraint.enum({
+                    options: [
+                        { value: "one", label: "One" },
+                        { value: "many", label: "Many" },
+                    ],
+                }),
+            }),
+        },
+        {
+            name: "LinkTypeDef",
+            description: "A relationship between two object types.",
+            type: s.struct({
+                fields: [
+                    {
+                        name: "id",
+                        displayName: "ID",
+                        type: s.string({}),
+                    },
+                    {
+                        name: "source",
+                        displayName: "Source",
+                        type: s.ref({ name: "LinkTypeSideDef" }),
+                    },
+                    {
+                        name: "target",
+                        displayName: "Target",
+                        type: s.ref({ name: "LinkTypeSideDef" }),
+                    },
+                    {
+                        name: "foreignKey",
+                        displayName: "Foreign key",
+                        type: s.string({}),
+                        description: "The foreign key on the source.",
+                    },
+                    {
+                        name: "cardinality",
+                        displayName: "Cardinality",
+                        type: s.string({
+                            constraint: s.StringConstraint.enum({
+                                options: [
+                                    { value: "one", label: "One" },
+                                    { value: "many", label: "Many" },
+                                ],
+                            }),
+                        }),
+                        description: "How many sources are linked to the target.",
+                    },
+                ],
+            }),
+        },
+        {
+            name: "OntologyIR",
+            description: "The root ontology definition containing all type definitions.",
+            type: s.struct({
+                fields: [
+                    {
+                        name: "types",
+                        displayName: "Named types",
+                        type: s.list({ elementType: s.ref({ name: "NamedTypeDef" }) }),
+                        description: "Named, reusable value types.",
+                    },
+                    {
+                        name: "objectTypes",
+                        displayName: "Object types",
+                        type: s.list({ elementType: s.ref({ name: "ObjectTypeDef" }) }),
+                        description: "Object type definitions.",
+                    },
+                    {
+                        name: "linkTypes",
+                        displayName: "Link types",
+                        type: s.list({ elementType: s.ref({ name: "LinkTypeDef" }) }),
+                        description: "Relationship definitions between object types.",
+                    },
+                ],
+            }),
+        },
+    ],
+};
+//# sourceMappingURL=schema.js.map

package/lib/ir/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/ir/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAGxD,eAAe;IACX,KAAK,EAAE;QACH,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;QAClE;YACI,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,+BAA+B;YAC5C,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACX,MAAM,EAAE;oBACJ;wBACI,IAAI,EAAE,MAAM;wBACZ,WAAW,EAAE,MAAM;wBACnB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClB,WAAW,EAAE,sBAAsB;qBACtC;oBACD;wBACI,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,cAAc;wBAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClB,WAAW,EAAE,sBAAsB;qBACtC;oBACD;wBACI,IAAI,EAAE,MAAM;wBACZ,WAAW,EAAE,MAAM;wBACnB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;wBAChC,WAAW,EAAE,sBAAsB;qBACtC;oBACD;wBACI,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;wBACxC,WAAW,EAAE,uBAAuB;qBACvC;oBACD;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;qBAC7D;iBACJ;aACJ,CAAC;SACL;QACD;YACI,IAAI,EAAE,eAAe;YACrB,WAAW,EAAE,iCAAiC;YAC9C,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACX,MAAM,EAAE;oBACJ;wBACI,IAAI,EAAE,MAAM;wBACZ,WAAW,EAAE,MAAM;wBACnB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClB,WAAW,EAAE,sCAAsC;qBACtD;oBACD;wBACI,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,cAAc;wBAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClB,WAAW,EAAE,sBAAsB;qBACtC;oBACD;wBACI,IAAI,EAAE,mBAAmB;wBACzB,WAAW,EAAE,qBAAqB;wBAClC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;qBACrB;oBACD;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClB,WAAW,EAAE,sDAAsD;qBACtE;oBACD;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,YAAY;wBACzB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;wBAC7D,WAAW,EAAE,+BAA+B;qBAC/C;oBACD;wBACI,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;wBACxC,WAAW,EAAE,uBAAuB;qBACvC;oBACD;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;qBAC7D;iBACJ;aACJ,CAAC;SACL;QACD;YACI,IAAI,EAAE,iBAAiB;YACvB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACX,MAAM,EAAE;oBACJ;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;qBACrB;oBACD;wBACI,IAAI,EAAE,MAAM;wBACZ,WAAW,EAAE,MAAM;wBACnB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;qBACrB;oBACD;wBACI,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,cAAc;wBAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;qBACrB;iBACJ;aACJ,CAAC;SACL;QACD;YACI,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,0DAA0D;YACvE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACX,UAAU,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;oBAChC,OAAO,EAAE;wBACL,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;wBAC9B,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE;qBACnC;iBACJ,CAAC;aACL,CAAC;SACL;QACD;YACI,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,0CAA0C;YACvD,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACX,MAAM,EAAE;oBACJ;wBACI,IAAI,EAAE,IAAI;wBACV,WAAW,EAAE,IAAI;wBACjB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;qBACrB;oBACD;wBACI,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,QAAQ;wBACrB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;qBAC3C;oBACD;wBACI,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,QAAQ;wBACrB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;qBAC3C;oBACD;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClB,WAAW,EAAE,gCAAgC;qBAChD;oBACD;wBACI,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;4BACX,UAAU,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;gCAChC,OAAO,EAAE;oCACL,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;oCAC9B,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE;iCACnC;6BACJ,CAAC;yBACL,CAAC;wBACF,WAAW,EAAE,4CAA4C;qBAC5D;iBACJ;aACJ,CAAC;SACL;QACD;YACI,IAAI,EAAE,YAAY;YAClB,WAAW,EAAE,+DAA+D;YAC5E,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACX,MAAM,EAAE;oBACJ;wBACI,IAAI,EAAE,OAAO;wBACb,WAAW,EAAE,aAAa;wBAC1B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;wBAC9D,WAAW,EAAE,8BAA8B;qBAC9C;oBACD;wBACI,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,cAAc;wBAC3B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;wBAC/D,WAAW,EAAE,0BAA0B;qBAC1C;oBACD;wBACI,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,YAAY;wBACzB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;wBAC7D,WAAW,EAAE,gDAAgD;qBAChE;iBACJ;aACJ,CAAC;SACL;KACJ;CACe,CAAC"}

package/lib/ir/validate.d.ts

@@ -0,0 +1,14 @@
+import type { OntologyIR } from "./generated/types.js";
+export type ValidationPathElement = string | number;
+export interface ValidationError {
+    path: ValidationPathElement[];
+    message: string;
+}
+export type ValidationResult = {
+    kind: "ok";
+} | {
+    kind: "err";
+    errors: ValidationError[];
+};
+export declare function validate(ontology: OntologyIR): ValidationResult;
+//# sourceMappingURL=validate.d.ts.map

package/lib/ir/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/ir/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAwB,MAAM,sBAAsB,CAAC;AAE7E,MAAM,MAAM,qBAAqB,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpD,MAAM,WAAW,eAAe;IAC5B,IAAI,EAAE,qBAAqB,EAAE,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,gBAAgB,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,EAAE,CAAA;CAAE,CAAC;AA2I3F,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,gBAAgB,CA8F/D"}

package/lib/ir/validate.js

@@ -0,0 +1,182 @@
+function validateTypeDef(type, path, valueTypeNames) {
+    switch (type.kind) {
+        case "string":
+        case "boolean":
+        case "integer":
+        case "float":
+        case "double":
+        case "date":
+        case "timestamp":
+        case "geopoint":
+        case "attachment":
+            return [];
+        case "list":
+            return validateTypeDef(type.value.elementType, [...path, "elementType"], valueTypeNames);
+        case "map": {
+            const errors = [];
+            if (type.value.keyType.kind !== "string") {
+                errors.push({
+                    message: "Map key types must be string.",
+                    path: [...path, "keyType"],
+                });
+            }
+            return [
+                ...errors,
+                ...validateTypeDef(type.value.keyType, [...path, "keyType"], valueTypeNames),
+                ...validateTypeDef(type.value.valueType, [...path, "valueType"], valueTypeNames),
+            ];
+        }
+        case "struct":
+            return validateStructFields(type.value.fields, [...path, "fields"], valueTypeNames);
+        case "union":
+            return validateUnionVariants(type.value.variants, [...path, "variants"], valueTypeNames);
+        case "optional":
+            return validateTypeDef(type.value.type, [...path, "type"], valueTypeNames);
+        case "result":
+            return [
+                ...validateTypeDef(type.value.okType, [...path, "okType"], valueTypeNames),
+                ...validateTypeDef(type.value.errType, [...path, "errType"], valueTypeNames),
+            ];
+        case "ref":
+            return valueTypeNames.has(type.value.name)
+                ? []
+                : [
+                    {
+                        message: `Unknown value type reference: "${type.value.name}".`,
+                        path: [...path, "name"],
+                    },
+                ];
+    }
+}
+function validateStructFields(fields, path, valueTypeNames) {
+    const fieldNames = new Set();
+    const errors = [];
+    for (let i = 0; i < fields.length; i++) {
+        const field = fields[i];
+        const fieldPath = [...path, i];
+        if (fieldNames.has(field.name)) {
+            errors.push({ message: `Duplicate field name: "${field.name}".`, path: [...fieldPath, "name"] });
+        }
+        fieldNames.add(field.name);
+        errors.push(...validateTypeDef(field.type, [...fieldPath, "type"], valueTypeNames));
+    }
+    return errors;
+}
+function validateUnionVariants(variants, path, valueTypeNames) {
+    const seen = new Set();
+    const errors = [];
+    for (let i = 0; i < variants.length; i++) {
+        const variant = variants[i];
+        const variantPath = [...path, i];
+        if (seen.has(variant.name)) {
+            errors.push({
+                message: `Duplicate variant name: "${variant.name}".`,
+                path: [...variantPath, "name"],
+            });
+        }
+        seen.add(variant.name);
+        errors.push(...validateTypeDef(variant.type, [...variantPath, "type"], valueTypeNames));
+    }
+    return errors;
+}
+function validateProperties(properties, path, valueTypeNames) {
+    const names = new Set();
+    const errors = [];
+    for (let i = 0; i < properties.length; i++) {
+        const prop = properties[i];
+        const propPath = [...path, i];
+        if (names.has(prop.name)) {
+            errors.push({
+                message: `Duplicate property name: "${prop.name}".`,
+                path: [...propPath, "name"],
+            });
+        }
+        names.add(prop.name);
+        errors.push(...validateTypeDef(prop.type, [...propPath, "type"], valueTypeNames));
+    }
+    return errors;
+}
+export function validate(ontology) {
+    const errors = [];
+    // Collect value type names for ref resolution
+    const valueTypeNames = new Set();
+    for (let i = 0; i < ontology.types.length; i++) {
+        const vt = ontology.types[i];
+        if (valueTypeNames.has(vt.name)) {
+            errors.push({
+                message: `Duplicate value type name: "${vt.name}".`,
+                path: ["types", i, "name"],
+            });
+        }
+        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];
+        if (objectTypeNames.has(ot.name)) {
+            errors.push({
+                message: `Duplicate object type name: "${ot.name}".`,
+                path: ["objectTypes", i, "name"],
+            });
+        }
+        objectTypeNames.add(ot.name);
+    }
+    // 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));
+        // Validate primary key references a valid property
+        const propertyNames = new Set(ot.properties.map((p) => p.name));
+        if (!propertyNames.has(ot.primaryKey)) {
+            errors.push({
+                message: `Primary key "${ot.primaryKey}" does not reference a valid property.`,
+                path: [...otPath, "primaryKey"],
+            });
+        }
+    }
+    // Validate link types
+    const linkIds = new Set();
+    const linkNames = new Set();
+    for (let i = 0; i < ontology.linkTypes.length; i++) {
+        const lt = ontology.linkTypes[i];
+        const ltPath = ["linkTypes", i];
+        if (linkIds.has(lt.id)) {
+            errors.push({
+                message: `Duplicate link type id: "${lt.id}".`,
+                path: [...ltPath, "id"],
+            });
+        }
+        linkIds.add(lt.id);
+        // Relationship names from a source object are keyed by target.name.
+        const linkName = `${lt.source.objectType}:${lt.target.name}`;
+        if (linkNames.has(linkName)) {
+            errors.push({
+                message: `Duplicate link type target name: "${lt.target.name}" on "${lt.source.objectType}".`,
+                path: [...ltPath, "target", "name"],
+            });
+        }
+        linkNames.add(linkName);
+        if (!objectTypeNames.has(lt.source.objectType)) {
+            errors.push({
+                message: `Source object type "${lt.source.objectType}" does not exist.`,
+                path: [...ltPath, "source", "objectType"],
+            });
+        }
+        if (!objectTypeNames.has(lt.target.objectType)) {
+            errors.push({
+                message: `Target object type "${lt.target.objectType}" does not exist.`,
+                path: [...ltPath, "target", "objectType"],
+            });
+        }
+    }
+    return errors.length === 0 ? { kind: "ok" } : { kind: "err", errors };
+}
+//# sourceMappingURL=validate.js.map

package/lib/ir/validate.js.map

@@ -0,0 +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"}

package/lib/ir/validate.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=validate.test.d.ts.map

package/lib/ir/validate.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.test.d.ts","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":""}