@polintpro/proposit-core 0.1.1

package/dist/lib/core/ArgumentEngine.js

@@ -0,0 +1,408 @@
+import { randomUUID } from "node:crypto";
+import { getOrCreate, sortedUnique } from "../utils/collections";
+import { makeErrorIssue, makeValidationResult } from "./evaluation/shared";
+import { PremiseManager } from "./PremiseManager";
+export class ArgumentEngine {
+    argument;
+    premises;
+    supportingPremiseIds;
+    conclusionPremiseId;
+    constructor(argument) {
+        this.argument = { ...argument };
+        this.premises = new Map();
+        this.supportingPremiseIds = new Set();
+        this.conclusionPremiseId = undefined;
+    }
+    getArgument() {
+        return { ...this.argument };
+    }
+    createPremise(title) {
+        const id = randomUUID();
+        const pm = new PremiseManager(id, this.argument, title);
+        this.premises.set(id, pm);
+        return pm;
+    }
+    removePremise(premiseId) {
+        this.premises.delete(premiseId);
+        this.supportingPremiseIds.delete(premiseId);
+        if (this.conclusionPremiseId === premiseId) {
+            this.conclusionPremiseId = undefined;
+        }
+    }
+    getPremise(premiseId) {
+        return this.premises.get(premiseId);
+    }
+    hasPremise(premiseId) {
+        return this.premises.has(premiseId);
+    }
+    listPremiseIds() {
+        return Array.from(this.premises.keys()).sort((a, b) => a.localeCompare(b));
+    }
+    listPremises() {
+        return this.listPremiseIds()
+            .map((id) => this.premises.get(id))
+            .filter((pm) => pm !== undefined);
+    }
+    getRoleState() {
+        return {
+            supportingPremiseIds: sortedUnique(this.supportingPremiseIds),
+            conclusionPremiseId: this.conclusionPremiseId,
+        };
+    }
+    setConclusionPremise(premiseId) {
+        if (!this.hasPremise(premiseId)) {
+            throw new Error(`Premise "${premiseId}" does not exist.`);
+        }
+        if (this.supportingPremiseIds.has(premiseId)) {
+            throw new Error(`Premise "${premiseId}" is already a supporting premise and cannot also be the conclusion.`);
+        }
+        this.conclusionPremiseId = premiseId;
+    }
+    clearConclusionPremise() {
+        this.conclusionPremiseId = undefined;
+    }
+    getConclusionPremise() {
+        if (this.conclusionPremiseId === undefined) {
+            return undefined;
+        }
+        return this.premises.get(this.conclusionPremiseId);
+    }
+    addSupportingPremise(premiseId) {
+        if (!this.hasPremise(premiseId)) {
+            throw new Error(`Premise "${premiseId}" does not exist.`);
+        }
+        if (this.conclusionPremiseId === premiseId) {
+            throw new Error(`Premise "${premiseId}" is the conclusion and cannot also be supporting.`);
+        }
+        this.supportingPremiseIds.add(premiseId);
+    }
+    removeSupportingPremise(premiseId) {
+        this.supportingPremiseIds.delete(premiseId);
+    }
+    listSupportingPremises() {
+        return sortedUnique(this.supportingPremiseIds)
+            .map((id) => this.premises.get(id))
+            .filter((pm) => pm !== undefined);
+    }
+    toData() {
+        return {
+            argument: { ...this.argument },
+            premises: this.listPremises().map((pm) => pm.toData()),
+            roles: this.getRoleState(),
+        };
+    }
+    exportState() {
+        return this.toData();
+    }
+    collectReferencedVariables() {
+        const byIdTmp = new Map();
+        const bySymbolTmp = new Map();
+        for (const premise of this.listPremises()) {
+            const premiseId = premise.getId();
+            const varsById = new Map(premise.getVariables().map((v) => [v.id, v]));
+            for (const expr of premise.getExpressions()) {
+                if (expr.type !== "variable")
+                    continue;
+                const variable = varsById.get(expr.variableId);
+                if (!variable)
+                    continue;
+                const byIdEntry = getOrCreate(byIdTmp, variable.id, () => ({
+                    symbols: new Set(),
+                    premiseIds: new Set(),
+                }));
+                byIdEntry.symbols.add(variable.symbol);
+                byIdEntry.premiseIds.add(premiseId);
+                const bySymbolEntry = getOrCreate(bySymbolTmp, variable.symbol, () => ({
+                    variableIds: new Set(),
+                    premiseIds: new Set(),
+                }));
+                bySymbolEntry.variableIds.add(variable.id);
+                bySymbolEntry.premiseIds.add(premiseId);
+            }
+        }
+        const byId = {};
+        for (const [variableId, entry] of Array.from(byIdTmp.entries()).sort((a, b) => a[0].localeCompare(b[0]))) {
+            byId[variableId] = {
+                symbol: sortedUnique(entry.symbols)[0] ?? "",
+                premiseIds: sortedUnique(entry.premiseIds),
+            };
+        }
+        const bySymbol = {};
+        for (const [symbol, entry] of Array.from(bySymbolTmp.entries()).sort((a, b) => a[0].localeCompare(b[0]))) {
+            bySymbol[symbol] = {
+                variableIds: sortedUnique(entry.variableIds),
+                premiseIds: sortedUnique(entry.premiseIds),
+            };
+        }
+        return {
+            variableIds: sortedUnique(byIdTmp.keys()),
+            byId,
+            bySymbol,
+        };
+    }
+    validateEvaluability() {
+        const issues = [];
+        if (this.conclusionPremiseId === undefined) {
+            issues.push(makeErrorIssue({
+                code: "ARGUMENT_NO_CONCLUSION",
+                message: "Argument has no designated conclusion premise.",
+            }));
+        }
+        else if (!this.premises.has(this.conclusionPremiseId)) {
+            issues.push(makeErrorIssue({
+                code: "ARGUMENT_CONCLUSION_NOT_FOUND",
+                message: `Conclusion premise "${this.conclusionPremiseId}" does not exist.`,
+                premiseId: this.conclusionPremiseId,
+            }));
+        }
+        for (const premiseId of sortedUnique(this.supportingPremiseIds)) {
+            if (!this.premises.has(premiseId)) {
+                issues.push(makeErrorIssue({
+                    code: "ARGUMENT_SUPPORTING_PREMISE_NOT_FOUND",
+                    message: `Supporting premise "${premiseId}" does not exist.`,
+                    premiseId,
+                }));
+            }
+        }
+        if (this.conclusionPremiseId !== undefined &&
+            this.supportingPremiseIds.has(this.conclusionPremiseId)) {
+            issues.push(makeErrorIssue({
+                code: "ARGUMENT_ROLE_OVERLAP",
+                message: `Premise "${this.conclusionPremiseId}" cannot be both supporting and conclusion.`,
+                premiseId: this.conclusionPremiseId,
+            }));
+        }
+        const idToSymbols = new Map();
+        const symbolToIds = new Map();
+        for (const premise of this.listPremises()) {
+            const varById = new Map(premise.getVariables().map((v) => [v.id, v]));
+            for (const expr of premise.getExpressions()) {
+                if (expr.type !== "variable")
+                    continue;
+                const variable = varById.get(expr.variableId);
+                if (!variable)
+                    continue;
+                getOrCreate(idToSymbols, variable.id, () => new Set()).add(variable.symbol);
+                getOrCreate(symbolToIds, variable.symbol, () => new Set()).add(variable.id);
+            }
+        }
+        for (const [variableId, symbols] of idToSymbols) {
+            if (symbols.size > 1) {
+                issues.push(makeErrorIssue({
+                    code: "ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH",
+                    message: `Variable ID "${variableId}" is used with multiple symbols: ${sortedUnique(symbols).join(", ")}.`,
+                    variableId,
+                }));
+            }
+        }
+        for (const [symbol, ids] of symbolToIds) {
+            if (ids.size > 1) {
+                issues.push(makeErrorIssue({
+                    code: "ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS",
+                    message: `Variable symbol "${symbol}" is used with multiple IDs: ${sortedUnique(ids).join(", ")}.`,
+                }));
+            }
+        }
+        for (const premise of this.listPremises()) {
+            const premiseValidation = premise.validateEvaluability();
+            issues.push(...premiseValidation.issues);
+        }
+        return makeValidationResult(issues);
+    }
+    evaluate(assignment, options) {
+        const validateFirst = options?.validateFirst ?? true;
+        if (validateFirst) {
+            const validation = this.validateEvaluability();
+            if (!validation.ok) {
+                return {
+                    ok: false,
+                    validation,
+                };
+            }
+        }
+        const conclusion = this.getConclusionPremise();
+        if (!conclusion) {
+            return {
+                ok: false,
+                validation: makeValidationResult([
+                    makeErrorIssue({
+                        code: "ARGUMENT_NO_CONCLUSION",
+                        message: "Argument has no designated conclusion premise.",
+                    }),
+                ]),
+            };
+        }
+        const supportingPremises = this.listSupportingPremises();
+        const roleIds = new Set([
+            conclusion.getId(),
+            ...supportingPremises.map((pm) => pm.getId()),
+        ]);
+        const constraintPremises = this.listPremises().filter((pm) => !roleIds.has(pm.getId()) && pm.getPremiseType() === "constraint");
+        const allRelevantPremises = [
+            conclusion,
+            ...supportingPremises,
+            ...constraintPremises,
+        ];
+        const referencedVariableIds = sortedUnique(allRelevantPremises.flatMap((pm) => pm
+            .getExpressions()
+            .filter((expr) => expr.type === "variable")
+            .map((expr) => expr.variableId)));
+        try {
+            const evalOpts = {
+                strictUnknownKeys: options?.strictUnknownAssignmentKeys ?? false,
+            };
+            const conclusionEvaluation = conclusion.evaluate(assignment, evalOpts);
+            const supportingEvaluations = supportingPremises.map((pm) => pm.evaluate(assignment, evalOpts));
+            const constraintEvaluations = constraintPremises.map((pm) => pm.evaluate(assignment, evalOpts));
+            const isAdmissibleAssignment = constraintEvaluations.every((result) => result.rootValue === true);
+            const allSupportingPremisesTrue = supportingEvaluations.every((result) => result.rootValue === true);
+            const conclusionTrue = conclusionEvaluation.rootValue === true;
+            const isCounterexample = isAdmissibleAssignment &&
+                allSupportingPremisesTrue &&
+                !conclusionTrue;
+            const includeExpressionValues = options?.includeExpressionValues ?? true;
+            const includeDiagnostics = options?.includeDiagnostics ?? true;
+            const strip = (result) => ({
+                ...result,
+                expressionValues: includeExpressionValues
+                    ? result.expressionValues
+                    : {},
+                inferenceDiagnostic: includeDiagnostics
+                    ? result.inferenceDiagnostic
+                    : undefined,
+            });
+            return {
+                ok: true,
+                assignment: { ...assignment },
+                referencedVariableIds,
+                conclusion: strip(conclusionEvaluation),
+                supportingPremises: supportingEvaluations.map(strip),
+                constraintPremises: constraintEvaluations.map(strip),
+                isAdmissibleAssignment,
+                allSupportingPremisesTrue,
+                conclusionTrue,
+                isCounterexample,
+                preservesTruthUnderAssignment: !isCounterexample,
+            };
+        }
+        catch (error) {
+            return {
+                ok: false,
+                validation: makeValidationResult([
+                    makeErrorIssue({
+                        code: "ASSIGNMENT_MISSING_VARIABLE",
+                        message: error instanceof Error
+                            ? error.message
+                            : "Argument evaluation failed.",
+                    }),
+                ]),
+            };
+        }
+    }
+    checkValidity(options) {
+        const validateFirst = options?.validateFirst ?? true;
+        if (validateFirst) {
+            const validation = this.validateEvaluability();
+            if (!validation.ok) {
+                return {
+                    ok: false,
+                    validation,
+                };
+            }
+        }
+        const conclusion = this.getConclusionPremise();
+        if (!conclusion) {
+            return {
+                ok: false,
+                validation: makeValidationResult([
+                    makeErrorIssue({
+                        code: "ARGUMENT_NO_CONCLUSION",
+                        message: "Argument has no designated conclusion premise.",
+                    }),
+                ]),
+            };
+        }
+        const supportingPremises = this.listSupportingPremises();
+        const roleIds = new Set([
+            conclusion.getId(),
+            ...supportingPremises.map((pm) => pm.getId()),
+        ]);
+        const constraintPremises = this.listPremises().filter((pm) => !roleIds.has(pm.getId()) && pm.getPremiseType() === "constraint");
+        const checkedVariableIds = sortedUnique([conclusion, ...supportingPremises, ...constraintPremises].flatMap((pm) => pm
+            .getExpressions()
+            .filter((expr) => expr.type === "variable")
+            .map((expr) => expr.variableId)));
+        if (options?.maxVariables !== undefined &&
+            checkedVariableIds.length > options.maxVariables) {
+            return {
+                ok: false,
+                validation: makeValidationResult([
+                    makeErrorIssue({
+                        code: "ASSIGNMENT_UNKNOWN_VARIABLE",
+                        message: `Validity check requires ${checkedVariableIds.length} variables, exceeding limit ${options.maxVariables}.`,
+                    }),
+                ]),
+            };
+        }
+        const mode = options?.mode ?? "firstCounterexample";
+        const maxAssignmentsChecked = options?.maxAssignmentsChecked;
+        const counterexamples = [];
+        let numAssignmentsChecked = 0;
+        let numAdmissibleAssignments = 0;
+        let truncated = false;
+        const totalAssignments = 2 ** checkedVariableIds.length;
+        for (let mask = 0; mask < totalAssignments; mask++) {
+            if (maxAssignmentsChecked !== undefined &&
+                numAssignmentsChecked >= maxAssignmentsChecked) {
+                truncated = true;
+                break;
+            }
+            const assignment = {};
+            for (let i = 0; i < checkedVariableIds.length; i++) {
+                assignment[checkedVariableIds[i]] = Boolean(mask & (1 << i));
+            }
+            const result = this.evaluate(assignment, {
+                validateFirst: false,
+                includeExpressionValues: options?.includeCounterexampleEvaluations ?? false,
+                includeDiagnostics: options?.includeCounterexampleEvaluations ?? false,
+            });
+            if (!result.ok) {
+                return {
+                    ok: false,
+                    validation: result.validation,
+                };
+            }
+            numAssignmentsChecked += 1;
+            if (result.isAdmissibleAssignment) {
+                numAdmissibleAssignments += 1;
+            }
+            if (result.isCounterexample) {
+                counterexamples.push({
+                    assignment,
+                    result,
+                });
+                if (mode === "firstCounterexample") {
+                    break;
+                }
+            }
+        }
+        const foundCounterexample = counterexamples.length > 0;
+        const fullyChecked = !truncated &&
+            (mode === "exhaustive" ||
+                (mode === "firstCounterexample" && !foundCounterexample));
+        return {
+            ok: true,
+            isValid: foundCounterexample
+                ? false
+                : fullyChecked
+                    ? true
+                    : undefined,
+            checkedVariableIds,
+            numAssignmentsChecked,
+            numAdmissibleAssignments,
+            counterexamples,
+            truncated,
+        };
+    }
+}
+//# sourceMappingURL=ArgumentEngine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ArgumentEngine.js","sourceRoot":"","sources":["../../../src/lib/core/ArgumentEngine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAexC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAChE,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEjD,MAAM,OAAO,cAAc;IACf,QAAQ,CAAW;IACnB,QAAQ,CAA6B;IACrC,oBAAoB,CAAa;IACjC,mBAAmB,CAAoB;IAE/C,YAAY,QAAmB;QAC3B,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAA;QAC/B,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;QACzB,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,IAAI,CAAC,mBAAmB,GAAG,SAAS,CAAA;IACxC,CAAC;IAEM,WAAW;QACd,OAAO,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;IAC/B,CAAC;IAEM,aAAa,CAAC,KAAc;QAC/B,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,EAAE,GAAG,IAAI,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACvD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;QACzB,OAAO,EAAE,CAAA;IACb,CAAC;IAEM,aAAa,CAAC,SAAiB;QAClC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QAC/B,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QAC3C,IAAI,IAAI,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,mBAAmB,GAAG,SAAS,CAAA;QACxC,CAAC;IACL,CAAC;IAEM,UAAU,CAAC,SAAiB;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACvC,CAAC;IAEM,UAAU,CAAC,SAAiB;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACvC,CAAC;IAEM,cAAc;QACjB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAClD,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACrB,CAAA;IACL,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,cAAc,EAAE;aACvB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aAClC,MAAM,CAAC,CAAC,EAAE,EAAwB,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAA;IAC/D,CAAC;IAEM,YAAY;QACf,OAAO;YACH,oBAAoB,EAAE,YAAY,CAAC,IAAI,CAAC,oBAAoB,CAAC;YAC7D,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;SAChD,CAAA;IACL,CAAC;IAEM,oBAAoB,CAAC,SAAiB;QACzC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,YAAY,SAAS,mBAAmB,CAAC,CAAA;QAC7D,CAAC;QACD,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACX,YAAY,SAAS,sEAAsE,CAC9F,CAAA;QACL,CAAC;QACD,IAAI,CAAC,mBAAmB,GAAG,SAAS,CAAA;IACxC,CAAC;IAEM,sBAAsB;QACzB,IAAI,CAAC,mBAAmB,GAAG,SAAS,CAAA;IACxC,CAAC;IAEM,oBAAoB;QACvB,IAAI,IAAI,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACzC,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;IACtD,CAAC;IAEM,oBAAoB,CAAC,SAAiB;QACzC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,YAAY,SAAS,mBAAmB,CAAC,CAAA;QAC7D,CAAC;QACD,IAAI,IAAI,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CACX,YAAY,SAAS,oDAAoD,CAC5E,CAAA;QACL,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IAC5C,CAAC;IAEM,uBAAuB,CAAC,SAAiB;QAC5C,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC/C,CAAC;IAEM,sBAAsB;QACzB,OAAO,YAAY,CAAC,IAAI,CAAC,oBAAoB,CAAC;aACzC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aAClC,MAAM,CAAC,CAAC,EAAE,EAAwB,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAA;IAC/D,CAAC;IAEM,MAAM;QACT,OAAO;YACH,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE;YAC9B,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;YACtD,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE;SAC7B,CAAA;IACL,CAAC;IAEM,WAAW;QACd,OAAO,IAAI,CAAC,MAAM,EAAE,CAAA;IACxB,CAAC;IAEM,0BAA0B;QAQ7B,MAAM,OAAO,GAAG,IAAI,GAAG,EAGpB,CAAA;QACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAGxB,CAAA;QAEH,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,EAAE,CAAA;YACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,CACpB,OAAO,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAC/C,CAAA;YACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;oBAAE,SAAQ;gBACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBAC9C,IAAI,CAAC,QAAQ;oBAAE,SAAQ;gBAEvB,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;oBACvD,OAAO,EAAE,IAAI,GAAG,EAAU;oBAC1B,UAAU,EAAE,IAAI,GAAG,EAAU;iBAChC,CAAC,CAAC,CAAA;gBACH,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;gBACtC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;gBAEnC,MAAM,aAAa,GAAG,WAAW,CAC7B,WAAW,EACX,QAAQ,CAAC,MAAM,EACf,GAAG,EAAE,CAAC,CAAC;oBACH,WAAW,EAAE,IAAI,GAAG,EAAU;oBAC9B,UAAU,EAAE,IAAI,GAAG,EAAU;iBAChC,CAAC,CACL,CAAA;gBACD,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;gBAC1C,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAC3C,CAAC;QACL,CAAC;QAED,MAAM,IAAI,GACN,EAAE,CAAA;QACN,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAChE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrC,EAAE,CAAC;YACA,IAAI,CAAC,UAAU,CAAC,GAAG;gBACf,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC5C,UAAU,EAAE,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC;aAC7C,CAAA;QACL,CAAC;QAED,MAAM,QAAQ,GAGV,EAAE,CAAA;QACN,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAChE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrC,EAAE,CAAC;YACA,QAAQ,CAAC,MAAM,CAAC,GAAG;gBACf,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC;gBAC5C,UAAU,EAAE,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC;aAC7C,CAAA;QACL,CAAC;QAED,OAAO;YACH,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACzC,IAAI;YACJ,QAAQ;SACX,CAAA;IACL,CAAC;IAEM,oBAAoB;QACvB,MAAM,MAAM,GAAuB,EAAE,CAAA;QAErC,IAAI,IAAI,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,gDAAgD;aAC5D,CAAC,CACL,CAAA;QACL,CAAC;aAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,uBAAuB,IAAI,CAAC,mBAAmB,mBAAmB;gBAC3E,SAAS,EAAE,IAAI,CAAC,mBAAmB;aACtC,CAAC,CACL,CAAA;QACL,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,YAAY,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAC9D,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,uCAAuC;oBAC7C,OAAO,EAAE,uBAAuB,SAAS,mBAAmB;oBAC5D,SAAS;iBACZ,CAAC,CACL,CAAA;YACL,CAAC;QACL,CAAC;QAED,IACI,IAAI,CAAC,mBAAmB,KAAK,SAAS;YACtC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,EACzD,CAAC;YACC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,YAAY,IAAI,CAAC,mBAAmB,6CAA6C;gBAC1F,SAAS,EAAE,IAAI,CAAC,mBAAmB;aACtC,CAAC,CACL,CAAA;QACL,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAA;QAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAA;QAClD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACxC,MAAM,OAAO,GAAG,IAAI,GAAG,CACnB,OAAO,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAC/C,CAAA;YACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;oBAAE,SAAQ;gBACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBAC7C,IAAI,CAAC,QAAQ;oBAAE,SAAQ;gBACvB,WAAW,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CACtD,QAAQ,CAAC,MAAM,CAClB,CAAA;gBACD,WAAW,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAC1D,QAAQ,CAAC,EAAE,CACd,CAAA;YACL,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;YAC9C,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACnB,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,sCAAsC;oBAC5C,OAAO,EAAE,gBAAgB,UAAU,oCAAoC,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBAC1G,UAAU;iBACb,CAAC,CACL,CAAA;YACL,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC;YACtC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;oBACX,IAAI,EAAE,oCAAoC;oBAC1C,OAAO,EAAE,oBAAoB,MAAM,gCAAgC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBACrG,CAAC,CACL,CAAA;YACL,CAAC;QACL,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACxC,MAAM,iBAAiB,GAAG,OAAO,CAAC,oBAAoB,EAAE,CAAA;YACxD,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC5C,CAAC;QAED,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;IACvC,CAAC;IAEM,QAAQ,CACX,UAA+B,EAC/B,OAAoC;QAEpC,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAA;QACpD,IAAI,aAAa,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAA;YAC9C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,OAAO;oBACH,EAAE,EAAE,KAAK;oBACT,UAAU;iBACb,CAAA;YACL,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU,EAAE,oBAAoB,CAAC;oBAC7B,cAAc,CAAC;wBACX,IAAI,EAAE,wBAAwB;wBAC9B,OAAO,EACH,gDAAgD;qBACvD,CAAC;iBACL,CAAC;aACL,CAAA;QACL,CAAC;QAED,MAAM,kBAAkB,GAAG,IAAI,CAAC,sBAAsB,EAAE,CAAA;QACxD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS;YAC5B,UAAU,CAAC,KAAK,EAAE;YAClB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;SAChD,CAAC,CAAA;QACF,MAAM,kBAAkB,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,CACjD,CAAC,EAAE,EAAE,EAAE,CACH,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,cAAc,EAAE,KAAK,YAAY,CACvE,CAAA;QAED,MAAM,mBAAmB,GAAG;YACxB,UAAU;YACV,GAAG,kBAAkB;YACrB,GAAG,kBAAkB;SACxB,CAAA;QACD,MAAM,qBAAqB,GAAG,YAAY,CACtC,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAC/B,EAAE;aACG,cAAc,EAAE;aAChB,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,CACJ,CAAA;QAED,IAAI,CAAC;YACD,MAAM,QAAQ,GAAG;gBACb,iBAAiB,EACb,OAAO,EAAE,2BAA2B,IAAI,KAAK;aACpD,CAAA;YACD,MAAM,oBAAoB,GAAG,UAAU,CAAC,QAAQ,CAC5C,UAAU,EACV,QAAQ,CACX,CAAA;YACD,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,CACpC,CAAA;YACD,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,CACpC,CAAA;YAED,MAAM,sBAAsB,GAAG,qBAAqB,CAAC,KAAK,CACtD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,IAAI,CACxC,CAAA;YACD,MAAM,yBAAyB,GAAG,qBAAqB,CAAC,KAAK,CACzD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,IAAI,CACxC,CAAA;YACD,MAAM,cAAc,GAAG,oBAAoB,CAAC,SAAS,KAAK,IAAI,CAAA;YAC9D,MAAM,gBAAgB,GAClB,sBAAsB;gBACtB,yBAAyB;gBACzB,CAAC,cAAc,CAAA;YAEnB,MAAM,uBAAuB,GACzB,OAAO,EAAE,uBAAuB,IAAI,IAAI,CAAA;YAC5C,MAAM,kBAAkB,GAAG,OAAO,EAAE,kBAAkB,IAAI,IAAI,CAAA;YAC9D,MAAM,KAAK,GAAG,CACV,MAAgC,EACR,EAAE,CAAC,CAAC;gBAC5B,GAAG,MAAM;gBACT,gBAAgB,EAAE,uBAAuB;oBACrC,CAAC,CAAC,MAAM,CAAC,gBAAgB;oBACzB,CAAC,CAAC,EAAE;gBACR,mBAAmB,EAAE,kBAAkB;oBACnC,CAAC,CAAC,MAAM,CAAC,mBAAmB;oBAC5B,CAAC,CAAC,SAAS;aAClB,CAAC,CAAA;YAEF,OAAO;gBACH,EAAE,EAAE,IAAI;gBACR,UAAU,EAAE,EAAE,GAAG,UAAU,EAAE;gBAC7B,qBAAqB;gBACrB,UAAU,EAAE,KAAK,CAAC,oBAAoB,CAAC;gBACvC,kBAAkB,EAAE,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;gBACpD,kBAAkB,EAAE,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;gBACpD,sBAAsB;gBACtB,yBAAyB;gBACzB,cAAc;gBACd,gBAAgB;gBAChB,6BAA6B,EAAE,CAAC,gBAAgB;aACnD,CAAA;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU,EAAE,oBAAoB,CAAC;oBAC7B,cAAc,CAAC;wBACX,IAAI,EAAE,6BAA6B;wBACnC,OAAO,EACH,KAAK,YAAY,KAAK;4BAClB,CAAC,CAAC,KAAK,CAAC,OAAO;4BACf,CAAC,CAAC,6BAA6B;qBAC1C,CAAC;iBACL,CAAC;aACL,CAAA;QACL,CAAC;IACL,CAAC;IAEM,aAAa,CAChB,OAA+B;QAE/B,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAA;QACpD,IAAI,aAAa,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAA;YAC9C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,OAAO;oBACH,EAAE,EAAE,KAAK;oBACT,UAAU;iBACb,CAAA;YACL,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU,EAAE,oBAAoB,CAAC;oBAC7B,cAAc,CAAC;wBACX,IAAI,EAAE,wBAAwB;wBAC9B,OAAO,EACH,gDAAgD;qBACvD,CAAC;iBACL,CAAC;aACL,CAAA;QACL,CAAC;QAED,MAAM,kBAAkB,GAAG,IAAI,CAAC,sBAAsB,EAAE,CAAA;QACxD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS;YAC5B,UAAU,CAAC,KAAK,EAAE;YAClB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;SAChD,CAAC,CAAA;QACF,MAAM,kBAAkB,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,CACjD,CAAC,EAAE,EAAE,EAAE,CACH,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,cAAc,EAAE,KAAK,YAAY,CACvE,CAAA;QAED,MAAM,kBAAkB,GAAG,YAAY,CACnC,CAAC,UAAU,EAAE,GAAG,kBAAkB,EAAE,GAAG,kBAAkB,CAAC,CAAC,OAAO,CAC9D,CAAC,EAAE,EAAE,EAAE,CACH,EAAE;aACG,cAAc,EAAE;aAChB,MAAM,CACH,CACI,IAAI,EACwC,EAAE,CAC9C,IAAI,CAAC,IAAI,KAAK,UAAU,CAC/B;aACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAC1C,CACJ,CAAA;QAED,IACI,OAAO,EAAE,YAAY,KAAK,SAAS;YACnC,kBAAkB,CAAC,MAAM,GAAG,OAAO,CAAC,YAAY,EAClD,CAAC;YACC,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU,EAAE,oBAAoB,CAAC;oBAC7B,cAAc,CAAC;wBACX,IAAI,EAAE,6BAA6B;wBACnC,OAAO,EAAE,2BAA2B,kBAAkB,CAAC,MAAM,+BAA+B,OAAO,CAAC,YAAY,GAAG;qBACtH,CAAC;iBACL,CAAC;aACL,CAAA;QACL,CAAC;QAED,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,qBAAqB,CAAA;QACnD,MAAM,qBAAqB,GAAG,OAAO,EAAE,qBAAqB,CAAA;QAC5D,MAAM,eAAe,GAAsB,EAAE,CAAA;QAC7C,IAAI,qBAAqB,GAAG,CAAC,CAAA;QAC7B,IAAI,wBAAwB,GAAG,CAAC,CAAA;QAChC,IAAI,SAAS,GAAG,KAAK,CAAA;QAErB,MAAM,gBAAgB,GAAG,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAA;QACvD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,gBAAgB,EAAE,IAAI,EAAE,EAAE,CAAC;YACjD,IACI,qBAAqB,KAAK,SAAS;gBACnC,qBAAqB,IAAI,qBAAqB,EAChD,CAAC;gBACC,SAAS,GAAG,IAAI,CAAA;gBAChB,MAAK;YACT,CAAC;YAED,MAAM,UAAU,GAAwB,EAAE,CAAA;YAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjD,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAChE,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE;gBACrC,aAAa,EAAE,KAAK;gBACpB,uBAAuB,EACnB,OAAO,EAAE,gCAAgC,IAAI,KAAK;gBACtD,kBAAkB,EACd,OAAO,EAAE,gCAAgC,IAAI,KAAK;aACzD,CAAC,CAAA;YAEF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACb,OAAO;oBACH,EAAE,EAAE,KAAK;oBACT,UAAU,EAAE,MAAM,CAAC,UAAU;iBAChC,CAAA;YACL,CAAC;YAED,qBAAqB,IAAI,CAAC,CAAA;YAE1B,IAAI,MAAM,CAAC,sBAAsB,EAAE,CAAC;gBAChC,wBAAwB,IAAI,CAAC,CAAA;YACjC,CAAC;YAED,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;gBAC1B,eAAe,CAAC,IAAI,CAAC;oBACjB,UAAU;oBACV,MAAM;iBACT,CAAC,CAAA;gBACF,IAAI,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACjC,MAAK;gBACT,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,CAAA;QACtD,MAAM,YAAY,GACd,CAAC,SAAS;YACV,CAAC,IAAI,KAAK,YAAY;gBAClB,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAA;QAEjE,OAAO;YACH,EAAE,EAAE,IAAI;YACR,OAAO,EAAE,mBAAmB;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,YAAY;oBACZ,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,SAAS;YACjB,kBAAkB;YAClB,qBAAqB;YACrB,wBAAwB;YACxB,eAAe;YACf,SAAS;SACZ,CAAA;IACL,CAAC;CACJ"}

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

