@proposit/shared 0.1.0

package/dist/engine/mutations/expressions.js

@@ -0,0 +1,277 @@
+export function mutateCreateExpression(engine, data) {
+    const pm = engine.getPremise(data.premiseId);
+    if (!pm) {
+        throw new Error(`Premise ${data.premiseId} not found`);
+    }
+    const shared = {
+        id: data.expressionId,
+        argumentId: data.argumentId,
+        argumentVersion: data.argumentVersion,
+        premiseId: data.premiseId,
+        parentId: data.parentId,
+        creatorId: data.creatorId,
+        createdOn: data.createdOn,
+    };
+    // Build a properly narrowed expression input based on type.
+    // Each branch satisfies the corresponding member of the
+    // TExpressionInput<TPropositionalExpressionCombined> union.
+    let narrowedInput;
+    if (data.type === "variable") {
+        narrowedInput = {
+            ...shared,
+            type: "variable",
+            variableId: data.variableId,
+            operator: null,
+            position: 0, // placeholder; overwritten by relative/append
+        };
+    }
+    else if (data.type === "operator") {
+        narrowedInput = {
+            ...shared,
+            type: "operator",
+            operator: data.operator,
+            variableId: null,
+            position: 0,
+        };
+    }
+    else {
+        narrowedInput = {
+            ...shared,
+            type: "formula",
+            variableId: null,
+            operator: null,
+            position: 0,
+        };
+    }
+    let result;
+    if (data.relativeTo) {
+        const { expressionId: siblingId, direction } = data.relativeTo;
+        const { position: _pos, ...noPosInput } = narrowedInput;
+        result = pm.addExpressionRelative(siblingId, direction, noPosInput);
+    }
+    else if (data.position !== undefined) {
+        narrowedInput.position = data.position;
+        result = pm.addExpression(narrowedInput);
+    }
+    else {
+        const { position: _pos, ...noPosInput } = narrowedInput;
+        result = pm.appendExpression(data.parentId, noPosInput);
+    }
+    const created = result.result;
+    const shifted = (result.changes.expressions?.modified ?? []).filter((e) => e.id !== data.expressionId);
+    return { created, shifted, changes: result.changes };
+}
+export function mutateUpdateExpression(engine, expressionId, updates) {
+    // Find the premise containing this expression
+    for (const premiseId of engine.listPremiseIds()) {
+        const pm = engine.getPremise(premiseId);
+        if (!pm)
+            continue;
+        const expr = pm.getExpression(expressionId);
+        if (!expr)
+            continue;
+        const engineUpdates = {};
+        if (updates.position !== undefined) {
+            engineUpdates.position = updates.position;
+        }
+        if (updates.variableId !== undefined) {
+            engineUpdates.variableId = updates.variableId ?? undefined;
+        }
+        if (updates.operator !== undefined) {
+            engineUpdates.operator = updates.operator ?? undefined;
+        }
+        const { result, changes } = pm.updateExpression(expressionId, engineUpdates);
+        return {
+            expression: result,
+            changes,
+        };
+    }
+    throw new Error(`Expression ${expressionId} not found in any premise`);
+}
+export function mutateDeleteExpression(engine, expressionId) {
+    // Find the premise containing this expression
+    for (const premiseId of engine.listPremiseIds()) {
+        const pm = engine.getPremise(premiseId);
+        if (!pm)
+            continue;
+        const expr = pm.getExpression(expressionId);
+        if (!expr)
+            continue;
+        const { result, changes } = pm.removeExpression(expressionId, true);
+        return {
+            removed: result,
+            changes,
+        };
+    }
+    throw new Error(`Expression ${expressionId} not found in any premise`);
+}
+export function mutateToggleNegation(engine, expressionId, extraFields) {
+    const pm = engine.findPremiseByExpressionId(expressionId);
+    if (!pm) {
+        throw new Error(`Expression ${expressionId} not found in any premise`);
+    }
+    const { changes } = pm.toggleNegation(expressionId, {
+        ...extraFields,
+        variableId: null,
+    });
+    return { changes };
+}
+export function mutateChangeOperator(engine, data) {
+    const pm = engine.findPremiseByExpressionId(data.expressionId);
+    if (!pm) {
+        throw new Error(`Expression ${data.expressionId} not found in any premise`);
+    }
+    const extraFieldsWithNull = data.extraFields
+        ? {
+            ...data.extraFields,
+            variableId: null,
+            operator: null,
+        }
+        : undefined;
+    const { changes } = pm.changeOperator(data.expressionId, data.newOperator, data.sourceChildId, data.targetChildId, extraFieldsWithNull);
+    return { changes };
+}
+export function mutateAddSiblingExpression(engine, data) {
+    const pm = engine.getPremise(data.premiseId);
+    if (!pm) {
+        throw new Error(`Premise ${data.premiseId} not found`);
+    }
+    const shared = {
+        id: data.siblingId,
+        argumentId: data.argumentId,
+        argumentVersion: data.argumentVersion,
+        premiseId: data.premiseId,
+        parentId: null,
+        creatorId: data.creatorId,
+        createdOn: data.createdOn,
+    };
+    const siblingInput = data.type === "variable"
+        ? {
+            ...shared,
+            type: "variable",
+            variableId: data.variableId,
+            operator: null,
+        }
+        : {
+            ...shared,
+            type: "formula",
+            variableId: null,
+            operator: null,
+        };
+    const result = pm.addExpressionRelative(data.targetExpressionId, data.direction, siblingInput);
+    const created = result.changes.expressions?.added ?? [];
+    const modified = (result.changes.expressions?.modified ?? []).filter((e) => !created.some((c) => c.id === e.id));
+    return { created, modified, changes: result.changes };
+}
+export function mutateWrapExpression(engine, data) {
+    const pm = engine.getPremise(data.premiseId);
+    if (!pm) {
+        throw new Error(`Premise ${data.premiseId} not found`);
+    }
+    const shared = {
+        argumentId: data.argumentId,
+        argumentVersion: data.argumentVersion,
+        premiseId: data.premiseId,
+        parentId: null,
+        creatorId: data.creatorId,
+        createdOn: data.createdOn,
+    };
+    const operatorInput = {
+        id: data.operatorId,
+        ...shared,
+        type: "operator",
+        operator: data.operatorType,
+        variableId: null,
+    };
+    const siblingInput = data.siblingType === "variable"
+        ? {
+            id: data.siblingId,
+            ...shared,
+            type: "variable",
+            variableId: data.variableId,
+            operator: null,
+        }
+        : {
+            id: data.siblingId,
+            ...shared,
+            type: "formula",
+            variableId: null,
+            operator: null,
+        };
+    const wrapResult = pm.wrapExpression(operatorInput, siblingInput, data.direction === "after" ? data.targetExpressionId : undefined, data.direction === "before" ? data.targetExpressionId : undefined);
+    // Auto-generated expressions (formula buffers from wrapInsertFormula)
+    // only have core fields. Patch both the engine's internal state AND the
+    // changeset copies with the missing application-level fields.
+    // pm.getExpression() returns the actual Map-stored object, so
+    // Object.assign mutates the engine's internal expression in-place.
+    const appFields = {
+        creatorId: data.creatorId,
+        createdOn: data.createdOn,
+        variableId: null,
+        operator: null,
+    };
+    if (wrapResult.changes.expressions?.added) {
+        for (const expr of wrapResult.changes.expressions.added) {
+            if (!("creatorId" in expr) || expr.creatorId == null) {
+                // Patch the engine's internal Map entry
+                const internal = pm.getExpression(expr.id);
+                if (internal) {
+                    Object.assign(internal, appFields);
+                }
+                // Patch the changeset copy as well
+                Object.assign(expr, appFields);
+            }
+        }
+    }
+    const created = wrapResult.changes.expressions?.added ?? [];
+    const modified = (wrapResult.changes.expressions?.modified ?? []).filter((e) => !created.some((c) => c.id === e.id));
+    return { created, modified, changes: wrapResult.changes };
+}
+export function mutateCreateExpressionWithOperator(engine, data) {
+    if (data.type === "operator") {
+        throw new Error("Cannot create operator type via this endpoint; operator is auto-created");
+    }
+    const pm = engine.getPremise(data.premiseId);
+    if (!pm) {
+        throw new Error(`Premise ${data.premiseId} not found`);
+    }
+    const targetExpr = pm.getExpression(data.targetExpressionId);
+    if (!targetExpr) {
+        throw new Error(`Expression ${data.targetExpressionId} not found`);
+    }
+    // Check if parent is a multi-child operator (and/or)
+    const parentExpr = targetExpr.parentId
+        ? pm.getExpression(targetExpr.parentId)
+        : null;
+    const parentIsMultiChild = parentExpr?.type === "operator" &&
+        (parentExpr.operator === "and" || parentExpr.operator === "or");
+    if (parentIsMultiChild) {
+        return mutateAddSiblingExpression(engine, {
+            premiseId: data.premiseId,
+            targetExpressionId: data.targetExpressionId,
+            direction: data.direction,
+            siblingId: data.siblingId,
+            type: data.type,
+            variableId: data.variableId,
+            argumentId: data.argumentId,
+            argumentVersion: data.argumentVersion,
+            creatorId: data.creatorId,
+            createdOn: data.createdOn,
+        });
+    }
+    return mutateWrapExpression(engine, {
+        premiseId: data.premiseId,
+        targetExpressionId: data.targetExpressionId,
+        direction: data.direction,
+        operatorId: data.operatorId,
+        operatorType: data.operatorType,
+        siblingId: data.siblingId,
+        siblingType: data.type,
+        variableId: data.variableId,
+        argumentId: data.argumentId,
+        argumentVersion: data.argumentVersion,
+        creatorId: data.creatorId,
+        createdOn: data.createdOn,
+    });
+}
+//# sourceMappingURL=expressions.js.map

