@polintpro/proposit-core 0.7.5 → 0.8.0

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

@@ -0,0 +1,357 @@
+import { randomUUID } from "node:crypto";
+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 } 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;
+    constructor(options) {
+        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,
+                });
+    }
+    /**
+     * 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,
+        });
+        const core = new PropositCore({
+            claimLibrary: claims,
+            sourceLibrary: sources,
+            claimSourceLibrary: claimSources,
+            forkLibrary: forks,
+            argumentLibrary: restoredArguments,
+        });
+        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.
+     * @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 forkId = options?.forkId ?? randomUUID();
+        // 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 = randomUUID();
+            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 = randomUUID();
+            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: randomUUID(),
+                        claimId: clonedClaimId,
+                        claimVersion: 0,
+                        sourceId: clonedSourceId,
+                        sourceVersion: 0,
+                    });
+                }
+            }
+        }
+        // Step 6: Fork engine
+        const { engine: forkedEngine, remapTable } = forkArgumentEngine(engine, newArgumentId, {
+            claimLibrary: this.claims,
+            sourceLibrary: this.sources,
+            claimSourceLibrary: this.claimSources,
+        }, options);
+        // 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");
+        // Step 8: Register engine
+        this.arguments.register(finalEngine);
+        // Step 9: Create fork records
+        // Argument fork record
+        const argumentFork = this.forks.arguments.create({
+            entityId: newArgumentId,
+            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":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AA8BxC,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,MAAM,sBAAsB,CAAA;AACrD,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;IAED,YACI,OAcC;QAED,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;iBACxC,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;SACvC,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,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,aAAqB,EACrB,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,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,CAAA;QAE9C,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,UAAU,EAAE,CAAA;YAC/B,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,UAAU,EAAE,CAAA;YAChC,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,UAAU,EAAE;wBAChB,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,aAAa,EACb;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;YACzB,aAAa,EAAE,IAAI,CAAC,OAAO;YAC3B,kBAAkB,EAAE,IAAI,CAAC,YAAY;SACxC,EACD,OAAO,CACV,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,CACX,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,aAAa;YACvB,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

@@ -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,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,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

@@ -8,7 +8,10 @@ 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,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,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/schemata/argument.d.ts

@@ -5,9 +5,6 @@ export declare const CoreArgumentSchema: Type.TObject<{
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
 }>;
 export type TCoreArgument = Static<typeof CoreArgumentSchema>;
 export declare const CoreArgumentRoleStateSchema: Type.TObject<{

package/dist/lib/schemata/argument.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"argument.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,kBAAkB;;;;;;;;;EAsC9B,CAAA;AACD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,2BAA2B;;EAQvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}
+{"version":3,"file":"argument.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,kBAAkB;;;;;;EAoB9B,CAAA;AACD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,2BAA2B;;EAQvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}

package/dist/lib/schemata/argument.js

@@ -12,15 +12,6 @@ export const CoreArgumentSchema = Type.Object({
     combinedChecksum: Type.String({
         description: "Hash of checksum + descendantChecksum. Equals checksum when descendantChecksum is null.",
     }),
-    forkedFromArgumentId: Type.Optional(Nullable(UUID, {
-        description: "The ID of the argument this was forked from, or null if not a fork.",
-    })),
-    forkedFromArgumentVersion: Type.Optional(Nullable(Type.Number(), {
-        description: "The version of the argument this was forked from, or null if not a fork.",
-    })),
-    forkId: Type.Optional(Nullable(UUID, {
-        description: "References the fork record this entity belongs to, or null if not from a fork.",
-    })),
 }, {
     additionalProperties: true,
     description: "Core argument identity: ID and version number.",

package/dist/lib/schemata/argument.js.map

@@ -1 +1 @@
-{"version":3,"file":"argument.js","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CACzC;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,6CAA6C;KAC7D,CAAC;IACF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,gGAAgG;KACvG,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;IACF,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,qEAAqE;KAC5E,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,0EAA0E;KACjF,CAAC,CACL;IACD,MAAM,EAAE,IAAI,CAAC,QAAQ,CACjB,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,gFAAgF;KACvF,CAAC,CACL;CACJ,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EAAE,gDAAgD;CAChE,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAClD;IACI,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;CAC3C,EACD;IACI,WAAW,EACP,sGAAsG;CAC7G,CACJ,CAAA"}
+{"version":3,"file":"argument.js","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CACzC;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,6CAA6C;KAC7D,CAAC;IACF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,gGAAgG;KACvG,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EAAE,gDAAgD;CAChE,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAClD;IACI,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;CAC3C,EACD;IACI,WAAW,EACP,sGAAsG;CAC7G,CACJ,CAAA"}

package/dist/lib/schemata/fork.d.ts

@@ -1,17 +1,76 @@
 import Type, { type Static } from "typebox";
 /**
- * Schema for a fork record. Represents a single fork operation — the event of
- * creating an independent copy of an argument. Create-or-delete only; fork
- * records are immutable after creation.
+ * Base schema shared by all entity fork records. Each record tracks that
+ * a specific entity was created as part of a fork operation.
+ *
+ * No checksum field — fork records are immutable after creation.
  */
