@proposit/shared 0.1.0

package/dist/consts/user-tiers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-tiers.js","sourceRoot":"","sources":["../../src/consts/user-tiers.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,wEAAwE;AACxE,uEAAuE;AACvE,oCAAoC;AACpC,yDAAyD;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAMrD,MAAM,CAAC,MAAM,aAAa,GAAmC;IACzD,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM;IACxB,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,SAAS;IAC9B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,QAAQ;IAC5B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,aAAa;IACtC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,cAAc;CACxC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAA4C;IACnE,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QACd,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,EAAE;QACvB,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,MAAM;KAC5B;IACD,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE;QACjB,YAAY,EAAE,IAAI;QAClB,mBAAmB,EAAE,EAAE;QACvB,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,OAAO;KAC7B;IACD,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE;QACpB,YAAY,EAAE,OAAO;QACrB,mBAAmB,EAAE,KAAK;QAC1B,gBAAgB,EAAE,KAAK;QACvB,iBAAiB,EAAE,UAAU;KAChC;IACD,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE;QAChB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE;QACrB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;QACnB,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,EAAE;QACvB,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,CAAC;KACvB;CACJ,CAAA"}

package/dist/engine/engine.d.ts

@@ -0,0 +1,94 @@
+import { ArgumentEngine, type TArgumentEngineSnapshot, type TCoreValidationIssue, type TReactiveSnapshot } from "@proposit/proposit-core";
+import type { TArgument } from "../schemas/model/arguments.js";
+import type { TPropositionalExpressionCombined, TPropositionalPremise, TPropositionalVariable } from "../schemas/logic.js";
+import type { TClaim } from "../schemas/model/claims.js";
+import type { TSourceNotStrict } from "../schemas/model/sources.js";
+import type { TClaimSource } from "../schemas/model/sources.js";
+/** Project-parameterized snapshot type used to bridge TypeBox schemas and core engine. */
+export type TProjectSnapshot = TArgumentEngineSnapshot<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>;
+/**
+ * Extended reactive snapshot that includes domain-specific data alongside core engine state.
+ * Domain sources are stored in `domainSources` (not `sources`) because the core's
+ * `sources` field is typed as `Record<string, TCoreSource>` and our domain TSourceNotStrict
+ * is not structurally compatible. The core fields `variableSourceAssociations` and
+ * `expressionSourceAssociations` pass through from the base and will be empty until
+ * core source associations are used.
+ *
+ * `claims` and `claimSources` hold the domain-level claim data managed by proposit-server.
+ */
+export type TProjectReactiveSnapshot = TReactiveSnapshot<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable> & {
+    claims: Record<string, TClaim>;
+    domainSources: Record<string, TSourceNotStrict>;
+    claimSources: Record<string, TClaimSource[]>;
+    validationIssues: TCoreValidationIssue[];
+};
+/**
+ * Project-specific extension of ArgumentEngine that manages domain data
+ * (claims, sources, claim-source relations) alongside the core
+ * propositional logic state.
+ *
+ * Mutations to domain data trigger reactive notifications via the inherited
+ * subscribe/getSnapshot protocol, enabling seamless integration with
+ * React's useSyncExternalStore.
+ */
+export declare class PropositArgumentEngine extends ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable> {
+    private claimsMap;
+    private sourcesMap;
+    private claimSourcesMap;
+    private claimContext;
+    constructor(...args: ConstructorParameters<typeof ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>>);
+    /**
+     * Overrides base rollback() to temporarily enable permissive claim stubs
+     * during the validate() call that rollback() performs internally.
+     *
+     * In proposit-core 0.8.0+, rollback() calls validate() which checks that
+     * every claim-bound variable's (claimId, claimVersion) exists in the claim
+     * library. When the engine is loaded from a server snapshot and the caller
+     * does not supply the full claims array (common in tests), this would fail.
+     *
+     * Permissive stubs are ONLY active during rollback's validate() pass:
+     * - addVariable() explicit check: claimContext.permissiveForRestore = false
+     *   (addVariable is not called inside rollbackInternal)
+     * - validate() inside rollback(): permissiveForRestore = true
+     */
+    rollback(snapshot: Parameters<InstanceType<typeof ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>>["rollback"]>[0]): void;
+    private claimsDirty;
+    private sourcesDirty;
+    private claimSourcesDirty;
+    private cachedClaims;
+    private cachedSources;
+    private cachedClaimSources;
+    private cachedProjectSnapshot;
+    private lastBaseSnapshot;
+    private getClaimsRecord;
+    private getSourcesRecord;
+    private getClaimSourcesRecord;
+    getProjectSnapshot(): TProjectReactiveSnapshot;
+    getClaim(id: string): TClaim | undefined;
+    getClaims(): Record<string, TClaim>;
+    setClaim(claim: TClaim): void;
+    removeClaim(id: string): void;
+    getDomainSource(id: string): TSourceNotStrict | undefined;
+    getDomainSources(): Record<string, TSourceNotStrict>;
+    setDomainSource(source: TSourceNotStrict): void;
+    removeDomainSource(id: string): void;
+    getSourcesForClaim(claimId: string): TClaimSource[];
+    getClaimSources(): Record<string, TClaimSource[]>;
+    addClaimSource(cs: TClaimSource): void;
+    removeClaimSource(claimId: string, sourceId: string): void;
+    /**
+     * Restricts forking to published arguments only.
+     * Overrides the base class default which returns true unconditionally.
+     */
+    canFork(): boolean;
+    protected buildReactiveSnapshot(): TProjectReactiveSnapshot;
+    /**
+     * Creates a PropositArgumentEngine from server-provided data: an engine
+     * snapshot (for logic state) plus arrays of claims, sources, and
+     * claim-source relations.
+     *
+     * Does NOT trigger reactive notifications during initial data loading.
+     */
+    static fromServerData(snapshot: TProjectSnapshot, claims: TClaim[], domainSources: TSourceNotStrict[], claimSources: TClaimSource[]): PropositArgumentEngine;
+}
+//# sourceMappingURL=engine.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAEd,KAAK,uBAAuB,EAG5B,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACzB,MAAM,yBAAyB,CAAA;AAEhC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAA;AAC9D,OAAO,KAAK,EACR,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,EACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAQ/D,0FAA0F;AAC1F,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,CAClD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,CACpD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,GAAG;IACA,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IAC/C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAA;IAC5C,gBAAgB,EAAE,oBAAoB,EAAE,CAAA;CAC3C,CAAA;AAED;;;;;;;;GAQG;AACH,qBAAa,sBAAuB,SAAQ,cAAc,CACtD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB;IAGG,OAAO,CAAC,SAAS,CAAqB;IACtC,OAAO,CAAC,UAAU,CAAsC;IACxD,OAAO,CAAC,eAAe,CAAoC;IAO3D,OAAO,CAAC,YAAY,CAAoC;gBAGpD,GAAG,IAAI,EAAE,qBAAqB,CAC1B,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ;IAoDL;;;;;;;;;;;;;OAaG;IACM,QAAQ,CACb,QAAQ,EAAE,UAAU,CAChB,YAAY,CACR,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ,CAAC,UAAU,CAAC,CAChB,CAAC,CAAC,CAAC,GACL,IAAI;IAUP,OAAO,CAAC,WAAW,CAAO;IAC1B,OAAO,CAAC,YAAY,CAAO;IAC3B,OAAO,CAAC,iBAAiB,CAAO;IAGhC,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,aAAa,CAAuC;IAC5D,OAAO,CAAC,kBAAkB,CAAqC;IAG/D,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,gBAAgB,CAOT;IAIf,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,qBAAqB;IAU7B,kBAAkB,IAAI,wBAAwB;IAM9C,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIxC,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAInC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAM7B,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAY7B,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIzD,gBAAgB,IAAI,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAIpD,eAAe,CAAC,MAAM,EAAE,gBAAgB,GAAG,IAAI;IAM/C,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IASpC,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,EAAE;IAInD,eAAe,IAAI,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC;IAIjD,cAAc,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI;IAOtC,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI;IAgB1D;;;OAGG;IACa,OAAO,IAAI,OAAO;cAOf,qBAAqB,IAAI,wBAAwB;IAqDpE;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,MAAM,EAAE,EAChB,aAAa,EAAE,gBAAgB,EAAE,EACjC,YAAY,EAAE,YAAY,EAAE,GAC7B,sBAAsB;CAkE5B"}

