@proposit/shared 0.1.0

package/dist/engine/optimistic/reconciliation.js

@@ -0,0 +1,140 @@
+import { InvariantViolationError } from "@proposit/proposit-core";
+import { ReconciliationError } from "./types.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 function reconcileCreatedPremise(engine, tempId, serverPremise, serverVariable) {
+    const snap = engine.snapshot();
+    const idx = snap.premises.findIndex((p) => p.premise.id === tempId);
+    if (idx === -1)
+        return;
+    // Replace the temp premise with the server-assigned one (strip checksums
+    // so rollback recomputes them)
+    snap.premises[idx] = {
+        ...snap.premises[idx],
+        premise: serverPremise,
+    };
+    // Update conclusionPremiseId if the swapped premise was the conclusion
+    if (snap.conclusionPremiseId === tempId) {
+        snap.conclusionPremiseId = serverPremise.id;
+    }
+    // In proposit-core 0.8.0+, creating a premise auto-creates a
+    // premise-bound variable with boundPremiseId === premiseId. When we swap
+    // the premise ID, we must also update the variable's boundPremiseId and
+    // clear its checksum (empty string skips validation) so rollback doesn't
+    // fail with a checksum mismatch or a "non-existent premise" error.
+    //
+    // If the server returned the auto-created variable, also swap the
+    // variable's own ID (temp UUID → real server UUID) in the same cycle.
+    snap.variables = {
+        ...snap.variables,
+        variables: snap.variables.variables.map((v) => {
+            const vAny = v;
+            if ("boundPremiseId" in vAny && vAny.boundPremiseId === tempId) {
+                if (serverVariable != null && v.id !== serverVariable.id) {
+                    // Swap both the variable's own ID and its boundPremiseId
+                    return {
+                        ...serverVariable,
+                        boundPremiseId: serverPremise.id,
+                        checksum: "",
+                    };
+                }
+                // Only fix boundPremiseId (no server variable provided)
+                return { ...v, boundPremiseId: serverPremise.id, checksum: "" };
+            }
+            return v;
+        }),
+    };
+    try {
+        engine.rollback(snap);
+    }
+    catch (error) {
+        if (error instanceof InvariantViolationError) {
+            throw new ReconciliationError(`Invariant violation during reconcileCreatedPremise rollback: ${error.violations.map((v) => v.message).join(", ")}`, { cause: error });
+        }
+        throw error;
+    }
+}
+/**
+ * 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 function reconcileCreatedExpression(engine, tempId, serverExpression, shiftedExpressions) {
+    const snap = engine.snapshot();
+    // Find the premise that contains the temp expression
+    const premiseEntry = snap.premises.find((p) => p.expressions.expressions.some((e) => e.id === tempId));
+    if (!premiseEntry)
+        return;
+    // Replace the temp expression with the server one
+    premiseEntry.expressions = {
+        ...premiseEntry.expressions,
+        expressions: premiseEntry.expressions.expressions.map((e) => e.id === tempId ? serverExpression : e),
+    };
+    // Apply shifted expressions (position updates from the server)
+    if (shiftedExpressions && shiftedExpressions.length > 0) {
+        const shiftedMap = new Map(shiftedExpressions.map((e) => [e.id, e]));
+        premiseEntry.expressions = {
+            ...premiseEntry.expressions,
+            expressions: premiseEntry.expressions.expressions.map((e) => shiftedMap.get(e.id) ?? e),
+        };
+    }
+    // Update rootExpressionId if the swapped expression was the root
+    if (premiseEntry.rootExpressionId === tempId) {
+        premiseEntry.rootExpressionId = serverExpression.id;
+    }
+    try {
+        engine.rollback(snap);
+    }
+    catch (error) {
+        if (error instanceof InvariantViolationError) {
+            throw new ReconciliationError(`Invariant violation during reconcileCreatedExpression rollback: ${error.violations.map((v) => v.message).join(", ")}`, { cause: error });
+        }
+        throw error;
+    }
+}
+/**
+ * Swaps a temp-ID variable with the real server variable in the engine.
+ *
+ * Performs a snapshot → find-replace → rollback cycle to recompute checksums.
+ */
+export function reconcileCreatedVariable(engine, tempId, serverVariable) {
+    const snap = engine.snapshot();
+    const idx = snap.variables.variables.findIndex((v) => v.id === tempId);
+    if (idx === -1)
+        return;
+    // When swapping the variable ID, the stored checksum (which included the
+    // old tempId) is now stale. Setting checksum to "" causes VariableManager
+    // .validate() to skip the checksum integrity check for this variable,
+    // allowing rollback to succeed. The engine recomputes the checksum on the
+    // next flush. In production, the serverVariable from the API has the
+    // correct checksum already; in tests that construct the serverVariable
+    // locally, clearing to "" avoids a mismatch.
+    snap.variables = {
+        ...snap.variables,
+        variables: snap.variables.variables.map((v) => v.id === tempId ? { ...serverVariable, checksum: "" } : v),
+    };
+    try {
+        engine.rollback(snap);
+    }
+    catch (error) {
+        if (error instanceof InvariantViolationError) {
+            throw new ReconciliationError(`Invariant violation during reconcileCreatedVariable rollback: ${error.violations.map((v) => v.message).join(", ")}`, { cause: error });
+        }
+        throw error;
+    }
+}
+//# sourceMappingURL=reconciliation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliation.js","sourceRoot":"","sources":["../../../src/engine/optimistic/reconciliation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AAQjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAEhD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CACnC,MAA8B,EAC9B,MAAc,EACd,aAAoC,EACpC,cAA8C;IAE9C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAsB,CAAA;IAElD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,MAAM,CAAC,CAAA;IACnE,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAM;IAEtB,yEAAyE;IACzE,+BAA+B;IAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG;QACjB,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,OAAO,EAAE,aAAa;KACzB,CAAA;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,mBAAmB,KAAK,MAAM,EAAE,CAAC;QACtC,IAAI,CAAC,mBAAmB,GAAG,aAAa,CAAC,EAAE,CAAA;IAC/C,CAAC;IAED,6DAA6D;IAC7D,yEAAyE;IACzE,wEAAwE;IACxE,yEAAyE;IACzE,mEAAmE;IACnE,EAAE;IACF,kEAAkE;IAClE,sEAAsE;IACtE,IAAI,CAAC,SAAS,GAAG;QACb,GAAG,IAAI,CAAC,SAAS;QACjB,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1C,MAAM,IAAI,GAAG,CAAkD,CAAA;YAC/D,IAAI,gBAAgB,IAAI,IAAI,IAAI,IAAI,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;gBAC7D,IAAI,cAAc,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,cAAc,CAAC,EAAE,EAAE,CAAC;oBACvD,yDAAyD;oBACzD,OAAO;wBACH,GAAG,cAAc;wBACjB,cAAc,EAAE,aAAa,CAAC,EAAE;wBAChC,QAAQ,EAAE,EAAE;qBACf,CAAA;gBACL,CAAC;gBACD,wDAAwD;gBACxD,OAAO,EAAE,GAAG,CAAC,EAAE,cAAc,EAAE,aAAa,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;YACnE,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC;KACL,CAAA;IAED,IAAI,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;YAC3C,MAAM,IAAI,mBAAmB,CACzB,gEAAgE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACnH,EAAE,KAAK,EAAE,KAAK,EAAE,CACnB,CAAA;QACL,CAAC;QACD,MAAM,KAAK,CAAA;IACf,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACtC,MAA8B,EAC9B,MAAc,EACd,gBAAkD,EAClD,kBAAuD;IAEvD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAsB,CAAA;IAElD,qDAAqD;IACrD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CACzD,CAAA;IACD,IAAI,CAAC,YAAY;QAAE,OAAM;IAEzB,kDAAkD;IAClD,YAAY,CAAC,WAAW,GAAG;QACvB,GAAG,YAAY,CAAC,WAAW;QAC3B,WAAW,EAAE,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxD,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CACzC;KACJ,CAAA;IAED,+DAA+D;IAC/D,IAAI,kBAAkB,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACpE,YAAY,CAAC,WAAW,GAAG;YACvB,GAAG,YAAY,CAAC,WAAW;YAC3B,WAAW,EAAE,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CACnC;SACJ,CAAA;IACL,CAAC;IAED,iEAAiE;IACjE,IAAI,YAAY,CAAC,gBAAgB,KAAK,MAAM,EAAE,CAAC;QAC3C,YAAY,CAAC,gBAAgB,GAAG,gBAAgB,CAAC,EAAE,CAAA;IACvD,CAAC;IAED,IAAI,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;YAC3C,MAAM,IAAI,mBAAmB,CACzB,mEAAmE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACtH,EAAE,KAAK,EAAE,KAAK,EAAE,CACnB,CAAA;QACL,CAAC;QACD,MAAM,KAAK,CAAA;IACf,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACpC,MAA8B,EAC9B,MAAc,EACd,cAAsC;IAEtC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAsB,CAAA;IAElD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAA;IACtE,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAM;IAEtB,yEAAyE;IACzE,0EAA0E;IAC1E,sEAAsE;IACtE,0EAA0E;IAC1E,qEAAqE;IACrE,uEAAuE;IACvE,6CAA6C;IAC7C,IAAI,CAAC,SAAS,GAAG;QACb,GAAG,IAAI,CAAC,SAAS;QACjB,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,cAAc,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC5D;KACJ,CAAA;IAED,IAAI,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;YAC3C,MAAM,IAAI,mBAAmB,CACzB,iEAAiE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACpH,EAAE,KAAK,EAAE,KAAK,EAAE,CACnB,CAAA;QACL,CAAC;QACD,MAAM,KAAK,CAAA;IACf,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,25 @@
+export declare class ReconciliationError extends Error {
+    constructor(message: string, options?: ErrorOptions);
+}
+export type PendingOpType = "create" | "update" | "delete";
+export type PendingEntityKind = "premise" | "expression" | "variable" | "claim" | "argument";
+export type PendingOp = {
+    type: PendingOpType;
+    entityKind: PendingEntityKind;
+    entityId: string;
+    timestamp: number;
+};
+export type SyncStatus = "synced" | "saving" | "error" | "resyncing";
+export type DivergenceScope = {
+    level: "none";
+} | {
+    level: "entity";
+    entityKind: PendingEntityKind;
+    entityId: string;
+} | {
+    level: "premise";
+    premiseId: string;
+} | {
+    level: "full";
+};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/types.ts"],"names":[],"mappings":"AAMA,qBAAa,mBAAoB,SAAQ,KAAK;gBAC9B,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY;CAItD;AAED,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAC1D,MAAM,MAAM,iBAAiB,GACvB,SAAS,GACT,YAAY,GACZ,UAAU,GACV,OAAO,GACP,UAAU,CAAA;AAEhB,MAAM,MAAM,SAAS,GAAG;IACpB,IAAI,EAAE,aAAa,CAAA;IACnB,UAAU,EAAE,iBAAiB,CAAA;IAC7B,QAAQ,EAAE,MAAM,CAAA;IAChB,SAAS,EAAE,MAAM,CAAA;CACpB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,GAAG,WAAW,CAAA;AAEpE,MAAM,MAAM,eAAe,GACrB;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,GACjB;IAAE,KAAK,EAAE,QAAQ,CAAC;IAAC,UAAU,EAAE,iBAAiB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACpE;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA"}

