@polintpro/proposit-core 0.1.1

package/dist/lib/core/ExpressionManager.js

@@ -0,0 +1,352 @@
+import { getOrCreate } from "../utils/collections";
+export class ExpressionManager {
+    expressions;
+    childExpressionIdsByParentId;
+    childPositionsByParentId;
+    constructor(initialExpressions = []) {
+        this.expressions = new Map();
+        this.childExpressionIdsByParentId = new Map();
+        this.childPositionsByParentId = new Map();
+        this.loadInitialExpressions(initialExpressions);
+    }
+    toArray() {
+        return Array.from(this.expressions.values());
+    }
+    addExpression(expression) {
+        if (this.expressions.has(expression.id)) {
+            throw new Error(`Expression with ID "${expression.id}" already exists.`);
+        }
+        if (expression.parentId === expression.id) {
+            throw new Error(`Expression "${expression.id}" cannot be its own parent.`);
+        }
+        if (expression.type === "operator" &&
+            (expression.operator === "implies" ||
+                expression.operator === "iff") &&
+            expression.parentId !== null) {
+            throw new Error(`Operator expression "${expression.id}" with "${expression.operator}" must be a root expression (parentId must be null).`);
+        }
+        if (expression.parentId !== null) {
+            const parent = this.expressions.get(expression.parentId);
+            if (!parent) {
+                throw new Error(`Parent expression "${expression.parentId}" does not exist.`);
+            }
+            if (parent.type !== "operator" && parent.type !== "formula") {
+                throw new Error(`Parent expression "${expression.parentId}" is not an operator expression.`);
+            }
+            if (parent.type === "operator") {
+                this.assertChildLimit(parent.operator, expression.parentId);
+            }
+            else {
+                const childCount = this.childExpressionIdsByParentId.get(expression.parentId)
+                    ?.size ?? 0;
+                if (childCount >= 1) {
+                    throw new Error(`Formula expression "${expression.parentId}" can only have one child.`);
+                }
+            }
+        }
+        if (expression.position !== null) {
+            const occupiedPositions = getOrCreate(this.childPositionsByParentId, expression.parentId, () => new Set());
+            if (occupiedPositions.has(expression.position)) {
+                throw new Error(`Position ${expression.position} is already used under parent "${expression.parentId}".`);
+            }
+            occupiedPositions.add(expression.position);
+        }
+        this.expressions.set(expression.id, expression);
+        getOrCreate(this.childExpressionIdsByParentId, expression.parentId, () => new Set()).add(expression.id);
+    }
+    removeExpression(expressionId) {
+        const target = this.expressions.get(expressionId);
+        if (!target) {
+            return undefined;
+        }
+        const parentId = target.parentId;
+        const toRemove = new Set();
+        const stack = [expressionId];
+        while (stack.length > 0) {
+            const currentId = stack.pop();
+            if (!currentId || toRemove.has(currentId)) {
+                continue;
+            }
+            toRemove.add(currentId);
+            const children = this.childExpressionIdsByParentId.get(currentId);
+            if (!children) {
+                continue;
+            }
+            for (const childId of children) {
+                stack.push(childId);
+            }
+        }
+        for (const id of toRemove) {
+            const expression = this.expressions.get(id);
+            if (!expression) {
+                continue;
+            }
+            this.expressions.delete(id);
+            this.childExpressionIdsByParentId
+                .get(expression.parentId)
+                ?.delete(id);
+            if (expression.position !== null) {
+                this.childPositionsByParentId
+                    .get(expression.parentId)
+                    ?.delete(expression.position);
+            }
+            this.childExpressionIdsByParentId.delete(id);
+            this.childPositionsByParentId.delete(id);
+        }
+        this.collapseIfNeeded(parentId);
+        return target;
+    }
+    collapseIfNeeded(operatorId) {
+        if (operatorId === null)
+            return;
+        const operator = this.expressions.get(operatorId);
+        if (!operator)
+            return;
+        if (operator.type === "formula") {
+            const children = this.getChildExpressions(operatorId);
+            if (children.length === 0) {
+                const grandparentId = operator.parentId;
+                this.expressions.delete(operatorId);
+                this.childExpressionIdsByParentId
+                    .get(grandparentId)
+                    ?.delete(operatorId);
+                if (operator.position !== null) {
+                    this.childPositionsByParentId
+                        .get(grandparentId)
+                        ?.delete(operator.position);
+                }
+                this.childExpressionIdsByParentId.delete(operatorId);
+                this.childPositionsByParentId.delete(operatorId);
+                this.collapseIfNeeded(grandparentId);
+            }
+            return;
+        }
+        if (operator.type !== "operator")
+            return;
+        const children = this.getChildExpressions(operatorId);
+        if (children.length === 0) {
+            const grandparentId = operator.parentId;
+            const grandparentPosition = operator.position;
+            this.expressions.delete(operatorId);
+            this.childExpressionIdsByParentId
+                .get(grandparentId)
+                ?.delete(operatorId);
+            if (grandparentPosition !== null) {
+                this.childPositionsByParentId
+                    .get(grandparentId)
+                    ?.delete(grandparentPosition);
+            }
+            this.childExpressionIdsByParentId.delete(operatorId);
+            this.childPositionsByParentId.delete(operatorId);
+            this.collapseIfNeeded(grandparentId);
+        }
+        else if (children.length === 1) {
+            const child = children[0];
+            const grandparentId = operator.parentId;
+            const grandparentPosition = operator.position;
+            // Promote the surviving child into the operator's slot in the grandparent.
+            const promoted = {
+                ...child,
+                parentId: grandparentId,
+                position: grandparentPosition,
+            };
+            this.expressions.set(child.id, promoted);
+            // Replace the operator with the promoted child in the grandparent's child-id set.
+            this.childExpressionIdsByParentId
+                .get(grandparentId)
+                ?.delete(operatorId);
+            getOrCreate(this.childExpressionIdsByParentId, grandparentId, () => new Set()).add(child.id);
+            // The grandparent's position set is unchanged: grandparentPosition was
+            // already tracked for the operator and continues to be occupied by the
+            // promoted child.
+            // Remove the operator's own tracking entries.
+            this.childExpressionIdsByParentId.delete(operatorId);
+            this.childPositionsByParentId.delete(operatorId);
+            this.expressions.delete(operatorId);
+            // The grandparent's child count is unchanged; no further recursion needed.
+        }
+    }
+    hasVariableReference(variableId) {
+        for (const expression of this.expressions.values()) {
+            if (expression.type === "variable" &&
+                expression.variableId === variableId) {
+                return true;
+            }
+        }
+        return false;
+    }
+    getExpression(expressionId) {
+        return this.expressions.get(expressionId);
+    }
+    getChildExpressions(parentId) {
+        const childIds = this.childExpressionIdsByParentId.get(parentId);
+        if (!childIds || childIds.size === 0) {
+            return [];
+        }
+        const children = [];
+        for (const childId of childIds) {
+            const child = this.expressions.get(childId);
+            if (child) {
+                children.push(child);
+            }
+        }
+        return children.sort((a, b) => {
+            if (a.position === null && b.position === null) {
+                return a.id.localeCompare(b.id);
+            }
+            if (a.position === null) {
+                return 1;
+            }
+            if (b.position === null) {
+                return -1;
+            }
+            return a.position - b.position;
+        });
+    }
+    loadInitialExpressions(initialExpressions) {
+        if (initialExpressions.length === 0) {
+            return;
+        }
+        const pending = new Map(initialExpressions.map((expression) => [expression.id, expression]));
+        let progressed = true;
+        while (pending.size > 0 && progressed) {
+            progressed = false;
+            for (const [id, expression] of Array.from(pending.entries())) {
+                if (expression.parentId !== null &&
+                    !this.expressions.has(expression.parentId)) {
+                    continue;
+                }
+                this.addExpression(expression);
+                pending.delete(id);
+                progressed = true;
+            }
+        }
+        if (pending.size > 0) {
+            const unresolved = Array.from(pending.keys()).join(", ");
+            throw new Error(`Could not resolve parent relationships for expressions: ${unresolved}.`);
+        }
+    }
+    assertChildLimit(operator, parentId) {
+        const childCount = this.childExpressionIdsByParentId.get(parentId)?.size ?? 0;
+        if (operator === "not" && childCount >= 1) {
+            throw new Error(`Operator expression "${parentId}" with "not" can only have one child.`);
+        }
+        if ((operator === "implies" || operator === "iff") && childCount >= 2) {
+            throw new Error(`Operator expression "${parentId}" with "${operator}" can only have two children.`);
+        }
+    }
+    reparent(expressionId, newParentId, newPosition) {
+        const expression = this.expressions.get(expressionId);
+        // Detach from old parent.
+        this.childExpressionIdsByParentId
+            .get(expression.parentId)
+            ?.delete(expressionId);
+        if (expression.position !== null) {
+            this.childPositionsByParentId
+                .get(expression.parentId)
+                ?.delete(expression.position);
+        }
+        // Replace the stored value (expressions are immutable value objects).
+        const updated = {
+            ...expression,
+            parentId: newParentId,
+            position: newPosition,
+        };
+        this.expressions.set(expressionId, updated);
+        // Attach to new parent.
+        getOrCreate(this.childExpressionIdsByParentId, newParentId, () => new Set()).add(expressionId);
+        if (newPosition !== null) {
+            getOrCreate(this.childPositionsByParentId, newParentId, () => new Set()).add(newPosition);
+        }
+    }
+    insertExpression(expression, leftNodeId, rightNodeId) {
+        // 1. At least one child node must be provided.
+        if (leftNodeId === undefined && rightNodeId === undefined) {
+            throw new Error(`insertExpression requires at least one of leftNodeId or rightNodeId.`);
+        }
+        // 2. The new expression's ID must not already exist.
+        if (this.expressions.has(expression.id)) {
+            throw new Error(`Expression with ID "${expression.id}" already exists.`);
+        }
+        // 3. An expression cannot be its own parent.
+        if (expression.parentId === expression.id) {
+            throw new Error(`Expression "${expression.id}" cannot be its own parent.`);
+        }
+        // 4. Left and right nodes must be distinct.
+        if (leftNodeId !== undefined &&
+            rightNodeId !== undefined &&
+            leftNodeId === rightNodeId) {
+            throw new Error(`leftNodeId and rightNodeId must be different.`);
+        }
+        // 5. The left node must exist if provided.
+        const leftNode = leftNodeId !== undefined
+            ? this.expressions.get(leftNodeId)
+            : undefined;
+        if (leftNodeId !== undefined && !leftNode) {
+            throw new Error(`Expression "${leftNodeId}" does not exist.`);
+        }
+        // 6. The right node must exist if provided.
+        const rightNode = rightNodeId !== undefined
+            ? this.expressions.get(rightNodeId)
+            : undefined;
+        if (rightNodeId !== undefined && !rightNode) {
+            throw new Error(`Expression "${rightNodeId}" does not exist.`);
+        }
+        // 7. The "not" operator is unary and cannot take two children.
+        if (expression.type === "operator" &&
+            expression.operator === "not" &&
+            leftNodeId !== undefined &&
+            rightNodeId !== undefined) {
+            throw new Error(`Operator expression "${expression.id}" with "not" can only have one child.`);
+        }
+        // 7b. A formula expression is also unary and cannot take two children.
+        if (expression.type === "formula" &&
+            leftNodeId !== undefined &&
+            rightNodeId !== undefined) {
+            throw new Error(`Formula expression "${expression.id}" can only have one child.`);
+        }
+        // 8. The left node must not be an implies/iff expression (which must remain a root).
+        if (leftNode?.type === "operator" &&
+            (leftNode.operator === "implies" || leftNode.operator === "iff")) {
+            throw new Error(`Expression "${leftNodeId}" with "${leftNode.operator}" cannot be subordinated (it must remain a root expression).`);
+        }
+        // 9. The right node must not be an implies/iff expression (which must remain a root).
+        if (rightNode?.type === "operator" &&
+            (rightNode.operator === "implies" || rightNode.operator === "iff")) {
+            throw new Error(`Expression "${rightNodeId}" with "${rightNode.operator}" cannot be subordinated (it must remain a root expression).`);
+        }
+        // The anchor is the node whose current tree slot the new expression will inherit.
+        const anchor = (leftNode ?? rightNode);
+        // 10. implies/iff expressions may only be inserted at the root of the tree.
+        if (expression.type === "operator" &&
+            (expression.operator === "implies" ||
+                expression.operator === "iff") &&
+            anchor.parentId !== null) {
+            throw new Error(`Operator expression "${expression.id}" with "${expression.operator}" must be a root expression (parentId must be null).`);
+        }
+        const anchorParentId = anchor.parentId;
+        const anchorPosition = anchor.position;
+        // Reparent rightNode first in case it is a descendant of leftNode.
+        if (rightNodeId !== undefined) {
+            this.reparent(rightNodeId, expression.id, 1);
+        }
+        if (leftNodeId !== undefined) {
+            this.reparent(leftNodeId, expression.id, 0);
+        }
+        // Store the new expression in the freed anchor slot.
+        const stored = {
+            ...expression,
+            parentId: anchorParentId,
+            position: anchorPosition,
+        };
+        this.expressions.set(expression.id, stored);
+        getOrCreate(this.childExpressionIdsByParentId, anchorParentId, () => new Set()).add(expression.id);
+        if (anchorPosition !== null) {
+            getOrCreate(this.childPositionsByParentId, anchorParentId, () => new Set()).add(anchorPosition);
+        }
+    }
+}
+// ---------------------------------------------------------------------------
+// PremiseManager
+// ---------------------------------------------------------------------------
+//# sourceMappingURL=ExpressionManager.js.map

