@polintpro/proposit-core 0.1.1

package/dist/lib/core/PremiseManager.js

@@ -0,0 +1,541 @@
+import { DefaultMap } from "../utils";
+import { sortedCopyById, sortedUnique } from "../utils/collections";
+import { buildDirectionalVacuity, implicationValue, makeErrorIssue, makeValidationResult, } from "./evaluation/shared";
+import { ExpressionManager } from "./ExpressionManager";
+import { VariableManager } from "./VariableManager";
+export class PremiseManager {
+    id;
+    title;
+    rootExpressionId;
+    variables;
+    expressions;
+    expressionsByVariableId;
+    argument;
+    constructor(id, argument, title) {
+        this.id = id;
+        this.argument = argument;
+        this.title = title;
+        this.rootExpressionId = undefined;
+        this.variables = new VariableManager();
+        this.expressions = new ExpressionManager();
+        this.expressionsByVariableId = new DefaultMap(() => new Set());
+    }
+    /**
+     * 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) {
+        this.assertBelongsToArgument(variable.argumentId, variable.argumentVersion);
+        this.variables.addVariable(variable);
+    }
+    /**
+     * 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) {
+        if (this.expressionsByVariableId.get(variableId).size > 0) {
+            throw new Error(`Variable "${variableId}" cannot be removed because it is referenced by one or more expressions.`);
+        }
+        return this.variables.removeVariable(variableId);
+    }
+    /**
+     * 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) {
+        this.assertBelongsToArgument(expression.argumentId, expression.argumentVersion);
+        if (expression.type === "variable" &&
+            !this.variables.hasVariable(expression.variableId)) {
+            throw new Error(`Variable expression "${expression.id}" references non-existent variable "${expression.variableId}".`);
+        }
+        if (expression.parentId === null) {
+            if (this.rootExpressionId !== undefined) {
+                throw new Error(`Premise "${this.id}" already has a root expression.`);
+            }
+        }
+        else {
+            if (!this.expressions.getExpression(expression.parentId)) {
+                throw new Error(`Parent expression "${expression.parentId}" does not exist in this premise.`);
+            }
+        }
+        // Delegate structural validation (operator type checks, position
+        // uniqueness, child limits) to ExpressionManager.
+        this.expressions.addExpression(expression);
+        if (expression.parentId === null) {
+            this.rootExpressionId = expression.id;
+        }
+        if (expression.type === "variable") {
+            this.expressionsByVariableId
+                .get(expression.variableId)
+                .add(expression.id);
+        }
+    }
+    /**
+     * 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) {
+        // Snapshot the subtree before deletion so we can clean up
+        // expressionsByVariableId for cascade-deleted descendants — they are
+        // not individually surfaced by ExpressionManager.removeExpression.
+        const subtree = this.collectSubtree(expressionId);
+        const removed = this.expressions.removeExpression(expressionId);
+        if (removed) {
+            for (const expr of subtree) {
+                if (expr.type === "variable") {
+                    this.expressionsByVariableId
+                        .get(expr.variableId)
+                        ?.delete(expr.id);
+                }
+            }
+        }
+        this.syncRootExpressionId();
+        return removed;
+    }
+    /**
+     * 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, leftNodeId, rightNodeId) {
+        this.assertBelongsToArgument(expression.argumentId, expression.argumentVersion);
+        if (expression.type === "variable" &&
+            !this.variables.hasVariable(expression.variableId)) {
+            throw new Error(`Variable expression "${expression.id}" references non-existent variable "${expression.variableId}".`);
+        }
+        this.expressions.insertExpression(expression, leftNodeId, rightNodeId);
+        if (expression.type === "variable") {
+            this.expressionsByVariableId
+                .get(expression.variableId)
+                .add(expression.id);
+        }
+        this.syncRootExpressionId();
+    }
+    /**
+     * Returns an expression by ID, or `undefined` if not found in this
+     * premise.
+     */
+    getExpression(id) {
+        return this.expressions.getExpression(id);
+    }
+    getId() {
+        return this.id;
+    }
+    getTitle() {
+        return this.title;
+    }
+    getRootExpressionId() {
+        return this.rootExpressionId;
+    }
+    getRootExpression() {
+        if (this.rootExpressionId === undefined) {
+            return undefined;
+        }
+        const expr = this.expressions.getExpression(this.rootExpressionId);
+        return expr ? { ...expr } : undefined;
+    }
+    getVariables() {
+        return sortedCopyById(this.variables.toArray());
+    }
+    getExpressions() {
+        return sortedCopyById(this.expressions.toArray());
+    }
+    getChildExpressions(parentId) {
+        return this.expressions.getChildExpressions(parentId).map((expr) => ({
+            ...expr,
+        }));
+    }
+    getPremiseType() {
+        const root = this.getRootExpression();
+        return root?.type === "operator" &&
+            (root.operator === "implies" || root.operator === "iff")
+            ? "inference"
+            : "constraint";
+    }
+    validateEvaluability() {
+        const issues = [];
+        const roots = this.expressions.getChildExpressions(null);
+        if (this.expressions.toArray().length === 0) {
+            issues.push(makeErrorIssue({
+                code: "PREMISE_EMPTY",
+                message: `Premise "${this.id}" has no expressions to evaluate.`,
+                premiseId: this.id,
+            }));
+            return makeValidationResult(issues);
+        }
+        if (roots.length === 0) {
+            issues.push(makeErrorIssue({
+                code: "PREMISE_ROOT_MISSING",
+                message: `Premise "${this.id}" has expressions but no root expression.`,
+                premiseId: this.id,
+            }));
+        }
+        if (this.rootExpressionId === undefined) {
+            issues.push(makeErrorIssue({
+                code: "PREMISE_ROOT_MISSING",
+                message: `Premise "${this.id}" does not have rootExpressionId set.`,
+                premiseId: this.id,
+            }));
+        }
+        else if (!this.expressions.getExpression(this.rootExpressionId)) {
+            issues.push(makeErrorIssue({
+                code: "PREMISE_ROOT_MISMATCH",
+                message: `Premise "${this.id}" rootExpressionId "${this.rootExpressionId}" does not exist.`,
+                premiseId: this.id,
+                expressionId: this.rootExpressionId,
+            }));
+        }
+        else if (roots[0] && roots[0].id !== this.rootExpressionId) {
+            issues.push(makeErrorIssue({
+                code: "PREMISE_ROOT_MISMATCH",
+                message: `Premise "${this.id}" rootExpressionId "${this.rootExpressionId}" does not match actual root "${roots[0].id}".`,
+                premiseId: this.id,
+                expressionId: this.rootExpressionId,
+            }));
+        }
+        for (const expr of this.expressions.toArray()) {
+            if (expr.type === "variable" &&
+                !this.variables.hasVariable(expr.variableId)) {
+                issues.push(makeErrorIssue({
+                    code: "EXPR_VARIABLE_UNDECLARED",
+                    message: `Expression "${expr.id}" references undeclared variable "${expr.variableId}".`,
+                    premiseId: this.id,
+                    expressionId: expr.id,
+                    variableId: expr.variableId,
+                }));
+            }
+            if (expr.type !== "operator" && expr.type !== "formula") {
+                continue;
+            }
+            const children = this.expressions.getChildExpressions(expr.id);
+            if (expr.type === "formula") {
+                if (children.length !== 1) {
+                    issues.push(makeErrorIssue({
+                        code: "EXPR_CHILD_COUNT_INVALID",
+                        message: `Formula expression "${expr.id}" must have exactly 1 child; found ${children.length}.`,
+                        premiseId: this.id,
+                        expressionId: expr.id,
+                    }));
+                }
+                continue;
+            }
+            if (expr.operator === "not" && children.length !== 1) {
+                issues.push(makeErrorIssue({
+                    code: "EXPR_CHILD_COUNT_INVALID",
+                    message: `Operator "${expr.id}" (not) must have exactly 1 child; found ${children.length}.`,
+                    premiseId: this.id,
+                    expressionId: expr.id,
+                }));
+            }
+            if ((expr.operator === "implies" || expr.operator === "iff") &&
+                children.length !== 2) {
+                issues.push(makeErrorIssue({
+                    code: "EXPR_CHILD_COUNT_INVALID",
+                    message: `Operator "${expr.id}" (${expr.operator}) must have exactly 2 children; found ${children.length}.`,
+                    premiseId: this.id,
+                    expressionId: expr.id,
+                }));
+            }
+            if ((expr.operator === "and" || expr.operator === "or") &&
+                children.length < 2) {
+                issues.push(makeErrorIssue({
+                    code: "EXPR_CHILD_COUNT_INVALID",
+                    message: `Operator "${expr.id}" (${expr.operator}) must have at least 2 children; found ${children.length}.`,
+                    premiseId: this.id,
+                    expressionId: expr.id,
+                }));
+            }
+            if (expr.operator === "implies" || expr.operator === "iff") {
+                const childPositions = new Set(children.map((child) => child.position));
+                if (!childPositions.has(0) || !childPositions.has(1)) {
+                    issues.push(makeErrorIssue({
+                        code: "EXPR_BINARY_POSITIONS_INVALID",
+                        message: `Operator "${expr.id}" (${expr.operator}) must have children at positions 0 and 1.`,
+                        premiseId: this.id,
+                        expressionId: expr.id,
+                    }));
+                }
+            }
+        }
+        return makeValidationResult(issues);
+    }
+    evaluate(assignment, options) {
+        const validation = this.validateEvaluability();
+        if (!validation.ok) {
+            throw new Error(`Premise "${this.id}" is not evaluable: ${validation.issues
+                .map((issue) => issue.code)
+                .join(", ")}`);
+        }
+        const rootExpressionId = this.rootExpressionId;
+        const referencedVariableIds = sortedUnique(this.expressions
+            .toArray()
+            .filter((expr) => expr.type === "variable")
+            .map((expr) => expr.variableId));
+        const missingVariableIds = referencedVariableIds.filter((variableId) => !(variableId in assignment));
+        if (missingVariableIds.length > 0) {
+            throw new Error(`Missing assignment values for variables: ${missingVariableIds.join(", ")}`);
+        }
+        if (options?.strictUnknownKeys || options?.requireExactCoverage) {
+            const knownVariableIds = new Set(referencedVariableIds);
+            const unknownKeys = Object.keys(assignment).filter((variableId) => !knownVariableIds.has(variableId));
+            if (unknownKeys.length > 0) {
+                throw new Error(`Assignment contains unknown variable IDs for premise "${this.id}": ${unknownKeys.join(", ")}`);
+            }
+        }
+        const expressionValues = {};
+        const evaluateExpression = (expressionId) => {
+            const expression = this.expressions.getExpression(expressionId);
+            if (!expression) {
+                throw new Error(`Expression "${expressionId}" was not found.`);
+            }
+            if (expression.type === "variable") {
+                const value = assignment[expression.variableId];
+                expressionValues[expression.id] = value;
+                return value;
+            }
+            const children = this.expressions.getChildExpressions(expression.id);
+            let value;
+            if (expression.type === "formula") {
+                value = evaluateExpression(children[0].id);
+                expressionValues[expression.id] = value;
+                return value;
+            }
+            switch (expression.operator) {
+                case "not":
+                    value = !evaluateExpression(children[0].id);
+                    break;
+                case "and":
+                    value = children.every((child) => evaluateExpression(child.id));
+                    break;
+                case "or":
+                    value = children.some((child) => evaluateExpression(child.id));
+                    break;
+                case "implies": {
+                    const left = children.find((child) => child.position === 0);
+                    const right = children.find((child) => child.position === 1);
+                    value = implicationValue(evaluateExpression(left.id), evaluateExpression(right.id));
+                    break;
+                }
+                case "iff": {
+                    const left = children.find((child) => child.position === 0);
+                    const right = children.find((child) => child.position === 1);
+                    value =
+                        evaluateExpression(left.id) ===
+                            evaluateExpression(right.id);
+                    break;
+                }
+            }
+            expressionValues[expression.id] = value;
+            return value;
+        };
+        const rootValue = evaluateExpression(rootExpressionId);
+        const variableValues = {};
+        for (const variableId of referencedVariableIds) {
+            variableValues[variableId] = assignment[variableId];
+        }
+        let inferenceDiagnostic;
+        if (this.getPremiseType() === "inference") {
+            const root = this.expressions.getExpression(rootExpressionId);
+            if (root?.type === "operator") {
+                const children = this.expressions.getChildExpressions(root.id);
+                const left = children.find((child) => child.position === 0);
+                const right = children.find((child) => child.position === 1);
+                if (left && right) {
+                    const leftValue = expressionValues[left.id];
+                    const rightValue = expressionValues[right.id];
+                    if (root.operator === "implies") {
+                        inferenceDiagnostic = {
+                            kind: "implies",
+                            premiseId: this.id,
+                            rootExpressionId,
+                            leftValue,
+                            rightValue,
+                            rootValue,
+                            antecedentTrue: leftValue,
+                            consequentTrue: rightValue,
+                            isVacuouslyTrue: !leftValue,
+                            fired: leftValue,
+                            firedAndHeld: leftValue && rightValue,
+                        };
+                    }
+                    else if (root.operator === "iff") {
+                        const leftToRight = buildDirectionalVacuity(leftValue, rightValue);
+                        const rightToLeft = buildDirectionalVacuity(rightValue, leftValue);
+                        inferenceDiagnostic = {
+                            kind: "iff",
+                            premiseId: this.id,
+                            rootExpressionId,
+                            leftValue,
+                            rightValue,
+                            rootValue,
+                            leftToRight,
+                            rightToLeft,
+                            bothSidesTrue: leftValue && rightValue,
+                            bothSidesFalse: !leftValue && !rightValue,
+                        };
+                    }
+                }
+            }
+        }
+        return {
+            premiseId: this.id,
+            premiseType: this.getPremiseType(),
+            rootExpressionId,
+            rootValue,
+            expressionValues,
+            variableValues,
+            inferenceDiagnostic,
+        };
+    }
+    /**
+     * 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() {
+        if (this.rootExpressionId === undefined) {
+            return "";
+        }
+        return this.renderExpression(this.rootExpressionId);
+    }
+    /**
+     * 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() {
+        const expressions = this.getExpressions();
+        const referencedVariableIds = new Set();
+        for (const expr of expressions) {
+            if (expr.type === "variable") {
+                referencedVariableIds.add(expr.variableId);
+            }
+        }
+        const variables = Array.from(referencedVariableIds)
+            .map((id) => this.variables.getVariable(id))
+            .filter((v) => v !== undefined)
+            .map((v) => ({ ...v }))
+            .sort((a, b) => a.id.localeCompare(b.id));
+        return {
+            id: this.id,
+            title: this.title,
+            rootExpressionId: this.rootExpressionId,
+            variables,
+            expressions,
+            type: this.getPremiseType(),
+        };
+    }
+    // -------------------------------------------------------------------------
+    // Private helpers
+    // -------------------------------------------------------------------------
+    /**
+     * Re-reads the single root from ExpressionManager after any operation
+     * that may have caused operator collapse to silently change the root.
+     */
+    syncRootExpressionId() {
+        const roots = this.expressions.getChildExpressions(null);
+        this.rootExpressionId = roots[0]?.id;
+    }
+    collectSubtree(rootId) {
+        const result = [];
+        const stack = [rootId];
+        while (stack.length > 0) {
+            const id = stack.pop();
+            const expr = this.expressions.getExpression(id);
+            if (!expr)
+                continue;
+            result.push(expr);
+            for (const child of this.expressions.getChildExpressions(id)) {
+                stack.push(child.id);
+            }
+        }
+        return result;
+    }
+    assertBelongsToArgument(argumentId, argumentVersion) {
+        if (argumentId !== this.argument.id) {
+            throw new Error(`Entity argumentId "${argumentId}" does not match engine argument ID "${this.argument.id}".`);
+        }
+        if (argumentVersion !== this.argument.version) {
+            throw new Error(`Entity argumentVersion "${argumentVersion}" does not match engine argument version "${this.argument.version}".`);
+        }
+    }
+    renderExpression(expressionId) {
+        const expression = this.expressions.getExpression(expressionId);
+        if (!expression) {
+            throw new Error(`Expression "${expressionId}" was not found.`);
+        }
+        if (expression.type === "variable") {
+            const variable = this.variables.getVariable(expression.variableId);
+            if (!variable) {
+                throw new Error(`Variable "${expression.variableId}" for expression "${expressionId}" was not found.`);
+            }
+            return variable.symbol;
+        }
+        if (expression.type === "formula") {
+            const children = this.expressions.getChildExpressions(expression.id);
+            if (children.length === 0) {
+                return "(?)";
+            }
+            return `(${this.renderExpression(children[0].id)})`;
+        }
+        const children = this.expressions.getChildExpressions(expression.id);
+        if (expression.operator === "not") {
+            if (children.length === 0) {
+                return `${this.operatorSymbol(expression.operator)} (?)`;
+            }
+            return `${this.operatorSymbol(expression.operator)}(${this.renderExpression(children[0].id)})`;
+        }
+        if (children.length === 0) {
+            return "(?)";
+        }
+        const renderedChildren = children.map((child) => this.renderExpression(child.id));
+        return `(${renderedChildren.join(` ${this.operatorSymbol(expression.operator)} `)})`;
+    }
+    operatorSymbol(operator) {
+        switch (operator) {
+            case "and":
+                return "∧";
+            case "or":
+                return "∨";
+            case "implies":
+                return "→";
+            case "iff":
+                return "↔";
+            case "not":
+                return "¬";
+        }
+    }
+}
+//# sourceMappingURL=PremiseManager.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PremiseManager.js","sourceRoot":"","sources":["../../../src/lib/core/PremiseManager.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AACrC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAQnE,OAAO,EACH,uBAAuB,EACvB,gBAAgB,EAChB,cAAc,EACd,oBAAoB,GACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAEnD,MAAM,OAAO,cAAc;IACf,EAAE,CAAQ;IACV,KAAK,CAAoB;IACzB,gBAAgB,CAAoB;IACpC,SAAS,CAAiB;IAC1B,WAAW,CAAmB;IAC9B,uBAAuB,CAAiC;IACxD,QAAQ,CAAW;IAE3B,YAAY,EAAU,EAAE,QAAmB,EAAE,KAAc;QACvD,IAAI,CAAC,EAAE,GAAG,EAAE,CAAA;QACZ,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,gBAAgB,GAAG,SAAS,CAAA;QACjC,IAAI,CAAC,SAAS,GAAG,IAAI,eAAe,EAAE,CAAA;QACtC,IAAI,CAAC,WAAW,GAAG,IAAI,iBAAiB,EAAE,CAAA;QAC1C,IAAI,CAAC,uBAAuB,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAA;IAClE,CAAC;IAED;;;;;;OAMG;IACI,WAAW,CAAC,QAAgC;QAC/C,IAAI,CAAC,uBAAuB,CACxB,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,eAAe,CAC3B,CAAA;QACD,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;IACxC,CAAC;IAED;;;;;OAKG;IACI,cAAc,CACjB,UAAkB;QAElB,IAAI,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,0EAA0E,CACpG,CAAA;QACL,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,UAAU,CAAC,CAAA;IACpD,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACI,aAAa,CAAC,UAAoC;QACrD,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;QAED,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,EACpD,CAAC;YACC,MAAM,IAAI,KAAK,CACX,wBAAwB,UAAU,CAAC,EAAE,uCAAuC,UAAU,CAAC,UAAU,IAAI,CACxG,CAAA;QACL,CAAC;QAED,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,IAAI,KAAK,CACX,YAAY,IAAI,CAAC,EAAE,kCAAkC,CACxD,CAAA;YACL,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvD,MAAM,IAAI,KAAK,CACX,sBAAsB,UAAU,CAAC,QAAQ,mCAAmC,CAC/E,CAAA;YACL,CAAC;QACL,CAAC;QAED,iEAAiE;QACjE,kDAAkD;QAClD,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;QAE1C,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,gBAAgB,GAAG,UAAU,CAAC,EAAE,CAAA;QACzC,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,IAAI,CAAC,uBAAuB;iBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;iBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAC3B,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,gBAAgB,CACnB,YAAoB;QAEpB,0DAA0D;QAC1D,qEAAqE;QACrE,mEAAmE;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAA;QAEjD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAA;QAE/D,IAAI,OAAO,EAAE,CAAC;YACV,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC3B,IAAI,CAAC,uBAAuB;yBACvB,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;wBACrB,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACzB,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC3B,OAAO,OAAO,CAAA;IAClB,CAAC;IAED;;;;;;;;;;;;;OAaG;IACI,gBAAgB,CACnB,UAAoC,EACpC,UAAmB,EACnB,WAAoB;QAEpB,IAAI,CAAC,uBAAuB,CACxB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,eAAe,CAC7B,CAAA;QAED,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,EACpD,CAAC;YACC,MAAM,IAAI,KAAK,CACX,wBAAwB,UAAU,CAAC,EAAE,uCAAuC,UAAU,CAAC,UAAU,IAAI,CACxG,CAAA;QACL,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAEtE,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,IAAI,CAAC,uBAAuB;iBACvB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC;iBAC1B,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAC3B,CAAC;QAED,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAED;;;OAGG;IACI,aAAa,CAAC,EAAU;QAC3B,OAAO,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC;IAEM,KAAK;QACR,OAAO,IAAI,CAAC,EAAE,CAAA;IAClB,CAAC;IAEM,QAAQ;QACX,OAAO,IAAI,CAAC,KAAK,CAAA;IACrB,CAAC;IAEM,mBAAmB;QACtB,OAAO,IAAI,CAAC,gBAAgB,CAAA;IAChC,CAAC;IAEM,iBAAiB;QACpB,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;QAClE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;IACzC,CAAC;IAEM,YAAY;QACf,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAA;IACnD,CAAC;IAEM,cAAc;QACjB,OAAO,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAA;IACrD,CAAC;IAEM,mBAAmB,CACtB,QAAuB;QAEvB,OAAO,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjE,GAAG,IAAI;SACV,CAAC,CAAC,CAAA;IACP,CAAC;IAEM,cAAc;QACjB,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAA;QACrC,OAAO,IAAI,EAAE,IAAI,KAAK,UAAU;YAC5B,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;YACxD,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,YAAY,CAAA;IACtB,CAAC;IAEM,oBAAoB;QACvB,MAAM,MAAM,GAAuB,EAAE,CAAA;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;QAExD,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,YAAY,IAAI,CAAC,EAAE,mCAAmC;gBAC/D,SAAS,EAAE,IAAI,CAAC,EAAE;aACrB,CAAC,CACL,CAAA;YACD,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;QACvC,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,YAAY,IAAI,CAAC,EAAE,2CAA2C;gBACvE,SAAS,EAAE,IAAI,CAAC,EAAE;aACrB,CAAC,CACL,CAAA;QACL,CAAC;QAED,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,YAAY,IAAI,CAAC,EAAE,uCAAuC;gBACnE,SAAS,EAAE,IAAI,CAAC,EAAE;aACrB,CAAC,CACL,CAAA;QACL,CAAC;aAAM,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAChE,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,YAAY,IAAI,CAAC,EAAE,uBAAuB,IAAI,CAAC,gBAAgB,mBAAmB;gBAC3F,SAAS,EAAE,IAAI,CAAC,EAAE;gBAClB,YAAY,EAAE,IAAI,CAAC,gBAAgB;aACtC,CAAC,CACL,CAAA;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,YAAY,IAAI,CAAC,EAAE,uBAAuB,IAAI,CAAC,gBAAgB,iCAAiC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI;gBACxH,SAAS,EAAE,IAAI,CAAC,EAAE;gBAClB,YAAY,EAAE,IAAI,CAAC,gBAAgB;aACtC,CAAC,CACL,CAAA;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAC9C,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,qCAAqC,IAAI,CAAC,UAAU,IAAI;oBACvF,SAAS,EAAE,IAAI,CAAC,EAAE;oBAClB,YAAY,EAAE,IAAI,CAAC,EAAE;oBACrB,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CAAC,CACL,CAAA;YACL,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtD,SAAQ;YACZ,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAE9D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACxB,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;wBACX,IAAI,EAAE,0BAA0B;wBAChC,OAAO,EAAE,uBAAuB,IAAI,CAAC,EAAE,sCAAsC,QAAQ,CAAC,MAAM,GAAG;wBAC/F,SAAS,EAAE,IAAI,CAAC,EAAE;wBAClB,YAAY,EAAE,IAAI,CAAC,EAAE;qBACxB,CAAC,CACL,CAAA;gBACL,CAAC;gBACD,SAAQ;YACZ,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,4CAA4C,QAAQ,CAAC,MAAM,GAAG;oBAC3F,SAAS,EAAE,IAAI,CAAC,EAAE;oBAClB,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IACI,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;gBACxD,QAAQ,CAAC,MAAM,KAAK,CAAC,EACvB,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,yCAAyC,QAAQ,CAAC,MAAM,GAAG;oBAC3G,SAAS,EAAE,IAAI,CAAC,EAAE;oBAClB,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IACI,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;gBACnD,QAAQ,CAAC,MAAM,GAAG,CAAC,EACrB,CAAC;gBACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,0CAA0C,QAAQ,CAAC,MAAM,GAAG;oBAC5G,SAAS,EAAE,IAAI,CAAC,EAAE;oBAClB,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CACL,CAAA;YACL,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACzD,MAAM,cAAc,GAAG,IAAI,GAAG,CAC1B,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC1C,CAAA;gBACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnD,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;wBACX,IAAI,EAAE,+BAA+B;wBACrC,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,4CAA4C;wBAC5F,SAAS,EAAE,IAAI,CAAC,EAAE;wBAClB,YAAY,EAAE,IAAI,CAAC,EAAE;qBACxB,CAAC,CACL,CAAA;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;IACvC,CAAC;IAEM,QAAQ,CACX,UAA+B,EAC/B,OAGC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC9C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACX,YAAY,IAAI,CAAC,EAAE,uBAAuB,UAAU,CAAC,MAAM;iBACtD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;iBAC1B,IAAI,CAAC,IAAI,CAAC,EAAE,CACpB,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAiB,CAAA;QAC/C,MAAM,qBAAqB,GAAG,YAAY,CACtC,IAAI,CAAC,WAAW;aACX,OAAO,EAAE;aACT,MAAM,CACH,CAAC,IAAI,EAAgD,EAAE,CACnD,IAAI,CAAC,IAAI,KAAK,UAAU,CAC/B;aACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CACtC,CAAA;QAED,MAAM,kBAAkB,GAAG,qBAAqB,CAAC,MAAM,CACnD,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,UAAU,CAAC,CAC9C,CAAA;QACD,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACX,4CAA4C,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9E,CAAA;QACL,CAAC;QAED,IAAI,OAAO,EAAE,iBAAiB,IAAI,OAAO,EAAE,oBAAoB,EAAE,CAAC;YAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAA;YACvD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAC9C,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CACpD,CAAA;YACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CACX,yDAAyD,IAAI,CAAC,EAAE,MAAM,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjG,CAAA;YACL,CAAC;QACL,CAAC;QAED,MAAM,gBAAgB,GAA4B,EAAE,CAAA;QACpD,MAAM,kBAAkB,GAAG,CAAC,YAAoB,EAAW,EAAE;YACzD,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CAAC,eAAe,YAAY,kBAAkB,CAAC,CAAA;YAClE,CAAC;YAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;gBAC/C,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;gBACvC,OAAO,KAAK,CAAA;YAChB,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACpE,IAAI,KAAc,CAAA;YAElB,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBAC1C,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;gBACvC,OAAO,KAAK,CAAA;YAChB,CAAC;YAED,QAAQ,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC1B,KAAK,KAAK;oBACN,KAAK,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;oBAC3C,MAAK;gBACT,KAAK,KAAK;oBACN,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAC/B,CAAA;oBACD,MAAK;gBACT,KAAK,IAAI;oBACL,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAC/B,CAAA;oBACD,MAAK;gBACT,KAAK,SAAS,CAAC,CAAC,CAAC;oBACb,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;oBAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;oBAC5D,KAAK,GAAG,gBAAgB,CACpB,kBAAkB,CAAC,IAAK,CAAC,EAAE,CAAC,EAC5B,kBAAkB,CAAC,KAAM,CAAC,EAAE,CAAC,CAChC,CAAA;oBACD,MAAK;gBACT,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACT,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;oBAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;oBAC5D,KAAK;wBACD,kBAAkB,CAAC,IAAK,CAAC,EAAE,CAAC;4BAC5B,kBAAkB,CAAC,KAAM,CAAC,EAAE,CAAC,CAAA;oBACjC,MAAK;gBACT,CAAC;YACL,CAAC;YAED,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;YACvC,OAAO,KAAK,CAAA;QAChB,CAAC,CAAA;QAED,MAAM,SAAS,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,CAAA;QACtD,MAAM,cAAc,GAA4B,EAAE,CAAA;QAClD,KAAK,MAAM,UAAU,IAAI,qBAAqB,EAAE,CAAC;YAC7C,cAAc,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACvD,CAAC;QAED,IAAI,mBAA4D,CAAA;QAChE,IAAI,IAAI,CAAC,cAAc,EAAE,KAAK,WAAW,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAA;YAC7D,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAC9D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;gBAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;gBAC5D,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;oBAChB,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAC3C,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;oBAC7C,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC9B,mBAAmB,GAAG;4BAClB,IAAI,EAAE,SAAS;4BACf,SAAS,EAAE,IAAI,CAAC,EAAE;4BAClB,gBAAgB;4BAChB,SAAS;4BACT,UAAU;4BACV,SAAS;4BACT,cAAc,EAAE,SAAS;4BACzB,cAAc,EAAE,UAAU;4BAC1B,eAAe,EAAE,CAAC,SAAS;4BAC3B,KAAK,EAAE,SAAS;4BAChB,YAAY,EAAE,SAAS,IAAI,UAAU;yBACxC,CAAA;oBACL,CAAC;yBAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;wBACjC,MAAM,WAAW,GAAG,uBAAuB,CACvC,SAAS,EACT,UAAU,CACb,CAAA;wBACD,MAAM,WAAW,GAAG,uBAAuB,CACvC,UAAU,EACV,SAAS,CACZ,CAAA;wBACD,mBAAmB,GAAG;4BAClB,IAAI,EAAE,KAAK;4BACX,SAAS,EAAE,IAAI,CAAC,EAAE;4BAClB,gBAAgB;4BAChB,SAAS;4BACT,UAAU;4BACV,SAAS;4BACT,WAAW;4BACX,WAAW;4BACX,aAAa,EAAE,SAAS,IAAI,UAAU;4BACtC,cAAc,EAAE,CAAC,SAAS,IAAI,CAAC,UAAU;yBAC5C,CAAA;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,EAAE;YAClB,WAAW,EAAE,IAAI,CAAC,cAAc,EAAE;YAClC,gBAAgB;YAChB,SAAS;YACT,gBAAgB;YAChB,cAAc;YACd,mBAAmB;SACtB,CAAA;IACL,CAAC;IAED;;;;OAIG;IACI,eAAe;QAClB,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,EAAE,CAAA;QACb,CAAC;QACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACvD,CAAC;IAED;;;;;;OAMG;IACI,MAAM;QACT,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,CAAA;QAEzC,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/C,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC;aAC9C,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;aAC3C,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;aAC3D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;aACtB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAE7C,OAAO;YACH,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,SAAS;YACT,WAAW;YACX,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE;SAC9B,CAAA;IACL,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E;;;OAGG;IACK,oBAAoB;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;QACxD,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;IACxC,CAAC;IAEO,cAAc,CAAC,MAAc;QACjC,MAAM,MAAM,GAA+B,EAAE,CAAA;QAC7C,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAA;QACtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;YAC/C,IAAI,CAAC,IAAI;gBAAE,SAAQ;YACnB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACjB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACxB,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAEO,uBAAuB,CAC3B,UAAkB,EAClB,eAAuB;QAEvB,IAAI,UAAU,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACX,sBAAsB,UAAU,wCAAwC,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAC/F,CAAA;QACL,CAAC;QACD,IAAI,eAAe,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACX,2BAA2B,eAAe,6CAA6C,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,CACnH,CAAA;QACL,CAAC;IACL,CAAC;IAEO,gBAAgB,CAAC,YAAoB;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,eAAe,YAAY,kBAAkB,CAAC,CAAA;QAClE,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,CAAC,UAAU,qBAAqB,YAAY,kBAAkB,CACxF,CAAA;YACL,CAAC;YACD,OAAO,QAAQ,CAAC,MAAM,CAAA;QAC1B,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAA;YAChB,CAAC;YACD,OAAO,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAA;QACvD,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QACpE,IAAI,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAA;YAC5D,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAA;QAClG,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,KAAK,CAAA;QAChB,CAAC;QAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAClC,CAAA;QACD,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAA;IACxF,CAAC;IAEO,cAAc,CAAC,QAA8B;QACjD,QAAQ,QAAQ,EAAE,CAAC;YACf,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;YACd,KAAK,IAAI;gBACL,OAAO,GAAG,CAAA;YACd,KAAK,SAAS;gBACV,OAAO,GAAG,CAAA;YACd,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;YACd,KAAK,KAAK;gBACN,OAAO,GAAG,CAAA;QAClB,CAAC;IACL,CAAC;CACJ"}

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