package/dist/engine/optimistic/types.js

@@ -0,0 +1,12 @@
+// Inherited from proposit-server. Legacy type-alias names (PendingOpType,
+// PendingEntityKind, PendingOp, SyncStatus, DivergenceScope) predate the
+// brain-style T-prefix convention; renaming cascades through every consumer.
+// Tracked as tech debt for a dedicated follow-up.
+/* eslint-disable @typescript-eslint/naming-convention */
+export class ReconciliationError extends Error {
+    constructor(message, options) {
+        super(message, options);
+        this.name = "ReconciliationError";
+    }
+}
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/engine/optimistic/types.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,yEAAyE;AACzE,6EAA6E;AAC7E,kDAAkD;AAClD,yDAAyD;AAEzD,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC1C,YAAY,OAAe,EAAE,OAAsB;QAC/C,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QACvB,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAA;IACrC,CAAC;CACJ"}

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

@@ -0,0 +1,13 @@
+import type { DivergenceScope } from "./types.js";
+import type { PropositArgumentEngine, TProjectSnapshot } from "../engine.js";
+/**
+ * Compares the local engine's checksum tree against a server-provided snapshot.
+ *
+ * 1. Builds a temporary engine from the server snapshot to get its checksums.
+ * 2. Compares `combinedChecksum()` — if they match, returns `{ level: "none" }`.
+ * 3. If not, walks premise checksums to find divergent premises.
+ * 4. Checks variable checksums (leaf-only: uses `checksum` field).
+ * 5. Returns appropriate DivergenceScope.
+ */
+export declare function detectDivergence(engine: PropositArgumentEngine, serverSnapshot: TProjectSnapshot): DivergenceScope;
+//# sourceMappingURL=verification.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAc5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,CAmFjB"}