package/dist/engine/engine.js

@@ -0,0 +1,313 @@
+import { ArgumentEngine, InvariantViolationError, } from "@proposit/proposit-core";
+import { CHECKSUM_CONFIG } from "../checksum.js";
+import { createClaimLookup, createSourceLookup, EMPTY_CLAIM_SOURCE_LOOKUP, } from "./library-adapters.js";
+/**
+ * Project-specific extension of ArgumentEngine that manages domain data
+ * (claims, sources, claim-source relations) alongside the core
+ * propositional logic state.
+ *
+ * Mutations to domain data trigger reactive notifications via the inherited
+ * subscribe/getSnapshot protocol, enabling seamless integration with
+ * React's useSyncExternalStore.
+ */
+export class PropositArgumentEngine extends ArgumentEngine {
+    // Internal storage — claimsMap also backs the base class's claimLibrary
+    // so that setClaim() makes new claims visible to addVariable() validation.
+    claimsMap;
+    sourcesMap = new Map();
+    claimSourcesMap = new Map();
+    // Shared context object that is captured by the mutableLookup closure
+    // and also accessible after construction so the rollback() override can
+    // temporarily enable permissive claim stubs (see rollback() below).
+    // Declared before super() — it must exist for the closure to capture it.
+    // The type annotation is a plain object to satisfy TS before this exists.
+    claimContext;
+    constructor(...args) {
+        const [argument, claimLookup, sourceLookup, claimSourceLookup, options,] = args;
+        // Create the shared claims map before super() so we can build a
+        // live lookup that the base class stores as this.claimLibrary.
+        const claimsMap = new Map();
+        const toCoreClaim = (c) => ({
+            id: c.id,
+            version: c.version,
+            frozen: false,
+            checksum: "",
+        });
+        // claimContext must be created before super() so the mutableLookup
+        // closure can capture it. We assign it to this.claimContext after
+        // super() returns so the rollback() override can access it.
+        const claimContext = { permissiveForRestore: false };
+        const mutableLookup = {
+            get(id, version) {
+                // Check the live map first (covers dynamically-added claims),
+                // then fall back to the original lookup (initial construction data).
+                const c = claimsMap.get(id);
+                if (c?.version === version)
+                    return toCoreClaim(c);
+                const orig = claimLookup.get(id, version);
+                if (orig)
+                    return toCoreClaim(orig);
+                // During snapshot rollback (restoring from server data), return
+                // a stub so validate() passes for claim references not present
+                // in the supplied claims array. This allows fromServerData to
+                // work when claims are omitted or incomplete. Normal mutations
+                // (addVariable) still check the lookup — but addVariable is not
+                // called during rollbackInternal, only validate() is.
+                if (claimContext.permissiveForRestore) {
+                    return { id, version, frozen: false, checksum: "" };
+                }
+                return undefined;
+            },
+        };
+        super(argument, mutableLookup, sourceLookup, claimSourceLookup, options);
+        this.claimsMap = claimsMap;
+        this.claimContext = claimContext;
+    }
+    // ──── Rollback override for permissive claim stubs ────
+    /**
+     * Overrides base rollback() to temporarily enable permissive claim stubs
+     * during the validate() call that rollback() performs internally.
+     *
+     * In proposit-core 0.8.0+, rollback() calls validate() which checks that
+     * every claim-bound variable's (claimId, claimVersion) exists in the claim
+     * library. When the engine is loaded from a server snapshot and the caller
+     * does not supply the full claims array (common in tests), this would fail.
+     *
+     * Permissive stubs are ONLY active during rollback's validate() pass:
+     * - addVariable() explicit check: claimContext.permissiveForRestore = false
+     *   (addVariable is not called inside rollbackInternal)
+     * - validate() inside rollback(): permissiveForRestore = true
+     */
+    rollback(snapshot) {
+        this.claimContext.permissiveForRestore = true;
+        try {
+            super.rollback(snapshot);
+        }
+        finally {
+            this.claimContext.permissiveForRestore = false;
+        }
+    }
+    // Dirty tracking for structural sharing
+    claimsDirty = true;
+    sourcesDirty = true;
+    claimSourcesDirty = true;
+    // Cached records for reactive snapshot
+    cachedClaims = {};
+    cachedSources = {};
+    cachedClaimSources = {};
+    // Full combined snapshot cache (for useSyncExternalStore referential stability)
+    cachedProjectSnapshot;
+    lastBaseSnapshot;
+    // ──── Private cache helpers ────
+    getClaimsRecord() {
+        if (this.claimsDirty) {
+            this.cachedClaims = Object.fromEntries(this.claimsMap);
+            this.claimsDirty = false;
+        }
+        return this.cachedClaims;
+    }
+    getSourcesRecord() {
+        if (this.sourcesDirty) {
+            this.cachedSources = Object.fromEntries(this.sourcesMap);
+            this.sourcesDirty = false;
+        }
+        return this.cachedSources;
+    }
+    getClaimSourcesRecord() {
+        if (this.claimSourcesDirty) {
+            this.cachedClaimSources = Object.fromEntries(this.claimSourcesMap);
+            this.claimSourcesDirty = false;
+        }
+        return this.cachedClaimSources;
+    }
+    // ──── Typed snapshot accessor ────
+    getProjectSnapshot() {
+        return this.getSnapshot();
+    }
+    // ──── Claim accessors ────
+    getClaim(id) {
+        return this.claimsMap.get(id);
+    }
+    getClaims() {
+        return this.getClaimsRecord();
+    }
+    setClaim(claim) {
+        this.claimsMap.set(claim.id, claim);
+        this.claimsDirty = true;
+        this.notifySubscribers();
+    }
+    removeClaim(id) {
+        if (this.claimsMap.delete(id)) {
+            this.claimsDirty = true;
+            this.notifySubscribers();
+        }
+    }
+    // ──── Domain source accessors ────
+    // Named with "Domain" prefix to avoid shadowing core's SourceManager
+    // methods (getSource, getSources, removeSource). Domain sources are
+    // managed at the proposit-server level, not through proposit-core.
+    getDomainSource(id) {
+        return this.sourcesMap.get(id);
+    }
+    getDomainSources() {
+        return this.getSourcesRecord();
+    }
+    setDomainSource(source) {
+        this.sourcesMap.set(source.id, source);
+        this.sourcesDirty = true;
+        this.notifySubscribers();
+    }
+    removeDomainSource(id) {
+        if (this.sourcesMap.delete(id)) {
+            this.sourcesDirty = true;
+            this.notifySubscribers();
+        }
+    }
+    // ──── ClaimSource accessors ────
+    getSourcesForClaim(claimId) {
+        return this.claimSourcesMap.get(claimId) ?? [];
+    }
+    getClaimSources() {
+        return { ...this.getClaimSourcesRecord() };
+    }
+    addClaimSource(cs) {
+        const existing = this.claimSourcesMap.get(cs.claimId) ?? [];
+        this.claimSourcesMap.set(cs.claimId, [...existing, cs]);
+        this.claimSourcesDirty = true;
+        this.notifySubscribers();
+    }
+    removeClaimSource(claimId, sourceId) {
+        const existing = this.claimSourcesMap.get(claimId);
+        if (!existing)
+            return;
+        const filtered = existing.filter((s) => s.sourceId !== sourceId);
+        if (filtered.length === existing.length)
+            return;
+        if (filtered.length > 0) {
+            this.claimSourcesMap.set(claimId, filtered);
+        }
+        else {
+            this.claimSourcesMap.delete(claimId);
+        }
+        this.claimSourcesDirty = true;
+        this.notifySubscribers();
+    }
+    // ──── canFork override ────
+    /**
+     * Restricts forking to published arguments only.
+     * Overrides the base class default which returns true unconditionally.
+     */
+    canFork() {
+        const arg = this.getArgument();
+        return arg?.published === true;
+    }
+    // ──── Reactive snapshot override ────
+    buildReactiveSnapshot() {
+        const base = super.buildReactiveSnapshot();
+        const claims = this.getClaimsRecord();
+        const domainSources = this.getSourcesRecord();
+        const claimSources = this.getClaimSourcesRecord();
+        // Recompute validation when base engine snapshot changes
+        let validationIssues;
+        if (base !== this.lastBaseSnapshot) {
+            const evaluability = this.validateEvaluability().issues;
+            const invariants = this.validate();
+            const mappedViolations = invariants.ok
+                ? []
+                : invariants.violations.map((v) => ({
+                    code: v.code,
+                    severity: "error",
+                    message: v.message,
+                    premiseId: v.premiseId,
+                }));
+            validationIssues = [...evaluability, ...mappedViolations];
+        }
+        else {
+            validationIssues =
+                this.cachedProjectSnapshot?.validationIssues ?? [];
+        }
+        // Return cached snapshot if neither the base nor domain data changed
+        // (preserves referential equality for useSyncExternalStore).
+        if (this.cachedProjectSnapshot &&
+            base === this.lastBaseSnapshot &&
+            claims === this.cachedProjectSnapshot.claims &&
+            domainSources === this.cachedProjectSnapshot.domainSources &&
+            claimSources === this.cachedProjectSnapshot.claimSources) {
+            return this.cachedProjectSnapshot;
+        }
+        const snapshot = {
+            ...base,
+            claims,
+            domainSources,
+            claimSources,
+            validationIssues,
+        };
+        this.cachedProjectSnapshot = snapshot;
+        this.lastBaseSnapshot = base;
+        return snapshot;
+    }
+    // ──── Static factory ────
+    /**
+     * Creates a PropositArgumentEngine from server-provided data: an engine
+     * snapshot (for logic state) plus arrays of claims, sources, and
+     * claim-source relations.
+     *
+     * Does NOT trigger reactive notifications during initial data loading.
+     */
+    static fromServerData(snapshot, claims, domainSources, claimSources) {
+        const claimLookup = createClaimLookup(claims);
+        const sourceLookup = createSourceLookup(domainSources);
+        const engine = new PropositArgumentEngine(snapshot.argument, claimLookup, sourceLookup, EMPTY_CLAIM_SOURCE_LOOKUP, {
+            checksumConfig: CHECKSUM_CONFIG,
+            positionConfig: snapshot.config?.positionConfig,
+            grammarConfig: {
+                autoNormalize: false,
+                enforceFormulaBetweenOperators: true,
+            },
+            generateId: () => crypto.randomUUID(),
+        });
+        // Restore engine state from the snapshot.
+        // Populate variables.config so that rollbackInternal creates a
+        // VariableManager with the correct checksumConfig. Without this,
+        // VariableManager.fromSnapshot() is called with no config and falls
+        // back to DEFAULT_CHECKSUM_CONFIG, causing checksum mismatches when
+        // the server's CHECKSUM_CONFIG includes extra fields (createdOn, etc.).
+        //
+        // NOTE: rollback() is overridden in PropositArgumentEngine to set
+        // claimContext.permissiveForRestore = true during the validate() call,
+        // so unknown claim references in the snapshot don't cause failures when
+        // the caller provides an incomplete claims array.
+        const snapshotWithVariableConfig = {
+            ...snapshot,
+            variables: {
+                ...snapshot.variables,
+                config: snapshot.variables.config ?? {
+                    checksumConfig: CHECKSUM_CONFIG,
+                },
+            },
+        };
+        try {
+            engine.rollback(snapshotWithVariableConfig);
+        }
+        catch (error) {
+            if (error instanceof InvariantViolationError) {
+                throw new Error(`Failed to load argument ${snapshot.argument?.id}: invariant violation during rollback: ${error.violations.map((v) => v.message).join(", ")}`, { cause: error });
+            }
+            throw error;
+        }
+        // Load domain data into internal maps (no notifications)
+        for (const claim of claims) {
+            engine.claimsMap.set(claim.id, claim);
+        }
+        for (const src of domainSources) {
+            engine.sourcesMap.set(src.id, src);
+        }
+        for (const cs of claimSources) {
+            const existing = engine.claimSourcesMap.get(cs.claimId) ?? [];
+            existing.push(cs);
+            engine.claimSourcesMap.set(cs.claimId, existing);
+        }
+        return engine;
+    }
+}
+//# sourceMappingURL=engine.js.map