@@ -0,0 +1,17 @@
+import type { TPropositionalVariable } from "../schemata";
+export declare class VariableManager {
+    private variables;
+    private variableSymbols;
+    constructor(initialVariables?: TPropositionalVariable[]);
+    toArray(): TPropositionalVariable[];
+    addVariable(variable: TPropositionalVariable): void;
+    removeVariable(variableId: string): {
+        symbol: string;
+        id: string;
+        argumentId: string;
+        argumentVersion: number;
+    } | undefined;
+    hasVariable(variableId: string): boolean;
+    getVariable(variableId: string): TPropositionalVariable | undefined;
+}
+//# sourceMappingURL=VariableManager.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"VariableManager.d.ts","sourceRoot":"","sources":["../../../src/lib/core/VariableManager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AAEzD,qBAAa,eAAe;IACxB,OAAO,CAAC,SAAS,CAAqC;IACtD,OAAO,CAAC,eAAe,CAAa;gBAExB,gBAAgB,GAAE,sBAAsB,EAAO;IASpD,OAAO,IAAI,sBAAsB,EAAE;IAInC,WAAW,CAAC,QAAQ,EAAE,sBAAsB;IAc5C,cAAc,CAAC,UAAU,EAAE,MAAM;;;;;;IAWjC,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,sBAAsB,GAAG,SAAS;CAG7E"}