package/dist/engine/optimistic/verification.js

@@ -0,0 +1,71 @@
+import { EMPTY_CLAIM_SOURCE_LOOKUP, EMPTY_SOURCE_LOOKUP, } from "../library-adapters.js";
+import { CHECKSUM_CONFIG } from "../../checksum.js";
+import { ArgumentEngine } from "@proposit/proposit-core";
+/**
+ * Compares the local engine's checksum tree against a server-provided snapshot.
+ *
+ * 1. Builds a temporary engine from the server snapshot to get its checksums.
+ * 2. Compares `combinedChecksum()` — if they match, returns `{ level: "none" }`.
+ * 3. If not, walks premise checksums to find divergent premises.
+ * 4. Checks variable checksums (leaf-only: uses `checksum` field).
+ * 5. Returns appropriate DivergenceScope.
+ */
+export function detectDivergence(engine, serverSnapshot) {
+    // Build a temporary engine from the server snapshot to compute checksums
+    const serverEngine = new ArgumentEngine(serverSnapshot.argument, { get: () => undefined }, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, {
+        checksumConfig: CHECKSUM_CONFIG,
+        positionConfig: serverSnapshot.config?.positionConfig,
+        grammarConfig: {
+            autoNormalize: false,
+            enforceFormulaBetweenOperators: true,
+        },
+    });
+    serverEngine.rollback(serverSnapshot);
+    // Fast path: combined checksums match
+    if (engine.combinedChecksum() === serverEngine.combinedChecksum()) {
+        return { level: "none" };
+    }
+    // Walk premise checksums to find specific divergent premises
+    const localPremiseIds = new Set(engine.listPremiseIds());
+    const serverPremiseIds = new Set(serverEngine.listPremiseIds());
+    // Check for premise-level divergence
+    for (const premiseId of localPremiseIds) {
+        const localPm = engine.getPremise(premiseId);
+        const serverPm = serverEngine.getPremise(premiseId);
+        if (!localPm || !serverPm) {
+            // Premise exists locally but not on server (or vice versa)
+            return { level: "premise", premiseId };
+        }
+        if (localPm.combinedChecksum() !== serverPm.combinedChecksum()) {
+            return { level: "premise", premiseId };
+        }
+    }
+    // Check for premises that exist on server but not locally
+    for (const premiseId of serverPremiseIds) {
+        if (!localPremiseIds.has(premiseId)) {
+            return { level: "premise", premiseId };
+        }
+    }
+    // Check variable checksums (leaf-only: use checksum field, not combinedChecksum)
+    const localVariables = engine.getVariables();
+    const serverVariables = serverEngine.getVariables();
+    const localVarMap = new Map(localVariables.map((v) => [v.id, v.checksum]));
+    const serverVarMap = new Map(serverVariables.map((v) => [
+        v.id,
+        v.checksum,
+    ]));
+    for (const [id, localChecksum] of localVarMap) {
+        const serverChecksum = serverVarMap.get(id);
+        if (localChecksum !== serverChecksum) {
+            return { level: "entity", entityKind: "variable", entityId: id };
+        }
+    }
+    for (const [id] of serverVarMap) {
+        if (!localVarMap.has(id)) {
+            return { level: "entity", entityKind: "variable", entityId: id };
+        }
+    }
+    // Fallback: checksums differ but we couldn't pinpoint the entity
+    return { level: "full" };
+}
+//# sourceMappingURL=verification.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAEA,OAAO,EACH,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AAQxD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC5B,MAA8B,EAC9B,cAAgC;IAEhC,yEAAyE;IACzE,MAAM,YAAY,GAAG,IAAI,cAAc,CAMnC,cAAc,CAAC,QAAQ,EACvB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EACxB,mBAAmB,EACnB,yBAAyB,EACzB;QACI,cAAc,EAAE,eAAe;QAC/B,cAAc,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc;QACrD,aAAa,EAAE;YACX,aAAa,EAAE,KAAK;YACpB,8BAA8B,EAAE,IAAI;SACvC;KACJ,CACJ,CAAA;IACD,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAA;IAErC,sCAAsC;IACtC,IAAI,MAAM,CAAC,gBAAgB,EAAE,KAAK,YAAY,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAChE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5B,CAAC;IAED,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;IACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,CAAA;IAE/D,qCAAqC;IACrC,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAEnD,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxB,2DAA2D;YAC3D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;QAED,IAAI,OAAO,CAAC,gBAAgB,EAAE,KAAK,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC7D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,0DAA0D;IAC1D,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;QACvC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,iFAAiF;IACjF,MAAM,cAAc,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IAC5C,MAAM,eAAe,GAAG,YAAY,CAAC,YAAY,EAAE,CAAA;IAEnD,MAAM,WAAW,GAAG,IAAI,GAAG,CACvB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAG,CAA2B,CAAC,QAAQ,CAAC,CAAC,CAC3E,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACvB,CAAC,CAAC,EAAE;QACH,CAA2B,CAAC,QAAQ;KACxC,CAAC,CACL,CAAA;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5C,MAAM,cAAc,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC3C,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,YAAY,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,iEAAiE;IACjE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC5B,CAAC"}

