@polintpro/proposit-core 0.7.3 → 0.7.5

package/dist/lib/core/forks-library.js

@@ -0,0 +1,142 @@
+import { randomUUID } from "node:crypto";
+import { Value } from "typebox/value";
+import { CoreForkSchema } from "../schemata/fork.js";
+import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
+import { entityChecksum } from "./checksum.js";
+import { ArgumentEngine } from "./argument-engine.js";
+import { forkArgumentEngine } from "./fork.js";
+import { FORK_SCHEMA_INVALID } from "../types/validation.js";
+import { InvariantViolationError } from "./invariant-violation-error.js";
+export class ForksLibrary {
+    forks;
+    checksumConfig;
+    constructor(options) {
+        this.forks = new Map();
+        this.checksumConfig = options?.checksumConfig;
+    }
+    restoreFromSnapshot(snap) {
+        this.forks = new Map();
+        for (const fork of snap.forks) {
+            this.forks.set(fork.id, fork);
+        }
+    }
+    withValidation(fn) {
+        const snap = this.snapshot();
+        try {
+            const result = fn();
+            const validation = this.validate();
+            if (!validation.ok) {
+                this.restoreFromSnapshot(snap);
+                throw new InvariantViolationError(validation.violations);
+            }
+            return result;
+        }
+        catch (e) {
+            if (!(e instanceof InvariantViolationError)) {
+                this.restoreFromSnapshot(snap);
+            }
+            throw e;
+        }
+    }
+    computeChecksum(fork) {
+        const fields = this.checksumConfig?.forkFields ??
+            DEFAULT_CHECKSUM_CONFIG.forkFields;
+        return entityChecksum(fork, fields);
+    }
+    create(fork) {
+        return this.withValidation(() => {
+            if (this.forks.has(fork.id)) {
+                throw new Error(`Fork record with ID "${fork.id}" already exists.`);
+            }
+            const full = { ...fork, checksum: "" };
+            full.checksum = this.computeChecksum(full);
+            this.forks.set(full.id, full);
+            return full;
+        });
+    }
+    get(id) {
+        return this.forks.get(id);
+    }
+    getAll() {
+        return Array.from(this.forks.values());
+    }
+    remove(id) {
+        return this.withValidation(() => {
+            const fork = this.forks.get(id);
+            if (!fork) {
+                throw new Error(`Fork record "${id}" not found.`);
+            }
+            this.forks.delete(id);
+            return fork;
+        });
+    }
+    snapshot() {
+        return { forks: this.getAll() };
+    }
+    validate() {
+        const violations = [];
+        for (const [id, fork] of this.forks) {
+            if (!Value.Check(CoreForkSchema, fork)) {
+                violations.push({
+                    code: FORK_SCHEMA_INVALID,
+                    message: `Fork record "${id}" does not conform to schema`,
+                    entityType: "fork",
+                    entityId: id,
+                });
+            }
+        }
+        return { ok: violations.length === 0, violations };
+    }
+    /**
+     * Creates an independent copy of an argument engine under a new argument ID,
+     * with a fork record tracking the operation.
+     *
+     * Calls `engine.canFork()` as a guard. Delegates engine forking to
+     * `forkArgumentEngine()`, creates the fork record, and sets `forkId` on
+     * all entities in the forked engine.
+     *
+     * @param engine - The source engine to fork.
+     * @param newArgumentId - The ID for the forked argument.
+     * @param libraries - Claim, source, and claim-source libraries for the fork.
+     * @param options - Fork options plus optional `forkId` and `creatorId`.
+     * @returns The forked engine, remap table, and fork record.
+     * @throws If `engine.canFork()` returns false.
+     */
+    forkArgument(engine, newArgumentId, libraries, options) {
+        // 1. Guard
+        if (!engine.canFork()) {
+            throw new Error("Forking is not allowed for this engine.");
+        }
+        // 2. Snapshot source argument metadata for the fork record
+        const sourceArg = engine.getArgument();
+        // 3. Fork the engine
+        const { engine: forkedEngine, remapTable } = forkArgumentEngine(engine, newArgumentId, libraries, options);
+        // 4. Create fork record
+        const forkId = options?.forkId ?? randomUUID();
+        const fork = this.create({
+            id: forkId,
+            sourceArgumentId: sourceArg.id,
+            sourceArgumentVersion: sourceArg.version,
+            createdOn: new Date().toISOString(),
+            ...(options?.creatorId ? { creatorId: options.creatorId } : {}),
+        });
+        // 5. Set forkId on all entities via snapshot → inject → reconstruct
+        const snap = forkedEngine.snapshot();
+        snap.argument = { ...snap.argument, forkId };
+        for (const ps of snap.premises) {
+            ps.premise = { ...ps.premise, forkId };
+            ps.expressions.expressions = ps.expressions.expressions.map((expr) => ({ ...expr, forkId }));
+        }
+        snap.variables.variables = snap.variables.variables.map((v) => ({ ...v, forkId }));
+        const finalEngine = ArgumentEngine.fromSnapshot(snap, libraries.claimLibrary, libraries.sourceLibrary, libraries.claimSourceLibrary, snap.config?.grammarConfig, "ignore");
+        return { engine: finalEngine, remapTable, fork };
+    }
+    static fromSnapshot(snapshot, options) {
+        const lib = new ForksLibrary(options);
+        for (const fork of snapshot.forks) {
+            lib.forks.set(fork.id, fork);
+        }
+        return lib;
+    }
+}
+//# sourceMappingURL=forks-library.js.map

