@polintpro/proposit-core 0.7.5 → 0.8.2

package/dist/lib/core/proposit-core.js

@@ -0,0 +1,365 @@
+import { isClaimBound } from "../schemata/propositional.js";
+import { ClaimLibrary } from "./claim-library.js";
+import { SourceLibrary } from "./source-library.js";
+import { ClaimSourceLibrary } from "./claim-source-library.js";
+import { ArgumentLibrary } from "./argument-library.js";
+import { ArgumentEngine, defaultGenerateId } from "./argument-engine.js";
+import { ForkLibrary } from "./fork-library.js";
+import { forkArgumentEngine } from "./fork.js";
+import { diffArguments as standaloneDiffArguments } from "./diff.js";
+/**
+ * Top-level orchestrator for the proposit-core system. Owns all five
+ * libraries (claims, sources, claim-source associations, forks, arguments)
+ * and provides unified snapshot/restore and validation.
+ *
+ * Construction order follows dependency order:
+ * claims -> sources -> claimSources -> forks -> arguments.
+ */
+export class PropositCore {
+    claims;
+    sources;
+    claimSources;
+    forks;
+    arguments;
+    generateId;
+    constructor(options) {
+        this.generateId = options?.generateId ?? defaultGenerateId;
+        const checksumOpts = options?.checksumConfig
+            ? { checksumConfig: options.checksumConfig }
+            : undefined;
+        // Dependency order: claims -> sources -> claimSources -> forks -> arguments
+        this.claims =
+            options?.claimLibrary ?? new ClaimLibrary(checksumOpts);
+        this.sources =
+            options?.sourceLibrary ?? new SourceLibrary(checksumOpts);
+        this.claimSources =
+            options?.claimSourceLibrary ??
+                new ClaimSourceLibrary(this.claims, this.sources, checksumOpts);
+        this.forks =
+            options?.forkLibrary ??
+                new ForkLibrary();
+        this.arguments =
+            options?.argumentLibrary ??
+                new ArgumentLibrary({
+                    claimLibrary: this.claims,
+                    sourceLibrary: this.sources,
+                    claimSourceLibrary: this.claimSources,
+                }, {
+                    checksumConfig: options?.checksumConfig,
+                    positionConfig: options?.positionConfig,
+                    grammarConfig: options?.grammarConfig,
+                    generateId: this.generateId,
+                });
+    }
+    /**
+     * Returns a serializable snapshot of the entire PropositCore state,
+     * including all libraries.
+     */
+    snapshot() {
+        return {
+            arguments: this.arguments.snapshot(),
+            claims: this.claims.snapshot(),
+            sources: this.sources.snapshot(),
+            claimSources: this.claimSources.snapshot(),
+            forks: this.forks.snapshot(),
+        };
+    }
+    /**
+     * Restores a `PropositCore` instance from a snapshot. Libraries are
+     * restored in dependency order: claims -> sources -> claimSources ->
+     * forks -> arguments.
+     *
+     * @param snapshot - The serialized PropositCore snapshot.
+     * @param config - Optional shared configuration for the restored instance.
+     * @returns A fully restored `PropositCore` instance.
+     */
+    static fromSnapshot(snapshot, config) {
+        const checksumOpts = config?.checksumConfig
+            ? { checksumConfig: config.checksumConfig }
+            : undefined;
+        // Dependency order: claims -> sources -> claimSources -> forks -> arguments
+        const claims = ClaimLibrary.fromSnapshot(snapshot.claims, checksumOpts);
+        const sources = SourceLibrary.fromSnapshot(snapshot.sources, checksumOpts);
+        const claimSources = ClaimSourceLibrary.fromSnapshot(snapshot.claimSources, claims, sources, checksumOpts);
+        const forks = ForkLibrary.fromSnapshot(snapshot.forks);
+        const restoredArguments = ArgumentLibrary.fromSnapshot(snapshot.arguments, {
+            claimLibrary: claims,
+            sourceLibrary: sources,
+            claimSourceLibrary: claimSources,
+        }, {
+            checksumConfig: config?.checksumConfig,
+            positionConfig: config?.positionConfig,
+            grammarConfig: config?.grammarConfig,
+            generateId: config?.generateId,
+        });
+        const core = new PropositCore({
+            claimLibrary: claims,
+            sourceLibrary: sources,
+            claimSourceLibrary: claimSources,
+            forkLibrary: forks,
+            argumentLibrary: restoredArguments,
+        });
+        core.generateId = config?.generateId ?? defaultGenerateId;
+        return core;
+    }
+    /**
+     * Runs invariant validation across all managed libraries and merges
+     * the results.
+     *
+     * @returns A combined validation result.
+     */
+    validate() {
+        const violations = [
+            ...this.claims.validate().violations,
+            ...this.sources.validate().violations,
+            ...this.claimSources.validate().violations,
+            ...this.forks.validate().violations,
+            ...this.arguments.validate().violations,
+        ];
+        return { ok: violations.length === 0, violations };
+    }
+    /**
+     * Forks an argument, cloning its referenced claims, sources, and
+     * claim-source associations, then remaps variable claim references to
+     * point at the cloned claims. Creates fork records in all six
+     * namespaces.
+     *
+     * @param argumentId - The ID of the argument to fork.
+     * @param newArgumentId - The ID for the forked argument. Defaults to `this.generateId()`.
+     * @param options - Optional fork configuration and extras for fork records.
+     * @returns The forked engine, remap tables, and the argument fork record.
+     */
+    forkArgument(argumentId, newArgumentId, options) {
+        // Step 1: Retrieve source engine
+        const engine = this.arguments.get(argumentId);
+        if (!engine) {
+            throw new Error(`Argument "${argumentId}" not found in ArgumentLibrary.`);
+        }
+        // Step 2: canFork guard
+        if (!engine.canFork()) {
+            throw new Error(`Forking argument "${argumentId}" is not allowed.`);
+        }
+        const sourceArg = engine.getArgument();
+        const resolvedNewArgumentId = newArgumentId ?? this.generateId();
+        const forkId = options?.forkId ?? this.generateId();
+        // Build expressionId → premiseId map from source engine snapshot
+        const sourceSnap = engine.snapshot();
+        const exprToPremiseMap = new Map();
+        for (const ps of sourceSnap.premises) {
+            for (const expr of ps.expressions.expressions) {
+                exprToPremiseMap.set(expr.id, ps.premise.id);
+            }
+        }
+        // Step 3: Clone claims
+        const claimRemap = new Map();
+        const claimVersionMap = new Map();
+        const variables = engine.getVariables();
+        const uniqueClaimIds = new Set();
+        for (const v of variables) {
+            if (isClaimBound(v)) {
+                uniqueClaimIds.add(v.claimId);
+            }
+        }
+        for (const originalClaimId of uniqueClaimIds) {
+            const currentClaim = this.claims.getCurrent(originalClaimId);
+            if (!currentClaim) {
+                throw new Error(`Claim "${originalClaimId}" not found in ClaimLibrary.`);
+            }
+            claimVersionMap.set(originalClaimId, currentClaim.version);
+            const newClaimId = this.generateId();
+            const { id: _id, version: _v, frozen: _f, checksum: _c, ...claimData } = currentClaim;
+            this.claims.create({
+                ...claimData,
+                id: newClaimId,
+            });
+            claimRemap.set(originalClaimId, newClaimId);
+        }
+        // Step 4: Clone sources
+        const sourceRemap = new Map();
+        const sourceVersionMap = new Map();
+        const uniqueSourceIds = new Set();
+        for (const originalClaimId of uniqueClaimIds) {
+            const associations = this.claimSources.getForClaim(originalClaimId);
+            for (const assoc of associations) {
+                uniqueSourceIds.add(assoc.sourceId);
+            }
+        }
+        for (const originalSourceId of uniqueSourceIds) {
+            const currentSource = this.sources.getCurrent(originalSourceId);
+            if (!currentSource) {
+                throw new Error(`Source "${originalSourceId}" not found in SourceLibrary.`);
+            }
+            sourceVersionMap.set(originalSourceId, currentSource.version);
+            const newSourceId = this.generateId();
+            const { id: _id, version: _v, frozen: _f, checksum: _c, ...sourceData } = currentSource;
+            this.sources.create({
+                ...sourceData,
+                id: newSourceId,
+            });
+            sourceRemap.set(originalSourceId, newSourceId);
+        }
+        // Step 5: Clone associations
+        for (const originalClaimId of uniqueClaimIds) {
+            const associations = this.claimSources.getForClaim(originalClaimId);
+            for (const assoc of associations) {
+                const clonedClaimId = claimRemap.get(originalClaimId);
+                const clonedSourceId = sourceRemap.get(assoc.sourceId);
+                if (clonedSourceId) {
+                    this.claimSources.add({
+                        id: this.generateId(),
+                        claimId: clonedClaimId,
+                        claimVersion: 0,
+                        sourceId: clonedSourceId,
+                        sourceVersion: 0,
+                    });
+                }
+            }
+        }
+        // Step 6: Fork engine
+        const { engine: forkedEngine, remapTable } = forkArgumentEngine(engine, resolvedNewArgumentId, {
+            claimLibrary: this.claims,
+            sourceLibrary: this.sources,
+            claimSourceLibrary: this.claimSources,
+        }, {
+            ...options,
+            generateId: options?.generateId ?? this.generateId,
+        });
+        // Step 7: Remap claim references
+        const snap = forkedEngine.snapshot();
+        snap.variables.variables = snap.variables.variables.map((v) => {
+            if (isClaimBound(v)) {
+                const clonedClaimId = claimRemap.get(v.claimId);
+                if (clonedClaimId) {
+                    return {
+                        ...v,
+                        claimId: clonedClaimId,
+                        claimVersion: 0,
+                    };
+                }
+            }
+            return v;
+        });
+        const finalEngine = ArgumentEngine.fromSnapshot(snap, this.claims, this.sources, this.claimSources, snap.config?.grammarConfig, "ignore", this.generateId);
+        // Step 8: Register engine
+        this.arguments.register(finalEngine);
+        // Step 9: Create fork records
+        // Argument fork record
+        const argumentFork = this.forks.arguments.create({
+            entityId: resolvedNewArgumentId,
+            forkedFromEntityId: sourceArg.id,
+            forkedFromArgumentId: sourceArg.id,
+            forkedFromArgumentVersion: sourceArg.version,
+            forkId,
+            ...options?.argumentForkExtras,
+        });
+        // Premise fork records
+        for (const [oldPremiseId, newPremiseId] of remapTable.premises) {
+            this.forks.premises.create({
+                entityId: newPremiseId,
+                forkedFromEntityId: oldPremiseId,
+                forkedFromArgumentId: sourceArg.id,
+                forkedFromArgumentVersion: sourceArg.version,
+                forkId,
+                ...options?.premiseForkExtras,
+            });
+        }
+        // Expression fork records
+        for (const [oldExprId, newExprId] of remapTable.expressions) {
+            this.forks.expressions.create({
+                entityId: newExprId,
+                forkedFromEntityId: oldExprId,
+                forkedFromArgumentId: sourceArg.id,
+                forkedFromArgumentVersion: sourceArg.version,
+                forkId,
+                forkedFromPremiseId: exprToPremiseMap.get(oldExprId),
+                ...options?.expressionForkExtras,
+            });
+        }
+        // Variable fork records
+        for (const [oldVarId, newVarId] of remapTable.variables) {
+            this.forks.variables.create({
+                entityId: newVarId,
+                forkedFromEntityId: oldVarId,
+                forkedFromArgumentId: sourceArg.id,
+                forkedFromArgumentVersion: sourceArg.version,
+                forkId,
+                ...options?.variableForkExtras,
+            });
+        }
+        // Claim fork records
+        for (const [originalClaimId, clonedClaimId] of claimRemap) {
+            this.forks.claims.create({
+                entityId: clonedClaimId,
+                forkedFromEntityId: originalClaimId,
+                forkedFromArgumentId: sourceArg.id,
+                forkedFromArgumentVersion: sourceArg.version,
+                forkId,
+                forkedFromEntityVersion: claimVersionMap.get(originalClaimId),
+                ...options?.claimForkExtras,
+            });
+        }
+        // Source fork records
+        for (const [originalSourceId, clonedSourceId] of sourceRemap) {
+            this.forks.sources.create({
+                entityId: clonedSourceId,
+                forkedFromEntityId: originalSourceId,
+                forkedFromArgumentId: sourceArg.id,
+                forkedFromArgumentVersion: sourceArg.version,
+                forkId,
+                forkedFromEntityVersion: sourceVersionMap.get(originalSourceId),
+                ...options?.sourceForkExtras,
+            });
+        }
+        // Step 10: Return
+        return {
+            engine: finalEngine,
+            remapTable,
+            claimRemap,
+            sourceRemap,
+            argumentFork,
+        };
+    }
+    /**
+     * Computes a structural diff between two arguments managed by this
+     * `PropositCore` instance. Automatically injects fork-aware entity
+     * matchers derived from the fork records stored in `this.forks`.
+     * Caller-provided matchers in `options` take precedence over the
+     * fork-aware defaults.
+     *
+     * @param argumentIdA - The ID of the "before" argument.
+     * @param argumentIdB - The ID of the "after" argument.
+     * @param options - Optional diff configuration and comparator overrides.
+     * @returns A structural diff between the two arguments.
+     */
+    diffArguments(argumentIdA, argumentIdB, options) {
+        const engineA = this.arguments.get(argumentIdA);
+        if (!engineA) {
+            throw new Error(`Argument "${argumentIdA}" not found.`);
+        }
+        const engineB = this.arguments.get(argumentIdB);
+        if (!engineB) {
+            throw new Error(`Argument "${argumentIdB}" not found.`);
+        }
+        // Build fork-aware matchers from fork records
+        const forkPremiseMatcher = (a, b) => {
+            const record = this.forks.premises.get(b.id);
+            return record?.forkedFromEntityId === a.id;
+        };
+        const forkVariableMatcher = (a, b) => {
+            const record = this.forks.variables.get(b.id);
+            return record?.forkedFromEntityId === a.id;
+        };
+        const forkExpressionMatcher = (a, b) => {
+            const record = this.forks.expressions.get(b.id);
+            return record?.forkedFromEntityId === a.id;
+        };
+        // Caller-provided matchers override fork-aware matchers
+        return standaloneDiffArguments(engineA, engineB, {
+            ...options,
+            premiseMatcher: options?.premiseMatcher ?? forkPremiseMatcher,
+            variableMatcher: options?.variableMatcher ?? forkVariableMatcher,
+            expressionMatcher: options?.expressionMatcher ?? forkExpressionMatcher,
+        });
+    }
+}
+//# sourceMappingURL=proposit-core.js.map

