@polintpro/proposit-core 0.7.3 → 0.8.0

package/dist/lib/core/fork-library.d.ts

@@ -0,0 +1,17 @@
+import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord, TCoreSourceForkRecord } from "../schemata/fork.js";
+import { ForkNamespace } from "./fork-namespace.js";
+import type { TForkLibrarySnapshot } from "./interfaces/library.interfaces.js";
+import type { TInvariantValidationResult } from "../types/validation.js";
+export declare class ForkLibrary<TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> {
+    readonly arguments: ForkNamespace<TArgFork>;
+    readonly premises: ForkNamespace<TPremiseFork>;
+    readonly expressions: ForkNamespace<TExprFork>;
+    readonly variables: ForkNamespace<TVarFork>;
+    readonly claims: ForkNamespace<TClaimFork>;
+    readonly sources: ForkNamespace<TSourceFork>;
+    constructor();
+    snapshot(): TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
+    static fromSnapshot<TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord>(snapshot: TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>): ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
+    validate(): TInvariantValidationResult;
+}
+//# sourceMappingURL=fork-library.d.ts.map

package/dist/lib/core/fork-library.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fork-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/fork-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,qBAAqB,CAAA;AAO5B,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AAC9E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAExE,qBAAa,WAAW,CACpB,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB;IAEjE,SAAgB,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IAClD,SAAgB,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IACrD,SAAgB,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACrD,SAAgB,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IAClD,SAAgB,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACjD,SAAgB,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;;IAiB5C,QAAQ,IAAI,oBAAoB,CACnC,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;WAWa,YAAY,CACtB,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,EAEjE,QAAQ,EAAE,oBAAoB,CAC1B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,GACF,WAAW,CACV,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IAgCM,QAAQ,IAAI,0BAA0B;CAWhD"}

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

@@ -0,0 +1,62 @@
+import { CoreEntityForkRecordSchema, CoreExpressionForkRecordSchema, CoreClaimForkRecordSchema, CoreSourceForkRecordSchema, } from "../schemata/fork.js";
+import { ForkNamespace } from "./fork-namespace.js";
+export class ForkLibrary {
+    arguments;
+    premises;
+    expressions;
+    variables;
+    claims;
+    sources;
+    constructor() {
+        this.arguments = new ForkNamespace(CoreEntityForkRecordSchema);
+        this.premises = new ForkNamespace(CoreEntityForkRecordSchema);
+        this.expressions = new ForkNamespace(CoreExpressionForkRecordSchema);
+        this.variables = new ForkNamespace(CoreEntityForkRecordSchema);
+        this.claims = new ForkNamespace(CoreClaimForkRecordSchema);
+        this.sources = new ForkNamespace(CoreSourceForkRecordSchema);
+    }
+    snapshot() {
+        return {
+            arguments: this.arguments.snapshot(),
+            premises: this.premises.snapshot(),
+            expressions: this.expressions.snapshot(),
+            variables: this.variables.snapshot(),
+            claims: this.claims.snapshot(),
+            sources: this.sources.snapshot(),
+        };
+    }
+    static fromSnapshot(snapshot) {
+        const lib = new ForkLibrary();
+        for (const record of snapshot.arguments) {
+            lib.arguments.create(record);
+        }
+        for (const record of snapshot.premises) {
+            lib.premises.create(record);
+        }
+        for (const record of snapshot.expressions) {
+            lib.expressions.create(record);
+        }
+        for (const record of snapshot.variables) {
+            lib.variables.create(record);
+        }
+        for (const record of snapshot.claims) {
+            lib.claims.create(record);
+        }
+        for (const record of snapshot.sources) {
+            lib.sources.create(record);
+        }
+        return lib;
+    }
+    validate() {
+        const allViolations = [
+            ...this.arguments.validate().violations,
+            ...this.premises.validate().violations,
+            ...this.expressions.validate().violations,
+            ...this.variables.validate().violations,
+            ...this.claims.validate().violations,
+            ...this.sources.validate().violations,
+        ];
+        return { ok: allViolations.length === 0, violations: allViolations };
+    }
+}
+//# sourceMappingURL=fork-library.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fork-library.js","sourceRoot":"","sources":["../../../src/lib/core/fork-library.ts"],"names":[],"mappings":"AAQA,OAAO,EACH,0BAA0B,EAC1B,8BAA8B,EAC9B,yBAAyB,EACzB,0BAA0B,GAC7B,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAInD,MAAM,OAAO,WAAW;IAQJ,SAAS,CAAyB;IAClC,QAAQ,CAA6B;IACrC,WAAW,CAA0B;IACrC,SAAS,CAAyB;IAClC,MAAM,CAA2B;IACjC,OAAO,CAA4B;IAEnD;QACI,IAAI,CAAC,SAAS,GAAG,IAAI,aAAa,CAAW,0BAA0B,CAAC,CAAA;QACxE,IAAI,CAAC,QAAQ,GAAG,IAAI,aAAa,CAC7B,0BAA0B,CAC7B,CAAA;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,aAAa,CAChC,8BAA8B,CACjC,CAAA;QACD,IAAI,CAAC,SAAS,GAAG,IAAI,aAAa,CAAW,0BAA0B,CAAC,CAAA;QACxE,IAAI,CAAC,MAAM,GAAG,IAAI,aAAa,CAAa,yBAAyB,CAAC,CAAA;QACtE,IAAI,CAAC,OAAO,GAAG,IAAI,aAAa,CAC5B,0BAA0B,CAC7B,CAAA;IACL,CAAC;IAEM,QAAQ;QAQX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE;YAClC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE;YACxC,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;SACnC,CAAA;IACL,CAAC;IAEM,MAAM,CAAC,YAAY,CAQtB,QAOC;QASD,MAAM,GAAG,GAAG,IAAI,WAAW,EAOxB,CAAA;QAEH,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YACtC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAChC,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACrC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAC/B,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACxC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAClC,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YACtC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAChC,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACnC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAC7B,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACpC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAC9B,CAAC;QAED,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,QAAQ;QACX,MAAM,aAAa,GAAG;YAClB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;YACvC,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,UAAU;YACtC,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,UAAU;YACzC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;YACvC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,UAAU;SACxC,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAA;IACxE,CAAC;CACJ"}