package/dist/lib/core/forks-library.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"forks-library.js","sourceRoot":"","sources":["../../../src/lib/core/forks-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAcpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAY9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE,MAAM,OAAO,YAAY;IAGb,KAAK,CAAoB;IACzB,cAAc,CAAsB;IAE5C,YAAY,OAAkD;QAC1D,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;QACtB,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CAAC,IAAkC;QAC1D,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;QACtB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACjC,CAAC;IACL,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;YAClC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEO,eAAe,CAAC,IAAW;QAC/B,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,UAAU;YAC/B,uBAAuB,CAAC,UAAW,CAAA;QACvC,OAAO,cAAc,CACjB,IAA0C,EAC1C,MAAM,CACT,CAAA;IACL,CAAC;IAEM,MAAM,CACT,IAAqD;QAErD,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACX,wBAAwB,IAAI,CAAC,EAAE,mBAAmB,CACrD,CAAA;YACL,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAW,CAAA;YAC/C,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAC7B,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC7B,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IAC1C,CAAC;IAEM,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACR,MAAM,IAAI,KAAK,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAA;YACrD,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACrB,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACnC,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,EAAE,CAAC;gBACrC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,gBAAgB,EAAE,8BAA8B;oBACzD,UAAU,EAAE,MAAM;oBAClB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACH,YAAY,CAWR,MAQC,EACD,aAAqB,EACrB,SAIC,EACD,OAGC;QAcD,WAAW;QACX,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QAC9D,CAAC;QAED,2DAA2D;QAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QAEtC,qBAAqB;QACrB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAC3D,MAAM,EACN,aAAa,EACb,SAAS,EACT,OAAO,CACV,CAAA;QAED,wBAAwB;QACxB,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,CAAA;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,EAAE,EAAE,MAAM;YACV,gBAAgB,EAAE,SAAS,CAAC,EAAE;YAC9B,qBAAqB,EAAE,SAAS,CAAC,OAAO;YACxC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvC,CAAC,CAAA;QAE7B,oEAAoE;QACpE,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,EAA0B,CAAA;QACpE,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,EAAE,CAAC,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAAuB,CAAA;YAC3D,EAAE,CAAC,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CACvD,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAgB,CACjD,CAAA;QACL,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAa,CACxC,CAAA;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAS3C,IAAI,EACJ,SAAS,CAAC,YAAY,EACtB,SAAS,CAAC,aAAa,EACvB,SAAS,CAAC,kBAAkB,EAC5B,IAAI,CAAC,MAAM,EAAE,aAAa,EAC1B,QAAQ,CACX,CAAA;QAED,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IACpD,CAAC;IAEM,MAAM,CAAC,YAAY,CACtB,QAAsC,EACtC,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,YAAY,CAAQ,OAAO,CAAC,CAAA;QAC5C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAChC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QAChC,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;CACJ"}

package/dist/lib/core/interfaces/index.d.ts

@@ -1,5 +1,5 @@
 export type { TDisplayable, THierarchicalChecksummable, } from "./shared.interfaces.js";
 export type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity, } from "./argument-engine.interfaces.js";
 export type { TExpressionMutations, TExpressionQueries, TVariableReferences, TPremiseClassification, TPremiseEvaluation, TPremiseLifecycle, TPremiseIdentity, } from "./premise-engine.interfaces.js";