package/dist/lib/core/proposit-core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AA6BA,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AAkDpE;;;;;;;GAOG;AACH,MAAM,OAAO,YAAY;IAeL,MAAM,CAAsB;IAC5B,OAAO,CAAwB;IAC/B,YAAY,CAA4B;IACxC,KAAK,CAOpB;IACe,SAAS,CAQxB;IACS,UAAU,CAAc;IAElC,YACI,OAcC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,4EAA4E;QAC5E,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,OAAO;YACR,OAAO,EAAE,aAAa,IAAI,IAAI,aAAa,CAAU,YAAY,CAAC,CAAA;QAEtE,IAAI,CAAC,YAAY;YACb,OAAO,EAAE,kBAAkB;gBAC3B,IAAI,kBAAkB,CAClB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,OAAO,EACZ,YAAY,CACf,CAAA;QAEL,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAOZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CASf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;oBACzB,aAAa,EAAE,IAAI,CAAC,OAAO;oBAC3B,kBAAkB,EAAE,IAAI,CAAC,YAAY;iBACxC,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,aAAa,EAAE,OAAO,EAAE,aAAa;oBACrC,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAeX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;YAChC,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE;YAC1C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAiBtB,QAcC,EACD,MAA4B;QAgB5B,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,4EAA4E;QAC5E,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,YAAY,CACtC,QAAQ,CAAC,OAAO,EAChB,YAAY,CACf,CAAA;QACD,MAAM,YAAY,GAAG,kBAAkB,CAAC,YAAY,CAChD,QAAQ,CAAC,YAAY,EACrB,MAAM,EACN,OAAO,EACP,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAOpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CASlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;YACpB,aAAa,EAAE,OAAO;YACtB,kBAAkB,EAAE,YAAY;SACnC,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,aAAa,EAAE,MAAM,EAAE,aAAa;YACpC,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAc3B;YACE,YAAY,EAAE,MAAM;YACpB,aAAa,EAAE,OAAO;YACtB,kBAAkB,EAAE,YAAY;YAChC,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,UAAU;YACrC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,UAAU;YAC1C,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAoBC;QAgBD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,uBAAuB;QACvB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,wBAAwB;QACxB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;QACzC,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,eAAe,CAAC,CAAA;YACnE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBAC/B,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YACvC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,gBAAgB,IAAI,eAAe,EAAE,CAAC;YAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAA;YAC/D,IAAI,CAAC,aAAa,EAAE,CAAC;gBACjB,MAAM,IAAI,KAAK,CACX,WAAW,gBAAgB,+BAA+B,CAC7D,CAAA;YACL,CAAC;YACD,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;YAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACrC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,UAAU,EAChB,GAAG,aAAwC,CAAA;YAC5C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBAChB,GAAG,UAAU;gBACb,EAAE,EAAE,WAAW;aACkC,CAAC,CAAA;YACtD,WAAW,CAAC,GAAG,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAA;QAClD,CAAC;QAED,6BAA6B;QAC7B,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,eAAe,CAAC,CAAA;YACnE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBAC/B,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,eAAe,CAAE,CAAA;gBACtD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;gBACtD,IAAI,cAAc,EAAE,CAAC;oBACjB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;wBAClB,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;wBACrB,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;wBACf,QAAQ,EAAE,cAAc;wBACxB,aAAa,EAAE,CAAC;qBACS,CAAC,CAAA;gBAClC,CAAC;YACL,CAAC;QACL,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAS3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;YACzB,aAAa,EAAE,IAAI,CAAC,OAAO;YAC3B,kBAAkB,EAAE,IAAI,CAAC,YAAY;SACxC,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAS3C,IAAI,EACJ,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EAAE,aAAa,EAC1B,QAAQ,EACR,IAAI,CAAC,UAAU,CAClB,CAAA;QAED,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAAC,IAAI,WAAW,EAAE,CAAC;YAC3D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBACtB,QAAQ,EAAE,cAAc;gBACxB,kBAAkB,EAAE,gBAAgB;gBACpC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EACnB,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,CAAE;gBAC3C,GAAG,OAAO,EAAE,gBAAgB;aAChB,CAAC,CAAA;QACrB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,WAAW;YACX,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}