-export declare const CoreForkSchema: Type.TObject<{
-    id: Type.TString;
-    sourceArgumentId: Type.TString;
-    sourceArgumentVersion: Type.TNumber;
-    createdOn: Type.TString;
-    creatorId: Type.TOptional<Type.TString>;
-    checksum: Type.TString;
+export declare const CoreEntityForkRecordSchema: Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
 }>;
-/** A fork record entity. */
-export type TCoreFork = Static<typeof CoreForkSchema>;
+export type TCoreEntityForkRecord = Static<typeof CoreEntityForkRecordSchema>;
+/** Argument fork record. Identical to base. */
+export declare const CoreArgumentForkRecordSchema: Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>;
+export type TCoreArgumentForkRecord = TCoreEntityForkRecord;
+/** Premise fork record. Identical to base. */
+export declare const CorePremiseForkRecordSchema: Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>;
+export type TCorePremiseForkRecord = TCoreEntityForkRecord;
+/** Expression fork record. Adds source premise reference. */
+export declare const CoreExpressionForkRecordSchema: Type.TIntersect<[Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>, Type.TObject<{
+    forkedFromPremiseId: Type.TString;
+}>]>;
+export type TCoreExpressionForkRecord = Static<typeof CoreExpressionForkRecordSchema>;
+/** Variable fork record. Identical to base. */
+export declare const CoreVariableForkRecordSchema: Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>;
+export type TCoreVariableForkRecord = TCoreEntityForkRecord;
+/** Claim fork record. Adds version tracking for independently versioned claims. */
+export declare const CoreClaimForkRecordSchema: Type.TIntersect<[Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>, Type.TObject<{
+    forkedFromEntityVersion: Type.TNumber;
+}>]>;
+export type TCoreClaimForkRecord = Static<typeof CoreClaimForkRecordSchema>;
+/** Source fork record. Adds version tracking for independently versioned sources. */
+export declare const CoreSourceForkRecordSchema: Type.TIntersect<[Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>, Type.TObject<{
+    forkedFromEntityVersion: Type.TNumber;
+}>]>;
+export type TCoreSourceForkRecord = Static<typeof CoreSourceForkRecordSchema>;
 //# sourceMappingURL=fork.d.ts.map

package/dist/lib/schemata/fork.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C;;;;GAIG;AACH,eAAO,MAAM,cAAc;;;;;;;EAyB1B,CAAA;AAED,4BAA4B;AAC5B,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA"}
+{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B;;;;;;EAYtC,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,+CAA+C;AAC/C,eAAO,MAAM,4BAA4B;;;;;;EAA6B,CAAA;AACtE,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,CAAA;AAE3D,8CAA8C;AAC9C,eAAO,MAAM,2BAA2B;;;;;;EAA6B,CAAA;AACrE,MAAM,MAAM,sBAAsB,GAAG,qBAAqB,CAAA;AAE1D,6DAA6D;AAC7D,eAAO,MAAM,8BAA8B;;;;;;;;IAQ1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,4BAA4B;;;;;;EAA6B,CAAA;AACtE,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,CAAA;AAE3D,mFAAmF;AACnF,eAAO,MAAM,yBAAyB;;;;;;;;IAWrC,CAAA;AACD,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,qFAAqF;AACrF,eAAO,MAAM,0BAA0B;;;;;;;;IAWtC,CAAA;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}