@polintpro/proposit-core 0.1.2 → 0.1.4

package/dist/lib/core/diff.js

@@ -0,0 +1,213 @@
+/** Compares two argument metadata objects and returns field-level changes for `metadata.title` and `metadata.description`. */
+export function defaultCompareArgument(before, after) {
+    const changes = [];
+    if (before.metadata.title !== after.metadata.title) {
+        changes.push({
+            field: "metadata.title",
+            before: before.metadata.title,
+            after: after.metadata.title,
+        });
+    }
+    if (before.metadata.description !== after.metadata.description) {
+        changes.push({
+            field: "metadata.description",
+            before: before.metadata.description,
+            after: after.metadata.description,
+        });
+    }
+    return changes;
+}
+/** Compares two variables and returns field-level changes for `symbol` and `metadata`. */
+export function defaultCompareVariable(before, after) {
+    const changes = [];
+    if (before.symbol !== after.symbol) {
+        changes.push({
+            field: "symbol",
+            before: before.symbol,
+            after: after.symbol,
+        });
+    }
+    if (JSON.stringify(before.metadata) !== JSON.stringify(after.metadata)) {
+        changes.push({
+            field: "metadata",
+            before: before.metadata,
+            after: after.metadata,
+        });
+    }
+    return changes;
+}
+/** Compares two premises and returns field-level changes for `metadata.title` and `rootExpressionId`. */
+export function defaultComparePremise(before, after) {
+    const changes = [];
+    if (before.metadata.title !== after.metadata.title) {
+        changes.push({
+            field: "metadata.title",
+            before: before.metadata.title,
+            after: after.metadata.title,
+        });
+    }
+    if (before.rootExpressionId !== after.rootExpressionId) {
+        changes.push({
+            field: "rootExpressionId",
+            before: before.rootExpressionId,
+            after: after.rootExpressionId,
+        });
+    }
+    return changes;
+}
+/** Compares two expressions and returns field-level changes for structural fields (`type`, `parentId`, `position`, `variableId`, `operator`). */
+export function defaultCompareExpression(before, after) {
+    const changes = [];
+    if (before.type !== after.type) {
+        changes.push({
+            field: "type",
+            before: before.type,
+            after: after.type,
+        });
+    }
+    if (before.parentId !== after.parentId) {
+        changes.push({
+            field: "parentId",
+            before: before.parentId,
+            after: after.parentId,
+        });
+    }
+    if (before.position !== after.position) {
+        changes.push({
+            field: "position",
+            before: before.position,
+            after: after.position,
+        });
+    }
+    if (before.type === "variable" && after.type === "variable") {
+        if (before.variableId !== after.variableId) {
+            changes.push({
+                field: "variableId",
+                before: before.variableId,
+                after: after.variableId,
+            });
+        }
+    }
+    if (before.type === "operator" && after.type === "operator") {
+        if (before.operator !== after.operator) {
+            changes.push({
+                field: "operator",
+                before: before.operator,
+                after: after.operator,
+            });
+        }
+    }
+    return changes;
+}
+// ---------------------------------------------------------------------------
+// Entity set diffing helpers
+// ---------------------------------------------------------------------------
+function diffEntitySet(beforeItems, afterItems, compare) {
+    const beforeById = new Map(beforeItems.map((item) => [item.id, item]));
+    const afterById = new Map(afterItems.map((item) => [item.id, item]));
+    const added = [];
+    const removed = [];
+    const modified = [];
+    for (const [id, beforeItem] of beforeById) {
+        const afterItem = afterById.get(id);
+        if (!afterItem) {
+            removed.push(beforeItem);
+            continue;
+        }
+        const changes = compare(beforeItem, afterItem);
+        if (changes.length > 0) {
+            modified.push({ before: beforeItem, after: afterItem, changes });
+        }
+    }
+    for (const [id, afterItem] of afterById) {
+        if (!beforeById.has(id)) {
+            added.push(afterItem);
+        }
+    }
+    return { added, removed, modified };
+}
+function diffPremiseSet(beforePremises, afterPremises, comparePremise, compareExpression) {
+    const beforeById = new Map(beforePremises.map((p) => [p.id, p]));
+    const afterById = new Map(afterPremises.map((p) => [p.id, p]));
+    const added = [];
+    const removed = [];
+    const modified = [];
+    for (const [id, beforePremise] of beforeById) {
+        const afterPremise = afterById.get(id);
+        if (!afterPremise) {
+            removed.push(beforePremise);
+            continue;
+        }
+        const premiseChanges = comparePremise(beforePremise, afterPremise);
+        const expressionsDiff = diffEntitySet(beforePremise.expressions, afterPremise.expressions, compareExpression);
+        const hasExpressionChanges = expressionsDiff.added.length > 0 ||
+            expressionsDiff.removed.length > 0 ||
+            expressionsDiff.modified.length > 0;
+        if (premiseChanges.length > 0 || hasExpressionChanges) {
+            modified.push({
+                before: beforePremise,
+                after: afterPremise,
+                changes: premiseChanges,
+                expressions: expressionsDiff,
+            });
+        }
+    }
+    for (const [id, afterPremise] of afterById) {
+        if (!beforeById.has(id)) {
+            added.push(afterPremise);
+        }
+    }
+    return { added, removed, modified };
+}
+function diffRoles(beforeConclusion, afterConclusion, beforeSupporting, afterSupporting) {
+    const beforeSet = new Set(beforeSupporting);
+    const afterSet = new Set(afterSupporting);
+    return {
+        conclusion: { before: beforeConclusion, after: afterConclusion },
+        supportingAdded: afterSupporting.filter((id) => !beforeSet.has(id)),
+        supportingRemoved: beforeSupporting.filter((id) => !afterSet.has(id)),
+    };
+}
+function collectVariables(engine) {
+    const seen = new Set();
+    const vars = [];
+    for (const pm of engine.listPremises()) {
+        for (const v of pm.getVariables()) {
+            if (!seen.has(v.id)) {
+                seen.add(v.id);
+                vars.push(v);
+            }
+        }
+    }
+    return vars;
+}
+// ---------------------------------------------------------------------------
+// Main diff function
+// ---------------------------------------------------------------------------
+/**
+ * Computes a structural diff between two argument engines.
+ *
+ * Compares argument metadata, variables, premises (with nested expression
+ * diffs), and role assignments. Uses pluggable comparators that default to
+ * the `defaultCompare*` functions.
+ */
+export function diffArguments(engineA, engineB, options) {
+    const dataA = engineA.toData();
+    const dataB = engineB.toData();
+    const compareArg = options?.compareArgument ?? defaultCompareArgument;
+    const compareVar = options?.compareVariable ?? defaultCompareVariable;
+    const comparePrem = options?.comparePremise ?? defaultComparePremise;
+    const compareExpr = options?.compareExpression ?? defaultCompareExpression;
+    const argumentChanges = compareArg(dataA.argument, dataB.argument);
+    return {
+        argument: {
+            before: dataA.argument,
+            after: dataB.argument,
+            changes: argumentChanges,
+        },
+        variables: diffEntitySet(collectVariables(engineA), collectVariables(engineB), compareVar),
+        premises: diffPremiseSet(dataA.premises, dataB.premises, comparePrem, compareExpr),
+        roles: diffRoles(dataA.roles.conclusionPremiseId, dataB.roles.conclusionPremiseId, dataA.roles.supportingPremiseIds, dataB.roles.supportingPremiseIds),
+    };
+}
+//# sourceMappingURL=diff.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAmBA,8HAA8H;AAC9H,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,KAAoB;IAEpB,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK;YAC7B,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;SAC9B,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,KAAK,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,sBAAsB;YAC7B,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW;YACnC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW;SACpC,CAAC,CAAA;IACN,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,sBAAsB,CAClC,MAAkC,EAClC,KAAiC;IAEjC,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,KAAK,CAAC,MAAM;SACtB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,qBAAqB,CACjC,MAAoB,EACpB,KAAmB;IAEnB,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK;YAC7B,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;SAC9B,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,kBAAkB;YACzB,MAAM,EAAE,MAAM,CAAC,gBAAgB;YAC/B,KAAK,EAAE,KAAK,CAAC,gBAAgB;SAChC,CAAC,CAAA;IACN,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,iJAAiJ;AACjJ,MAAM,UAAU,wBAAwB,CACpC,MAAoC,EACpC,KAAmC;IAEnC,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,MAAM;YACb,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,KAAK,EAAE,KAAK,CAAC,IAAI;SACpB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,MAAM,CAAC,UAAU;gBACzB,KAAK,EAAE,KAAK,CAAC,UAAU;aAC1B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;aACxB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAS,aAAa,CAClB,WAAgB,EAChB,UAAe,EACf,OAAgC;IAEhC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAEpE,MAAM,KAAK,GAAQ,EAAE,CAAA;IACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;IACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;IAE9C,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,UAAU,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACnC,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACxB,SAAQ;QACZ,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;QAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QACzB,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,cAAc,CACnB,cAA8B,EAC9B,aAA6B,EAC7B,cAAkD,EAClD,iBAAqE;IAErE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAChE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAE9D,MAAM,KAAK,GAAmB,EAAE,CAAA;IAChC,MAAM,OAAO,GAAmB,EAAE,CAAA;IAClC,MAAM,QAAQ,GAAuB,EAAE,CAAA;IAEvC,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3C,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACtC,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC3B,SAAQ;QACZ,CAAC;QACD,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;QAClE,MAAM,eAAe,GAAG,aAAa,CACjC,aAAa,CAAC,WAAW,EACzB,YAAY,CAAC,WAAW,EACxB,iBAAiB,CACpB,CAAA;QACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,aAAa;gBACrB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,cAAc;gBACvB,WAAW,EAAE,eAAe;aAC/B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,SAAS,CACd,gBAAoC,EACpC,eAAmC,EACnC,gBAA0B,EAC1B,eAAyB;IAEzB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAA;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAA;IACzC,OAAO;QACH,UAAU,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE;QAChE,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnE,iBAAiB,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;KACxE,CAAA;AACL,CAAC;AAED,SAAS,gBAAgB,CACrB,MAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAiC,EAAE,CAAA;IAC7C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBACd,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CACzB,OAAuB,EACvB,OAAuB,EACvB,OAA0B;IAE1B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAA;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAA;IAE9B,MAAM,UAAU,GAAG,OAAO,EAAE,eAAe,IAAI,sBAAsB,CAAA;IACrE,MAAM,UAAU,GAAG,OAAO,EAAE,eAAe,IAAI,sBAAsB,CAAA;IACrE,MAAM,WAAW,GAAG,OAAO,EAAE,cAAc,IAAI,qBAAqB,CAAA;IACpE,MAAM,WAAW,GAAG,OAAO,EAAE,iBAAiB,IAAI,wBAAwB,CAAA;IAE1E,MAAM,eAAe,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;IAElE,OAAO;QACH,QAAQ,EAAE;YACN,MAAM,EAAE,KAAK,CAAC,QAAQ;YACtB,KAAK,EAAE,KAAK,CAAC,QAAQ;YACrB,OAAO,EAAE,eAAe;SAC3B;QACD,SAAS,EAAE,aAAa,CACpB,gBAAgB,CAAC,OAAO,CAAC,EACzB,gBAAgB,CAAC,OAAO,CAAC,EACzB,UAAU,CACb;QACD,QAAQ,EAAE,cAAc,CACpB,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,QAAQ,EACd,WAAW,EACX,WAAW,CACd;QACD,KAAK,EAAE,SAAS,CACZ,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAC/B,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAC/B,KAAK,CAAC,KAAK,CAAC,oBAAoB,EAChC,KAAK,CAAC,KAAK,CAAC,oBAAoB,CACnC;KACJ,CAAA;AACL,CAAC"}

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