package/dist/lib/core/fork-namespace.d.ts

@@ -0,0 +1,19 @@
+import type { TSchema } from "typebox";
+import type { TCoreEntityForkRecord } from "../schemata/fork.js";
+import type { TInvariantValidationResult } from "../types/validation.js";
+export declare class ForkNamespace<T extends TCoreEntityForkRecord = TCoreEntityForkRecord> {
+    private records;
+    private schema;
+    constructor(schema?: TSchema);
+    private restoreFromRecords;
+    private withValidation;
+    create(record: T): T;
+    get(entityId: string): T | undefined;
+    getAll(): T[];
+    getByForkId(forkId: string): T[];
+    remove(entityId: string): T;
+    snapshot(): T[];
+    static fromSnapshot<T extends TCoreEntityForkRecord = TCoreEntityForkRecord>(records: T[], schema?: TSchema): ForkNamespace<T>;
+    validate(): TInvariantValidationResult;
+}
+//# sourceMappingURL=fork-namespace.d.ts.map

package/dist/lib/core/fork-namespace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fork-namespace.d.ts","sourceRoot":"","sources":["../../../src/lib/core/fork-namespace.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAEhE,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAI/B,qBAAa,aAAa,CACtB,CAAC,SAAS,qBAAqB,GAAG,qBAAqB;IAEvD,OAAO,CAAC,OAAO,CAAgB;IAC/B,OAAO,CAAC,MAAM,CAAS;gBAEX,MAAM,GAAE,OAAoC;IAKxD,OAAO,CAAC,kBAAkB;IAI1B,OAAO,CAAC,cAAc;IAkBf,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC;IAYpB,GAAG,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;IAIpC,MAAM,IAAI,CAAC,EAAE;IAIb,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE;IAMhC,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC;IAa3B,QAAQ,IAAI,CAAC,EAAE;WAIR,YAAY,CACtB,CAAC,SAAS,qBAAqB,GAAG,qBAAqB,EACzD,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC;IAQ5C,QAAQ,IAAI,0BAA0B;CAchD"}