package/dist/lib/index.d.ts

@@ -3,7 +3,7 @@
  * types, schemata, and the diff function.
  */
 export * from "./schemata/index.js";
-export { ArgumentEngine } from "./core/argument-engine.js";
+export { ArgumentEngine, defaultGenerateId } from "./core/argument-engine.js";
 export type { TLogicEngineOptions, TArgumentEngineSnapshot, } from "./core/argument-engine.js";
 export { PremiseEngine } from "./core/premise-engine.js";
 export type { TPremiseEngineSnapshot } from "./core/premise-engine.js";
@@ -13,7 +13,12 @@ export type { TVariableManagerSnapshot } from "./core/variable-manager.js";
 export { ClaimLibrary } from "./core/claim-library.js";
 export { SourceLibrary } from "./core/source-library.js";
 export { ClaimSourceLibrary } from "./core/claim-source-library.js";
-export { ForksLibrary } from "./core/forks-library.js";
+export { ArgumentLibrary } from "./core/argument-library.js";
+export type { TArgumentLibraryLibraries } from "./core/argument-library.js";
+export { ForkNamespace } from "./core/fork-namespace.js";
+export { ForkLibrary } from "./core/fork-library.js";
+export { PropositCore } from "./core/proposit-core.js";
+export type { TPropositCoreOptions } from "./core/proposit-core.js";
 export * from "./types/evaluation.js";
 export * from "./types/diff.js";
 export * from "./types/mutation.js";