@@ -0,0 +1,19 @@
+import type { TPropositionalExpression } from "../schemata";
+export declare class ExpressionManager {
+    private expressions;
+    private childExpressionIdsByParentId;
+    private childPositionsByParentId;
+    constructor(initialExpressions?: TPropositionalExpression[]);
+    toArray(): TPropositionalExpression[];
+    addExpression(expression: TPropositionalExpression): void;
+    removeExpression(expressionId: string): TPropositionalExpression | undefined;
+    private collapseIfNeeded;
+    hasVariableReference(variableId: string): boolean;
+    getExpression(expressionId: string): TPropositionalExpression | undefined;
+    getChildExpressions(parentId: string | null): TPropositionalExpression[];
+    private loadInitialExpressions;
+    private assertChildLimit;
+    private reparent;
+    insertExpression(expression: TPropositionalExpression, leftNodeId?: string, rightNodeId?: string): void;
+}
+//# sourceMappingURL=ExpressionManager.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ExpressionManager.d.ts","sourceRoot":"","sources":["../../../src/lib/core/ExpressionManager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAER,wBAAwB,EAC3B,MAAM,aAAa,CAAA;AAGpB,qBAAa,iBAAiB;IAC1B,OAAO,CAAC,WAAW,CAAuC;IAC1D,OAAO,CAAC,4BAA4B,CAAiC;IACrE,OAAO,CAAC,wBAAwB,CAAiC;gBAErD,kBAAkB,GAAE,wBAAwB,EAAO;IAQxD,OAAO,IAAI,wBAAwB,EAAE;IAIrC,aAAa,CAAC,UAAU,EAAE,wBAAwB;IAwElD,gBAAgB,CAAC,YAAY,EAAE,MAAM;IAoD5C,OAAO,CAAC,gBAAgB;IAmFjB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAYjD,aAAa,CAChB,YAAY,EAAE,MAAM,GACrB,wBAAwB,GAAG,SAAS;IAIhC,mBAAmB,CACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,GACxB,wBAAwB,EAAE;IA4B7B,OAAO,CAAC,sBAAsB;IAqC9B,OAAO,CAAC,gBAAgB;IAmBxB,OAAO,CAAC,QAAQ;IAwCT,gBAAgB,CACnB,UAAU,EAAE,wBAAwB,EACpC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,IAAI;CA0IV"}