package/dist/engine/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,uBAAuB,GAM1B,MAAM,yBAAyB,CAAA;AAWhC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,EACH,iBAAiB,EACjB,kBAAkB,EAClB,yBAAyB,GAC5B,MAAM,uBAAuB,CAAA;AAgC9B;;;;;;;;GAQG;AACH,MAAM,OAAO,sBAAuB,SAAQ,cAK3C;IACG,wEAAwE;IACxE,2EAA2E;IACnE,SAAS,CAAqB;IAC9B,UAAU,GAAG,IAAI,GAAG,EAA4B,CAAA;IAChD,eAAe,GAAG,IAAI,GAAG,EAA0B,CAAA;IAE3D,sEAAsE;IACtE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,0EAA0E;IAClE,YAAY,CAAoC;IAExD,YACI,GAAG,IAOF;QAED,MAAM,CACF,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,OAAO,EACV,GAAG,IAAI,CAAA;QACR,gEAAgE;QAChE,+DAA+D;QAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC3C,MAAM,WAAW,GAAG,CAAC,CAGpB,EAAc,EAAE,CAAC,CAAC;YACf,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,EAAE;SACf,CAAC,CAAA;QACF,mEAAmE;QACnE,kEAAkE;QAClE,4DAA4D;QAC5D,MAAM,YAAY,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;QACpD,MAAM,aAAa,GAAiB;YAChC,GAAG,CAAC,EAAU,EAAE,OAAe;gBAC3B,8DAA8D;gBAC9D,qEAAqE;gBACrE,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBAC3B,IAAI,CAAC,EAAE,OAAO,KAAK,OAAO;oBAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;gBACjD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;gBACzC,IAAI,IAAI;oBAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;gBAClC,gEAAgE;gBAChE,+DAA+D;gBAC/D,8DAA8D;gBAC9D,+DAA+D;gBAC/D,gEAAgE;gBAChE,sDAAsD;gBACtD,IAAI,YAAY,CAAC,oBAAoB,EAAE,CAAC;oBACpC,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;gBACvD,CAAC;gBACD,OAAO,SAAS,CAAA;YACpB,CAAC;SACJ,CAAA;QACD,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAA;QACxE,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;IACpC,CAAC;IAED,yDAAyD;IAEzD;;;;;;;;;;;;;OAaG;IACM,QAAQ,CACb,QASI;QAEJ,IAAI,CAAC,YAAY,CAAC,oBAAoB,GAAG,IAAI,CAAA;QAC7C,IAAI,CAAC;YACD,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QAC5B,CAAC;gBAAS,CAAC;YACP,IAAI,CAAC,YAAY,CAAC,oBAAoB,GAAG,KAAK,CAAA;QAClD,CAAC;IACL,CAAC;IAED,wCAAwC;IAChC,WAAW,GAAG,IAAI,CAAA;IAClB,YAAY,GAAG,IAAI,CAAA;IACnB,iBAAiB,GAAG,IAAI,CAAA;IAEhC,uCAAuC;IAC/B,YAAY,GAA2B,EAAE,CAAA;IACzC,aAAa,GAAqC,EAAE,CAAA;IACpD,kBAAkB,GAAmC,EAAE,CAAA;IAE/D,gFAAgF;IACxE,qBAAqB,CAAsC;IAC3D,gBAAgB,CAOT;IAEf,kCAAkC;IAE1B,eAAe;QACnB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACtD,IAAI,CAAC,WAAW,GAAG,KAAK,CAAA;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAA;IAC5B,CAAC;IAEO,gBAAgB;QACpB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACxD,IAAI,CAAC,YAAY,GAAG,KAAK,CAAA;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAA;IAC7B,CAAC;IAEO,qBAAqB;QACzB,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACzB,IAAI,CAAC,kBAAkB,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;YAClE,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAA;QAClC,CAAC;QACD,OAAO,IAAI,CAAC,kBAAkB,CAAA;IAClC,CAAC;IAED,oCAAoC;IAEpC,kBAAkB;QACd,OAAO,IAAI,CAAC,WAAW,EAA8B,CAAA;IACzD,CAAC;IAED,4BAA4B;IAE5B,QAAQ,CAAC,EAAU;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACjC,CAAC;IAED,SAAS;QACL,OAAO,IAAI,CAAC,eAAe,EAAE,CAAA;IACjC,CAAC;IAED,QAAQ,CAAC,KAAa;QAClB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QACvB,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,WAAW,CAAC,EAAU;QAClB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;YACvB,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,oCAAoC;IACpC,qEAAqE;IACrE,oEAAoE;IACpE,mEAAmE;IAEnE,eAAe,CAAC,EAAU;QACtB,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAClC,CAAC;IAED,gBAAgB;QACZ,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAA;IAClC,CAAC;IAED,eAAe,CAAC,MAAwB;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACtC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAA;QACxB,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,kBAAkB,CAAC,EAAU;QACzB,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,YAAY,GAAG,IAAI,CAAA;YACxB,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,kCAAkC;IAElC,kBAAkB,CAAC,OAAe;QAC9B,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;IAClD,CAAC;IAED,eAAe;QACX,OAAO,EAAE,GAAG,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAA;IAC9C,CAAC;IAED,cAAc,CAAC,EAAgB;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QAC3D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAA;QACvD,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAA;QAC7B,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,iBAAiB,CAAC,OAAe,EAAE,QAAgB;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAClD,IAAI,CAAC,QAAQ;YAAE,OAAM;QACrB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAA;QAChE,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAAE,OAAM;QAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC/C,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QACxC,CAAC;QACD,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAA;QAC7B,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,6BAA6B;IAE7B;;;OAGG;IACa,OAAO;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAC9B,OAAO,GAAG,EAAE,SAAS,KAAK,IAAI,CAAA;IAClC,CAAC;IAED,uCAAuC;IAEpB,qBAAqB;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,qBAAqB,EAAE,CAAA;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QACrC,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAA;QAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAA;QAEjD,yDAAyD;QACzD,IAAI,gBAAwC,CAAA;QAC5C,IAAI,IAAI,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAA;YACvD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,MAAM,gBAAgB,GAA2B,UAAU,CAAC,EAAE;gBAC1D,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CACrB,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC;oBAC1B,IAAI,EAAE,CAAC,CAAC,IAAoC;oBAC5C,QAAQ,EAAE,OAAgB;oBAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;iBACzB,CAAC,CACL,CAAA;YACP,gBAAgB,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,gBAAgB,CAAC,CAAA;QAC7D,CAAC;aAAM,CAAC;YACJ,gBAAgB;gBACZ,IAAI,CAAC,qBAAqB,EAAE,gBAAgB,IAAI,EAAE,CAAA;QAC1D,CAAC;QAED,qEAAqE;QACrE,6DAA6D;QAC7D,IACI,IAAI,CAAC,qBAAqB;YAC1B,IAAI,KAAK,IAAI,CAAC,gBAAgB;YAC9B,MAAM,KAAK,IAAI,CAAC,qBAAqB,CAAC,MAAM;YAC5C,aAAa,KAAK,IAAI,CAAC,qBAAqB,CAAC,aAAa;YAC1D,YAAY,KAAK,IAAI,CAAC,qBAAqB,CAAC,YAAY,EAC1D,CAAC;YACC,OAAO,IAAI,CAAC,qBAAqB,CAAA;QACrC,CAAC;QAED,MAAM,QAAQ,GAA6B;YACvC,GAAG,IAAI;YACP,MAAM;YACN,aAAa;YACb,YAAY;YACZ,gBAAgB;SACnB,CAAA;QACD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAA;QACrC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;QAC5B,OAAO,QAAQ,CAAA;IACnB,CAAC;IAED,2BAA2B;IAE3B;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAA0B,EAC1B,MAAgB,EAChB,aAAiC,EACjC,YAA4B;QAE5B,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC7C,MAAM,YAAY,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAA;QACtD,MAAM,MAAM,GAAG,IAAI,sBAAsB,CACrC,QAAQ,CAAC,QAAQ,EACjB,WAAW,EACX,YAAY,EACZ,yBAAyB,EACzB;YACI,cAAc,EAAE,eAAe;YAC/B,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc;YAC/C,aAAa,EAAE;gBACX,aAAa,EAAE,KAAK;gBACpB,8BAA8B,EAAE,IAAI;aACvC;YACD,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE;SACxC,CACJ,CAAA;QAED,0CAA0C;QAC1C,+DAA+D;QAC/D,iEAAiE;QACjE,oEAAoE;QACpE,oEAAoE;QACpE,wEAAwE;QACxE,EAAE;QACF,kEAAkE;QAClE,uEAAuE;QACvE,wEAAwE;QACxE,kDAAkD;QAClD,MAAM,0BAA0B,GAAqB;YACjD,GAAG,QAAQ;YACX,SAAS,EAAE;gBACP,GAAG,QAAQ,CAAC,SAAS;gBACrB,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,IAAI;oBACjC,cAAc,EAAE,eAAe;iBAClC;aACJ;SACJ,CAAA;QACD,IAAI,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAA;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;gBAC3C,MAAM,IAAI,KAAK,CACX,2BAA2B,QAAQ,CAAC,QAAQ,EAAE,EAAE,0CAA0C,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC7I,EAAE,KAAK,EAAE,KAAK,EAAE,CACnB,CAAA;YACL,CAAC;YACD,MAAM,KAAK,CAAA;QACf,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACzC,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YAC9B,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QACtC,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;YAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACjB,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACpD,CAAC;QAED,OAAO,MAAM,CAAA;IACjB,CAAC;CACJ"}

