@party-stack/ontology 0.1.0 → 0.2.0

package/lib/ir/validate.test.js

@@ -17,6 +17,7 @@ const emptyOntology = {
     types: [],
     objectTypes: [],
     linkTypes: [],
+    actionTypes: [],
 };
 const minimalObjectType = (overrides) => ({
     name: "Employee",
@@ -259,6 +260,59 @@ describe("Ontology Validation", () => {
             };
             expectOk(validate(ontology));
         });
+        it("should detect unknown object type references", () => {
+            const ontology = {
+                ...emptyOntology,
+                objectTypes: [
+                    {
+                        name: "Employee",
+                        displayName: "Employee",
+                        pluralDisplayName: "Employees",
+                        primaryKey: "id",
+                        properties: [
+                            { name: "id", displayName: "ID", type: o.string({}) },
+                            {
+                                name: "managerId",
+                                displayName: "Manager ID",
+                                type: o.objectReference({ objectType: "Manager" }),
+                            },
+                        ],
+                    },
+                ],
+            };
+            const result = validate(ontology);
+            expectErr(result, 1);
+            expect(getErrors(result)).toContain('Unknown object type reference: "Manager".');
+        });
+        it("should resolve object references to declared object types", () => {
+            const ontology = {
+                ...emptyOntology,
+                objectTypes: [
+                    {
+                        name: "Manager",
+                        displayName: "Manager",
+                        pluralDisplayName: "Managers",
+                        primaryKey: "id",
+                        properties: [{ name: "id", displayName: "ID", type: o.string({}) }],
+                    },
+                    {
+                        name: "Employee",
+                        displayName: "Employee",
+                        pluralDisplayName: "Employees",
+                        primaryKey: "id",
+                        properties: [
+                            { name: "id", displayName: "ID", type: o.string({}) },
+                            {
+                                name: "managerId",
+                                displayName: "Manager ID",
+                                type: o.objectReference({ objectType: "Manager" }),
+                            },
+                        ],
+                    },
+                ],
+            };
+            expectOk(validate(ontology));
+        });
     });
     describe("Attachment Type", () => {
         it("should validate properties with attachment type", () => {
@@ -285,6 +339,208 @@ describe("Ontology Validation", () => {
             expectOk(validate(ontology));
         });
     });
+    describe("Action Validation", () => {
+        it("should validate action defaults and logic steps", () => {
+            const ontology = {
+                ...emptyOntology,
+                objectTypes: [
+                    {
+                        name: "Task",
+                        displayName: "Task",
+                        pluralDisplayName: "Tasks",
+                        primaryKey: "taskId",
+                        properties: [
+                            { name: "taskId", displayName: "Task ID", type: o.string({}) },
+                            { name: "title", displayName: "Title", type: o.string({}) },
+                            { name: "updatedAt", displayName: "Updated At", type: o.timestamp({}) },
+                        ],
+                    },
+                ],
+                actionTypes: [
+                    {
+                        name: "createTask",
+                        displayName: "Create Task",
+                        parameters: [
+                            {
+                                name: "title",
+                                displayName: "Title",
+                                type: o.string({}),
+                            },
+                            {
+                                name: "__taskId",
+                                displayName: "Task ID",
+                                type: o.optional({ type: o.string({}) }),
+                                defaultValue: o.Expression.functionCall(o.FunctionCallExpression.uuid({})),
+                            },
+                            {
+                                name: "__now",
+                                displayName: "Now",
+                                type: o.optional({ type: o.timestamp({}) }),
+                                defaultValue: o.Expression.functionCall(o.FunctionCallExpression.now({})),
+                            },
+                        ],
+                        logic: [
+                            o.ActionLogicStep.createObject({
+                                objectType: "Task",
+                                values: [
+                                    {
+                                        property: ["taskId"],
+                                        value: o.Expression.valueReference({
+                                            path: ["__taskId"],
+                                        }),
+                                    },
+                                    {
+                                        property: ["title"],
+                                        value: o.Expression.valueReference({
+                                            path: ["title"],
+                                        }),
+                                    },
+                                    {
+                                        property: ["updatedAt"],
+                                        value: o.Expression.valueReference({
+                                            path: ["__now"],
+                                        }),
+                                    },
+                                ],
+                            }),
+                        ],
+                    },
+                ],
+            };
+            expectOk(validate(ontology));
+        });
+        it("should detect invalid action parameter references", () => {
+            const ontology = {
+                ...emptyOntology,
+                objectTypes: [minimalObjectType()],
+                actionTypes: [
+                    {
+                        name: "renameEmployee",
+                        displayName: "Rename Employee",
+                        parameters: [
+                            {
+                                name: "employee",
+                                displayName: "Employee",
+                                type: o.objectReference({ objectType: "Employee" }),
+                            },
+                        ],
+                        logic: [
+                            o.ActionLogicStep.updateObject({
+                                object: {
+                                    path: ["employee", "name"],
+                                },
+                                values: [],
+                            }),
+                        ],
+                    },
+                ],
+            };
+            const result = validate(ontology);
+            expectErr(result, 1);
+            expect(getErrors(result)).toContain("Action targets must point directly to an object reference parameter.");
+        });
+    });
+    describe("Literal Expression", () => {
+        it("should validate an action with a literal default value", () => {
+            const ontology = {
+                ...emptyOntology,
+                objectTypes: [
+                    {
+                        name: "Task",
+                        displayName: "Task",
+                        pluralDisplayName: "Tasks",
+                        primaryKey: "taskId",
+                        properties: [
+                            { name: "taskId", displayName: "Task ID", type: o.string({}) },
+                            { name: "status", displayName: "Status", type: o.string({}) },
+                        ],
+                    },
+                ],
+                actionTypes: [
+                    {
+                        name: "createTask",
+                        displayName: "Create Task",
+                        parameters: [
+                            {
+                                name: "taskId",
+                                displayName: "Task ID",
+                                type: o.string({}),
+                                defaultValue: o.Expression.functionCall(o.FunctionCallExpression.uuid({})),
+                            },
+                            {
+                                name: "status",
+                                displayName: "Status",
+                                type: o.string({}),
+                                defaultValue: o.Expression.literal({ value: "open" }),
+                            },
+                        ],
+                        logic: [
+                            o.ActionLogicStep.createObject({
+                                objectType: "Task",
+                                values: [
+                                    {
+                                        property: ["taskId"],
+                                        value: o.Expression.valueReference({ path: ["taskId"] }),
+                                    },
+                                    {
+                                        property: ["status"],
+                                        value: o.Expression.valueReference({ path: ["status"] }),
+                                    },
+                                ],
+                            }),
+                        ],
+                    },
+                ],
+            };
+            expectOk(validate(ontology));
+        });
+        it("should validate literal expressions in property assignments", () => {
+            const ontology = {
+                ...emptyOntology,
+                objectTypes: [
+                    {
+                        name: "Task",
+                        displayName: "Task",
+                        pluralDisplayName: "Tasks",
+                        primaryKey: "taskId",
+                        properties: [
+                            { name: "taskId", displayName: "Task ID", type: o.string({}) },
+                            { name: "status", displayName: "Status", type: o.string({}) },
+                        ],
+                    },
+                ],
+                actionTypes: [
+                    {
+                        name: "createTask",
+                        displayName: "Create Task",
+                        parameters: [
+                            {
+                                name: "taskId",
+                                displayName: "Task ID",
+                                type: o.string({}),
+                            },
+                        ],
+                        logic: [
+                            o.ActionLogicStep.createObject({
+                                objectType: "Task",
+                                values: [
+                                    {
+                                        property: ["taskId"],
+                                        value: o.Expression.valueReference({ path: ["taskId"] }),
+                                    },
+                                    {
+                                        property: ["status"],
+                                        value: o.Expression.literal({ value: "open" }),
+                                    },
+                                ],
+                            }),
+                        ],
+                    },
+                ],
+            };
+            expectOk(validate(ontology));
+        });
+    });
     describe("Blog Example", () => {
         it("should validate the blog example ontology", async () => {
             const { default: blogOntology } = await import("../examples/blog.js");
@@ -296,12 +552,13 @@ describe("Ontology Validation", () => {
             const { default: ontologyOntology } = await import("../ontology/ontology.js");
             expectOk(validate(ontologyOntology));
         });
-        it("should contain ObjectType, ValueType, and LinkType as object types", async () => {
+        it("should contain ObjectType, ValueType, LinkType, and ActionType as object types", async () => {
             const { default: ontologyOntology } = await import("../ontology/ontology.js");
             const objectTypeNames = ontologyOntology.objectTypes.map((ot) => ot.name);
             expect(objectTypeNames).toContain("ObjectType");
             expect(objectTypeNames).toContain("ValueType");
             expect(objectTypeNames).toContain("LinkType");
+            expect(objectTypeNames).toContain("ActionType");
         });
         it("should have links from LinkType to ObjectType for source and target metadata", async () => {
             const { default: ontologyOntology } = await import("../ontology/ontology.js");

package/lib/ir/validate.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAoB,MAAM,eAAe,CAAC;AAG3D,SAAS,QAAQ,CAAC,MAAwB;IACtC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,MAAwB,EAAE,KAAc;IACvD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,MAAwB;IACvC,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,aAAa,GAAe;IAC9B,KAAK,EAAE,EAAE;IACT,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,EAAE;CAChB,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,SAAsD,EAAE,EAAE,CAAC,CAAC;IACnF,IAAI,EAAE,UAAU;IAChB,WAAW,EAAE,UAAU;IACvB,iBAAiB,EAAE,WAAW;IAC9B,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE;QACR,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QACtE,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;KAC5D;IACD,GAAG,SAAS;CACf,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QACzC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC3D,MAAM,QAAQ,GAAe;YACzB,GAAG,aAAa;YAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,CAAC;SACrC,CAAC;QACF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACnE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC;aAClE,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAC/B,gEAAgE,CACnE,CAAC;QACN,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACjD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;aACjE,CAAC;YACF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACjD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,EAAE,iBAAiB,EAAE,CAAC;aAC1D,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAChD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,KAAK,EAAE;oBACH,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE;oBACnD,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE;iBACtD;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,uCAAuC,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC5E,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACjF,SAAS,EAAE;oBACP;wBACI,EAAE,EAAE,OAAO;wBACX,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE;wBAC7D,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE;wBACjE,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,MAAe;qBAC/B;oBACD;wBACI,EAAE,EAAE,OAAO;wBACX,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE;wBACpE,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE;wBACvE,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,KAAc;qBAC9B;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACpE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BACrD,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;yBAClE;qBACJ;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACtE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,CAAC;gBAClC,SAAS,EAAE;oBACP;wBACI,EAAE,EAAE,eAAe;wBACnB,MAAM,EAAE;4BACJ,UAAU,EAAE,aAAa;4BACzB,IAAI,EAAE,eAAe;4BACrB,WAAW,EAAE,gBAAgB;yBAChC;wBACD,MAAM,EAAE;4BACJ,UAAU,EAAE,UAAU;4BACtB,IAAI,EAAE,UAAU;4BAChB,WAAW,EAAE,UAAU;yBAC1B;wBACD,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,KAAc;qBAC9B;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACtE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,CAAC;gBAClC,SAAS,EAAE;oBACP;wBACI,EAAE,EAAE,eAAe;wBACnB,MAAM,EAAE;4BACJ,UAAU,EAAE,UAAU;4BACtB,IAAI,EAAE,eAAe;4BACrB,WAAW,EAAE,gBAAgB;yBAChC;wBACD,MAAM,EAAE;4BACJ,UAAU,EAAE,aAAa;4BACzB,IAAI,EAAE,SAAS;4BACf,WAAW,EAAE,SAAS;yBACzB;wBACD,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,MAAe;qBAC/B;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;gBACzF,SAAS,EAAE;oBACP;wBACI,EAAE,EAAE,aAAa;wBACjB,MAAM,EAAE;4BACJ,UAAU,EAAE,QAAQ;4BACpB,IAAI,EAAE,OAAO;4BACb,WAAW,EAAE,OAAO;yBACvB;wBACD,MAAM,EAAE;4BACJ,UAAU,EAAE,MAAM;4BAClB,IAAI,EAAE,QAAQ;4BACd,WAAW,EAAE,QAAQ;yBACxB;wBACD,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,MAAe;qBAC/B;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACjE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BACrD;gCACI,IAAI,EAAE,SAAS;gCACf,WAAW,EAAE,SAAS;gCACtB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;6BACvC;yBACJ;qBACJ;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,8CAA8C,CAAC,CAAC;QACxF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACnD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,KAAK,EAAE;oBACH;wBACI,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;4BACX,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;yBACtE,CAAC;qBACL;iBACJ;gBACD,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BACrD;gCACI,IAAI,EAAE,SAAS;gCACf,WAAW,EAAE,SAAS;gCACtB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;6BACnC;yBACJ;qBACJ;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACvD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,OAAO;wBACnB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BAC5D,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE;4BAC7D;gCACI,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE,WAAW;gCACxB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;6BAC/C;yBACJ;qBACJ;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;YACvD,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,qBAAqB,CAAC,CAAC;YACtE,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;YACrE,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;YAC9E,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;YAChF,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;YAC9E,MAAM,eAAe,GAAG,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC1E,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAChD,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YAC/C,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;YAC1F,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;YAC9E,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;YACnD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;YAEnD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACxC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}
+{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAoB,MAAM,eAAe,CAAC;AAG3D,SAAS,QAAQ,CAAC,MAAwB;IACtC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,MAAwB,EAAE,KAAc;IACvD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,MAAwB;IACvC,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,aAAa,GAAe;IAC9B,KAAK,EAAE,EAAE;IACT,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,EAAE;IACb,WAAW,EAAE,EAAE;CAClB,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,SAAsD,EAAE,EAAE,CAAC,CAAC;IACnF,IAAI,EAAE,UAAU;IAChB,WAAW,EAAE,UAAU;IACvB,iBAAiB,EAAE,WAAW;IAC9B,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE;QACR,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QACtE,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;KAC5D;IACD,GAAG,SAAS;CACf,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QACzC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC3D,MAAM,QAAQ,GAAe;YACzB,GAAG,aAAa;YAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,CAAC;SACrC,CAAC;QACF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACnE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC;aAClE,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAC/B,gEAAgE,CACnE,CAAC;QACN,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACjD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;aACjE,CAAC;YACF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACjD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,EAAE,iBAAiB,EAAE,CAAC;aAC1D,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAChD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,KAAK,EAAE;oBACH,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE;oBACnD,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE;iBACtD;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,uCAAuC,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC5E,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACjF,SAAS,EAAE;oBACP;wBACI,EAAE,EAAE,OAAO;wBACX,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE;wBAC7D,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE;wBACjE,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,MAAe;qBAC/B;oBACD;wBACI,EAAE,EAAE,OAAO;wBACX,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE;wBACpE,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE;wBACvE,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,KAAc;qBAC9B;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACpE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BACrD,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;yBAClE;qBACJ;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACtE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,CAAC;gBAClC,SAAS,EAAE;oBACP;wBACI,EAAE,EAAE,eAAe;wBACnB,MAAM,EAAE;4BACJ,UAAU,EAAE,aAAa;4BACzB,IAAI,EAAE,eAAe;4BACrB,WAAW,EAAE,gBAAgB;yBAChC;wBACD,MAAM,EAAE;4BACJ,UAAU,EAAE,UAAU;4BACtB,IAAI,EAAE,UAAU;4BAChB,WAAW,EAAE,UAAU;yBAC1B;wBACD,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,KAAc;qBAC9B;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACtE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,CAAC;gBAClC,SAAS,EAAE;oBACP;wBACI,EAAE,EAAE,eAAe;wBACnB,MAAM,EAAE;4BACJ,UAAU,EAAE,UAAU;4BACtB,IAAI,EAAE,eAAe;4BACrB,WAAW,EAAE,gBAAgB;yBAChC;wBACD,MAAM,EAAE;4BACJ,UAAU,EAAE,aAAa;4BACzB,IAAI,EAAE,SAAS;4BACf,WAAW,EAAE,SAAS;yBACzB;wBACD,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,MAAe;qBAC/B;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;gBACzF,SAAS,EAAE;oBACP;wBACI,EAAE,EAAE,aAAa;wBACjB,MAAM,EAAE;4BACJ,UAAU,EAAE,QAAQ;4BACpB,IAAI,EAAE,OAAO;4BACb,WAAW,EAAE,OAAO;yBACvB;wBACD,MAAM,EAAE;4BACJ,UAAU,EAAE,MAAM;4BAClB,IAAI,EAAE,QAAQ;4BACd,WAAW,EAAE,QAAQ;yBACxB;wBACD,UAAU,EAAE,YAAY;wBACxB,WAAW,EAAE,MAAe;qBAC/B;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACjE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BACrD;gCACI,IAAI,EAAE,SAAS;gCACf,WAAW,EAAE,SAAS;gCACtB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;6BACvC;yBACJ;qBACJ;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,8CAA8C,CAAC,CAAC;QACxF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACnD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,KAAK,EAAE;oBACH;wBACI,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;4BACX,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;yBACtE,CAAC;qBACL;iBACJ;gBACD,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BACrD;gCACI,IAAI,EAAE,SAAS;gCACf,WAAW,EAAE,SAAS;gCACtB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;6BACnC;yBACJ;qBACJ;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACpD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BACrD;gCACI,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE,YAAY;gCACzB,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;6BACrD;yBACJ;qBACJ;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACjE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,SAAS;wBACf,WAAW,EAAE,SAAS;wBACtB,iBAAiB,EAAE,UAAU;wBAC7B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;qBACtE;oBACD;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BACrD;gCACI,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE,YAAY;gCACzB,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;6BACrD;yBACJ;qBACJ;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACvD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,UAAU;wBAChB,WAAW,EAAE,UAAU;wBACvB,iBAAiB,EAAE,WAAW;wBAC9B,UAAU,EAAE,OAAO;wBACnB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BAC5D,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE;4BAC7D;gCACI,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE,WAAW;gCACxB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;6BAC/C;yBACJ;qBACJ;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACvD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,MAAM;wBACZ,WAAW,EAAE,MAAM;wBACnB,iBAAiB,EAAE,OAAO;wBAC1B,UAAU,EAAE,QAAQ;wBACpB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BAC9D,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BAC3D,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE;yBAC1E;qBACJ;iBACJ;gBACD,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,aAAa;wBAC1B,UAAU,EAAE;4BACR;gCACI,IAAI,EAAE,OAAO;gCACb,WAAW,EAAE,OAAO;gCACpB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;6BACrB;4BACD;gCACI,IAAI,EAAE,UAAU;gCAChB,WAAW,EAAE,SAAS;gCACtB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gCACxC,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;6BAC7E;4BACD;gCACI,IAAI,EAAE,OAAO;gCACb,WAAW,EAAE,KAAK;gCAClB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;gCAC3C,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;6BAC5E;yBACJ;wBACD,KAAK,EAAE;4BACH,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC;gCAC3B,UAAU,EAAE,MAAM;gCAClB,MAAM,EAAE;oCACJ;wCACI,QAAQ,EAAE,CAAC,QAAQ,CAAC;wCACpB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC;4CAC/B,IAAI,EAAE,CAAC,UAAU,CAAC;yCACrB,CAAC;qCACL;oCACD;wCACI,QAAQ,EAAE,CAAC,OAAO,CAAC;wCACnB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC;4CAC/B,IAAI,EAAE,CAAC,OAAO,CAAC;yCAClB,CAAC;qCACL;oCACD;wCACI,QAAQ,EAAE,CAAC,WAAW,CAAC;wCACvB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC;4CAC/B,IAAI,EAAE,CAAC,OAAO,CAAC;yCAClB,CAAC;qCACL;iCACJ;6BACJ,CAAC;yBACL;qBACJ;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YACzD,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE,CAAC,iBAAiB,EAAE,CAAC;gBAClC,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,gBAAgB;wBACtB,WAAW,EAAE,iBAAiB;wBAC9B,UAAU,EAAE;4BACR;gCACI,IAAI,EAAE,UAAU;gCAChB,WAAW,EAAE,UAAU;gCACvB,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;6BACtD;yBACJ;wBACD,KAAK,EAAE;4BACH,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC;gCAC3B,MAAM,EAAE;oCACJ,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC;iCAC7B;gCACD,MAAM,EAAE,EAAE;6BACb,CAAC;yBACL;qBACJ;iBACJ;aACJ,CAAC;YAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAC/B,sEAAsE,CACzE,CAAC;QACN,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAC9D,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,MAAM;wBACZ,WAAW,EAAE,MAAM;wBACnB,iBAAiB,EAAE,OAAO;wBAC1B,UAAU,EAAE,QAAQ;wBACpB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BAC9D,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;yBAChE;qBACJ;iBACJ;gBACD,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,aAAa;wBAC1B,UAAU,EAAE;4BACR;gCACI,IAAI,EAAE,QAAQ;gCACd,WAAW,EAAE,SAAS;gCACtB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gCAClB,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;6BAC7E;4BACD;gCACI,IAAI,EAAE,QAAQ;gCACd,WAAW,EAAE,QAAQ;gCACrB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gCAClB,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;6BACxD;yBACJ;wBACD,KAAK,EAAE;4BACH,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC;gCAC3B,UAAU,EAAE,MAAM;gCAClB,MAAM,EAAE;oCACJ;wCACI,QAAQ,EAAE,CAAC,QAAQ,CAAC;wCACpB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;qCAC3D;oCACD;wCACI,QAAQ,EAAE,CAAC,QAAQ,CAAC;wCACpB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;qCAC3D;iCACJ;6BACJ,CAAC;yBACL;qBACJ;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACnE,MAAM,QAAQ,GAAe;gBACzB,GAAG,aAAa;gBAChB,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,MAAM;wBACZ,WAAW,EAAE,MAAM;wBACnB,iBAAiB,EAAE,OAAO;wBAC1B,UAAU,EAAE,QAAQ;wBACpB,UAAU,EAAE;4BACR,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;4BAC9D,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;yBAChE;qBACJ;iBACJ;gBACD,WAAW,EAAE;oBACT;wBACI,IAAI,EAAE,YAAY;wBAClB,WAAW,EAAE,aAAa;wBAC1B,UAAU,EAAE;4BACR;gCACI,IAAI,EAAE,QAAQ;gCACd,WAAW,EAAE,SAAS;gCACtB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;6BACrB;yBACJ;wBACD,KAAK,EAAE;4BACH,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC;gCAC3B,UAAU,EAAE,MAAM;gCAClB,MAAM,EAAE;oCACJ;wCACI,QAAQ,EAAE,CAAC,QAAQ,CAAC;wCACpB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;qCAC3D;oCACD;wCACI,QAAQ,EAAE,CAAC,QAAQ,CAAC;wCACpB,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;qCACjD;iCACJ;6BACJ,CAAC;yBACL;qBACJ;iBACJ;aACJ,CAAC;YAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;YACvD,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,qBAAqB,CAAC,CAAC;YACtE,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;YACrE,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;YAC9E,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;YAC5F,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;YAC9E,MAAM,eAAe,GAAG,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC1E,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAChD,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YAC/C,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAC9C,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;YAC1F,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;YAC9E,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;YACnD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;YAEnD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACxC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/lib/live/LiveOntology.d.ts

@@ -0,0 +1,34 @@
+import { Collection } from "@tanstack/db";
+import type { OntologyAdapter } from "./OntologyAdapter.js";
+import type { OntologyIR } from "../ir/index.js";
+export type OntologyObject = Record<string, unknown>;
+export interface OntologyDefinition {
+    objectTypes: Record<string, OntologyObject>;
+    actionTypes: Record<string, {
+        parameters: Record<string, unknown>;
+    }>;
+}
+export type OntologyCollection<T extends OntologyObject> = Collection<T>;
+export interface LiveOntologyActionExecution {
+    mutationFn: () => Promise<void>;
+    mutator: () => void;
+}
+export type LiveOntologyAction<Parameters extends Record<string, unknown> = Record<string, unknown>> = (parameters: Parameters) => LiveOntologyActionExecution;
+export type LiveOntologyObjects<ObjectTypes extends OntologyDefinition["objectTypes"] = OntologyDefinition["objectTypes"]> = {
+    [ObjectTypeName in keyof ObjectTypes]: OntologyCollection<ObjectTypes[ObjectTypeName]>;
+};
+export type LiveOntologyActions<ActionTypes extends OntologyDefinition["actionTypes"]> = {
+    [ActionTypeName in keyof ActionTypes]: LiveOntologyAction<ActionTypes[ActionTypeName]["parameters"]>;
+};
+export interface LiveOntology<Ontology extends OntologyDefinition = OntologyDefinition> {
+    objects: LiveOntologyObjects<Ontology["objectTypes"]>;
+    actions: LiveOntologyActions<Ontology["actionTypes"]>;
+    cleanup: () => Promise<void>;
+}
+export interface LiveOntologyOpts {
+    ir: OntologyIR;
+    adapter: OntologyAdapter;
+    getContext?: () => Record<string, unknown>;
+}
+export declare function createLiveOntology<Ontology extends OntologyDefinition = OntologyDefinition>(opts: LiveOntologyOpts): LiveOntology<Ontology>;
+//# sourceMappingURL=LiveOntology.d.ts.map

package/lib/live/LiveOntology.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LiveOntology.d.ts","sourceRoot":"","sources":["../../src/live/LiveOntology.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,UAAU,EAAoB,MAAM,cAAc,CAAC;AAGxE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AACrD,MAAM,WAAW,kBAAkB;IAC/B,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC5C,WAAW,EAAE,MAAM,CACf,MAAM,EACN;QACI,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACvC,CACJ,CAAC;CACL;AAED,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,cAAc,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;AAEzE,MAAM,WAAW,2BAA2B;IACxC,UAAU,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,EAAE,MAAM,IAAI,CAAC;CACvB;AAED,MAAM,MAAM,kBAAkB,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CACnG,UAAU,EAAE,UAAU,KACrB,2BAA2B,CAAC;AAEjC,MAAM,MAAM,mBAAmB,CAC3B,WAAW,SAAS,kBAAkB,CAAC,aAAa,CAAC,GAAG,kBAAkB,CAAC,aAAa,CAAC,IACzF;KACC,cAAc,IAAI,MAAM,WAAW,GAAG,kBAAkB,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;CACzF,CAAC;AAEF,MAAM,MAAM,mBAAmB,CAAC,WAAW,SAAS,kBAAkB,CAAC,aAAa,CAAC,IAAI;KACpF,cAAc,IAAI,MAAM,WAAW,GAAG,kBAAkB,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,YAAY,CAAC,CAAC;CACvG,CAAC;AAEF,MAAM,WAAW,YAAY,CAAC,QAAQ,SAAS,kBAAkB,GAAG,kBAAkB;IAClF,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACtD,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACtD,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC7B,EAAE,EAAE,UAAU,CAAC;IACf,OAAO,EAAE,eAAe,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC9C;AAED,wBAAgB,kBAAkB,CAAC,QAAQ,SAAS,kBAAkB,GAAG,kBAAkB,EACvF,IAAI,EAAE,gBAAgB,GACvB,YAAY,CAAC,QAAQ,CAAC,CAwDxB"}

package/lib/live/LiveOntology.js

@@ -0,0 +1,47 @@
+import { BasicIndex, createCollection } from "@tanstack/db";
+import { applyActionLogic } from "./applyActionLogic.js";
+import { resolveActionParameters } from "./expression.js";
+export function createLiveOntology(opts) {
+    const objects = Object.fromEntries(opts.ir.objectTypes.map((objectType) => {
+        const collectionOptions = opts.adapter.getCollectionOptions(objectType.name);
+        const collection = createCollection({
+            ...collectionOptions,
+            defaultIndexType: BasicIndex,
+            autoIndex: "eager",
+            getKey: (object) => object[objectType.primaryKey],
+        });
+        return [objectType.name, collection];
+    }));
+    const actions = Object.fromEntries(opts.ir.actionTypes.map((action) => [
+        action.name,
+        (providedParameters) => {
+            const context = opts.getContext?.() ?? {};
+            const parameters = resolveActionParameters(opts.ir, action.name, providedParameters, context, objects);
+            return {
+                mutationFn: async () => {
+                    await opts.adapter.applyAction(action.name, parameters, {
+                        objects: objects,
+                    });
+                },
+                mutator: () => {
+                    applyActionLogic({
+                        ir: opts.ir,
+                        actionTypeName: action.name,
+                        parameters,
+                        context,
+                        objects,
+                    });
+                },
+            };
+        },
+    ]));
+    return {
+        objects: objects,
+        actions: actions,
+        cleanup: async () => {
+            await Promise.all(Object.values(objects).map((collection) => collection.cleanup()));
+            await opts.adapter.cleanup?.();
+        },
+    };
+}
+//# sourceMappingURL=LiveOntology.js.map

package/lib/live/LiveOntology.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LiveOntology.js","sourceRoot":"","sources":["../../src/live/LiveOntology.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAc,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAgD1D,MAAM,UAAU,kBAAkB,CAC9B,IAAsB;IAEtB,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAC9B,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QACnC,MAAM,iBAAiB,GAAG,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,UAAU,GAAG,gBAAgB,CAAC;YAChC,GAAG,iBAAiB;YACpB,gBAAgB,EAAE,UAAU;YAC5B,SAAS,EAAE,OAAO;YAClB,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,MAA0C,CAAC,UAAU,CAAC,UAAU,CAAoB;SAC5F,CAAuC,CAAC;QAEzC,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CACiD,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAC9B,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI;QACX,CAAC,kBAA2C,EAAE,EAAE;YAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC;YAC1C,MAAM,UAAU,GAAG,uBAAuB,CACtC,IAAI,CAAC,EAAE,EACP,MAAM,CAAC,IAAI,EACX,kBAAkB,EAClB,OAAO,EACP,OAAO,CACV,CAAC;YAEF,OAAO;gBACH,UAAU,EAAE,KAAK,IAAI,EAAE;oBACnB,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE;wBACpD,OAAO,EAAE,OAA8D;qBAC1E,CAAC,CAAC;gBACP,CAAC;gBACD,OAAO,EAAE,GAAG,EAAE;oBACV,gBAAgB,CAAC;wBACb,EAAE,EAAE,IAAI,CAAC,EAAE;wBACX,cAAc,EAAE,MAAM,CAAC,IAAI;wBAC3B,UAAU;wBACV,OAAO;wBACP,OAAO;qBACV,CAAC,CAAC;gBACP,CAAC;aACJ,CAAC;QACN,CAAC;KACJ,CAAC,CACL,CAAC;IAEF,OAAO;QACH,OAAO,EAAE,OAAkE;QAC3E,OAAO,EAAE,OAAkE;QAC3E,OAAO,EAAE,KAAK,IAAI,EAAE;YAChB,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACpF,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACnC,CAAC;KACJ,CAAC;AACN,CAAC"}

package/lib/live/OntologyAdapter.d.ts

@@ -0,0 +1,12 @@
+import type { Collection, CollectionConfig } from "@tanstack/db";
+export type OntologyCollectionOptions = Omit<CollectionConfig<Record<string, unknown>, string | number>, "getKey">;
+export interface ApplyActionLiveOpts {
+    objects: Record<string, Collection<Record<string, unknown>>>;
+}
+export interface OntologyAdapter {
+    name: string;
+    getCollectionOptions: (objectType: string) => OntologyCollectionOptions;
+    applyAction: (name: string, parameters: Record<string, unknown>, live: ApplyActionLiveOpts) => Promise<void>;
+    cleanup?: () => void | Promise<void>;
+}
+//# sourceMappingURL=OntologyAdapter.d.ts.map

package/lib/live/OntologyAdapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OntologyAdapter.d.ts","sourceRoot":"","sources":["../../src/live/OntologyAdapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEjE,MAAM,MAAM,yBAAyB,GAAG,IAAI,CACxC,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,EAC1D,QAAQ,CACX,CAAC;AAEF,MAAM,WAAW,mBAAmB;IAChC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CAChE;AAED,MAAM,WAAW,eAAe;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,yBAAyB,CAAC;IACxE,WAAW,EAAE,CACT,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACnC,IAAI,EAAE,mBAAmB,KACxB,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAExC"}

package/lib/live/OntologyAdapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OntologyAdapter.js","sourceRoot":"","sources":["../../src/live/OntologyAdapter.ts"],"names":[],"mappings":""}

package/lib/live/applyActionLogic.d.ts

@@ -0,0 +1,10 @@
+import type { OntologyCollection, OntologyObject } from "./LiveOntology.js";
+import type { OntologyIR } from "../ir/index.js";
+export declare function applyActionLogic(opts: {
+    ir: OntologyIR;
+    actionTypeName: string;
+    parameters: Record<string, unknown>;
+    context: Record<string, unknown>;
+    objects: Record<string, OntologyCollection<OntologyObject>>;
+}): void;
+//# sourceMappingURL=applyActionLogic.d.ts.map

package/lib/live/applyActionLogic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyActionLogic.d.ts","sourceRoot":"","sources":["../../src/live/applyActionLogic.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EAAiB,UAAU,EAAsB,MAAM,gBAAgB,CAAC;AA2BpF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE;IACnC,EAAE,EAAE,UAAU,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,cAAc,CAAC,CAAC,CAAC;CAC/D,GAAG,IAAI,CA2DP"}

package/lib/live/applyActionLogic.js

@@ -0,0 +1,59 @@
+import { set } from "lodash-es";
+import { evaluateExpression, getObjectReferenceObjectType } from "./expression.js";
+function applyPropertyAssignments(opts) {
+    const resolveParameter = (parameterName) => opts.parameters[parameterName];
+    for (const assignment of opts.assignments) {
+        const value = evaluateExpression(opts.ir, opts.actionTypeName, assignment.value, resolveParameter, opts.context, opts.objects);
+        set(opts.object, assignment.property, value);
+    }
+}
+export function applyActionLogic(opts) {
+    const actionType = opts.ir.actionTypes.find((actionType) => actionType.name === opts.actionTypeName);
+    for (const step of actionType.logic) {
+        switch (step.kind) {
+            case "createObject": {
+                const objectType = opts.ir.objectTypes.find((objectType) => objectType.name === step.value.objectType);
+                const collection = opts.objects[objectType.name];
+                const createdObject = {};
+                applyPropertyAssignments({
+                    ir: opts.ir,
+                    actionTypeName: opts.actionTypeName,
+                    object: createdObject,
+                    assignments: step.value.values,
+                    parameters: opts.parameters,
+                    context: opts.context,
+                    objects: opts.objects,
+                    objectType,
+                });
+                collection.insert(createdObject);
+                break;
+            }
+            case "updateObject": {
+                const objectType = getObjectReferenceObjectType(opts.ir, opts.actionTypeName, step.value.object);
+                const collection = opts.objects[objectType.name];
+                const primaryKey = opts.parameters[step.value.object.path[0]];
+                collection.update(primaryKey, (draft) => {
+                    applyPropertyAssignments({
+                        ir: opts.ir,
+                        actionTypeName: opts.actionTypeName,
+                        object: draft,
+                        assignments: step.value.values,
+                        parameters: opts.parameters,
+                        context: opts.context,
+                        objects: opts.objects,
+                        objectType,
+                    });
+                });
+                break;
+            }
+            case "deleteObject": {
+                const objectType = getObjectReferenceObjectType(opts.ir, opts.actionTypeName, step.value.object);
+                const collection = opts.objects[objectType.name];
+                const primaryKey = opts.parameters[step.value.object.path[0]];
+                collection.delete(primaryKey);
+                break;
+            }
+        }
+    }
+}
+//# sourceMappingURL=applyActionLogic.js.map

package/lib/live/applyActionLogic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyActionLogic.js","sourceRoot":"","sources":["../../src/live/applyActionLogic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAChC,OAAO,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAInF,SAAS,wBAAwB,CAAC,IASjC;IACG,MAAM,gBAAgB,GAAG,CAAC,aAAqB,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAEnF,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,kBAAkB,CAC5B,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,cAAc,EACnB,UAAU,CAAC,KAAK,EAChB,gBAAgB,EAChB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,OAAO,CACf,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;AACL,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAMhC;IACG,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,cAAc,CAAE,CAAC;IAEtG,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,cAAc,CAAC,CAAC,CAAC;gBAClB,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CACvC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,UAAU,CAC3D,CAAC;gBACH,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAE,CAAC;gBAClD,MAAM,aAAa,GAA4B,EAAE,CAAC;gBAClD,wBAAwB,CAAC;oBACrB,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,cAAc,EAAE,IAAI,CAAC,cAAc;oBACnC,MAAM,EAAE,aAAa;oBACrB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;oBAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,UAAU;iBACb,CAAC,CAAC;gBACH,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;gBACjC,MAAM;YACV,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBAClB,MAAM,UAAU,GAAG,4BAA4B,CAC3C,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CACpB,CAAC;gBACF,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAE,CAAC;gBAClD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAoB,CAAC;gBAClF,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE;oBACpC,wBAAwB,CAAC;wBACrB,EAAE,EAAE,IAAI,CAAC,EAAE;wBACX,cAAc,EAAE,IAAI,CAAC,cAAc;wBACnC,MAAM,EAAE,KAAgC;wBACxC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;wBAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,UAAU;qBACb,CAAC,CAAC;gBACP,CAAC,CAAC,CAAC;gBACH,MAAM;YACV,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBAClB,MAAM,UAAU,GAAG,4BAA4B,CAC3C,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CACpB,CAAC;gBACF,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAE,CAAC;gBAClD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAoB,CAAC;gBAClF,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBAC9B,MAAM;YACV,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC"}

package/lib/live/expression.d.ts

@@ -0,0 +1,6 @@
+import type { OntologyCollection, OntologyObject } from "./LiveOntology.js";
+import type { Expression, ObjectTypeDef, OntologyIR, ValueReferenceExpression } from "../ir/index.js";
+export declare function evaluateExpression(ir: OntologyIR, actionTypeName: string, expression: Expression, resolveParameter: (parameterName: string) => unknown, context: Record<string, unknown>, objects: Record<string, OntologyCollection<OntologyObject>>): unknown;
+export declare function resolveActionParameters(ir: OntologyIR, actionTypeName: string, initialParameters: Record<string, unknown>, context: Record<string, unknown>, objects: Record<string, OntologyCollection<OntologyObject>>): Record<string, unknown>;
+export declare function getObjectReferenceObjectType(ir: OntologyIR, actionTypeName: string, reference: ValueReferenceExpression): ObjectTypeDef;
+//# sourceMappingURL=expression.d.ts.map

package/lib/live/expression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression.d.ts","sourceRoot":"","sources":["../../src/live/expression.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EACR,UAAU,EACV,aAAa,EACb,UAAU,EAEV,wBAAwB,EAC3B,MAAM,gBAAgB,CAAC;AAoBxB,wBAAgB,kBAAkB,CAC9B,EAAE,EAAE,UAAU,EACd,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,UAAU,EACtB,gBAAgB,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,EACpD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,cAAc,CAAC,CAAC,GAC5D,OAAO,CA8CT;AAED,wBAAgB,uBAAuB,CACnC,EAAE,EAAE,UAAU,EACd,cAAc,EAAE,MAAM,EACtB,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC1C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,cAAc,CAAC,CAAC,GAC5D,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqCzB;AAED,wBAAgB,4BAA4B,CACxC,EAAE,EAAE,UAAU,EACd,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,wBAAwB,GACpC,aAAa,CAQf"}