package/dist/lib/core/ExpressionManager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExpressionManager.js","sourceRoot":"","sources":["../../../src/lib/core/ExpressionManager.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAElD,MAAM,OAAO,iBAAiB;IAClB,WAAW,CAAuC;IAClD,4BAA4B,CAAiC;IAC7D,wBAAwB,CAAiC;IAEjE,YAAY,qBAAiD,EAAE;QAC3D,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,EAAE,CAAA;QAC5B,IAAI,CAAC,4BAA4B,GAAG,IAAI,GAAG,EAAE,CAAA;QAC7C,IAAI,CAAC,wBAAwB,GAAG,IAAI,GAAG,EAAE,CAAA;QAEzC,IAAI,CAAC,sBAAsB,CAAC,kBAAkB,CAAC,CAAA;IACnD,CAAC;IAEM,OAAO;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAA;IAChD,CAAC;IAEM,aAAa,CAAC,UAAoC;QACrD,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CACX,uBAAuB,UAAU,CAAC,EAAE,mBAAmB,CAC1D,CAAA;QACL,CAAC;QACD,IAAI,UAAU,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CACX,eAAe,UAAU,CAAC,EAAE,6BAA6B,CAC5D,CAAA;QACL,CAAC;QAED,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,UAAU,CAAC,QAAQ,KAAK,SAAS;gBAC9B,UAAU,CAAC,QAAQ,KAAK,KAAK,CAAC;YAClC,UAAU,CAAC,QAAQ,KAAK,IAAI,EAC9B,CAAC;YACC,MAAM,IAAI,KAAK,CACX,wBAAwB,UAAU,CAAC,EAAE,WAAW,UAAU,CAAC,QAAQ,sDAAsD,CAC5H,CAAA;QACL,CAAC;QAED,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YACxD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACX,sBAAsB,UAAU,CAAC,QAAQ,mBAAmB,CAC/D,CAAA;YACL,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1D,MAAM,IAAI,KAAK,CACX,sBAAsB,UAAU,CAAC,QAAQ,kCAAkC,CAC9E,CAAA;YACL,CAAC;YAED,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAA;YAC/D,CAAC;iBAAM,CAAC;gBACJ,MAAM,UAAU,GACZ,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;oBACtD,EAAE,IAAI,IAAI,CAAC,CAAA;gBACnB,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;oBAClB,MAAM,IAAI,KAAK,CACX,uBAAuB,UAAU,CAAC,QAAQ,4BAA4B,CACzE,CAAA;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,MAAM,iBAAiB,GAAG,WAAW,CACjC,IAAI,CAAC,wBAAwB,EAC7B,UAAU,CAAC,QAAQ,EACnB,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAClB,CAAA;YACD,IAAI,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7C,MAAM,IAAI,KAAK,CACX,YAAY,UAAU,CAAC,QAAQ,kCAAkC,UAAU,CAAC,QAAQ,IAAI,CAC3F,CAAA;YACL,CAAC;YACD,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;QAC9C,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAA;QAC/C,WAAW,CACP,IAAI,CAAC,4BAA4B,EACjC,UAAU,CAAC,QAAQ,EACnB,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAClB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;IACxB,CAAC;IAEM,gBAAgB,CAAC,YAAoB;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QACjD,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,OAAO,SAAS,CAAA;QACpB,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;QAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;QAClC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,CAAA;QAC5B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,EAAE,CAAA;YAC7B,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACxC,SAAQ;YACZ,CAAC;YAED,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YACjE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,SAAQ;YACZ,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACvB,CAAC;QACL,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YACxB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;gBACd,SAAQ;YACZ,CAAC;YAED,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAC3B,IAAI,CAAC,4BAA4B;iBAC5B,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;gBACzB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAA;YAEhB,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBAC/B,IAAI,CAAC,wBAAwB;qBACxB,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;oBACzB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YACrC,CAAC;YAED,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAC5C,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC5C,CAAC;QAED,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAA;QAE/B,OAAO,MAAM,CAAA;IACjB,CAAC;IAEO,gBAAgB,CAAC,UAAyB;QAC9C,IAAI,UAAU,KAAK,IAAI;YAAE,OAAM;QAE/B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACjD,IAAI,CAAC,QAAQ;YAAE,OAAM;QAErB,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAA;YACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAA;gBACvC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;gBACnC,IAAI,CAAC,4BAA4B;qBAC5B,GAAG,CAAC,aAAa,CAAC;oBACnB,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;gBACxB,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBAC7B,IAAI,CAAC,wBAAwB;yBACxB,GAAG,CAAC,aAAa,CAAC;wBACnB,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;gBACnC,CAAC;gBACD,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;gBACpD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;gBAChD,IAAI,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAA;YACxC,CAAC;YACD,OAAM;QACV,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QAExC,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAA;QAErD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAA;YACvC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,QAAQ,CAAA;YAE7C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YACnC,IAAI,CAAC,4BAA4B;iBAC5B,GAAG,CAAC,aAAa,CAAC;gBACnB,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;YACxB,IAAI,mBAAmB,KAAK,IAAI,EAAE,CAAC;gBAC/B,IAAI,CAAC,wBAAwB;qBACxB,GAAG,CAAC,aAAa,CAAC;oBACnB,EAAE,MAAM,CAAC,mBAAmB,CAAC,CAAA;YACrC,CAAC;YACD,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YACpD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YAEhD,IAAI,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAA;QACxC,CAAC;aAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;YACzB,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAA;YACvC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,QAAQ,CAAA;YAE7C,2EAA2E;YAC3E,MAAM,QAAQ,GAAG;gBACb,GAAG,KAAK;gBACR,QAAQ,EAAE,aAAa;gBACvB,QAAQ,EAAE,mBAAmB;aACJ,CAAA;YAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;YAExC,kFAAkF;YAClF,IAAI,CAAC,4BAA4B;iBAC5B,GAAG,CAAC,aAAa,CAAC;gBACnB,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;YACxB,WAAW,CACP,IAAI,CAAC,4BAA4B,EACjC,aAAa,EACb,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAClB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAEf,uEAAuE;YACvE,uEAAuE;YACvE,kBAAkB;YAElB,8CAA8C;YAC9C,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YACpD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YAChD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YAEnC,2EAA2E;QAC/E,CAAC;IACL,CAAC;IAEM,oBAAoB,CAAC,UAAkB;QAC1C,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;YACjD,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;gBAC9B,UAAU,CAAC,UAAU,KAAK,UAAU,EACtC,CAAC;gBACC,OAAO,IAAI,CAAA;YACf,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAA;IAChB,CAAC;IAEM,aAAa,CAChB,YAAoB;QAEpB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC7C,CAAC;IAEM,mBAAmB,CACtB,QAAuB;QAEvB,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAChE,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,CAAA;QACb,CAAC;QAED,MAAM,QAAQ,GAA+B,EAAE,CAAA;QAC/C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YAC3C,IAAI,KAAK,EAAE,CAAC;gBACR,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACxB,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC1B,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBAC7C,OAAO,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YACnC,CAAC;YACD,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACtB,OAAO,CAAC,CAAA;YACZ,CAAC;YACD,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACtB,OAAO,CAAC,CAAC,CAAA;YACb,CAAC;YACD,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAA;QAClC,CAAC,CAAC,CAAA;IACN,CAAC;IAEO,sBAAsB,CAC1B,kBAA8C;QAE9C,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAM;QACV,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,GAAG,CACnB,kBAAkB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CACtE,CAAA;QAED,IAAI,UAAU,GAAG,IAAI,CAAA;QACrB,OAAO,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;YACpC,UAAU,GAAG,KAAK,CAAA;YAElB,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;gBAC3D,IACI,UAAU,CAAC,QAAQ,KAAK,IAAI;oBAC5B,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC5C,CAAC;oBACC,SAAQ;gBACZ,CAAC;gBAED,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;gBAC9B,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;gBAClB,UAAU,GAAG,IAAI,CAAA;YACrB,CAAC;QACL,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACxD,MAAM,IAAI,KAAK,CACX,2DAA2D,UAAU,GAAG,CAC3E,CAAA;QACL,CAAC;IACL,CAAC;IAEO,gBAAgB,CACpB,QAA8B,EAC9B,QAAgB;QAEhB,MAAM,UAAU,GACZ,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,IAAI,CAAC,CAAA;QAE9D,IAAI,QAAQ,KAAK,KAAK,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CACX,wBAAwB,QAAQ,uCAAuC,CAC1E,CAAA;QACL,CAAC;QACD,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,CAAC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;YACpE,MAAM,IAAI,KAAK,CACX,wBAAwB,QAAQ,WAAW,QAAQ,+BAA+B,CACrF,CAAA;QACL,CAAC;IACL,CAAC;IAEO,QAAQ,CACZ,YAAoB,EACpB,WAA0B,EAC1B,WAA0B;QAE1B,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAE,CAAA;QAEtD,0BAA0B;QAC1B,IAAI,CAAC,4BAA4B;aAC5B,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;YACzB,EAAE,MAAM,CAAC,YAAY,CAAC,CAAA;QAC1B,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,wBAAwB;iBACxB,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;gBACzB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;QACrC,CAAC;QAED,sEAAsE;QACtE,MAAM,OAAO,GAAG;YACZ,GAAG,UAAU;YACb,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,WAAW;SACI,CAAA;QAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QAE3C,wBAAwB;QACxB,WAAW,CACP,IAAI,CAAC,4BAA4B,EACjC,WAAW,EACX,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAClB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QACnB,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACvB,WAAW,CACP,IAAI,CAAC,wBAAwB,EAC7B,WAAW,EACX,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAClB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QACtB,CAAC;IACL,CAAC;IAEM,gBAAgB,CACnB,UAAoC,EACpC,UAAmB,EACnB,WAAoB;QAEpB,+CAA+C;QAC/C,IAAI,UAAU,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CACX,sEAAsE,CACzE,CAAA;QACL,CAAC;QAED,qDAAqD;QACrD,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CACX,uBAAuB,UAAU,CAAC,EAAE,mBAAmB,CAC1D,CAAA;QACL,CAAC;QAED,6CAA6C;QAC7C,IAAI,UAAU,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CACX,eAAe,UAAU,CAAC,EAAE,6BAA6B,CAC5D,CAAA;QACL,CAAC;QAED,4CAA4C;QAC5C,IACI,UAAU,KAAK,SAAS;YACxB,WAAW,KAAK,SAAS;YACzB,UAAU,KAAK,WAAW,EAC5B,CAAC;YACC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;QACpE,CAAC;QAED,2CAA2C;QAC3C,MAAM,QAAQ,GACV,UAAU,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC;YAClC,CAAC,CAAC,SAAS,CAAA;QACnB,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,eAAe,UAAU,mBAAmB,CAAC,CAAA;QACjE,CAAC;QAED,4CAA4C;QAC5C,MAAM,SAAS,GACX,WAAW,KAAK,SAAS;YACrB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC;YACnC,CAAC,CAAC,SAAS,CAAA;QACnB,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,eAAe,WAAW,mBAAmB,CAAC,CAAA;QAClE,CAAC;QAED,+DAA+D;QAC/D,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,UAAU,CAAC,QAAQ,KAAK,KAAK;YAC7B,UAAU,KAAK,SAAS;YACxB,WAAW,KAAK,SAAS,EAC3B,CAAC;YACC,MAAM,IAAI,KAAK,CACX,wBAAwB,UAAU,CAAC,EAAE,uCAAuC,CAC/E,CAAA;QACL,CAAC;QAED,uEAAuE;QACvE,IACI,UAAU,CAAC,IAAI,KAAK,SAAS;YAC7B,UAAU,KAAK,SAAS;YACxB,WAAW,KAAK,SAAS,EAC3B,CAAC;YACC,MAAM,IAAI,KAAK,CACX,uBAAuB,UAAU,CAAC,EAAE,4BAA4B,CACnE,CAAA;QACL,CAAC;QAED,qFAAqF;QACrF,IACI,QAAQ,EAAE,IAAI,KAAK,UAAU;YAC7B,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,EAClE,CAAC;YACC,MAAM,IAAI,KAAK,CACX,eAAe,UAAU,WAAW,QAAQ,CAAC,QAAQ,8DAA8D,CACtH,CAAA;QACL,CAAC;QAED,sFAAsF;QACtF,IACI,SAAS,EAAE,IAAI,KAAK,UAAU;YAC9B,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,KAAK,CAAC,EACpE,CAAC;YACC,MAAM,IAAI,KAAK,CACX,eAAe,WAAW,WAAW,SAAS,CAAC,QAAQ,8DAA8D,CACxH,CAAA;QACL,CAAC;QAED,kFAAkF;QAClF,MAAM,MAAM,GAAG,CAAC,QAAQ,IAAI,SAAS,CAAE,CAAA;QAEvC,4EAA4E;QAC5E,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,UAAU,CAAC,QAAQ,KAAK,SAAS;gBAC9B,UAAU,CAAC,QAAQ,KAAK,KAAK,CAAC;YAClC,MAAM,CAAC,QAAQ,KAAK,IAAI,EAC1B,CAAC;YACC,MAAM,IAAI,KAAK,CACX,wBAAwB,UAAU,CAAC,EAAE,WAAW,UAAU,CAAC,QAAQ,sDAAsD,CAC5H,CAAA;QACL,CAAC;QAED,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAA;QACtC,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAA;QAEtC,mEAAmE;QACnE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QAChD,CAAC;QACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QAC/C,CAAC;QAED,qDAAqD;QACrD,MAAM,MAAM,GAAG;YACX,GAAG,UAAU;YACb,QAAQ,EAAE,cAAc;YACxB,QAAQ,EAAE,cAAc;SACC,CAAA;QAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QAC3C,WAAW,CACP,IAAI,CAAC,4BAA4B,EACjC,cAAc,EACd,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAClB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QACpB,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;YAC1B,WAAW,CACP,IAAI,CAAC,wBAAwB,EAC7B,cAAc,EACd,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAClB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;QACzB,CAAC;IACL,CAAC;CACJ;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E"}