package/dist/engine/review/evaluation.d.ts

@@ -0,0 +1,27 @@
+import { type TArgumentEvaluationContext, type TCoreArgumentEvaluationResult, type TCoreExpressionAssignment, type TCoreValidityCheckResult, type TCoreVariableAssignment } from "@proposit/proposit-core";
+import type { ProjectEngine } from "../mutations/types.js";
+import type { TReviewDraft } from "../../schemas/review.js";
+/** Build a read-only TArgumentEvaluationContext from a ProjectEngine. */
+export declare function toEvaluationContext(argEngine: ProjectEngine): TArgumentEvaluationContext;
+/**
+ * Build a per-expression core assignment from the draft's mixed-scope entries.
+ *
+ * Delegates operator fan-out to proposit-core's `canonicalizeOperatorAssignments`
+ * (available in 0.9.0+): premise-scope entries expand to every non-NOT operator
+ * expression in the premise; expression-scope overrides layer on top.
+ */
+export declare function buildExpressionAssignment(draft: TReviewDraft, argEngine: ProjectEngine): TCoreExpressionAssignment;
+export declare function evaluateArgumentForReview(draft: TReviewDraft, argEngine: ProjectEngine): TCoreArgumentEvaluationResult;
+export declare function checkValidityForReview(argEngine: ProjectEngine, options?: {
+    maxVariables?: number;
+    maxAssignmentsChecked?: number;
+}): TCoreValidityCheckResult;
+/**
+ * Argument-wide propagated values from `evaluateArgument` with `includeDiagnostics: true`.
+ * The core populates `propagatedVariableValues` (0.9.0+); callers should already have it
+ * on the result. Returns `{}` when a result isn't available.
+ *
+ * Key set = `referencedVariableIds` (claim-bound and externally-bound premise variables).
+ */
+export declare function computePropagatedVariableValues(result: TCoreArgumentEvaluationResult | undefined): TCoreVariableAssignment;
+//# sourceMappingURL=evaluation.d.ts.map

package/dist/engine/review/evaluation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/engine/review/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAIH,KAAK,0BAA0B,EAC/B,KAAK,6BAA6B,EAClC,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAE7B,KAAK,uBAAuB,EAE/B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAE3D,yEAAyE;AACzE,wBAAgB,mBAAmB,CAC/B,SAAS,EAAE,aAAa,GACzB,0BAA0B,CAW5B;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACrC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,aAAa,GACzB,yBAAyB,CAuB3B;AAED,wBAAgB,yBAAyB,CACrC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,aAAa,GACzB,6BAA6B,CAgC/B;AAgDD,wBAAgB,sBAAsB,CAClC,SAAS,EAAE,aAAa,EACxB,OAAO,GAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,qBAAqB,CAAC,EAAE,MAAM,CAAA;CAAO,GACxE,wBAAwB,CAQ1B;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,6BAA6B,GAAG,SAAS,GAClD,uBAAuB,CAEzB"}

package/dist/engine/review/evaluation.js