-export type { TClaimLookup, TClaimLibraryManagement, TSourceLookup, TSourceLibraryManagement, TClaimLibrarySnapshot, TSourceLibrarySnapshot, TClaimSourceLookup, TClaimSourceLibraryManagement, TClaimSourceLibrarySnapshot, } from "./library.interfaces.js";
+export type { TClaimLookup, TClaimLibraryManagement, TSourceLookup, TSourceLibraryManagement, TClaimLibrarySnapshot, TSourceLibrarySnapshot, TClaimSourceLookup, TClaimSourceLibraryManagement, TClaimSourceLibrarySnapshot, TForkLookup, TForksLibrarySnapshot, } from "./library.interfaces.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACR,YAAY,EACZ,0BAA0B,GAC7B,MAAM,wBAAwB,CAAA;AAE/B,YAAY,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GACpB,MAAM,iCAAiC,CAAA;AAExC,YAAY,EACR,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,gCAAgC,CAAA;AAEvC,YAAY,EACR,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,kBAAkB,EAClB,6BAA6B,EAC7B,2BAA2B,GAC9B,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACR,YAAY,EACZ,0BAA0B,GAC7B,MAAM,wBAAwB,CAAA;AAE/B,YAAY,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GACpB,MAAM,iCAAiC,CAAA;AAExC,YAAY,EACR,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,gCAAgC,CAAA;AAEvC,YAAY,EACR,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,kBAAkB,EAClB,6BAA6B,EAC7B,2BAA2B,EAC3B,WAAW,EACX,qBAAqB,GACxB,MAAM,yBAAyB,CAAA"}

package/dist/lib/core/interfaces/library.interfaces.d.ts

@@ -1,5 +1,6 @@
 import type { TCoreClaim } from "../../schemata/claim.js";
 import type { TCoreClaimSourceAssociation, TCoreSource } from "../../schemata/source.js";
+import type { TCoreFork } from "../../schemata/fork.js";
 import type { TInvariantValidationResult } from "../../types/validation.js";
 /**
  * Narrow read-only interface for claim lookups. Used by `ArgumentEngine` for
@@ -281,4 +282,32 @@ export type TClaimSourceLibrarySnapshot<TAssoc extends TCoreClaimSourceAssociati
     /** All claim-source association entities in the library. */
     claimSourceAssociations: TAssoc[];
 };
+/**
+ * Narrow read-only interface for fork record lookups. Implemented by
+ * `ForksLibrary`. Use this interface for consumers that only need to
+ * query fork records without mutation access.
+ */
+export interface TForkLookup<TFork extends TCoreFork = TCoreFork> {
+    /**
+     * Returns a fork record by ID, or `undefined` if not found.
+     *
+     * @param id - The fork record ID.
+     * @returns The fork entity, or `undefined`.
+     */
+    get(id: string): TFork | undefined;
+    /**
+     * Returns all fork records in the library.
+     *
+     * @returns An array of all fork entities.
+     */
+    getAll(): TFork[];
+}
+/**
+ * Serializable snapshot of a `ForksLibrary`. Contains all fork record
+ * entities.
+ */
+export type TForksLibrarySnapshot<TFork extends TCoreFork = TCoreFork> = {
+    /** All fork record entities in the library. */
+    forks: TFork[];
+};
 //# sourceMappingURL=library.interfaces.d.ts.map