package/dist/lib/core/fork-namespace.js

@@ -0,0 +1,86 @@
+import { Value } from "typebox/value";
+import { CoreEntityForkRecordSchema } from "../schemata/fork.js";
+import { FORK_RECORD_SCHEMA_INVALID } from "../types/validation.js";
+import { InvariantViolationError } from "./invariant-violation-error.js";
+export class ForkNamespace {
+    records;
+    schema;
+    constructor(schema = CoreEntityForkRecordSchema) {
+        this.records = new Map();
+        this.schema = schema;
+    }
+    restoreFromRecords(records) {
+        this.records = new Map(records);
+    }
+    withValidation(fn) {
+        const snap = new Map(this.records);
+        try {
+            const result = fn();
+            const validation = this.validate();
+            if (!validation.ok) {
+                this.restoreFromRecords(snap);
+                throw new InvariantViolationError(validation.violations);
+            }
+            return result;
+        }
+        catch (e) {
+            if (!(e instanceof InvariantViolationError)) {
+                this.restoreFromRecords(snap);
+            }
+            throw e;
+        }
+    }
+    create(record) {
+        return this.withValidation(() => {
+            if (this.records.has(record.entityId)) {
+                throw new Error(`ForkRecord with entityId "${record.entityId}" already exists.`);
+            }
+            this.records.set(record.entityId, record);
+            return record;
+        });
+    }
+    get(entityId) {
+        return this.records.get(entityId);
+    }
+    getAll() {
+        return Array.from(this.records.values());
+    }
+    getByForkId(forkId) {
+        return Array.from(this.records.values()).filter((r) => r.forkId === forkId);
+    }
+    remove(entityId) {
+        return this.withValidation(() => {
+            const record = this.records.get(entityId);
+            if (!record) {
+                throw new Error(`ForkRecord with entityId "${entityId}" not found.`);
+            }
+            this.records.delete(entityId);
+            return record;
+        });
+    }
+    snapshot() {
+        return Array.from(this.records.values());
+    }
+    static fromSnapshot(records, schema) {
+        const ns = new ForkNamespace(schema ?? CoreEntityForkRecordSchema);
+        for (const record of records) {
+            ns.records.set(record.entityId, record);
+        }
+        return ns;
+    }
+    validate() {
+        const violations = [];
+        for (const [entityId, record] of this.records) {
+            if (!Value.Check(this.schema, record)) {
+                violations.push({
+                    code: FORK_RECORD_SCHEMA_INVALID,
+                    message: `ForkRecord "${entityId}" does not conform to schema`,
+                    entityType: "forkRecord",
+                    entityId,
+                });
+            }
+        }
+        return { ok: violations.length === 0, violations };
+    }
+}
+//# sourceMappingURL=fork-namespace.js.map

package/dist/lib/core/fork-namespace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fork-namespace.js","sourceRoot":"","sources":["../../../src/lib/core/fork-namespace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAGrC,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAA;AAKhE,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AACnE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE,MAAM,OAAO,aAAa;IAGd,OAAO,CAAgB;IACvB,MAAM,CAAS;IAEvB,YAAY,SAAkB,0BAA0B;QACpD,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,EAAE,CAAA;QACxB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACxB,CAAC;IAEO,kBAAkB,CAAC,OAAuB;QAC9C,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;IACnC,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAClC,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,kBAAkB,CAAC,IAAI,CAAC,CAAA;gBAC7B,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,kBAAkB,CAAC,IAAI,CAAC,CAAA;YACjC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,MAAS;QACnB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACX,6BAA6B,MAAM,CAAC,QAAQ,mBAAmB,CAClE,CAAA;YACL,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;YACzC,OAAO,MAAM,CAAA;QACjB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,GAAG,CAAC,QAAgB;QACvB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrC,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC5C,CAAC;IAEM,WAAW,CAAC,MAAc;QAC7B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAC7B,CAAA;IACL,CAAC;IAEM,MAAM,CAAC,QAAgB;QAC1B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACzC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACX,6BAA6B,QAAQ,cAAc,CACtD,CAAA;YACL,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;YAC7B,OAAO,MAAM,CAAA;QACjB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,QAAQ;QACX,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC5C,CAAC;IAEM,MAAM,CAAC,YAAY,CAExB,OAAY,EAAE,MAAgB;QAC5B,MAAM,EAAE,GAAG,IAAI,aAAa,CAAI,MAAM,IAAI,0BAA0B,CAAC,CAAA;QACrE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC3B,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;QAC3C,CAAC;QACD,OAAO,EAAE,CAAA;IACb,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC5C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,eAAe,QAAQ,8BAA8B;oBAC9D,UAAU,EAAE,YAAY;oBACxB,QAAQ;iBACX,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;CACJ"}

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