@@ -22,7 +27,7 @@ export type { TOrderedOperation } from "./utils/changeset.js";
 export { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, } from "./utils/lookup.js";
 export * from "./types/checksum.js";
 export { computeHash, canonicalSerialize, entityChecksum, } from "./core/checksum.js";
-export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, createForkedFromMatcher, } from "./core/diff.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";
 export * from "./types/relationships.js";
 export { analyzePremiseRelationships, buildPremiseProfile, } from "./core/relationships.js";
 export { DEFAULT_CHECKSUM_CONFIG, createChecksumConfig, normalizeChecksumConfig, serializeChecksumConfig, } from "./consts.js";

package/dist/lib/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC1D,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC5B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,GAC1B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACnE,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC5B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA"}

package/dist/lib/index.js

@@ -3,12 +3,15 @@
  * types, schemata, and the diff function.
  */
 export * from "./schemata/index.js";
-export { ArgumentEngine } from "./core/argument-engine.js";
+export { ArgumentEngine, defaultGenerateId } from "./core/argument-engine.js";
 export { PremiseEngine } from "./core/premise-engine.js";
 export { ClaimLibrary } from "./core/claim-library.js";
 export { SourceLibrary } from "./core/source-library.js";
 export { ClaimSourceLibrary } from "./core/claim-source-library.js";