@@ -1,6 +1,20 @@
-import type { TDirectionalVacuity, TValidationIssue, TValidationResult } from "../../types/evaluation.js";
-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;
+import type { TCoreDirectionalVacuity, TCoreTrivalentValue, TCoreValidationIssue, TCoreValidationResult } from "../../types/evaluation.js";
+/** Creates a validation result, setting `ok` based on whether any error-severity issues exist. */
+export declare function makeValidationResult(issues: TCoreValidationIssue[]): TCoreValidationResult;
+/** Creates a validation issue with `severity: "error"`. */
+export declare function makeErrorIssue(issue: Omit<TCoreValidationIssue, "severity">): TCoreValidationIssue;
+/** Computes Kleene three-valued material implication: `!antecedent || consequent`. */
+export declare function implicationValue(antecedent: TCoreTrivalentValue, consequent: TCoreTrivalentValue): TCoreTrivalentValue;
+/** Builds a directional vacuity diagnostic for one direction of an implication. */
+export declare function buildDirectionalVacuity(antecedentTrue: TCoreTrivalentValue, consequentTrue: TCoreTrivalentValue): TCoreDirectionalVacuity;
+/** Kleene three-valued NOT: null propagates. */
+export declare function kleeneNot(a: TCoreTrivalentValue): TCoreTrivalentValue;
+/** Kleene three-valued AND: false dominates, null propagates. */
+export declare function kleeneAnd(a: TCoreTrivalentValue, b: TCoreTrivalentValue): TCoreTrivalentValue;
+/** Kleene three-valued OR: true dominates, null propagates. */
+export declare function kleeneOr(a: TCoreTrivalentValue, b: TCoreTrivalentValue): TCoreTrivalentValue;
+/** Kleene three-valued material implication: NOT a OR b. */
+export declare function kleeneImplies(a: TCoreTrivalentValue, b: TCoreTrivalentValue): TCoreTrivalentValue;
+/** Kleene three-valued biconditional: (a -> b) AND (b -> a). */
+export declare function kleeneIff(a: TCoreTrivalentValue, b: TCoreTrivalentValue): TCoreTrivalentValue;
 //# sourceMappingURL=shared.d.ts.map

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