package/dist/lib/core/interfaces/library.interfaces.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EACR,2BAA2B,EAC3B,WAAW,EACd,MAAM,0BAA0B,CAAA;AACjC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAE3E;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU;IAChE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CACvD;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW;IACpE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;CACxD;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,MAAM,CAAA;IAEtE;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM,CAAA;IAET;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAEvD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAE1C;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEjC;;;;OAIG;IACH,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEzC;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,wBAAwB,CACrC,OAAO,SAAS,WAAW,GAAG,WAAW,CAC3C,SAAQ,aAAa,CAAC,OAAO,CAAC;IAC5B;;;;;;;OAOG;IACH,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,OAAO,CAAA;IAEzE;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CACZ,IAAI,CAAC,OAAO,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAC1D,GACF,OAAO,CAAA;IAEV;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;IAEzD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;IAE3C;;;;OAIG;IACH,MAAM,IAAI,OAAO,EAAE,CAAA;IAEnB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,EAAE,CAAA;IAElC;;;;OAIG;IACH,QAAQ,IAAI,sBAAsB,CAAC,OAAO,CAAC,CAAA;IAE3C;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB,CAC/B,MAAM,SAAS,2BAA2B,GAAG,2BAA2B;IAExE;;;;;OAKG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEtC;;;;;OAKG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAExC;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CACtC;AAED;;;;GAIG;AACH,MAAM,WAAW,6BAA6B,CAC1C,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAC1E,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IAChC;;;;;;;;OAQG;IACH,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM,CAAA;IAE5C;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;IAE1B;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,GAAG,MAAM,EAAE,CAAA;IAEnD;;;;OAIG;IACH,QAAQ,IAAI,2BAA2B,CAAC,MAAM,CAAC,CAAA;IAE/C;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IAAI;IACxE,yCAAyC;IACzC,MAAM,EAAE,MAAM,EAAE,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW,IACxE;IACI,0CAA0C;IAC1C,OAAO,EAAE,OAAO,EAAE,CAAA;CACrB,CAAA;AAEL;;;GAGG;AACH,MAAM,MAAM,2BAA2B,CACnC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,IACxE;IACA,4DAA4D;IAC5D,uBAAuB,EAAE,MAAM,EAAE,CAAA;CACpC,CAAA"}
+{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EACR,2BAA2B,EAC3B,WAAW,EACd,MAAM,0BAA0B,CAAA;AACjC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAE3E;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU;IAChE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CACvD;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW;IACpE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;CACxD;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,MAAM,CAAA;IAEtE;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM,CAAA;IAET;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAEvD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAE1C;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEjC;;;;OAIG;IACH,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEzC;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,wBAAwB,CACrC,OAAO,SAAS,WAAW,GAAG,WAAW,CAC3C,SAAQ,aAAa,CAAC,OAAO,CAAC;IAC5B;;;;;;;OAOG;IACH,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,OAAO,CAAA;IAEzE;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CACZ,IAAI,CAAC,OAAO,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAC1D,GACF,OAAO,CAAA;IAEV;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;IAEzD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;IAE3C;;;;OAIG;IACH,MAAM,IAAI,OAAO,EAAE,CAAA;IAEnB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,EAAE,CAAA;IAElC;;;;OAIG;IACH,QAAQ,IAAI,sBAAsB,CAAC,OAAO,CAAC,CAAA;IAE3C;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB,CAC/B,MAAM,SAAS,2BAA2B,GAAG,2BAA2B;IAExE;;;;;OAKG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEtC;;;;;OAKG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAExC;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CACtC;AAED;;;;GAIG;AACH,MAAM,WAAW,6BAA6B,CAC1C,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAC1E,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IAChC;;;;;;;;OAQG;IACH,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM,CAAA;IAE5C;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;IAE1B;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,GAAG,MAAM,EAAE,CAAA;IAEnD;;;;OAIG;IACH,QAAQ,IAAI,2BAA2B,CAAC,MAAM,CAAC,CAAA;IAE/C;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IAAI;IACxE,yCAAyC;IACzC,MAAM,EAAE,MAAM,EAAE,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW,IACxE;IACI,0CAA0C;IAC1C,OAAO,EAAE,OAAO,EAAE,CAAA;CACrB,CAAA;AAEL;;;GAGG;AACH,MAAM,MAAM,2BAA2B,CACnC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,IACxE;IACA,4DAA4D;IAC5D,uBAAuB,EAAE,MAAM,EAAE,CAAA;CACpC,CAAA;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW,CAAC,KAAK,SAAS,SAAS,GAAG,SAAS;IAC5D;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;IAElC;;;;OAIG;IACH,MAAM,IAAI,KAAK,EAAE,CAAA;CACpB;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,KAAK,SAAS,SAAS,GAAG,SAAS,IAAI;IACrE,+CAA+C;IAC/C,KAAK,EAAE,KAAK,EAAE,CAAA;CACjB,CAAA"}

package/dist/lib/index.d.ts

@@ -13,9 +13,13 @@ 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 * from "./types/evaluation.js";
 export * from "./types/diff.js";
 export * from "./types/mutation.js";
+export { mergeChangesets, orderChangeset } from "./utils/changeset.js";
+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";
@@ -30,6 +34,7 @@ export type { TCorePositionConfig } from "./utils/position.js";
 export * from "./types/reactive.js";
 export * from "./types/grammar.js";
 export * from "./types/fork.js";
+export { forkArgumentEngine } from "./core/fork.js";
 export * from "./parsing/index.js";
 export * from "./types/validation.js";
 export { InvariantViolationError } from "./core/invariant-violation-error.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,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,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,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,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"}

package/dist/lib/index.js

@@ -8,9 +8,12 @@ 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 * from "./types/evaluation.js";
 export * from "./types/diff.js";
 export * from "./types/mutation.js";
+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";
@@ -22,6 +25,7 @@ export { POSITION_MIN, POSITION_MAX, POSITION_INITIAL, DEFAULT_POSITION_CONFIG,
 export * from "./types/reactive.js";
 export * from "./types/grammar.js";
 export * from "./types/fork.js";
+export { forkArgumentEngine } from "./core/fork.js";
 export * from "./parsing/index.js";
 export * from "./types/validation.js";
 export { InvariantViolationError } from "./core/invariant-violation-error.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,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,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,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,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"}

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