@@ -0,0 +1,122 @@
+import { evaluateArgument, checkArgumentValidity, canonicalizeOperatorAssignments, } from "@proposit/proposit-core";
+/** Build a read-only TArgumentEvaluationContext from a ProjectEngine. */
+export function toEvaluationContext(argEngine) {
+    return {
+        argumentId: argEngine.getArgument().id,
+        getConclusionPremise: () => argEngine.getConclusionPremise(),
+        listSupportingPremises: () => argEngine.listSupportingPremises(),
+        listPremises: () => argEngine.listPremises(),
+        conclusionPremiseId: argEngine.getConclusionPremise()?.getId(),
+        getVariable: (id) => argEngine.getVariable(id),
+        getPremise: (id) => argEngine.getPremise(id),
+        validateEvaluability: () => argEngine.validateEvaluability(),
+    };
+}
+/**
+ * Build a per-expression core assignment from the draft's mixed-scope entries.
+ *
+ * Delegates operator fan-out to proposit-core's `canonicalizeOperatorAssignments`
+ * (available in 0.9.0+): premise-scope entries expand to every non-NOT operator
+ * expression in the premise; expression-scope overrides layer on top.
+ */
+export function buildExpressionAssignment(draft, argEngine) {
+    const variables = {};
+    for (const v of argEngine.getVariables()) {
+        const claimId = "claimId" in v ? v.claimId : undefined;
+        const c = claimId ? draft.claimAssignments[claimId] : undefined;
+        variables[v.id] = c ? (c.skipped ? null : c.value) : null;
+    }
+    const premiseScope = {};
+    const expressionOverrides = {};
+    for (const op of draft.operatorAssignments) {
+        if (op.scope === "premise") {
+            premiseScope[op.premiseId] = op.decision;
+        }
+        else if (op.scope === "expression" && op.expressionId) {
+            expressionOverrides[op.expressionId] = op.decision;
+        }
+    }
+    const operatorAssignments = canonicalizeOperatorAssignments(toEvaluationContext(argEngine), { premiseScope, expressionOverrides });
+    return { variables, operatorAssignments };
+}
+export function evaluateArgumentForReview(draft, argEngine) {
+    const ctx = toEvaluationContext(argEngine);
+    const assignment = buildExpressionAssignment(draft, argEngine);
+    // `strictUnknownAssignmentKeys: false` because we pass an argument-wide
+    // assignment; per-premise strictness would reject every premise that doesn't
+    // reference every claim-bound variable in the argument.
+    const result = evaluateArgument(ctx, assignment, {
+        validateFirst: true,
+        strictUnknownAssignmentKeys: false,
+        includeDiagnostics: true,
+        includeExpressionValues: true,
+    });
+    // Diagnostic dump for proposit-core debugging: full argument shape +
+    // assignment + evaluation result as a single JSON payload.
+    try {
+        console.log("[review:evaluation]", JSON.stringify(buildEvaluationDebugPayload(draft, argEngine, assignment, result), null, 2));
+    }
+    catch (err) {
+        console.warn("[review:evaluation] dump failed:", err);
+    }
+    return result;
+}
+function buildEvaluationDebugPayload(draft, argEngine, assignment, result) {
+    const variables = argEngine.getVariables().map((v) => ({
+        id: v.id,
+        symbol: v.symbol,
+        claimId: "claimId" in v ? v.claimId : undefined,
+        boundPremiseId: "boundPremiseId" in v ? v.boundPremiseId : undefined,
+    }));
+    const premises = argEngine.listPremises().map((p) => {
+        const id = p.getId();
+        const expressions = p.getExpressions().map((e) => ({
+            id: e.id,
+            type: e.type,
+            operator: "operator" in e ? e.operator : undefined,
+            variableId: "variableId" in e ? e.variableId : undefined,
+            parentId: e.parentId,
+            position: e.position,
+        }));
+        return {
+            id,
+            role: argEngine.getConclusionPremise()?.getId() === id
+                ? "conclusion"
+                : "supporting",
+            rootExpressionId: p.getRootExpressionId(),
+            expressions,
+        };
+    });
+    return {
+        argumentId: argEngine.getArgument().id,
+        argumentVersion: argEngine.getArgument().version,
+        variables,
+        premises,
+        draft: {
+            claimAssignments: draft.claimAssignments,
+            operatorAssignments: draft.operatorAssignments,
+        },
+        canonicalAssignment: assignment,
+        result,
+    };
+}
+export function checkValidityForReview(argEngine, options = {}) {
+    return checkArgumentValidity(toEvaluationContext(argEngine), {
+        mode: "exhaustive",
+        maxVariables: options.maxVariables ?? 16,
+        maxAssignmentsChecked: options.maxAssignmentsChecked ?? 10_000,
+        includeCounterexampleEvaluations: true,
+        validateFirst: true,
+    });
+}
+/**
+ * Argument-wide propagated values from `evaluateArgument` with `includeDiagnostics: true`.
+ * The core populates `propagatedVariableValues` (0.9.0+); callers should already have it
+ * on the result. Returns `{}` when a result isn't available.
+ *
+ * Key set = `referencedVariableIds` (claim-bound and externally-bound premise variables).
+ */
+export function computePropagatedVariableValues(result) {
+    return result?.propagatedVariableValues ?? {};
+}
+//# sourceMappingURL=evaluation.js.map