@@ -1 +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,2BAA2B,CAAA;AAElC,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"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,uBAAuB,EACvB,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,2BAA2B,CAAA;AAElC,kGAAkG;AAClG,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,oBAAoB,EAAE,GAC/B,qBAAqB,CAKvB;AAED,2DAA2D;AAC3D,wBAAgB,cAAc,CAC1B,KAAK,EAAE,IAAI,CAAC,oBAAoB,EAAE,UAAU,CAAC,GAC9C,oBAAoB,CAEtB;AAED,sFAAsF;AACtF,wBAAgB,gBAAgB,CAC5B,UAAU,EAAE,mBAAmB,EAC/B,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAErB;AAED,mFAAmF;AACnF,wBAAgB,uBAAuB,CACnC,cAAc,EAAE,mBAAmB,EACnC,cAAc,EAAE,mBAAmB,GACpC,uBAAuB,CASzB;AAED,gDAAgD;AAChD,wBAAgB,SAAS,CAAC,CAAC,EAAE,mBAAmB,GAAG,mBAAmB,CAErE;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CACrB,CAAC,EAAE,mBAAmB,EACtB,CAAC,EAAE,mBAAmB,GACvB,mBAAmB,CAIrB;AAED,+DAA+D;AAC/D,wBAAgB,QAAQ,CACpB,CAAC,EAAE,mBAAmB,EACtB,CAAC,EAAE,mBAAmB,GACvB,mBAAmB,CAIrB;AAED,4DAA4D;AAC5D,wBAAgB,aAAa,CACzB,CAAC,EAAE,mBAAmB,EACtB,CAAC,EAAE,mBAAmB,GACvB,mBAAmB,CAErB;AAED,gEAAgE;AAChE,wBAAgB,SAAS,CACrB,CAAC,EAAE,mBAAmB,EACtB,CAAC,EAAE,mBAAmB,GACvB,mBAAmB,CAErB"}