package/dist/engine/library-adapters.d.ts

@@ -0,0 +1,12 @@
+import type { TClaimLookup, TSourceLookup } from "@proposit/proposit-core";
+import { EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP } from "@proposit/proposit-core";
+export declare function createClaimLookup(claims: {
+    id: string;
+    version: number;
+}[]): TClaimLookup;
+export declare function createSourceLookup(sources: {
+    id: string;
+    version?: number;
+}[]): TSourceLookup;
+export { EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP };
+//# sourceMappingURL=library-adapters.d.ts.map

package/dist/engine/library-adapters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"library-adapters.d.ts","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAC1E,OAAO,EAEH,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,EAC5B,MAAM,yBAAyB,CAAA;AAEhC,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE,GAC1C,YAAY,CAGd;AAED,wBAAgB,kBAAkB,CAC9B,OAAO,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAC5C,aAAa,CAGf;AAED,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,CAAA"}

package/dist/engine/library-adapters.js

@@ -0,0 +1,11 @@
+import { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, } from "@proposit/proposit-core";
+export function createClaimLookup(claims) {
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any, @typescript-eslint/no-unsafe-return
+    return createLookup(claims, (c) => `${c.id}:${c.version}`);
+}
+export function createSourceLookup(sources) {
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any, @typescript-eslint/no-unsafe-return
+    return createLookup(sources, (s) => `${s.id}:${s.version ?? 1}`);
+}
+export { EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP };
+//# sourceMappingURL=library-adapters.js.map