@@ -0,0 +1,30 @@
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
+import type { TCoreClaim } from "../schemata/claim.js";
+import type { TCoreSource, TCoreClaimSourceAssociation } from "../schemata/source.js";
+import type { TClaimLookup, TSourceLookup, TClaimSourceLookup } from "./interfaces/library.interfaces.js";
+import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
+import { ArgumentEngine } from "./argument-engine.js";
+/**
+ * Creates an independent copy of an argument engine under a new argument ID.
+ *
+ * Every premise, expression, and variable receives a fresh ID. All internal
+ * cross-references are remapped.
+ *
+ * This function does NOT call `engine.canFork()` — callers are responsible
+ * for checking fork eligibility.
+ *
+ * @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 new engine.
+ * @param options - Optional ID generator, checksum/position/grammar config overrides.
+ * @returns The forked engine and a remap table mapping original to new entity IDs.
+ */
+export declare function forkArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>, newArgumentId: string, libraries: {
+    claimLibrary: TClaimLookup<TClaim>;
+    sourceLibrary: TSourceLookup<TSource>;
+    claimSourceLibrary: TClaimSourceLookup<TAssoc>;
+}, options?: TForkArgumentOptions): {
+    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+    remapTable: TForkRemapTable;
+};
+//# sourceMappingURL=fork.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/core/fork.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAE7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EACR,WAAW,EACX,2BAA2B,EAC9B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,kBAAkB,EACrB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAE7E,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAIrD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAC9B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EAExE,MAAM,EAAE,cAAc,CAClB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,EACD,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE;IACP,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;CACjD,EACD,OAAO,CAAC,EAAE,oBAAoB,GAC/B;IACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5E,UAAU,EAAE,eAAe,CAAA;CAC9B,CAwJA"}

package/dist/lib/core/fork.js