package/dist/engine/mutations/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AA+CA,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,IAaC;IAMD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,YAAY;QACrB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,4DAA4D;IAC5D,wDAAwD;IACxD,4DAA4D;IAC5D,IAAI,aAAwB,CAAA;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC,EAAE,8CAA8C;SAC9D,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAS;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;SAAM,CAAC;QACJ,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;IAED,IAAI,MAA2C,CAAA;IAE/C,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,UAAU,CAAA;QAC9D,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,qBAAqB,CAC7B,SAAS,EACT,SAAS,EACT,UAA4B,CAC/B,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrC,aAAa,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QACtC,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,aAAsB,CAAC,CAAA;IACrD,CAAC;SAAM,CAAC;QACJ,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,gBAAgB,CACxB,IAAI,CAAC,QAAQ,EACb,UAA4B,CAC/B,CAAA;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAA;IAC7B,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAC/D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,YAAY,CACpC,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB,EACpB,OAIC;IAKD,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,aAAa,GAA0B,EAAE,CAAA;QAC/C,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QAC7C,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,aAAa,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,SAAS,CAAA;QAC9D,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAA;QAC1D,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC3C,YAAY,EACZ,aAAa,CAChB,CAAA;QACD,OAAO;YACH,UAAU,EAAE,MAAM;YAClB,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB;IAKpB,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;QACnE,OAAO;YACH,OAAO,EAAE,MAAM;YACf,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,YAAoB,EACpB,WAAmD;IAEnD,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAA;IACzD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;IAC1E,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE;QAChD,GAAG,WAAW;QACd,UAAU,EAAE,IAAI;KAC0B,CAAC,CAAA;IAE/C,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAMC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC9D,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CACX,cAAc,IAAI,CAAC,YAAY,2BAA2B,CAC7D,CAAA;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,WAAW;QACxC,CAAC,CAAE;YACG,GAAG,IAAI,CAAC,WAAW;YACnB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SAC6B;QACjD,CAAC,CAAC,SAAS,CAAA;IAEf,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CACjC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,aAAa,EAClB,mBAAmB,CACtB,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAiBD,MAAM,UAAU,0BAA0B,CACtC,MAAqB,EACrB,IAA+B;IAM/B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,SAAS;QAClB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,IAAI,KAAK,UAAU;QACpB,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,MAAM,GAAG,EAAE,CAAC,qBAAqB,CACnC,IAAI,CAAC,kBAAkB,EACvB,IAAI,CAAC,SAAS,EACd,YAAY,CACf,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IACvD,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAAyB;IAMzB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,aAAa,GAAmB;QAClC,EAAE,EAAE,IAAI,CAAC,UAAU;QACnB,GAAG,MAAM;QACT,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAI,CAAC,YAAY;QAC3B,UAAU,EAAE,IAAI;KACnB,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,WAAW,KAAK,UAAU;QAC3B,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAChC,aAAa,EACb,YAAY,EACZ,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAChE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CACpE,CAAA;IAED,sEAAsE;IACtE,wEAAwE;IACxE,8DAA8D;IAC9D,8DAA8D;IAC9D,mEAAmE;IACnE,MAAM,SAAS,GAAG;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,IAAI;KACjB,CAAA;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACtD,IAAI,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;gBACnD,wCAAwC;gBACxC,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAC1C,IAAI,QAAQ,EAAE,CAAC;oBACX,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;gBACtC,CAAC;gBACD,mCAAmC;gBACnC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;YAClC,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IAC3D,MAAM,QAAQ,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CACpE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAA;AAC7D,CAAC;AAED,MAAM,UAAU,kCAAkC,CAC9C,MAAqB,EACrB,IAAuC;IAMvC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,yEAAyE,CAC5E,CAAA;IACL,CAAC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,kBAAkB,YAAY,CAAC,CAAA;IACtE,CAAC;IAED,qDAAqD;IACrD,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ;QAClC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC;QACvC,CAAC,CAAC,IAAI,CAAA;IACV,MAAM,kBAAkB,GACpB,UAAU,EAAE,IAAI,KAAK,UAAU;QAC/B,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAA;IAEnE,IAAI,kBAAkB,EAAE,CAAC;QACrB,OAAO,0BAA0B,CAAC,MAAM,EAAE;YACtC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SAC5B,CAAC,CAAA;IACN,CAAC;IAED,OAAO,oBAAoB,CAAC,MAAM,EAAE;QAChC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,WAAW,EAAE,IAAI,CAAC,IAAI;QACtB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAC,CAAA;AACN,CAAC"}