package/dist/engine/library-adapters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"library-adapters.js","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AACA,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC5B,MAAM,yBAAyB,CAAA;AAEhC,MAAM,UAAU,iBAAiB,CAC7B,MAAyC;IAEzC,mGAAmG;IACnG,OAAO,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAQ,CAAA;AACrE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,OAA2C;IAE3C,mGAAmG;IACnG,OAAO,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,EAAE,CAAQ,CAAA;AAC3E,CAAC;AAED,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,CAAA"}

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

@@ -0,0 +1,10 @@
+import type { TClaim } from "../../schemas/model/claims.js";
+import type { PropositArgumentEngine } from "../engine.js";
+import type { ProjectChangeset } from "./types.js";
+export declare function mutateSetClaim(engine: PropositArgumentEngine, claim: TClaim): void;
+export declare function mutateUpdateClaim(engine: PropositArgumentEngine, claim: TClaim): void;
+export declare function mutateRemoveClaimWithCascade(engine: PropositArgumentEngine, claimId: string): {
+    removedVariableIds: string[];
+    changes: ProjectChangeset;
+};
+//# sourceMappingURL=claims.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAGlD,wBAAgB,cAAc,CAC1B,MAAM,EAAE,sBAAsB,EAC9B,KAAK,EAAE,MAAM,GACd,IAAI,CAEN;AAED,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,sBAAsB,EAC9B,KAAK,EAAE,MAAM,GACd,IAAI,CAEN;AAED,wBAAgB,4BAA4B,CACxC,MAAM,EAAE,sBAAsB,EAC9B,OAAO,EAAE,MAAM,GAChB;IAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAgB7D"}