@@ -0,0 +1,125 @@
+import { randomUUID } from "node:crypto";
+import { ArgumentEngine } from "./argument-engine.js";
+import { serializeChecksumConfig } from "../consts.js";
+import { isPremiseBound } from "../schemata/propositional.js";
+/**
+ * Creates an independent copy of an argument engine under a new argument ID.
+ *
+ * Every premise, expression, and variable receives a fresh ID. All internal
+ * cross-references are remapped.
+ *
+ * This function does NOT call `engine.canFork()` — callers are responsible
+ * for checking fork eligibility.
+ *
+ * @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 new engine.
+ * @param options - Optional ID generator, checksum/position/grammar config overrides.
+ * @returns The forked engine and a remap table mapping original to new entity IDs.
+ */
+export function forkArgumentEngine(engine, newArgumentId, libraries, options) {
+    const generateId = options?.generateId ?? randomUUID;
+    // Snapshot includes config from the source engine
+    const snap = engine.snapshot();
+    const originalArgumentId = snap.argument.id;
+    // Build remap tables (old ID → new ID)
+    const premiseRemap = new Map();
+    const expressionRemap = new Map();
+    const variableRemap = new Map();
+    for (const ps of snap.premises) {
+        premiseRemap.set(ps.premise.id, generateId());
+        for (const expr of ps.expressions.expressions) {
+            expressionRemap.set(expr.id, generateId());
+        }
+    }
+    for (const v of snap.variables.variables) {
+        variableRemap.set(v.id, generateId());
+    }
+    const remapTable = {
+        argumentId: { from: originalArgumentId, to: newArgumentId },
+        premises: premiseRemap,
+        expressions: expressionRemap,
+        variables: variableRemap,
+    };
+    // Remap argument
+    snap.argument = {
+        ...snap.argument,
+        id: newArgumentId,
+        version: 0,
+    };
+    // Remap premises and expressions
+    for (const ps of snap.premises) {
+        const originalPremiseId = ps.premise.id;
+        const newPremiseId = premiseRemap.get(originalPremiseId);
+        ps.premise = {
+            ...ps.premise,
+            id: newPremiseId,
+            argumentId: newArgumentId,
+            argumentVersion: 0,
+        };
+        if (ps.rootExpressionId) {
+            ps.rootExpressionId = expressionRemap.get(ps.rootExpressionId);
+        }
+        ps.expressions.expressions = ps.expressions.expressions.map((expr) => {
+            const originalExprId = expr.id;
+            const newExprId = expressionRemap.get(originalExprId);
+            const remapped = {
+                ...expr,
+                id: newExprId,
+                argumentId: newArgumentId,
+                argumentVersion: 0,
+                premiseId: newPremiseId,
+                parentId: expr.parentId
+                    ? (expressionRemap.get(expr.parentId) ?? null)
+                    : null,
+            };
+            if (remapped.type === "variable" &&
+                "variableId" in remapped) {
+                const origVarId = remapped.variableId;
+                remapped.variableId =
+                    variableRemap.get(origVarId);
+            }
+            return remapped;
+        });
+    }
+    // Remap variables
+    snap.variables.variables = snap.variables.variables.map((v) => {
+        const originalVarId = v.id;
+        const newVarId = variableRemap.get(originalVarId);
+        const remapped = {
+            ...v,
+            id: newVarId,
+            argumentId: newArgumentId,
+            argumentVersion: 0,
+        };
+        if (isPremiseBound(remapped)) {
+            const premiseBound = remapped;
+            premiseBound.boundPremiseId = premiseRemap.get(premiseBound.boundPremiseId);
+            premiseBound.boundArgumentId = newArgumentId;
+            premiseBound.boundArgumentVersion = 0;
+        }
+        return remapped;
+    });
+    // Remap conclusion
+    if (snap.conclusionPremiseId) {
+        snap.conclusionPremiseId = premiseRemap.get(snap.conclusionPremiseId);
+    }
+    // Override config from options if provided; snapshot already has source config
+    if (options?.checksumConfig) {
+        snap.config = {
+            ...snap.config,
+            checksumConfig: serializeChecksumConfig(options.checksumConfig),
+        };
+    }
+    if (options?.positionConfig) {
+        snap.config = { ...snap.config, positionConfig: options.positionConfig };
+    }
+    if (options?.grammarConfig) {
+        snap.config = { ...snap.config, grammarConfig: options.grammarConfig };
+    }
+    const grammarConfig = options?.grammarConfig ?? snap.config?.grammarConfig;
+    // Construct new engine
+    const forkedEngine = ArgumentEngine.fromSnapshot(snap, libraries.claimLibrary, libraries.sourceLibrary, libraries.claimSourceLibrary, grammarConfig, "ignore");
+    return { engine: forkedEngine, remapTable };
+}
+//# sourceMappingURL=fork.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fork.js","sourceRoot":"","sources":["../../../src/lib/core/fork.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAoBxC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAE7D;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAS9B,MAQC,EACD,aAAqB,EACrB,SAIC,EACD,OAA8B;IAK9B,MAAM,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,UAAU,CAAA;IAEpD,kDAAkD;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;IAE9B,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;IAE3C,uCAAuC;IACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC9C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;IACjD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAA;IAE/C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;QAC7C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;YAC5C,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;QAC9C,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;IACzC,CAAC;IAED,MAAM,UAAU,GAAoB;QAChC,UAAU,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,EAAE,aAAa,EAAE;QAC3D,QAAQ,EAAE,YAAY;QACtB,WAAW,EAAE,eAAe;QAC5B,SAAS,EAAE,aAAa;KAC3B,CAAA;IAED,iBAAiB;IACjB,IAAI,CAAC,QAAQ,GAAG;QACZ,GAAG,IAAI,CAAC,QAAQ;QAChB,EAAE,EAAE,aAAa;QACjB,OAAO,EAAE,CAAC;KACc,CAAA;IAE5B,iCAAiC;IACjC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,iBAAiB,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAA;QACvC,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAE,CAAA;QAEzD,EAAE,CAAC,OAAO,GAAG;YACT,GAAG,EAAE,CAAC,OAAO;YACb,EAAE,EAAE,YAAY;YAChB,UAAU,EAAE,aAAa;YACzB,eAAe,EAAE,CAAC;SACU,CAAA;QAEhC,IAAI,EAAE,CAAC,gBAAgB,EAAE,CAAC;YACtB,EAAE,CAAC,gBAAgB,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,gBAAgB,CAAE,CAAA;QACnE,CAAC;QAED,EAAE,CAAC,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACjE,MAAM,cAAc,GAAG,IAAI,CAAC,EAAE,CAAA;YAC9B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,cAAc,CAAE,CAAA;YAEtD,MAAM,QAAQ,GAAG;gBACb,GAAG,IAAI;gBACP,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,aAAa;gBACzB,eAAe,EAAE,CAAC;gBAClB,SAAS,EAAE,YAAY;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACnB,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;oBAC9C,CAAC,CAAC,IAAI;aACJ,CAAA;YAEV,IACK,QAA6B,CAAC,IAAI,KAAK,UAAU;gBAClD,YAAY,IAAI,QAAQ,EAC1B,CAAC;gBACC,MAAM,SAAS,GACX,QACH,CAAC,UAAU,CACX;gBAAC,QAA8C,CAAC,UAAU;oBACvD,aAAa,CAAC,GAAG,CAAC,SAAS,CAAE,CAAA;YACrC,CAAC;YAED,OAAO,QAAQ,CAAA;QACnB,CAAC,CAAC,CAAA;IACN,CAAC;IAED,kBAAkB;IAClB,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1D,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,CAAA;QAC1B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,aAAa,CAAE,CAAA;QAElD,MAAM,QAAQ,GAAG;YACb,GAAG,CAAC;YACJ,EAAE,EAAE,QAAQ;YACZ,UAAU,EAAE,aAAa;YACzB,eAAe,EAAE,CAAC;SACrB,CAAA;QAED,IAAI,cAAc,CAAC,QAAiD,CAAC,EAAE,CAAC;YACpE,MAAM,YAAY,GACd,QAIC,CAAA;YACL,YAAY,CAAC,cAAc,GAAG,YAAY,CAAC,GAAG,CAC1C,YAAY,CAAC,cAAc,CAC7B,CAAA;YACF,YAAY,CAAC,eAAe,GAAG,aAAa,CAAA;YAC5C,YAAY,CAAC,oBAAoB,GAAG,CAAC,CAAA;QACzC,CAAC;QAED,OAAO,QAAgB,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,mBAAmB;IACnB,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC3B,IAAI,CAAC,mBAAmB,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;IACzE,CAAC;IAED,+EAA+E;IAC/E,IAAI,OAAO,EAAE,cAAc,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG;YACV,GAAG,IAAI,CAAC,MAAM;YACd,cAAc,EAAE,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC;SAClE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,EAAE,cAAc,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAA;IAC5E,CAAC;IACD,IAAI,OAAO,EAAE,aAAa,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAA;IAC1E,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAC,MAAM,EAAE,aAAa,CAAA;IAE1E,uBAAuB;IACvB,MAAM,YAAY,GAAG,cAAc,CAAC,YAAY,CAS5C,IAAI,EACJ,SAAS,CAAC,YAAY,EACtB,SAAS,CAAC,aAAa,EACvB,SAAS,CAAC,kBAAkB,EAC5B,aAAa,EACb,QAAQ,CACX,CAAA;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,CAAA;AAC/C,CAAC"}

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, TForkLibrarySnapshot, TArgumentLibrarySnapshot, TPropositCoreSnapshot, TPropositCoreConfig, } 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,oBAAoB,EACpB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA"}

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