package/dist/engine/mutations/index.d.ts

@@ -0,0 +1,7 @@
+export { mergeChangesets } from "./types.js";
+export type { ProjectEngine, ProjectChangeset, ProjectMutationResult, } from "./types.js";
+export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, } from "./premises.js";
+export { mutateCreateExpression, mutateUpdateExpression, mutateDeleteExpression, mutateToggleNegation, mutateChangeOperator, mutateAddSiblingExpression, mutateWrapExpression, mutateCreateExpressionWithOperator, } from "./expressions.js";
+export { mutateCreateVariable, mutateUpdateVariable, mutateDeleteVariable, } from "./variables.js";
+export { mutateSetClaim, mutateUpdateClaim, mutateRemoveClaimWithCascade, } from "./claims.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/engine/mutations/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAC5C,YAAY,EACR,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACxB,MAAM,YAAY,CAAA;AAEnB,OAAO,EACH,mBAAmB,EACnB,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,eAAe,CAAA;AAEtB,OAAO,EACH,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,oBAAoB,EACpB,kCAAkC,GACrC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EACH,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,4BAA4B,GAC/B,MAAM,aAAa,CAAA"}

package/dist/engine/mutations/index.js

@@ -0,0 +1,6 @@
+export { mergeChangesets } from "./types.js";
+export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, } from "./premises.js";
+export { mutateCreateExpression, mutateUpdateExpression, mutateDeleteExpression, mutateToggleNegation, mutateChangeOperator, mutateAddSiblingExpression, mutateWrapExpression, mutateCreateExpressionWithOperator, } from "./expressions.js";
+export { mutateCreateVariable, mutateUpdateVariable, mutateDeleteVariable, } from "./variables.js";
+export { mutateSetClaim, mutateUpdateClaim, mutateRemoveClaimWithCascade, } from "./claims.js";
+//# sourceMappingURL=index.js.map