@@ -7,6 +7,7 @@ export declare const CoreArgumentSchema: Type.TObject<{
     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;;;;;;;;EAgC9B,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;;;;;;;;;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"}

package/dist/lib/schemata/argument.js

@@ -18,6 +18,9 @@ export const CoreArgumentSchema = Type.Object({
     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;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;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"}

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

@@ -0,0 +1,17 @@
+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.
+ */
+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;
+}>;
+/** A fork record entity. */
+export type TCoreFork = Static<typeof CoreForkSchema>;
+//# sourceMappingURL=fork.d.ts.map

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

@@ -0,0 +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"}

package/dist/lib/schemata/fork.js

@@ -0,0 +1,27 @@
+import Type, {} from "typebox";
+import { UUID } from "./shared.js";
+/**
+ * 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.
+ */
+export const CoreForkSchema = Type.Object({
+    id: UUID,
+    sourceArgumentId: UUID,
+    sourceArgumentVersion: Type.Number({
+        description: "The version of the source argument at the time of the fork.",
+    }),
+    createdOn: Type.String({
+        description: "ISO 8601 timestamp of when the fork was created.",
+    }),
+    creatorId: Type.Optional(Type.String({
+        description: "Optional application-provided ID of the creator.",
+    })),
+    checksum: Type.String({
+        description: "Fork record checksum for sync detection.",
+    }),
+}, {
+    additionalProperties: true,
+    description: "A fork record. Extended via generics for additional fields.",
+});
+//# sourceMappingURL=fork.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fork.js","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CACrC;IACI,EAAE,EAAE,IAAI;IACR,gBAAgB,EAAE,IAAI;IACtB,qBAAqB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC/B,WAAW,EACP,6DAA6D;KACpE,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACnB,WAAW,EAAE,kDAAkD;KAClE,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,QAAQ,CACpB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EAAE,kDAAkD;KAClE,CAAC,CACL;IACD,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,6DAA6D;CACpE,CACJ,CAAA"}

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

@@ -1,6 +1,7 @@
 export * from "./analysis.js";
 export * from "./argument.js";
 export * from "./claim.js";
+export * from "./fork.js";
 export * from "./propositional.js";
 export * from "./shared.js";
 export * from "./source.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}

package/dist/lib/schemata/index.js

@@ -1,6 +1,7 @@
 export * from "./analysis.js";
 export * from "./argument.js";
 export * from "./claim.js";
+export * from "./fork.js";
 export * from "./propositional.js";
 export * from "./shared.js";
 export * from "./source.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}

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

@@ -15,6 +15,7 @@ export declare const CorePropositionalVariableExpressionSchema: Type.TObject<{
     forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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]>>;
     type: Type.TLiteral<"variable">;
     variableId: Type.TString;
 }>;
@@ -35,6 +36,7 @@ export declare const CoreOperatorExpressionSchema: Type.TObject<{
     forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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]>>;
     type: Type.TLiteral<"operator">;
     operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>;
@@ -53,6 +55,7 @@ export declare const CoreFormulaExpressionSchema: Type.TObject<{
     forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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]>>;
     type: Type.TLiteral<"formula">;
 }>;
 export type TCoreFormulaExpression = Static<typeof CoreFormulaExpressionSchema>;
@@ -70,6 +73,7 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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]>>;
     type: Type.TLiteral<"variable">;
     variableId: Type.TString;
 }>, Type.TObject<{
@@ -86,6 +90,7 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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]>>;
     type: Type.TLiteral<"operator">;
     operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>, Type.TObject<{
@@ -102,6 +107,7 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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]>>;
     type: Type.TLiteral<"formula">;
 }>]>;
 export type TCorePropositionalExpressionCombined = Static<typeof CorePropositionalExpressionSchema>;