package/dist/engine/review/evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../../../src/engine/review/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,+BAA+B,GAQlC,MAAM,yBAAyB,CAAA;AAIhC,yEAAyE;AACzE,MAAM,UAAU,mBAAmB,CAC/B,SAAwB;IAExB,OAAO;QACH,UAAU,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE;QACtC,oBAAoB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,oBAAoB,EAAE;QAC5D,sBAAsB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,sBAAsB,EAAE;QAChE,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,EAAE;QAC5C,mBAAmB,EAAE,SAAS,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE;QAC9D,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9C,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,oBAAoB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,oBAAoB,EAAE;KAC/D,CAAA;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACrC,KAAmB,EACnB,SAAwB;IAExB,MAAM,SAAS,GAAwC,EAAE,CAAA;IACzD,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;QACtD,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC/D,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC7D,CAAC;IAED,MAAM,YAAY,GAA4C,EAAE,CAAA;IAChE,MAAM,mBAAmB,GAA4C,EAAE,CAAA;IACvE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAA;QAC5C,CAAC;aAAM,IAAI,EAAE,CAAC,KAAK,KAAK,YAAY,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;YACtD,mBAAmB,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAA;QACtD,CAAC;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,+BAA+B,CACvD,mBAAmB,CAAC,SAAS,CAAC,EAC9B,EAAE,YAAY,EAAE,mBAAmB,EAAE,CACxC,CAAA;IACD,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAA;AAC7C,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,KAAmB,EACnB,SAAwB;IAExB,MAAM,GAAG,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAA;IAC1C,MAAM,UAAU,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IAC9D,wEAAwE;IACxE,6EAA6E;IAC7E,wDAAwD;IACxD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE;QAC7C,aAAa,EAAE,IAAI;QACnB,2BAA2B,EAAE,KAAK;QAClC,kBAAkB,EAAE,IAAI;QACxB,uBAAuB,EAAE,IAAI;KAChC,CAAC,CAAA;IACF,qEAAqE;IACrE,2DAA2D;IAC3D,IAAI,CAAC;QACD,OAAO,CAAC,GAAG,CACP,qBAAqB,EACrB,IAAI,CAAC,SAAS,CACV,2BAA2B,CACvB,KAAK,EACL,SAAS,EACT,UAAU,EACV,MAAM,CACT,EACD,IAAI,EACJ,CAAC,CACJ,CACJ,CAAA;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACX,OAAO,CAAC,IAAI,CAAC,kCAAkC,EAAE,GAAG,CAAC,CAAA;IACzD,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED,SAAS,2BAA2B,CAChC,KAAmB,EACnB,SAAwB,EACxB,UAAqC,EACrC,MAAqC;IAErC,MAAM,SAAS,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,OAAO,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QAC/C,cAAc,EAAE,gBAAgB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;KACvE,CAAC,CAAC,CAAA;IACH,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAA;QACpB,MAAM,WAAW,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/C,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;YAClD,UAAU,EAAE,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;YACxD,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;SACvB,CAAC,CAAC,CAAA;QACH,OAAO;YACH,EAAE;YACF,IAAI,EACA,SAAS,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;gBAC5C,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,YAAY;YACtB,gBAAgB,EAAE,CAAC,CAAC,mBAAmB,EAAE;YACzC,WAAW;SACd,CAAA;IACL,CAAC,CAAC,CAAA;IACF,OAAO;QACH,UAAU,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE;QACtC,eAAe,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,OAAO;QAChD,SAAS;QACT,QAAQ;QACR,KAAK,EAAE;YACH,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;SACjD;QACD,mBAAmB,EAAE,UAAU;QAC/B,MAAM;KACT,CAAA;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,SAAwB,EACxB,UAAqE,EAAE;IAEvE,OAAO,qBAAqB,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE;QACzD,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;QACxC,qBAAqB,EAAE,OAAO,CAAC,qBAAqB,IAAI,MAAM;QAC9D,gCAAgC,EAAE,IAAI;QACtC,aAAa,EAAE,IAAI;KACtB,CAAC,CAAA;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAiD;IAEjD,OAAO,MAAM,EAAE,wBAAwB,IAAI,EAAE,CAAA;AACjD,CAAC"}

package/dist/engine/review/fingerprint.d.ts

@@ -0,0 +1,9 @@
+import type { TReviewDraft } from "../../schemas/review.js";
+/**
+ * Hashes the material assignment fields (value, decision, scope, expressionId).
+ *
+ * Reason-code changes are NOT material — editing a reason without changing the
+ * underlying decision should not invalidate `lastResult`'s fingerprint.
+ */
+export declare function materialFingerprint(draft: TReviewDraft): string;
+//# sourceMappingURL=fingerprint.d.ts.map

package/dist/engine/review/fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../../../src/engine/review/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAE3D;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAyB/D"}

package/dist/engine/review/fingerprint.js

@@ -0,0 +1,27 @@
+/**
+ * Hashes the material assignment fields (value, decision, scope, expressionId).
+ *
+ * Reason-code changes are NOT material — editing a reason without changing the
+ * underlying decision should not invalidate `lastResult`'s fingerprint.
+ */
+export function materialFingerprint(draft) {
+    const parts = [];
+    const claims = Object.values(draft.claimAssignments).sort((a, b) => a.claimId.localeCompare(b.claimId));
+    for (const c of claims) {
+        parts.push(`c:${c.claimId}:${String(c.value)}:${c.skipped ? 1 : 0}`);
+    }
+    const ops = [...draft.operatorAssignments].sort((a, b) => {
+        const ak = a.scope === "premise"
+            ? a.premiseId
+            : `${a.premiseId}:${a.expressionId ?? ""}`;
+        const bk = b.scope === "premise"
+            ? b.premiseId
+            : `${b.premiseId}:${b.expressionId ?? ""}`;
+        return ak.localeCompare(bk);
+    });
+    for (const o of ops) {
+        parts.push(`o:${o.premiseId}:${o.expressionId ?? ""}:${o.scope}:${o.decision}`);
+    }
+    return parts.join("|");
+}
+//# sourceMappingURL=fingerprint.js.map