-export { ForksLibrary } from "./core/forks-library.js";
+export { ArgumentLibrary } from "./core/argument-library.js";
+export { ForkNamespace } from "./core/fork-namespace.js";
+export { ForkLibrary } from "./core/fork-library.js";
+export { PropositCore } from "./core/proposit-core.js";
 export * from "./types/evaluation.js";
 export * from "./types/diff.js";
 export * from "./types/mutation.js";
@@ -16,7 +19,7 @@ export { mergeChangesets, orderChangeset } from "./utils/changeset.js";
 export { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, } from "./utils/lookup.js";
 export * from "./types/checksum.js";
 export { computeHash, canonicalSerialize, entityChecksum, } from "./core/checksum.js";
-export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, createForkedFromMatcher, } from "./core/diff.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";
 export * from "./types/relationships.js";
 export { analyzePremiseRelationships, buildPremiseProfile, } from "./core/relationships.js";
 export { DEFAULT_CHECKSUM_CONFIG, createChecksumConfig, normalizeChecksumConfig, serializeChecksumConfig, } from "./consts.js";

package/dist/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAK1D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAKxD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC5B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,GAC1B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAOvD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAK7E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAKxD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC5B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAOvD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA"}

package/dist/lib/parsing/argument-parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,WAAW,EACX,UAAU,EACV,2BAA2B,EAC9B,MAAM,sBAAsB,CAAA;AAM7B,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AAEpE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,aAAa,EACb,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,IACxE;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5E,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAC9C,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;AAsLD;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B;IAExE,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAItD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT;IA+RD,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIpE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,yBAAyB,CAC/B,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}
+{"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,WAAW,EACX,UAAU,EACV,2BAA2B,EAC9B,MAAM,sBAAsB,CAAA;AAM7B,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AAGpE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,aAAa,EACb,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,IACxE;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5E,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAC9C,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;AA2LD;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B;IAExE,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAKtD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT;IAkSD,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIpE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,yBAAyB,CAC/B,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}

package/dist/lib/parsing/argument-parser.js

@@ -1,12 +1,12 @@
-import { randomUUID } from "node:crypto";
 import { Value } from "typebox/value";
 import { parseFormula } from "../core/parser/formula.js";
 import { POSITION_INITIAL } from "../utils/position.js";
-import { ArgumentEngine } from "../core/argument-engine.js";
+import { ArgumentEngine, defaultGenerateId } from "../core/argument-engine.js";
 import { ClaimLibrary } from "../core/claim-library.js";
 import { SourceLibrary } from "../core/source-library.js";
 import { ClaimSourceLibrary } from "../core/claim-source-library.js";
 import { ParsedArgumentResponseSchema } from "./schemata.js";
+import { clampMaxLengths } from "./clamp-max-lengths.js";
 // ---------------------------------------------------------------------------
 // Internal helpers — reused from src/cli/import.ts patterns
 // ---------------------------------------------------------------------------
@@ -61,8 +61,8 @@ function collectVariableNames(ast, names) {
 /**
  * Converts a formula AST into expression objects and adds them to a premise.
  */
-function buildExpressions(ast, parentId, position, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression) {
-    const id = randomUUID();
+function buildExpressions(ast, parentId, position, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression, generateId) {
+    const id = generateId();
     switch (ast.type) {
         case "variable": {
             const variable = variablesBySymbol.get(ast.name);
@@ -89,7 +89,7 @@ function buildExpressions(ast, parentId, position, argumentId, argumentVersion,
                 parentId,
                 position,
             });
-            buildExpressions(ast.operand, id, 0, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression);
+            buildExpressions(ast.operand, id, 0, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression, generateId);
             return id;
         }
         case "and":
@@ -105,7 +105,7 @@ function buildExpressions(ast, parentId, position, argumentId, argumentVersion,
                 position,
             });
             for (let i = 0; i < ast.operands.length; i++) {
-                buildExpressions(ast.operands[i], id, i, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression);
+                buildExpressions(ast.operands[i], id, i, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression, generateId);
             }
             return id;
         }
@@ -121,8 +121,8 @@ function buildExpressions(ast, parentId, position, argumentId, argumentVersion,
                 parentId,
                 position,
             });
-            buildExpressions(ast.left, id, 0, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression);
-            buildExpressions(ast.right, id, 1, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression);
+            buildExpressions(ast.left, id, 0, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression, generateId);
+            buildExpressions(ast.right, id, 1, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression, generateId);
             return id;
         }
     }