@@ -119,6 +125,7 @@ export declare const CoreClaimBoundVariableSchema: Type.TObject<{
     forkedFromVariableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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 TClaimBoundVariable = Static<typeof CoreClaimBoundVariableSchema>;
 export declare const CorePremiseBoundVariableSchema: Type.TObject<{
@@ -133,6 +140,7 @@ export declare const CorePremiseBoundVariableSchema: Type.TObject<{
     forkedFromVariableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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 TPremiseBoundVariable = Static<typeof CorePremiseBoundVariableSchema>;
 export declare const CorePropositionalVariableSchema: Type.TUnion<[Type.TObject<{
@@ -146,6 +154,7 @@ export declare const CorePropositionalVariableSchema: Type.TUnion<[Type.TObject<
     forkedFromVariableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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]>>;
 }>, Type.TObject<{
     boundPremiseId: Type.TString;
     boundArgumentId: Type.TString;
@@ -158,6 +167,7 @@ export declare const CorePropositionalVariableSchema: Type.TUnion<[Type.TObject<
     forkedFromVariableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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 TCorePropositionalVariable = Static<typeof CorePropositionalVariableSchema>;
 /** Type guard: returns `true` if the variable is claim-bound. */
@@ -176,6 +186,7 @@ export declare const CorePremiseSchema: Type.TObject<{
     forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     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 TCorePremise = Static<typeof CorePremiseSchema>;
 //# sourceMappingURL=propositional.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,gCAAgC,+FAI3C,CAAA;AACF,MAAM,MAAM,iCAAiC,GAAG,MAAM,CAClD,OAAO,gCAAgC,CAC1C,CAAA;AAuDD,eAAO,MAAM,yCAAyC;;;;;;;;;;;;;;;;EAMrD,CAAA;AAED,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,uBAAuB,gIAMlC,CAAA;AAEF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;EAMxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;EAKvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAI5C,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,iCAAiC,CAC3C,CAAA;AAED,MAAM,MAAM,4BAA4B,CACpC,CAAC,SAAS,iCAAiC,GACvC,iCAAiC,IACrC,OAAO,CAAC,oCAAoC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAgC9D,eAAO,MAAM,4BAA4B;;;;;;;;;;;EAaxC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAA;AAE7E,eAAO,MAAM,8BAA8B;;;;;;;;;;;;EAe1C,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CACtC,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;IAG1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,iEAAiE;AACjE,wBAAgB,YAAY,CACxB,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,mBAAmB,CAE1B;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAC1B,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,qBAAqB,CAE5B;AAED,iGAAiG;AACjG,wBAAgB,iBAAiB,CAC7B,CAAC,EAAE,qBAAqB,EACxB,UAAU,EAAE,MAAM,GACnB,OAAO,CAET;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;EAwC7B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
+{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,gCAAgC,+FAI3C,CAAA;AACF,MAAM,MAAM,iCAAiC,GAAG,MAAM,CAClD,OAAO,gCAAgC,CAC1C,CAAA;AA6DD,eAAO,MAAM,yCAAyC;;;;;;;;;;;;;;;;;EAMrD,CAAA;AAED,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,uBAAuB,gIAMlC,CAAA;AAEF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;EAMxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;EAKvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAI5C,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,iCAAiC,CAC3C,CAAA;AAED,MAAM,MAAM,4BAA4B,CACpC,CAAC,SAAS,iCAAiC,GACvC,iCAAiC,IACrC,OAAO,CAAC,oCAAoC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAsC9D,eAAO,MAAM,4BAA4B;;;;;;;;;;;;EAaxC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAA;AAE7E,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;EAe1C,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CACtC,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;IAG1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,iEAAiE;AACjE,wBAAgB,YAAY,CACxB,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,mBAAmB,CAE1B;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAC1B,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,qBAAqB,CAE5B;AAED,iGAAiG;AACjG,wBAAgB,iBAAiB,CAC7B,CAAC,EAAE,qBAAqB,EACxB,UAAU,EAAE,MAAM,GACnB,OAAO,CAET;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;EA8C7B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/lib/schemata/propositional.js

@@ -40,6 +40,9 @@ const BasePropositionalExpressionSchema = Type.Object({
     forkedFromArgumentVersion: Type.Optional(Nullable(Type.Number(), {
         description: "The argument version of the expression this was forked from, or null if not a fork.",
     })),
+    forkId: Type.Optional(Nullable(UUID, {
+        description: "References the fork record this expression belongs to, or null if not from a fork.",
+    })),
 });
 export const CorePropositionalVariableExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
     type: VariableType,
@@ -83,6 +86,9 @@ const CoreVariableBaseFields = {
     forkedFromArgumentVersion: Type.Optional(Nullable(Type.Number(), {
         description: "The argument version of the variable this was forked from, or null if not a fork.",
     })),
+    forkId: Type.Optional(Nullable(UUID, {
+        description: "References the fork record this variable belongs to, or null if not from a fork.",
+    })),
 };
 export const CoreClaimBoundVariableSchema = Type.Object({
     ...CoreVariableBaseFields,
@@ -143,6 +149,9 @@ export const CorePremiseSchema = Type.Object({
     forkedFromArgumentVersion: Type.Optional(Nullable(Type.Number(), {
         description: "The argument version of the premise this was forked from, or null if not a fork.",
     })),
+    forkId: Type.Optional(Nullable(UUID, {
+        description: "References the fork record this premise belongs to, or null if not from a fork.",
+    })),
 }, {
     additionalProperties: true,
     description: "A premise entity with identity and metadata. Expressions and variables are managed by PremiseEngine.",

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

@@ -1 +1 @@
-{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,KAAK,CAAC;IACvD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EACP,0IAA0I;KACjJ,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IAEF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;IACF,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CACjC,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,uEAAuE;KAC9E,CAAC,CACL;IACD,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAC9B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,+EAA+E;KACtF,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,gFAAgF;KACvF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,qFAAqF;KAC5F,CAAC,CACL;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,SAAS,CACnE,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;CACnB,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,SAAS,CACtD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,uBAAuB;CACpC,CACJ,CAAA;AAKD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,SAAS,CACrD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,KAAK,CAAC;IACxD,yCAAyC;IACzC,4BAA4B;IAC5B,2BAA2B;CAC9B,CAAC,CAAA;AAWF,MAAM,sBAAsB,GAAG;IAC3B,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EAAE,0DAA0D;KAC1E,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IACF,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,qEAAqE;KAC5E,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,8EAA8E;KACrF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,mFAAmF;KAC1F,CAAC,CACL;CACJ,CAAA;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,GAAG,sBAAsB;IACzB,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,WAAW,EAAE,oDAAoD;KACpE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kEAAkE;CACzE,CACJ,CAAA;AAID,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,GAAG,sBAAsB;IACzB,cAAc,EAAE,IAAI;IACpB,eAAe,EAAE,IAAI;IACrB,oBAAoB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC9B,WAAW,EACP,0DAA0D;KACjE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,wGAAwG;CAC/G,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,KAAK,CAAC;IACtD,4BAA4B;IAC5B,8BAA8B;CACjC,CAAC,CAAA;AAMF,iEAAiE;AACjE,MAAM,UAAU,YAAY,CACxB,CAA6B;IAE7B,OAAO,SAAS,IAAI,CAAC,CAAA;AACzB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAC1B,CAA6B;IAE7B,OAAO,gBAAgB,IAAI,CAAC,CAAA;AAChC,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAC7B,CAAwB,EACxB,UAAkB;IAElB,OAAO,CAAC,CAAC,eAAe,KAAK,UAAU,CAAA;AAC3C,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,4CAA4C;KAC5D,CAAC;IACF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;IACF,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAC9B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,oEAAoE;KAC3E,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,6EAA6E;KACpF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,kFAAkF;KACzF,CAAC,CACL;CACJ,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,sGAAsG;CAC7G,CACJ,CAAA"}
+{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,KAAK,CAAC;IACvD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EACP,0IAA0I;KACjJ,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IAEF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;IACF,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CACjC,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,uEAAuE;KAC9E,CAAC,CACL;IACD,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAC9B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,+EAA+E;KACtF,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,gFAAgF;KACvF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,qFAAqF;KAC5F,CAAC,CACL;IACD,MAAM,EAAE,IAAI,CAAC,QAAQ,CACjB,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,oFAAoF;KAC3F,CAAC,CACL;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,SAAS,CACnE,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;CACnB,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,SAAS,CACtD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,uBAAuB;CACpC,CACJ,CAAA;AAKD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,SAAS,CACrD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,KAAK,CAAC;IACxD,yCAAyC;IACzC,4BAA4B;IAC5B,2BAA2B;CAC9B,CAAC,CAAA;AAWF,MAAM,sBAAsB,GAAG;IAC3B,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EAAE,0DAA0D;KAC1E,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IACF,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,qEAAqE;KAC5E,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,8EAA8E;KACrF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,mFAAmF;KAC1F,CAAC,CACL;IACD,MAAM,EAAE,IAAI,CAAC,QAAQ,CACjB,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,kFAAkF;KACzF,CAAC,CACL;CACJ,CAAA;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,GAAG,sBAAsB;IACzB,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,WAAW,EAAE,oDAAoD;KACpE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kEAAkE;CACzE,CACJ,CAAA;AAID,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,GAAG,sBAAsB;IACzB,cAAc,EAAE,IAAI;IACpB,eAAe,EAAE,IAAI;IACrB,oBAAoB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC9B,WAAW,EACP,0DAA0D;KACjE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,wGAAwG;CAC/G,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,KAAK,CAAC;IACtD,4BAA4B;IAC5B,8BAA8B;CACjC,CAAC,CAAA;AAMF,iEAAiE;AACjE,MAAM,UAAU,YAAY,CACxB,CAA6B;IAE7B,OAAO,SAAS,IAAI,CAAC,CAAA;AACzB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAC1B,CAA6B;IAE7B,OAAO,gBAAgB,IAAI,CAAC,CAAA;AAChC,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAC7B,CAAwB,EACxB,UAAkB;IAElB,OAAO,CAAC,CAAC,eAAe,KAAK,UAAU,CAAA;AAC3C,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,4CAA4C;KAC5D,CAAC;IACF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;IACF,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAC9B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,oEAAoE;KAC3E,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,6EAA6E;KACpF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,kFAAkF;KACzF,CAAC,CACL;IACD,MAAM,EAAE,IAAI,CAAC,QAAQ,CACjB,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,iFAAiF;KACxF,CAAC,CACL;CACJ,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,sGAAsG;CAC7G,CACJ,CAAA"}

package/dist/lib/types/checksum.d.ts

@@ -16,5 +16,7 @@ export interface TCoreChecksumConfig {
     sourceFields?: Set<string>;
     /** Fields to hash for claim-source associations. */
     claimSourceAssociationFields?: Set<string>;
+    /** Fields to hash for fork records. Defaults to ["id", "sourceArgumentId", "sourceArgumentVersion", "createdOn"]. */
+    forkFields?: Set<string>;
 }
 //# sourceMappingURL=checksum.d.ts.map

package/dist/lib/types/checksum.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,sFAAsF;IACtF,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,6EAA6E;IAC7E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,gGAAgG;IAChG,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,2EAA2E;IAC3E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,wEAAwE;IACxE,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACzB,yEAAyE;IACzE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,oDAAoD;IACpD,4BAA4B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAC7C"}
+{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,sFAAsF;IACtF,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,6EAA6E;IAC7E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,gGAAgG;IAChG,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,2EAA2E;IAC3E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,wEAAwE;IACxE,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACzB,yEAAyE;IACzE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,oDAAoD;IACpD,4BAA4B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1C,qHAAqH;IACrH,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAC3B"}

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

@@ -1,5 +1,3 @@
-import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
-import type { ArgumentEngine } from "../core/argument-engine.js";
 import type { TCoreChecksumConfig } from "./checksum.js";
 import type { TCorePositionConfig } from "../utils/position.js";
 import type { TGrammarConfig } from "./grammar.js";
@@ -24,9 +22,4 @@ export interface TForkRemapTable {
     expressions: Map<string, string>;
     variables: Map<string, string>;
 }
-/** Result of `forkArgument`. */
-export interface TForkArgumentResult<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> {
-    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar>;
-    remapTable: TForkRemapTable;
-}
 //# sourceMappingURL=fork.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/types/fork.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAElD,kCAAkC;AAClC,MAAM,WAAW,oBAAoB;IACjC,sEAAsE;IACtE,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;IACzB,uEAAuE;IACvE,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,uEAAuE;IACvE,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,sEAAsE;IACtE,aAAa,CAAC,EAAE,cAAc,CAAA;CACjC;AAED,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC5B,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAA;IACxC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACjC;AAED,gCAAgC;AAChC,MAAM,WAAW,mBAAmB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACnD,UAAU,EAAE,eAAe,CAAA;CAC9B"}
+{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/types/fork.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAElD,kCAAkC;AAClC,MAAM,WAAW,oBAAoB;IACjC,sEAAsE;IACtE,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;IACzB,uEAAuE;IACvE,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,uEAAuE;IACvE,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,sEAAsE;IACtE,aAAa,CAAC,EAAE,cAAc,CAAA;CACjC;AAED,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC5B,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAA;IACxC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACjC"}

package/dist/lib/types/validation.d.ts

@@ -1,4 +1,4 @@
-export type TInvariantViolationEntityType = "expression" | "variable" | "premise" | "argument" | "claim" | "source" | "association";
+export type TInvariantViolationEntityType = "expression" | "variable" | "premise" | "argument" | "claim" | "source" | "association" | "fork";
 export type TInvariantViolation = {
     code: string;
     message: string;
@@ -43,4 +43,5 @@ export declare const ASSOC_SCHEMA_INVALID = "ASSOC_SCHEMA_INVALID";
 export declare const ASSOC_DUPLICATE_ID = "ASSOC_DUPLICATE_ID";
 export declare const ASSOC_CLAIM_REF_NOT_FOUND = "ASSOC_CLAIM_REF_NOT_FOUND";
 export declare const ASSOC_SOURCE_REF_NOT_FOUND = "ASSOC_SOURCE_REF_NOT_FOUND";
+export declare const FORK_SCHEMA_INVALID = "FORK_SCHEMA_INVALID";
 //# sourceMappingURL=validation.d.ts.map