package/dist/engine/review/fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../../../src/engine/review/fingerprint.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAmB;IACnD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/D,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CACrC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACxE,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACrD,MAAM,EAAE,GACJ,CAAC,CAAC,KAAK,KAAK,SAAS;YACjB,CAAC,CAAC,CAAC,CAAC,SAAS;YACb,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAA;QAClD,MAAM,EAAE,GACJ,CAAC,CAAC,KAAK,KAAK,SAAS;YACjB,CAAC,CAAC,CAAC,CAAC,SAAS;YACb,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAA;QAClD,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;IAC/B,CAAC,CAAC,CAAA;IACF,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CACN,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,QAAQ,EAAE,CACtE,CAAA;IACL,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAC1B,CAAC"}

package/dist/engine/review/overlay.d.ts

@@ -0,0 +1,19 @@
+import type { PropositArgumentEngine } from "../engine.js";
+import type { TConclusionVerdict, TReviewOverlay } from "../review/types.js";
+import type { TReviewDraft, TReviewResult } from "../../schemas/review.js";
+export declare function verdictOf(result: TReviewResult | undefined): TConclusionVerdict | undefined;
+/**
+ * Build a review overlay suitable for `createArgumentGraph({ reviewOverlay })`.
+ * Returns undefined when there's nothing to paint (no draft + no result).
+ */
+export declare function buildReviewOverlay(params: {
+    draft: TReviewDraft | undefined;
+    result: TReviewResult | undefined;
+    argEngine: PropositArgumentEngine;
+}): TReviewOverlay | undefined;
+/**
+ * True when the current draft's material fingerprint differs from the stored result's.
+ * Used to render the stale-results banner.
+ */
+export declare function isResultStale(draft: TReviewDraft | undefined, result: TReviewResult | undefined): boolean;
+//# sourceMappingURL=overlay.d.ts.map

package/dist/engine/review/overlay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../../../src/engine/review/overlay.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,KAAK,EAER,kBAAkB,EAClB,cAAc,EACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAc1E,wBAAgB,SAAS,CACrB,MAAM,EAAE,aAAa,GAAG,SAAS,GAClC,kBAAkB,GAAG,SAAS,CAWhC;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACvC,KAAK,EAAE,YAAY,GAAG,SAAS,CAAA;IAC/B,MAAM,EAAE,aAAa,GAAG,SAAS,CAAA;IACjC,SAAS,EAAE,sBAAsB,CAAA;CACpC,GAAG,cAAc,GAAG,SAAS,CAwC7B;AAED;;;GAGG;AACH,wBAAgB,aAAa,CACzB,KAAK,EAAE,YAAY,GAAG,SAAS,EAC/B,MAAM,EAAE,aAAa,GAAG,SAAS,GAClC,OAAO,CAGT"}

package/dist/engine/review/overlay.js

@@ -0,0 +1,81 @@
+import { computePropagatedVariableValues } from "./evaluation.js";
+import { materialFingerprint } from "./fingerprint.js";
+function pillForAssignment(value, skipped) {
+    if (skipped)
+        return "skipped";
+    if (value === true)
+        return "true";
+    if (value === false)
+        return "false";
+    return "unknown";
+}
+export function verdictOf(result) {
+    if (!result)
+        return undefined;
+    const e = result.evaluation;
+    if (e.isCounterexample === true)
+        return "Logically Invalid";
+    const vacuous = e.conclusion?.inferenceDiagnostic?.kind === "implies" &&
+        e.conclusion.inferenceDiagnostic.isVacuouslyTrue === true;
+    if (vacuous && e.conclusionTrue === true)
+        return "Vacuous";
+    if (e.conclusionTrue === true)
+        return "Valid and Sound";
+    if (e.conclusionTrue === false)
+        return "Failing";
+    return "Indeterminate";
+}
+/**
+ * Build a review overlay suitable for `createArgumentGraph({ reviewOverlay })`.
+ * Returns undefined when there's nothing to paint (no draft + no result).
+ */
+export function buildReviewOverlay(params) {
+    const { draft, result, argEngine } = params;
+    if (!draft && !result)
+        return undefined;
+    const claimValues = {};
+    if (draft) {
+        for (const a of Object.values(draft.claimAssignments)) {
+            claimValues[a.claimId] = pillForAssignment(a.value, a.skipped);
+        }
+    }
+    const propagatedValues = result
+        ? { ...computePropagatedVariableValues(result.evaluation) }
+        : {};
+    const operatorDecisions = {};
+    if (draft) {
+        // Fan out premise-scope decisions via the engine's decidable operator expressions,
+        // then layer expression-scope overrides on top — matches evaluation's canonicalize.
+        for (const op of draft.operatorAssignments) {
+            if (op.scope !== "premise")
+                continue;
+            const p = argEngine.getPremise(op.premiseId);
+            if (!p)
+                continue;
+            for (const e of p.getDecidableOperatorExpressions()) {
+                operatorDecisions[e.id] = op.decision;
+            }
+        }
+        for (const op of draft.operatorAssignments) {
+            if (op.scope === "expression" && op.expressionId) {
+                operatorDecisions[op.expressionId] = op.decision;
+            }
+        }
+    }
+    return {
+        claimValues,
+        propagatedValues,
+        operatorDecisions,
+        conclusionVerdict: verdictOf(result),
+    };
+}
+/**
+ * True when the current draft's material fingerprint differs from the stored result's.
+ * Used to render the stale-results banner.
+ */
+export function isResultStale(draft, result) {
+    if (!draft || !result)
+        return false;
+    return materialFingerprint(draft) !== result.evaluatedFingerprint;
+}
+//# sourceMappingURL=overlay.js.map