@@ -145,6 +145,7 @@ export class ArgumentParser {
      * Validate raw LLM output against the response schema.
      */
     validate(raw) {
+        clampMaxLengths(this.responseSchema, raw);
         return Value.Parse(this.responseSchema, raw);
     }
     /**
@@ -159,6 +160,7 @@ export class ArgumentParser {
     build(response, options) {
         const warnings = [];
         const strict = options?.strict ?? true;
+        const genId = options?.generateId ?? defaultGenerateId;
         const arg = response.argument;
         if (!arg) {
             throw new Error("Cannot build: argument is null.");
@@ -208,7 +210,7 @@ export class ArgumentParser {
             parsedFormulas.push({ ast, premise });
         }
         // 2. Create argument
-        const argumentId = randomUUID();
+        const argumentId = genId();
         const argumentVersion = 0;
         const argumentExtras = this.mapArgument(arg);
         const argument = {
@@ -221,7 +223,7 @@ export class ArgumentParser {
         const claimMiniIdToId = new Map();
         for (const parsedClaim of arg.claims) {
             const extras = this.mapClaim(parsedClaim);
-            const claimId = randomUUID();
+            const claimId = genId();
             const claim = claimLibrary.create({
                 ...extras,
                 id: claimId,
@@ -236,7 +238,7 @@ export class ArgumentParser {
         const sourceMiniIdToId = new Map();
         for (const parsedSource of arg.sources) {
             const extras = this.mapSource(parsedSource);
-            const sourceId = randomUUID();
+            const sourceId = genId();
             const source = sourceLibrary.create({
                 ...extras,
                 id: sourceId,
@@ -269,7 +271,7 @@ export class ArgumentParser {
                 const extras = this.mapClaimSourceAssociation(parsedClaim, claimRef.id, sourceRef.id);
                 claimSourceLibrary.add({
                     ...extras,
-                    id: randomUUID(),
+                    id: genId(),
                     claimId: claimRef.id,
                     claimVersion: claimRef.version,
                     sourceId: sourceRef.id,
@@ -283,6 +285,7 @@ export class ArgumentParser {
                 enforceFormulaBetweenOperators: true,
                 autoNormalize: true,
             },
+            generateId: genId,
         });
         // 7. Create variables — resolve claimMiniId to real claim UUID
         const variablesBySymbol = new Map();
@@ -306,7 +309,7 @@ export class ArgumentParser {
             const extras = this.mapVariable(parsedVar);
             const variable = {
                 ...extras,
-                id: randomUUID(),
+                id: genId(),
                 argumentId,
                 argumentVersion,
                 symbol: parsedVar.symbol,
@@ -348,7 +351,7 @@ export class ArgumentParser {
             const extras = this.mapPremise(parsedPremise);
             const { result: pm } = engine.createPremise(extras);
             premiseMiniIdToId.set(parsedPremise.miniId, pm.getId());
-            buildExpressions(ast, null, POSITION_INITIAL, argumentId, argumentVersion, pm.getId(), variablesBySymbol, (expr) => pm.addExpression(expr));
+            buildExpressions(ast, null, POSITION_INITIAL, argumentId, argumentVersion, pm.getId(), variablesBySymbol, (expr) => pm.addExpression(expr), genId);
         }
         // 9. Set conclusion
         const conclusionId = premiseMiniIdToId.get(arg.conclusionPremiseMiniId);