package/dist/lib/core/evaluation/shared.js

@@ -1,23 +1,55 @@
+/** Creates a validation result, setting `ok` based on whether any error-severity issues exist. */
 export function makeValidationResult(issues) {
     return {
         ok: issues.every((issue) => issue.severity !== "error"),
         issues,
     };
 }
+/** Creates a validation issue with `severity: "error"`. */
 export function makeErrorIssue(issue) {
     return { severity: "error", ...issue };
 }
+/** Computes Kleene three-valued material implication: `!antecedent || consequent`. */
 export function implicationValue(antecedent, consequent) {
-    return !antecedent || consequent;
+    return kleeneImplies(antecedent, consequent);
 }
+/** Builds a directional vacuity diagnostic for one direction of an implication. */
 export function buildDirectionalVacuity(antecedentTrue, consequentTrue) {
     const implication = implicationValue(antecedentTrue, consequentTrue);
     return {
         antecedentTrue,
         consequentTrue,
         implicationValue: implication,
-        isVacuouslyTrue: !antecedentTrue,
+        isVacuouslyTrue: kleeneAnd(implication, kleeneNot(antecedentTrue)),
         fired: antecedentTrue,
     };
 }
+/** Kleene three-valued NOT: null propagates. */
+export function kleeneNot(a) {
+    return a === null ? null : !a;
+}
+/** Kleene three-valued AND: false dominates, null propagates. */
+export function kleeneAnd(a, b) {
+    if (a === false || b === false)
+        return false;
+    if (a === null || b === null)
+        return null;
+    return true;
+}
+/** Kleene three-valued OR: true dominates, null propagates. */
+export function kleeneOr(a, b) {
+    if (a === true || b === true)
+        return true;
+    if (a === null || b === null)
+        return null;
+    return false;
+}
+/** Kleene three-valued material implication: NOT a OR b. */
+export function kleeneImplies(a, b) {
+    return kleeneOr(kleeneNot(a), b);
+}
+/** Kleene three-valued biconditional: (a -> b) AND (b -> a). */
+export function kleeneIff(a, b) {
+    return kleeneAnd(kleeneImplies(a, b), kleeneImplies(b, a));
+}
 //# sourceMappingURL=shared.js.map