package/dist/engine/review/overlay.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"overlay.js","sourceRoot":"","sources":["../../../src/engine/review/overlay.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,+BAA+B,EAAE,MAAM,iBAAiB,CAAA;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AAEtD,SAAS,iBAAiB,CACtB,KAAqB,EACrB,OAAgB;IAEhB,IAAI,OAAO;QAAE,OAAO,SAAS,CAAA;IAC7B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IACjC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,OAAO,CAAA;IACnC,OAAO,SAAS,CAAA;AACpB,CAAC;AAED,MAAM,UAAU,SAAS,CACrB,MAAiC;IAEjC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAA;IAC3B,IAAI,CAAC,CAAC,gBAAgB,KAAK,IAAI;QAAE,OAAO,mBAAmB,CAAA;IAC3D,MAAM,OAAO,GACT,CAAC,CAAC,UAAU,EAAE,mBAAmB,EAAE,IAAI,KAAK,SAAS;QACrD,CAAC,CAAC,UAAU,CAAC,mBAAmB,CAAC,eAAe,KAAK,IAAI,CAAA;IAC7D,IAAI,OAAO,IAAI,CAAC,CAAC,cAAc,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IAC1D,IAAI,CAAC,CAAC,cAAc,KAAK,IAAI;QAAE,OAAO,iBAAiB,CAAA;IACvD,IAAI,CAAC,CAAC,cAAc,KAAK,KAAK;QAAE,OAAO,SAAS,CAAA;IAChD,OAAO,eAAe,CAAA;AAC1B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAIlC;IACG,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,CAAA;IAC3C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAEvC,MAAM,WAAW,GAAoC,EAAE,CAAA;IACvD,IAAI,KAAK,EAAE,CAAC;QACR,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACpD,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;QAClE,CAAC;IACL,CAAC;IAED,MAAM,gBAAgB,GAAmC,MAAM;QAC3D,CAAC,CAAC,EAAE,GAAG,+BAA+B,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;QAC3D,CAAC,CAAC,EAAE,CAAA;IAER,MAAM,iBAAiB,GAA4C,EAAE,CAAA;IACrE,IAAI,KAAK,EAAE,CAAC;QACR,mFAAmF;QACnF,oFAAoF;QACpF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YACzC,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS;gBAAE,SAAQ;YACpC,MAAM,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAA;YAC5C,IAAI,CAAC,CAAC;gBAAE,SAAQ;YAChB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,+BAA+B,EAAE,EAAE,CAAC;gBAClD,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAA;YACzC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YACzC,IAAI,EAAE,CAAC,KAAK,KAAK,YAAY,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;gBAC/C,iBAAiB,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAA;YACpD,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO;QACH,WAAW;QACX,gBAAgB;QAChB,iBAAiB;QACjB,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC;KACvC,CAAA;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CACzB,KAA+B,EAC/B,MAAiC;IAEjC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACnC,OAAO,mBAAmB,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,oBAAoB,CAAA;AACrE,CAAC"}

package/dist/engine/review/reasons.d.ts

@@ -0,0 +1,15 @@
+import type { TClaimReasonCode, TClaimTrueReasonCode, TClaimFalseReasonCode, TClaimUnknownReasonCode, TOperatorReasonCode, TOperatorAcceptReasonCode, TOperatorRejectReasonCode, TTrivalentValue } from "../../schemas/review.js";
+export interface TReasonEntry<TCode extends string> {
+    code: TCode;
+    label: string;
+    description: string;
+}
+export declare const CLAIM_TRUE_REASONS: readonly TReasonEntry<TClaimTrueReasonCode>[];
+export declare const CLAIM_FALSE_REASONS: readonly TReasonEntry<TClaimFalseReasonCode>[];
+export declare const CLAIM_UNKNOWN_REASONS: readonly TReasonEntry<TClaimUnknownReasonCode>[];
+export declare const OPERATOR_ACCEPT_REASONS: readonly TReasonEntry<TOperatorAcceptReasonCode>[];
+export declare const OPERATOR_REJECT_REASONS: readonly TReasonEntry<TOperatorRejectReasonCode>[];
+export declare function getClaimReasonsForValue(v: TTrivalentValue): readonly TReasonEntry<TClaimReasonCode>[];
+export declare function getOperatorReasonsForDecision(d: "accepted" | "rejected"): readonly TReasonEntry<TOperatorReasonCode>[];
+export declare function findReasonByCode(code: TClaimReasonCode | TOperatorReasonCode): TReasonEntry<string> | undefined;
+//# sourceMappingURL=reasons.d.ts.map