package/dist/lib/core/PremiseManager.d.ts

@@ -0,0 +1,110 @@
+import type { TArgument, TPremise, TPropositionalExpression, TPropositionalVariable } from "../schemata";
+import type { TPremiseEvaluationResult, TValidationResult, TVariableAssignment } from "../types/evaluation";
+export declare class PremiseManager {
+    private id;
+    private title;
+    private rootExpressionId;
+    private variables;
+    private expressions;
+    private expressionsByVariableId;
+    private argument;
+    constructor(id: string, argument: TArgument, title?: string);
+    /**
+     * Registers a propositional variable for use within this premise.
+     *
+     * @throws If `variable.symbol` is already in use within this premise.
+     * @throws If `variable.id` already exists within this premise.
+     * @throws If the variable does not belong to this premise's argument.
+     */
+    addVariable(variable: TPropositionalVariable): void;
+    /**
+     * Removes a variable from this premise's registry and returns it, or
+     * `undefined` if it was not found.
+     *
+     * @throws If any expression in this premise still references the variable.
+     */
+    removeVariable(variableId: string): TPropositionalVariable | undefined;
+    /**
+     * Adds an expression to this premise's tree.
+     *
+     * If the expression has `parentId: null` it becomes the root; only one
+     * root is permitted per premise.  If `parentId` is non-null the parent
+     * must already exist within this premise.
+     *
+     * All other structural rules (`implies`/`iff` root-only, child limits,
+     * position uniqueness) are enforced by the underlying `ExpressionManager`.
+     *
+     * @throws If the premise already has a root expression and this one is also a root.
+     * @throws If the expression's parent does not exist in this premise.
+     * @throws If the expression is a variable reference and the variable has not been registered.
+     * @throws If the expression does not belong to this argument.
+     */
+    addExpression(expression: TPropositionalExpression): void;
+    /**
+     * Removes an expression and its entire descendant subtree, then collapses
+     * any ancestor operators with fewer than two children (same semantics as
+     * before).  Returns the removed root expression, or `undefined` if not
+     * found.
+     *
+     * `rootExpressionId` is recomputed after every removal because operator
+     * collapse can silently promote a new expression into the root slot.
+     */
+    removeExpression(expressionId: string): TPropositionalExpression | undefined;
+    /**
+     * Splices a new expression between existing nodes in the tree.  The new
+     * expression inherits the tree slot of the anchor node
+     * (`leftNodeId ?? rightNodeId`).
+     *
+     * `rootExpressionId` is recomputed after every insertion because the
+     * anchor may have been the root.
+     *
+     * See `ArgumentEngine.insertExpression` for the full contract; the same
+     * rules apply here.
+     *
+     * @throws If the expression does not belong to this argument.
+     * @throws If the expression is a variable reference and the variable has not been registered.
+     */
+    insertExpression(expression: TPropositionalExpression, leftNodeId?: string, rightNodeId?: string): void;
+    /**
+     * Returns an expression by ID, or `undefined` if not found in this
+     * premise.
+     */
+    getExpression(id: string): TPropositionalExpression | undefined;
+    getId(): string;
+    getTitle(): string | undefined;
+    getRootExpressionId(): string | undefined;
+    getRootExpression(): TPropositionalExpression | undefined;
+    getVariables(): TPropositionalVariable[];
+    getExpressions(): TPropositionalExpression[];
+    getChildExpressions(parentId: string | null): TPropositionalExpression[];
+    getPremiseType(): "inference" | "constraint";
+    validateEvaluability(): TValidationResult;
+    evaluate(assignment: TVariableAssignment, options?: {
+        strictUnknownKeys?: boolean;
+        requireExactCoverage?: boolean;
+    }): TPremiseEvaluationResult;
+    /**
+     * Returns a human-readable string of this premise's expression tree using
+     * standard logical notation (∧ ∨ ¬ → ↔).  Missing operands are rendered
+     * as `(?)`.  Returns an empty string when the premise has no expressions.
+     */
+    toDisplayString(): string;
+    /**
+     * Returns a serialisable snapshot of this premise conforming to
+     * `TPremise`.  `variables` contains only the variables that are actually
+     * referenced by expressions in this premise.  `type` is derived from the
+     * root expression: `"inference"` if the root is an `implies` or `iff`
+     * operator, `"constraint"` otherwise (including when the premise is empty).
+     */
+    toData(): TPremise;
+    /**
+     * Re-reads the single root from ExpressionManager after any operation
+     * that may have caused operator collapse to silently change the root.
+     */
+    private syncRootExpressionId;
+    private collectSubtree;
+    private assertBelongsToArgument;
+    private renderExpression;
+    private operatorSymbol;
+}
+//# sourceMappingURL=PremiseManager.d.ts.map