package/dist/lib/core/evaluation/shared.js.map

@@ -1 +1 @@
-{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,oBAAoB,CAChC,MAA0B;IAE1B,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC;QACvD,MAAM;KACT,CAAA;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,KAAyC;IAEzC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC5B,UAAmB,EACnB,UAAmB;IAEnB,OAAO,CAAC,UAAU,IAAI,UAAU,CAAA;AACpC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,cAAuB,EACvB,cAAuB;IAEvB,MAAM,WAAW,GAAG,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,CAAA;IACpE,OAAO;QACH,cAAc;QACd,cAAc;QACd,gBAAgB,EAAE,WAAW;QAC7B,eAAe,EAAE,CAAC,cAAc;QAChC,KAAK,EAAE,cAAc;KACxB,CAAA;AACL,CAAC"}
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAOA,kGAAkG;AAClG,MAAM,UAAU,oBAAoB,CAChC,MAA8B;IAE9B,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC;QACvD,MAAM;KACT,CAAA;AACL,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,cAAc,CAC1B,KAA6C;IAE7C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,gBAAgB,CAC5B,UAA+B,EAC/B,UAA+B;IAE/B,OAAO,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;AAChD,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,uBAAuB,CACnC,cAAmC,EACnC,cAAmC;IAEnC,MAAM,WAAW,GAAG,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,CAAA;IACpE,OAAO;QACH,cAAc;QACd,cAAc;QACd,gBAAgB,EAAE,WAAW;QAC7B,eAAe,EAAE,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;QAClE,KAAK,EAAE,cAAc;KACxB,CAAA;AACL,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,SAAS,CAAC,CAAsB;IAC5C,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACjC,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,SAAS,CACrB,CAAsB,EACtB,CAAsB;IAEtB,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK;QAAE,OAAO,KAAK,CAAA;IAC5C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzC,OAAO,IAAI,CAAA;AACf,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,QAAQ,CACpB,CAAsB,EACtB,CAAsB;IAEtB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzC,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,aAAa,CACzB,CAAsB,EACtB,CAAsB;IAEtB,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACpC,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,SAAS,CACrB,CAAsB,EACtB,CAAsB;IAEtB,OAAO,SAAS,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAC9D,CAAC"}

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

@@ -0,0 +1,14 @@
+import { ArgumentEngine } from "./ArgumentEngine.js";
+/**
+ * Parses a YAML string representing a logical argument and returns a
+ * fully hydrated ArgumentEngine.
+ *
+ * Variables are implicitly declared by their usage in formula strings.
+ * Premises without an explicit `role` default to `"supporting"`.
+ * At most one premise may have `role: "conclusion"`.
+ *
+ * @throws On YAML parse errors, schema validation failures, formula
+ *   parse errors, nested implies/iff operators, or multiple conclusions.
+ */
+export declare function importArgumentFromYaml(yamlString: string): ArgumentEngine;
+//# sourceMappingURL=import.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["../../../src/lib/core/import.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AA2KpD;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,MAAM,GAAG,cAAc,CAqGzE"}

package/dist/lib/core/import.js

@@ -0,0 +1,217 @@
+import { randomUUID } from "node:crypto";
+import yaml from "js-yaml";
+import { Value } from "typebox/value";
+import { CoreYamlArgumentSchema } from "../schemata/import.js";
+import { parseFormula } from "./parser/formula.js";
+import { ArgumentEngine } from "./ArgumentEngine.js";
+/**
+ * Validates that `implies` and `iff` nodes appear only at the AST root.
+ * Throws if an implication/biconditional is nested inside another operator.
+ */
+function validateRootOnly(ast, isRoot, premiseIndex, premiseTitle) {
+    if (!isRoot && (ast.type === "implies" || ast.type === "iff")) {
+        const label = premiseTitle
+            ? `premise "${premiseTitle}" (index ${premiseIndex})`
+            : `premise at index ${premiseIndex}`;
+        throw new Error(`${ast.type === "implies" ? "Implication (→)" : "Biconditional (↔)"} operator must be at the root of a formula, but found nested in ${label}.`);
+    }
+    switch (ast.type) {
+        case "variable":
+            break;
+        case "not":
+            validateRootOnly(ast.operand, false, premiseIndex, premiseTitle);
+            break;
+        case "and":
+        case "or":
+            for (const operand of ast.operands) {
+                validateRootOnly(operand, false, premiseIndex, premiseTitle);
+            }
+            break;
+        case "implies":
+        case "iff":
+            validateRootOnly(ast.left, false, premiseIndex, premiseTitle);
+            validateRootOnly(ast.right, false, premiseIndex, premiseTitle);
+            break;
+    }
+}
+/** Recursively collects all variable names from a formula AST. */
+function collectVariableNames(ast, names) {
+    switch (ast.type) {
+        case "variable":
+            names.add(ast.name);
+            break;
+        case "not":
+            collectVariableNames(ast.operand, names);
+            break;
+        case "and":
+        case "or":
+            for (const operand of ast.operands) {
+                collectVariableNames(operand, names);
+            }
+            break;
+        case "implies":
+        case "iff":
+            collectVariableNames(ast.left, names);
+            collectVariableNames(ast.right, names);
+            break;
+    }
+}
+/**
+ * Converts a formula AST into internal expression objects and adds them
+ * to the premise manager. Returns the root expression ID.
+ */
+function buildExpressions(ast, parentId, position, argumentId, argumentVersion, variablesByName, addExpression) {
+    const id = randomUUID();
+    switch (ast.type) {
+        case "variable": {
+            const variable = variablesByName.get(ast.name);
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                type: "variable",
+                variableId: variable.id,
+                parentId,
+                position,
+            });
+            return id;
+        }
+        case "not": {
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                type: "operator",
+                operator: "not",
+                parentId,
+                position,
+            });
+            buildExpressions(ast.operand, id, 0, argumentId, argumentVersion, variablesByName, addExpression);
+            return id;
+        }
+        case "and":
+        case "or": {
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                type: "operator",
+                operator: ast.type,
+                parentId,
+                position,
+            });
+            for (let i = 0; i < ast.operands.length; i++) {
+                buildExpressions(ast.operands[i], id, i, argumentId, argumentVersion, variablesByName, addExpression);
+            }
+            return id;
+        }
+        case "implies":
+        case "iff": {
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                type: "operator",
+                operator: ast.type,
+                parentId,
+                position,
+            });
+            buildExpressions(ast.left, id, 0, argumentId, argumentVersion, variablesByName, addExpression);
+            buildExpressions(ast.right, id, 1, argumentId, argumentVersion, variablesByName, addExpression);
+            return id;
+        }
+    }
+}
+/**
+ * Parses a YAML string representing a logical argument and returns a
+ * fully hydrated ArgumentEngine.
+ *
+ * Variables are implicitly declared by their usage in formula strings.
+ * Premises without an explicit `role` default to `"supporting"`.
+ * At most one premise may have `role: "conclusion"`.
+ *
+ * @throws On YAML parse errors, schema validation failures, formula
+ *   parse errors, nested implies/iff operators, or multiple conclusions.
+ */
+export function importArgumentFromYaml(yamlString) {
+    const raw = yaml.load(yamlString);
+    const input = Value.Parse(CoreYamlArgumentSchema, raw);
+    // Parse all formulas and validate root-only constraint
+    const parsedFormulas = [];
+    for (let i = 0; i < input.premises.length; i++) {
+        const premise = input.premises[i];
+        let ast;
+        try {
+            ast = parseFormula(premise.formula);
+        }
+        catch (error) {
+            const label = premise.metadata?.title
+                ? `premise "${premise.metadata.title}" (index ${i})`
+                : `premise at index ${i}`;
+            const msg = error instanceof Error ? error.message : String(error);
+            throw new Error(`Failed to parse formula for ${label}: ${msg}`);
+        }
+        validateRootOnly(ast, true, i, premise.metadata?.title);
+        parsedFormulas.push(ast);
+    }
+    // Validate conclusion count
+    const conclusionIndices = input.premises
+        .map((p, i) => (p.role === "conclusion" ? i : -1))
+        .filter((i) => i !== -1);
+    if (conclusionIndices.length > 1) {
+        throw new Error(`Multiple premises designated as conclusion (indices ${conclusionIndices.join(", ")}). Only one conclusion is allowed.`);
+    }
+    // Collect all variable names across all formulas
+    const allVariableNames = new Set();
+    for (const ast of parsedFormulas) {
+        collectVariableNames(ast, allVariableNames);
+    }
+    // Build the argument
+    const argumentId = randomUUID();
+    const argument = {
+        id: argumentId,
+        version: 0,
+        metadata: {
+            title: input.metadata.title,
+            ...(input.metadata.description !== undefined
+                ? { description: input.metadata.description }
+                : {}),
+        },
+        createdAt: Date.now(),
+        published: false,
+    };
+    const engine = new ArgumentEngine(argument);
+    // Create variables
+    const variablesByName = new Map();
+    for (const name of [...allVariableNames].sort()) {
+        const variable = {
+            id: randomUUID(),
+            argumentId,
+            argumentVersion: 0,
+            symbol: name,
+            metadata: {},
+        };
+        variablesByName.set(name, variable);
+    }
+    // Create premises and build expression trees
+    for (let i = 0; i < input.premises.length; i++) {
+        const premiseDef = input.premises[i];
+        const pm = engine.createPremise(premiseDef.metadata ? { ...premiseDef.metadata } : undefined);
+        // Register all variables with this premise
+        for (const variable of variablesByName.values()) {
+            pm.addVariable(variable);
+        }
+        // Build expression tree from parsed AST
+        buildExpressions(parsedFormulas[i], null, null, argumentId, 0, variablesByName, (expr) => pm.addExpression(expr));
+        // Assign role
+        const role = premiseDef.role ?? "supporting";
+        if (role === "conclusion") {
+            engine.setConclusionPremise(pm.getId());
+        }
+        else {
+            engine.addSupportingPremise(pm.getId());
+        }
+    }
+    return engine;
+}
+//# sourceMappingURL=import.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../../src/lib/core/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,IAAI,MAAM,SAAS,CAAA;AAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAO9D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAEpD;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAe,EACf,MAAe,EACf,YAAoB,EACpB,YAAgC;IAEhC,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,YAAY;YACtB,CAAC,CAAC,YAAY,YAAY,YAAY,YAAY,GAAG;YACrD,CAAC,CAAC,oBAAoB,YAAY,EAAE,CAAA;QACxC,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,mEAAmE,KAAK,GAAG,CACjJ,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC7D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC9D,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAe,EAAE,KAAkB;IAC7D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAe,EACf,QAAuB,EACvB,QAAuB,EACvB,UAAkB,EAClB,eAAuB,EACvB,eAAwD,EACxD,aAA2D;IAE3D,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YAC/C,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,eAAe,EACf,aAAa,CAChB,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,eAAe,EACf,aAAa,CAChB,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACjC,MAAM,KAAK,GAAsB,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;IAEzE,uDAAuD;IACvD,MAAM,cAAc,GAAiB,EAAE,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,GAAe,CAAA;QACnB,IAAI,CAAC;YACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACvC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;gBACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;gBACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;YAC7B,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,KAAK,GAAG,EAAE,CAAC,CAAA;QACnE,CAAC;QACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACvD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC;IAED,4BAA4B;IAC5B,MAAM,iBAAiB,GAAG,KAAK,CAAC,QAAQ;SACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,uDAAuD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAC1H,CAAA;IACL,CAAC;IAED,iDAAiD;IACjD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;IAC/C,CAAC;IAED,qBAAqB;IACrB,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;IAC/B,MAAM,QAAQ,GAAG;QACb,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,CAAC;QACV,QAAQ,EAAE;YACN,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;YAC3B,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS;gBACxC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE;gBAC7C,CAAC,CAAC,EAAE,CAAC;SACZ;QACD,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;QACrB,SAAS,EAAE,KAAK;KACnB,CAAA;IAED,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAA;IAE3C,mBAAmB;IACnB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAsC,CAAA;IACrE,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAA+B;YACzC,EAAE,EAAE,UAAU,EAAE;YAChB,UAAU;YACV,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,EAAE;SACf,CAAA;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACvC,CAAC;IAED,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAC3B,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAA;QAED,2CAA2C;QAC3C,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC5B,CAAC;QAED,wCAAwC;QACxC,gBAAgB,CACZ,cAAc,CAAC,CAAC,CAAC,EACjB,IAAI,EACJ,IAAI,EACJ,UAAU,EACV,CAAC,EACD,eAAe,EACf,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CACnC,CAAA;QAED,cAAc;QACd,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;QAC5C,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;QAC3C,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;QAC3C,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAA;AACjB,CAAC"}