package/dist/lib/core/VariableManager.js

@@ -0,0 +1,40 @@
+export class VariableManager {
+    variables;
+    variableSymbols;
+    constructor(initialVariables = []) {
+        this.variables = new Map();
+        this.variableSymbols = new Set();
+        for (const variable of initialVariables) {
+            this.addVariable(variable);
+        }
+    }
+    toArray() {
+        return Array.from(this.variables.values());
+    }
+    addVariable(variable) {
+        if (this.variableSymbols.has(variable.symbol)) {
+            throw new Error(`Variable symbol "${variable.symbol}" already exists.`);
+        }
+        if (this.variables.has(variable.id)) {
+            throw new Error(`Variable with ID "${variable.id}" already exists.`);
+        }
+        this.variables.set(variable.id, variable);
+        this.variableSymbols.add(variable.symbol);
+    }
+    removeVariable(variableId) {
+        const variable = this.variables.get(variableId);
+        if (!variable) {
+            return undefined;
+        }
+        this.variables.delete(variableId);
+        this.variableSymbols.delete(variable.symbol);
+        return variable;
+    }
+    hasVariable(variableId) {
+        return this.variables.has(variableId);
+    }
+    getVariable(variableId) {
+        return this.variables.get(variableId);
+    }
+}
+//# sourceMappingURL=VariableManager.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"VariableManager.js","sourceRoot":"","sources":["../../../src/lib/core/VariableManager.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,eAAe;IAChB,SAAS,CAAqC;IAC9C,eAAe,CAAa;IAEpC,YAAY,mBAA6C,EAAE;QACvD,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QAC1B,IAAI,CAAC,eAAe,GAAG,IAAI,GAAG,EAAE,CAAA;QAEhC,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC9B,CAAC;IACL,CAAC;IAEM,OAAO;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9C,CAAC;IAEM,WAAW,CAAC,QAAgC;QAC/C,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACX,oBAAoB,QAAQ,CAAC,MAAM,mBAAmB,CACzD,CAAA;QACL,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,CAAC,EAAE,mBAAmB,CAAC,CAAA;QACxE,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;QACzC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC7C,CAAC;IAEM,cAAc,CAAC,UAAkB;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO,SAAS,CAAA;QACpB,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QACjC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC5C,OAAO,QAAQ,CAAA;IACnB,CAAC;IAEM,WAAW,CAAC,UAAkB;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;IAEM,WAAW,CAAC,UAAkB;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;CACJ"}