package/dist/engine/mutations/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engine/mutations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAO5C,OAAO,EACH,mBAAmB,EACnB,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,eAAe,CAAA;AAEtB,OAAO,EACH,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,oBAAoB,EACpB,kCAAkC,GACrC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EACH,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,4BAA4B,GAC/B,MAAM,aAAa,CAAA"}

package/dist/engine/mutations/premises.d.ts

@@ -0,0 +1,25 @@
+import type { TPremiseRoleType, TPropositionalPremise } from "../../schemas/logic.js";
+import type { ProjectEngine, ProjectChangeset } from "./types.js";
+export declare function mutateCreatePremise(engine: ProjectEngine, premiseId: string, data: {
+    argumentId: string;
+    argumentVersion: number;
+    creatorId: string;
+    createdOn: Date;
+    title: string | null;
+    role: TPremiseRoleType;
+}): {
+    premise: TPropositionalPremise;
+    changes: ProjectChangeset;
+};
+export declare function mutateUpdatePremiseRole(engine: ProjectEngine, premiseId: string, newRole: TPremiseRoleType): {
+    changes: ProjectChangeset;
+};
+export declare function mutateUpdatePremiseExtras(engine: ProjectEngine, premiseId: string, updates: Record<string, unknown>): {
+    premise: TPropositionalPremise;
+    changes: ProjectChangeset;
+};
+export declare function mutateDeletePremise(engine: ProjectEngine, premiseId: string): {
+    removed: boolean;
+    changes: ProjectChangeset;
+};
+//# sourceMappingURL=premises.d.ts.map