package/dist/engine/mutations/claims.js

@@ -0,0 +1,22 @@
+import { mergeChangesets } from "./types.js";
+export function mutateSetClaim(engine, claim) {
+    engine.setClaim(claim);
+}
+export function mutateUpdateClaim(engine, claim) {
+    engine.setClaim(claim);
+}
+export function mutateRemoveClaimWithCascade(engine, claimId) {
+    const removedVariableIds = [];
+    let changes = {};
+    // Find and remove all variables referencing this claim (cascade to expressions)
+    for (const variable of engine.getVariables()) {
+        if ("claimId" in variable && variable.claimId === claimId) {
+            const { changes: varChanges } = engine.removeVariable(variable.id);
+            changes = mergeChangesets(changes, varChanges);
+            removedVariableIds.push(variable.id);
+        }
+    }
+    engine.removeClaim(claimId);
+    return { removedVariableIds, changes };
+}
+//# sourceMappingURL=claims.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/engine/mutations/claims.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,MAAM,UAAU,cAAc,CAC1B,MAA8B,EAC9B,KAAa;IAEb,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC7B,MAA8B,EAC9B,KAAa;IAEb,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,4BAA4B,CACxC,MAA8B,EAC9B,OAAe;IAEf,MAAM,kBAAkB,GAAa,EAAE,CAAA;IACvC,IAAI,OAAO,GAAqB,EAAE,CAAA;IAElC,gFAAgF;IAChF,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QAC3C,IAAI,SAAS,IAAI,QAAQ,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YACxD,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAClE,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;YAC9C,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QACxC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;IAE3B,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAA;AAC1C,CAAC"}

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