package/dist/lib/core/evaluation/shared.d.ts

@@ -0,0 +1,6 @@
+import type { TDirectionalVacuity, TValidationIssue, TValidationResult } from "../../types/evaluation";
+export declare function makeValidationResult(issues: TValidationIssue[]): TValidationResult;
+export declare function makeErrorIssue(issue: Omit<TValidationIssue, "severity">): TValidationIssue;
+export declare function implicationValue(antecedent: boolean, consequent: boolean): boolean;
+export declare function buildDirectionalVacuity(antecedentTrue: boolean, consequentTrue: boolean): TDirectionalVacuity;
+//# sourceMappingURL=shared.d.ts.map

package/dist/lib/core/evaluation/shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACpB,MAAM,wBAAwB,CAAA;AAE/B,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,gBAAgB,EAAE,GAC3B,iBAAiB,CAKnB;AAED,wBAAgB,cAAc,CAC1B,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,UAAU,CAAC,GAC1C,gBAAgB,CAElB;AAED,wBAAgB,gBAAgB,CAC5B,UAAU,EAAE,OAAO,EACnB,UAAU,EAAE,OAAO,GACpB,OAAO,CAET;AAED,wBAAgB,uBAAuB,CACnC,cAAc,EAAE,OAAO,EACvB,cAAc,EAAE,OAAO,GACxB,mBAAmB,CASrB"}