@@ -1,6 +1,12 @@
 import type { TCoreClaim } from "../../schemata/claim.js";
 import type { TCoreClaimSourceAssociation, TCoreSource } from "../../schemata/source.js";
+import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord, TCoreSourceForkRecord } from "../../schemata/fork.js";
 import type { TInvariantValidationResult } from "../../types/validation.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../../schemata/index.js";
+import type { TArgumentEngineSnapshot } from "../argument-engine.js";
+import type { TCoreChecksumConfig } from "../../types/checksum.js";
+import type { TCorePositionConfig } from "../../utils/position.js";
+import type { TGrammarConfig } from "../../types/grammar.js";
 /**
  * Narrow read-only interface for claim lookups. Used by `ArgumentEngine` for
  * variable validation — callers that only need to verify claim existence
@@ -281,4 +287,59 @@ export type TClaimSourceLibrarySnapshot<TAssoc extends TCoreClaimSourceAssociati
     /** All claim-source association entities in the library. */
     claimSourceAssociations: TAssoc[];
 };
+/**
+ * Serializable snapshot of a `ForkLibrary`. Contains arrays of fork records
+ * for each entity type.
+ */
+export type TForkLibrarySnapshot<TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> = {
+    /** All argument fork records. */
+    arguments: TArgFork[];
+    /** All premise fork records. */
+    premises: TPremiseFork[];
+    /** All expression fork records. */
+    expressions: TExprFork[];
+    /** All variable fork records. */
+    variables: TVarFork[];
+    /** All claim fork records. */
+    claims: TClaimFork[];
+    /** All source fork records. */
+    sources: TSourceFork[];
+};
+/**
+ * Serializable snapshot of an `ArgumentLibrary`. Contains snapshots of all
+ * managed `ArgumentEngine` instances.
+ */
+export type TArgumentLibrarySnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> = {
+    /** Snapshots of all argument engines in the library. */
+    arguments: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>[];
+};
+/**
+ * Serializable snapshot of a `PropositCore` instance. Contains snapshots of
+ * all managed libraries: arguments, claims, sources, claim-source associations,
+ * and fork records.
+ */
+export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> = {
+    /** Snapshot of all argument engines. */
+    arguments: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
+    /** Snapshot of the claim library. */
+    claims: TClaimLibrarySnapshot<TClaim>;
+    /** Snapshot of the source library. */
+    sources: TSourceLibrarySnapshot<TSource>;
+    /** Snapshot of the claim-source association library. */
+    claimSources: TClaimSourceLibrarySnapshot<TAssoc>;
+    /** Snapshot of the fork library. */
+    forks: TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
+};
+/**
+ * Shared configuration options for `PropositCore`. These config values are
+ * threaded to all internally constructed libraries and engines.
+ */
+export type TPropositCoreConfig = {
+    /** Checksum config shared across all libraries and engines. */
+    checksumConfig?: TCoreChecksumConfig;
+    /** Position config for argument engines. */
+    positionConfig?: TCorePositionConfig;
+    /** Grammar config for argument engines. */
+    grammarConfig?: TGrammarConfig;
+};
 //# 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,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE5D;;;;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;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAC5B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,IACjE;IACA,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,gCAAgC;IAChC,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,mCAAmC;IACnC,WAAW,EAAE,SAAS,EAAE,CAAA;IACxB,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,8BAA8B;IAC9B,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,+BAA+B;IAC/B,OAAO,EAAE,WAAW,EAAE,CAAA;CACzB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,wDAAwD;IACxD,SAAS,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;CACpE,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EACxE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,IACjE;IACA,wCAAwC;IACxC,SAAS,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE,qCAAqC;IACrC,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAA;IACrC,sCAAsC;IACtC,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAA;IACxC,wDAAwD;IACxD,YAAY,EAAE,2BAA2B,CAAC,MAAM,CAAC,CAAA;IACjD,oCAAoC;IACpC,KAAK,EAAE,oBAAoB,CACvB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,CAAA;CACJ,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,4CAA4C;IAC5C,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,2CAA2C;IAC3C,aAAa,CAAC,EAAE,cAAc,CAAA;CACjC,CAAA"}