package/dist/lib/core/PremiseManager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PremiseManager.d.ts","sourceRoot":"","sources":["../../../src/lib/core/PremiseManager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,SAAS,EAET,QAAQ,EACR,wBAAwB,EACxB,sBAAsB,EACzB,MAAM,aAAa,CAAA;AAGpB,OAAO,KAAK,EACR,wBAAwB,EAGxB,iBAAiB,EACjB,mBAAmB,EACtB,MAAM,qBAAqB,CAAA;AAU5B,qBAAa,cAAc;IACvB,OAAO,CAAC,EAAE,CAAQ;IAClB,OAAO,CAAC,KAAK,CAAoB;IACjC,OAAO,CAAC,gBAAgB,CAAoB;IAC5C,OAAO,CAAC,SAAS,CAAiB;IAClC,OAAO,CAAC,WAAW,CAAmB;IACtC,OAAO,CAAC,uBAAuB,CAAiC;IAChE,OAAO,CAAC,QAAQ,CAAW;gBAEf,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM;IAU3D;;;;;;OAMG;IACI,WAAW,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI;IAQ1D;;;;;OAKG;IACI,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,sBAAsB,GAAG,SAAS;IASrC;;;;;;;;;;;;;;OAcG;IACI,aAAa,CAAC,UAAU,EAAE,wBAAwB,GAAG,IAAI;IA2ChE;;;;;;;;OAQG;IACI,gBAAgB,CACnB,YAAY,EAAE,MAAM,GACrB,wBAAwB,GAAG,SAAS;IAsBvC;;;;;;;;;;;;;OAaG;IACI,gBAAgB,CACnB,UAAU,EAAE,wBAAwB,EACpC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,IAAI;IA0BP;;;OAGG;IACI,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,wBAAwB,GAAG,SAAS;IAI/D,KAAK,IAAI,MAAM;IAIf,QAAQ,IAAI,MAAM,GAAG,SAAS;IAI9B,mBAAmB,IAAI,MAAM,GAAG,SAAS;IAIzC,iBAAiB,IAAI,wBAAwB,GAAG,SAAS;IAQzD,YAAY,IAAI,sBAAsB,EAAE;IAIxC,cAAc,IAAI,wBAAwB,EAAE;IAI5C,mBAAmB,CACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,GACxB,wBAAwB,EAAE;IAMtB,cAAc,IAAI,WAAW,GAAG,YAAY;IAQ5C,oBAAoB,IAAI,iBAAiB;IAoJzC,QAAQ,CACX,UAAU,EAAE,mBAAmB,EAC/B,OAAO,CAAC,EAAE;QACN,iBAAiB,CAAC,EAAE,OAAO,CAAA;QAC3B,oBAAoB,CAAC,EAAE,OAAO,CAAA;KACjC,GACF,wBAAwB;IAwK3B;;;;OAIG;IACI,eAAe,IAAI,MAAM;IAOhC;;;;;;OAMG;IACI,MAAM,IAAI,QAAQ;IA6BzB;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IAK5B,OAAO,CAAC,cAAc;IAetB,OAAO,CAAC,uBAAuB;IAgB/B,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,cAAc;CAczB"}