package/dist/engine/mutations/premises.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAGjE,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;CACzB,GACF;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA4B/D;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,GAC1B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAa/B;AAED,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAO/D;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAGjD"}

package/dist/engine/mutations/premises.js

@@ -0,0 +1,51 @@
+import { mergeChangesets } from "./types.js";
+export function mutateCreatePremise(engine, premiseId, data) {
+    if (data.role === "conclusion" && engine.getConclusionPremise()) {
+        throw new Error("A conclusion premise already exists for this argument version");
+    }
+    const { result: pm, changes } = engine.createPremiseWithId(premiseId, data);
+    let allChanges = changes;
+    if (data.role === "conclusion") {
+        // Ensure this premise is marked as conclusion (createPremiseWithId
+        // auto-sets the first premise as conclusion, but call explicitly
+        // for clarity and to handle edge cases).
+        const { changes: roleChanges } = engine.setConclusionPremise(premiseId);
+        allChanges = mergeChangesets(changes, roleChanges);
+    }
+    else if (engine.getConclusionPremise()?.getId() === premiseId) {
+        // proposit-core 0.8.0+ auto-sets the first premise as conclusion
+        // regardless of the requested role. Undo the auto-assignment when
+        // the caller requested "supporting".
+        const { changes: clearChanges } = engine.clearConclusionPremise();
+        allChanges = mergeChangesets(changes, clearChanges);
+    }
+    return {
+        premise: pm.toPremiseData(),
+        changes: allChanges,
+    };
+}
+export function mutateUpdatePremiseRole(engine, premiseId, newRole) {
+    if (newRole === "conclusion") {
+        const { changes } = engine.setConclusionPremise(premiseId);
+        return { changes };
+    }
+    const currentConclusion = engine.getConclusionPremise();
+    if (currentConclusion?.getId() === premiseId) {
+        const { changes } = engine.clearConclusionPremise();
+        return { changes };
+    }
+    return { changes: {} };
+}
+export function mutateUpdatePremiseExtras(engine, premiseId, updates) {
+    const pm = engine.getPremise(premiseId);
+    if (!pm) {
+        throw new Error(`Premise ${premiseId} not found`);
+    }
+    const { changes } = pm.updateExtras(updates);
+    return { premise: pm.toPremiseData(), changes };
+}
+export function mutateDeletePremise(engine, premiseId) {
+    const { result, changes } = engine.removePremise(premiseId);
+    return { removed: result !== undefined, changes };
+}
+//# sourceMappingURL=premises.js.map

package/dist/engine/mutations/premises.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAE3E,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,iEAAiE;QACjE,kEAAkE;QAClE,qCAAqC;QACrC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACjE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACnD,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC"}

package/dist/engine/mutations/types.d.ts