package/dist/lib/core/proposit-core.d.ts

@@ -0,0 +1,110 @@
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
+import type { TCoreClaim } from "../schemata/claim.js";
+import type { TCoreClaimSourceAssociation, TCoreSource } from "../schemata/source.js";
+import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord, TCoreSourceForkRecord } from "../schemata/fork.js";
+import type { TPropositCoreSnapshot, TPropositCoreConfig } from "./interfaces/library.interfaces.js";
+import type { TInvariantValidationResult } from "../types/validation.js";
+import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
+import type { TCoreArgumentDiff, TCoreDiffOptions } from "../types/diff.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";
+/**
+ * Options for constructing a `PropositCore` instance. Accepts optional
+ * pre-constructed library instances and/or shared configuration. When a
+ * library instance is provided, it is used directly; otherwise a new one
+ * is constructed using the shared config.
+ */
+export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> = TPropositCoreConfig & {
+    /** Pre-constructed claim library instance. */
+    claimLibrary?: ClaimLibrary<TClaim>;
+    /** Pre-constructed source library instance. */
+    sourceLibrary?: SourceLibrary<TSource>;
+    /** Pre-constructed claim-source association library instance. */
+    claimSourceLibrary?: ClaimSourceLibrary<TAssoc>;
+    /** Pre-constructed fork library instance. */
+    forkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
+    /** Pre-constructed argument library instance. */
+    argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+};
+/**
+ * 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 declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> {
+    readonly claims: ClaimLibrary<TClaim>;
+    readonly sources: SourceLibrary<TSource>;
+    readonly claimSources: ClaimSourceLibrary<TAssoc>;
+    readonly forks: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
+    readonly arguments: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+    constructor(options?: TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>);
+    /**
+     * Returns a serializable snapshot of the entire PropositCore state,
+     * including all libraries.
+     */
+    snapshot(): TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
+    /**
+     * 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<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
+    /**
+     * Runs invariant validation across all managed libraries and merges
+     * the results.
+     *
+     * @returns A combined validation result.
+     */
+    validate(): TInvariantValidationResult;
+    /**
+     * 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: string, newArgumentId: string, options?: TForkArgumentOptions & {
+        forkId?: string;
+        argumentForkExtras?: Partial<Omit<TArgFork, keyof TCoreArgumentForkRecord>>;
+        premiseForkExtras?: Partial<Omit<TPremiseFork, keyof TCorePremiseForkRecord>>;
+        expressionForkExtras?: Partial<Omit<TExprFork, keyof TCoreExpressionForkRecord>>;
+        variableForkExtras?: Partial<Omit<TVarFork, keyof TCoreVariableForkRecord>>;
+        claimForkExtras?: Partial<Omit<TClaimFork, keyof TCoreClaimForkRecord>>;
+        sourceForkExtras?: Partial<Omit<TSourceFork, keyof TCoreSourceForkRecord>>;
+    }): {
+        engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+        remapTable: TForkRemapTable;
+        claimRemap: Map<string, string>;
+        sourceRemap: Map<string, string>;
+        argumentFork: TArgFork;
+    };
+    /**
+     * 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: string, argumentIdB: string, options?: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>): TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>;
+}
+//# sourceMappingURL=proposit-core.d.ts.map

package/dist/lib/core/proposit-core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EACR,2BAA2B,EAC3B,WAAW,EACd,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,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;AAI/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EACxE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,IACjE,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,+CAA+C;IAC/C,aAAa,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACtC,iEAAiE;IACjE,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAC/C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAC7B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;CACJ,CAAA;AAED;;;;;;;GAOG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EACxE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB;IAEjE,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IAC/C,SAAgB,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACxD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;gBAGG,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IAwDL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IAUD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAC/B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,EAEjE,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd;IA2ED;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;QACD,gBAAgB,CAAC,EAAE,OAAO,CACtB,IAAI,CAAC,WAAW,EAAE,MAAM,qBAAqB,CAAC,CACjD,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAClB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;QACD,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAChC,YAAY,EAAE,QAAQ,CAAA;KACzB;IA4PD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}