@@ -0,0 +1,109 @@
+import type { TPropositionalExpressionCombined, TPropositionalExpressionTypes, TLogicalOperatorType } from "../../schemas/logic.js";
+import type { ProjectEngine, ProjectChangeset } from "./types.js";
+export type TAddSiblingExpressionData = {
+    premiseId: string;
+    targetExpressionId: string;
+    direction: "before" | "after";
+    siblingId: string;
+    type: TPropositionalExpressionTypes;
+    variableId?: string | null;
+    argumentId: string;
+    argumentVersion: number;
+    creatorId: string;
+    createdOn: Date;
+};
+export type TWrapExpressionData = {
+    premiseId: string;
+    targetExpressionId: string;
+    direction: "before" | "after";
+    operatorId: string;
+    operatorType: TLogicalOperatorType;
+    siblingId: string;
+    siblingType: TPropositionalExpressionTypes;
+    variableId?: string | null;
+    argumentId: string;
+    argumentVersion: number;
+    creatorId: string;
+    createdOn: Date;
+};
+export declare function mutateCreateExpression(engine: ProjectEngine, data: {
+    premiseId: string;
+    expressionId: string;
+    parentId: string | null;
+    position?: number;
+    type: TPropositionalExpressionTypes;
+    variableId?: string | null;
+    operator?: TLogicalOperatorType | null;
+    relativeTo?: {
+        expressionId: string;
+        direction: "before" | "after";
+    };
+    argumentId: string;
+    argumentVersion: number;
+    creatorId: string;
+    createdOn: Date;
+}): {
+    created: TPropositionalExpressionCombined;
+    shifted: TPropositionalExpressionCombined[];
+    changes: ProjectChangeset;
+};
+export declare function mutateUpdateExpression(engine: ProjectEngine, expressionId: string, updates: {
+    position?: number;
+    variableId?: string | null;
+    operator?: TLogicalOperatorType | null;
+}): {
+    expression: TPropositionalExpressionCombined;
+    changes: ProjectChangeset;
+};
+export declare function mutateDeleteExpression(engine: ProjectEngine, expressionId: string): {
+    removed: TPropositionalExpressionCombined | undefined;
+    changes: ProjectChangeset;
+};
+export declare function mutateToggleNegation(engine: ProjectEngine, expressionId: string, extraFields: {
+    creatorId: string;
+    createdOn: Date;
+}): {
+    changes: ProjectChangeset;
+};
+export declare function mutateChangeOperator(engine: ProjectEngine, data: {
+    expressionId: string;
+    newOperator: TLogicalOperatorType;
+    sourceChildId?: string;
+    targetChildId?: string;
+    extraFields?: {
+        creatorId: string;
+        createdOn: Date;
+    };
+}): {
+    changes: ProjectChangeset;
+};
+export type TCreateExpressionWithOperatorData = {
+    premiseId: string;
+    targetExpressionId: string;
+    operatorType: TLogicalOperatorType;
+    direction: "before" | "after";
+    operatorId: string;
+    siblingId: string;
+    type: TPropositionalExpressionTypes;
+    variableId?: string | null;
+    argumentId: string;
+    argumentVersion: number;
+    creatorId: string;
+    createdOn: Date;
+};
+export declare function mutateAddSiblingExpression(engine: ProjectEngine, data: TAddSiblingExpressionData): {
+    created: TPropositionalExpressionCombined[];
+    modified: TPropositionalExpressionCombined[];
+    changes: ProjectChangeset;
+};
+export declare function mutateWrapExpression(engine: ProjectEngine, data: TWrapExpressionData): {
+    created: TPropositionalExpressionCombined[];
+    modified: TPropositionalExpressionCombined[];
+    changes: ProjectChangeset;
+};
+export declare function mutateCreateExpressionWithOperator(engine: ProjectEngine, data: TCreateExpressionWithOperatorData): {
+    created: TPropositionalExpressionCombined[];
+    modified: TPropositionalExpressionCombined[];
+    changes: ProjectChangeset;
+};
+//# sourceMappingURL=expressions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACR,gCAAgC,EAChC,6BAA6B,EAC7B,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAQjE,MAAM,MAAM,yBAAyB,GAAG;IACpC,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,MAAM,CAAA;IACjB,WAAW,EAAE,6BAA6B,CAAA;IAC1C,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,SAAS,EAAE,MAAM,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;IACtC,UAAU,CAAC,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;KAAE,CAAA;IACpE,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,GACF;IACC,OAAO,EAAE,gCAAgC,CAAA;IACzC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAyEA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE;IACL,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;CACzC,GACF;IACC,UAAU,EAAE,gCAAgC,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA8BA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,GACrB;IACC,OAAO,EAAE,gCAAgC,GAAG,SAAS,CAAA;IACrD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAgBA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GACpD;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAY/B;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,YAAY,EAAE,MAAM,CAAA;IACpB,WAAW,EAAE,oBAAoB,CAAA;IACjC,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,WAAW,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,IAAI,CAAA;KAAE,CAAA;CACvD,GACF;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAyB/B;AAED,MAAM,MAAM,iCAAiC,GAAG;IAC5C,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,yBAAyB,GAChC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA2CA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,mBAAmB,GAC1B;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA8EA;AAED,wBAAgB,kCAAkC,CAC9C,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,iCAAiC,GACxC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAsDA"}