@@ -0,0 +1,11 @@
+import type { ArgumentEngine, TCoreChangeset, TCoreMutationResult } from "@proposit/proposit-core";
+import type { TArgument } from "../../schemas/model/arguments.js";
+import type { TPropositionalExpressionCombined, TPropositionalPremise, TPropositionalVariable } from "../../schemas/logic.js";
+/** Fully parameterized ArgumentEngine for this project. */
+export type ProjectEngine = ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>;
+/** Fully parameterized changeset type. */
+export type ProjectChangeset = TCoreChangeset<TPropositionalExpressionCombined, TPropositionalVariable, TPropositionalPremise, TArgument>;
+/** Fully parameterized mutation result type. */
+export type ProjectMutationResult<T> = TCoreMutationResult<T, TPropositionalExpressionCombined, TPropositionalVariable, TPropositionalPremise, TArgument>;
+export { mergeChangesets } from "@proposit/proposit-core";
+//# sourceMappingURL=types.d.ts.map

package/dist/engine/mutations/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/types.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACR,cAAc,EACd,cAAc,EACd,mBAAmB,EACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAA;AACjE,OAAO,KAAK,EACR,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,EACzB,MAAM,wBAAwB,CAAA;AAE/B,2DAA2D;AAC3D,MAAM,MAAM,aAAa,GAAG,cAAc,CACtC,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CAAA;AAED,0CAA0C;AAC1C,MAAM,MAAM,gBAAgB,GAAG,cAAc,CACzC,gCAAgC,EAChC,sBAAsB,EACtB,qBAAqB,EACrB,SAAS,CACZ,CAAA;AAED,gDAAgD;AAChD,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,mBAAmB,CACtD,CAAC,EACD,gCAAgC,EAChC,sBAAsB,EACtB,qBAAqB,EACrB,SAAS,CACZ,CAAA;AAED,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA"}

package/dist/engine/mutations/types.js

@@ -0,0 +1,2 @@
+export { mergeChangesets } from "@proposit/proposit-core";
+//# sourceMappingURL=types.js.map

package/dist/engine/mutations/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/engine/mutations/types.ts"],"names":[],"mappings":"AA0CA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA"}

package/dist/engine/mutations/variables.d.ts

@@ -0,0 +1,27 @@
+import type { TPropositionalVariable } from "../../schemas/logic.js";
+import type { ProjectEngine, ProjectChangeset } from "./types.js";
+export declare function mutateCreateVariable(engine: ProjectEngine, variableId: string, data: {
+    argumentId: string;
+    argumentVersion: number;
+    creatorId: string;
+    createdOn: Date;
+    claimId: string;
+    claimVersion: number;
+    symbol: string;
+}): {
+    variable: TPropositionalVariable;
+    changes: ProjectChangeset;
+};
+export declare function mutateUpdateVariable(engine: ProjectEngine, variableId: string, updates: {
+    symbol?: string;
+    claimId?: string;
+    claimVersion?: number;
+}): {
+    variable: TPropositionalVariable | undefined;
+    changes: ProjectChangeset;
+};
+export declare function mutateDeleteVariable(engine: ProjectEngine, variableId: string): {
+    removed: boolean;
+    changes: ProjectChangeset;
+};
+//# sourceMappingURL=variables.d.ts.map

package/dist/engine/mutations/variables.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/variables.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAEjE,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,OAAO,EAAE,MAAM,CAAA;IACf,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,MAAM,CAAA;CACjB,GACF;IAAE,QAAQ,EAAE,sBAAsB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAOjE;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,QAAQ,EAAE,sBAAsB,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAG7E;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,MAAM,GACnB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAGjD"}

package/dist/engine/mutations/variables.js

@@ -0,0 +1,16 @@
+export function mutateCreateVariable(engine, variableId, data) {
+    const { result, changes } = engine.addVariable({
+        id: variableId,
+        ...data,
+    });
+    return { variable: result, changes };
+}
+export function mutateUpdateVariable(engine, variableId, updates) {
+    const { result, changes } = engine.updateVariable(variableId, updates);
+    return { variable: result, changes };
+}
+export function mutateDeleteVariable(engine, variableId) {
+    const { result, changes } = engine.removeVariable(variableId);
+    return { removed: result !== undefined, changes };
+}
+//# sourceMappingURL=variables.js.map

package/dist/engine/mutations/variables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../src/engine/mutations/variables.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,UAAkB,EAClB,IAQC;IAED,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;QAC3C,EAAE,EAAE,UAAU;QACd,GAAG,IAAI;KACD,CAAC,CAAA;IAEX,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,UAAkB,EAClB,OAAqE;IAErE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,UAAkB;IAElB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAA;IAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC"}

package/dist/engine/optimistic/index.d.ts

@@ -0,0 +1,4 @@
+export type { PendingOp, SyncStatus, DivergenceScope, PendingOpType, PendingEntityKind, } from "./types.js";
+export { detectDivergence } from "./verification.js";
+export { reconcileCreatedPremise, reconcileCreatedExpression, reconcileCreatedVariable, } from "./reconciliation.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/engine/optimistic/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACR,SAAS,EACT,UAAU,EACV,eAAe,EACf,aAAa,EACb,iBAAiB,GACpB,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EACH,uBAAuB,EACvB,0BAA0B,EAC1B,wBAAwB,GAC3B,MAAM,qBAAqB,CAAA"}

package/dist/engine/optimistic/index.js

@@ -0,0 +1,3 @@
+export { detectDivergence } from "./verification.js";
+export { reconcileCreatedPremise, reconcileCreatedExpression, reconcileCreatedVariable, } from "./reconciliation.js";
+//# sourceMappingURL=index.js.map

package/dist/engine/optimistic/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engine/optimistic/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EACH,uBAAuB,EACvB,0BAA0B,EAC1B,wBAAwB,GAC3B,MAAM,qBAAqB,CAAA"}

package/dist/engine/optimistic/reconciliation.d.ts

@@ -0,0 +1,32 @@
+import type { TPropositionalExpressionCombined, TPropositionalPremise, TPropositionalVariable } from "../../schemas/logic.js";
+import type { PropositArgumentEngine } from "../engine.js";
+/**
+ * Swaps a temp-ID premise with the real server premise in the engine.
+ *
+ * Performs a snapshot → find-replace → rollback cycle so that all checksums
+ * are recomputed against the new ID.
+ *
+ * If the swapped premise is the conclusion, updates `conclusionPremiseId` in
+ * the snapshot accordingly.
+ *
+ * If `serverVariable` is provided, also swaps the auto-created premise-bound
+ * variable's own ID (temp → real) in the same rollback cycle.
+ */
+export declare function reconcileCreatedPremise(engine: PropositArgumentEngine, tempId: string, serverPremise: TPropositionalPremise, serverVariable?: TPropositionalVariable | null): void;
+/**
+ * Swaps a temp-ID expression with the real server expression in the engine.
+ *
+ * Also applies any position-shifted sibling expressions returned by the server.
+ * If the expression being swapped was the root of its premise, updates
+ * `rootExpressionId` accordingly.
+ *
+ * Performs a snapshot → find-replace → rollback cycle to recompute checksums.
+ */
+export declare function reconcileCreatedExpression(engine: PropositArgumentEngine, tempId: string, serverExpression: TPropositionalExpressionCombined, shiftedExpressions?: TPropositionalExpressionCombined[]): void;
+/**
+ * Swaps a temp-ID variable with the real server variable in the engine.
+ *
+ * Performs a snapshot → find-replace → rollback cycle to recompute checksums.
+ */
+export declare function reconcileCreatedVariable(engine: PropositArgumentEngine, tempId: string, serverVariable: TPropositionalVariable): void;
+//# sourceMappingURL=reconciliation.d.ts.map

package/dist/engine/optimistic/reconciliation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliation.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/reconciliation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACR,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,EACzB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,sBAAsB,EAAoB,MAAM,cAAc,CAAA;AAG5E;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,sBAAsB,EAC9B,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,qBAAqB,EACpC,cAAc,CAAC,EAAE,sBAAsB,GAAG,IAAI,GAC/C,IAAI,CAyDN;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,sBAAsB,EAC9B,MAAM,EAAE,MAAM,EACd,gBAAgB,EAAE,gCAAgC,EAClD,kBAAkB,CAAC,EAAE,gCAAgC,EAAE,GACxD,IAAI,CA4CN;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,sBAAsB,EAC9B,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,sBAAsB,GACvC,IAAI,CA+BN"}