@polintpro/proposit-core 0.7.5 → 0.8.0

package/README.md

@@ -160,6 +160,43 @@ flowchart TD
     style note3 fill:none,stroke:none
 ```
 
+### PropositCore
+
+`PropositCore` is the recommended top-level entry point. It creates and wires together all five libraries and provides unified cross-library operations:
+
+```typescript
+import { PropositCore } from "@polintpro/proposit-core"
+
+const core = new PropositCore()
+
+// Create a claim in the global claim library
+const claim = core.claims.create({ id: "claim-1", text: "All men are mortal" })
+
+// Create an argument engine — libraries are wired automatically
+const engine = core.arguments.create({
+    id: "arg-1",
+    version: 0,
+    title: "Socrates is mortal",
+    description: "",
+})
+
+// Fork the argument — clones claims/sources, records provenance
+const { engine: forked, remapTable } = core.forkArgument("arg-1", "arg-2")
+
+// Diff with automatic fork-aware entity matching
+const diff = core.diffArguments("arg-1", "arg-2")
+
+// Snapshot the entire system state
+const snapshot = core.snapshot()
+const restored = PropositCore.fromSnapshot(snapshot)
+```
+
+`PropositCore` is designed for subclassing. All library fields (`claims`, `sources`, `claimSources`, `forks`, `arguments`) are public and readable. Pass pre-constructed library instances via `TPropositCoreOptions` to inject custom implementations.
+
+### No application metadata
+
+The core library does not deal in user IDs, timestamps, or display text. These are application-level concerns. The CLI adds some metadata (e.g., `createdAt`, `publishedAt`) for its own purposes, but the core schemas are intentionally minimal. Applications extend core entity types via generic parameters.
+
 ### Sources
 
 A **source** is an evidentiary reference (paper, article, URL). Source entities live in a global `SourceLibrary` with versioning and freeze semantics (same as `ClaimLibrary`).
@@ -176,18 +213,19 @@ The auto-created variable gets a symbol from an optional `symbol` parameter, or
 
 ### Argument forking
 
-An argument can be **forked** via `ForksLibrary.forkArgument()` to create an independent copy — useful for responding to, critiquing, or expanding on another author's argument. Forking:
+An argument can be **forked** via `PropositCore.forkArgument()` to create an independent copy — useful for responding to, critiquing, or expanding on another author's argument. Forking:
 
 - Creates a new argument with a new ID (version 0)
 - Assigns new UUIDs to all premises, expressions, and variables
-- Stamps `forkedFrom` provenance metadata on every entity, pointing back to the originals
-- Records a `TCoreFork` record in the `ForksLibrary` and stamps `forkId` on all forked entities
-- Remaps all internal references (expression parent chains, variable bindings, conclusion role)
-- Returns the new engine, a remap table mapping original IDs to new IDs, and the fork record
+- Clones all referenced claims and sources (including their claim-source associations)
+- Creates fork records in all six `ForkLibrary` namespaces (arguments, premises, expressions, variables, claims, sources)
+- Remaps all internal references (expression parent chains, variable bindings, conclusion role, claim references)
+- Registers the new engine in `ArgumentLibrary`
+- Returns the new engine, a remap table, claim/source remap maps, and the argument fork record
 
-The forked argument is fully independent — mutations don't affect the source. The `createForkedFromMatcher()` helper enables fork-aware diffing via `diffArguments()`, pairing entities by their provenance metadata rather than by ID.
+The forked argument is fully independent — mutations don't affect the source. Fork-aware diffing is automatic via `PropositCore.diffArguments()`, which uses `ForkLibrary` records as entity matchers rather than ID-based pairing.
 
-Subclasses can override the public `canFork()` method to restrict which arguments may be forked (e.g., only published versions). For low-level forking without fork record management, use the standalone `forkArgumentEngine()` function.
+Subclasses can override the public `canFork()` method to restrict which arguments may be forked (e.g., only published versions). For low-level forking without orchestration, use the standalone `forkArgumentEngine()` function.
 
 ### Cross-argument variable binding
 
@@ -555,33 +593,32 @@ console.log(premise1.toDisplayString()) // (P → Q)
 
 ```typescript
 // Fork John's argument to create Rich's response
-import { ForksLibrary } from "@polintpro/proposit-core"
-
-const forksLib = new ForksLibrary()
-const {
-    engine: richArg,
-    remapTable,
-    fork,
-} = forksLib.forkArgument(johnEngine, "rich-arg-id", {
-    claimLibrary,
-    sourceLibrary,
-    claimSourceLibrary,
+import { PropositCore } from "@polintpro/proposit-core"
+
+const core = new PropositCore()
+
+// Create John's argument (engine registered in core.arguments)
+const johnEngine = core.arguments.create({
+    id: "john-arg-id",
+    version: 1,
+    title: "John's argument",
+    description: "",
 })
+// ... populate with premises, variables, expressions ...
+
+// Fork — clones claims/sources, creates fork records, registers new engine
+const { engine: richArg, remapTable } = core.forkArgument(
+    "john-arg-id",
+    "rich-arg-id"
+)
 
 // Rich now has a mutable copy — modify, add, or remove premises
 const forkedPremiseId = remapTable.premises.get(originalPremiseId)!
 richArg.removePremise(forkedPremiseId) // reject a premise
 richArg.createPremise(undefined, "RichNewPremise") // add a new one
 
-// See what Rich changed relative to John's original
-import {
-    diffArguments,
-    createForkedFromMatcher,
-} from "@polintpro/proposit-core"
-
-const diff = diffArguments(johnEngine, richArg, {
-    ...createForkedFromMatcher(),
-})
+// See what Rich changed relative to John's original (fork-aware matching is automatic)
+const diff = core.diffArguments("john-arg-id", "rich-arg-id")
 // diff.premises.removed — premises Rich rejected
 // diff.premises.added — premises Rich introduced
 // diff.premises.modified — premises Rich altered

package/dist/extensions/basics/schemata.d.ts

@@ -5,9 +5,6 @@ export declare const BasicsArgumentSchema: Type.TIntersect<[Type.TObject<{
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
 }>, Type.TObject<{
     title: Type.TString;
     description: Type.TOptional<Type.TString>;
@@ -30,10 +27,6 @@ export declare const BasicsPremiseSchema: Type.TIntersect<[Type.TObject<{
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    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.TObject<{
     title: Type.TString;
 }>]>;

package/dist/extensions/basics/schemata.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,oBAAoB;;;;;;;;;;;;IAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,iBAAiB;;;;;;;;IAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;IAK9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AA4B/D,eAAO,MAAM,mBAAmB,cAI9B,CAAA"}
+{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,oBAAoB;;;;;;;;;IAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,iBAAiB;;;;;;;;IAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;IAK9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AA4B/D,eAAO,MAAM,mBAAmB,cAI9B,CAAA"}

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

@@ -1 +1 @@
-{"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,CAgEjE,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,mBAAmB,GAAG,SAAS,GACxC,mBAAmB,GAAG,SAAS,CAyBjC;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,mBAAmB,GAAG,SAAS,GACxC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,SAAS,CAoBtC;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAmBrB"}
+{"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,CAmCjE,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,mBAAmB,GAAG,SAAS,GACxC,mBAAmB,GAAG,SAAS,CAwBjC;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,mBAAmB,GAAG,SAAS,GACxC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,SAAS,CAmBtC;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAkBrB"}

package/dist/lib/consts.js

@@ -9,11 +9,6 @@ export const DEFAULT_CHECKSUM_CONFIG = {
         "premiseId",
         "variableId",
         "operator",
-        "forkedFromExpressionId",
-        "forkedFromPremiseId",
-        "forkedFromArgumentId",
-        "forkedFromArgumentVersion",
-        "forkId",
     ]),
     variableFields: new Set([
         "id",
@@ -25,27 +20,9 @@ export const DEFAULT_CHECKSUM_CONFIG = {
         "boundPremiseId",
         "boundArgumentId",
         "boundArgumentVersion",
-        "forkedFromVariableId",
-        "forkedFromArgumentId",
-        "forkedFromArgumentVersion",
-        "forkId",
-    ]),
-    premiseFields: new Set([
-        "id",
-        "argumentId",
-        "argumentVersion",
-        "forkedFromPremiseId",
-        "forkedFromArgumentId",
-        "forkedFromArgumentVersion",
-        "forkId",
-    ]),
-    argumentFields: new Set([
-        "id",
-        "version",
-        "forkedFromArgumentId",
-        "forkedFromArgumentVersion",
-        "forkId",
     ]),
+    premiseFields: new Set(["id", "argumentId", "argumentVersion"]),
+    argumentFields: new Set(["id", "version"]),
     roleFields: new Set(["conclusionPremiseId"]),
     claimFields: new Set(["id", "version"]),
     sourceFields: new Set(["id", "version"]),
@@ -56,12 +33,6 @@ export const DEFAULT_CHECKSUM_CONFIG = {
         "sourceId",
         "sourceVersion",
     ]),
-    forkFields: new Set([
-        "id",
-        "sourceArgumentId",
-        "sourceArgumentVersion",
-        "createdOn",
-    ]),
 };
 /**
  * Ensures all fields of a `TCoreChecksumConfig` are `Set<string>` instances.
@@ -81,7 +52,6 @@ export function normalizeChecksumConfig(config) {
         "claimFields",
         "sourceFields",
         "claimSourceAssociationFields",
-        "forkFields",
     ];
     const result = {};
     for (const key of keys) {
@@ -114,7 +84,6 @@ export function serializeChecksumConfig(config) {
         "claimFields",
         "sourceFields",
         "claimSourceAssociationFields",
-        "forkFields",
     ];
     const result = {};
     for (const key of keys) {
@@ -139,7 +108,6 @@ export function createChecksumConfig(additional) {
         "claimFields",
         "sourceFields",
         "claimSourceAssociationFields",
-        "forkFields",
     ];
     const result = {};
     for (const key of keys) {

package/dist/lib/consts.js.map

@@ -1 +1 @@
-{"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,IAAI;QACJ,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;QACV,wBAAwB;QACxB,qBAAqB;QACrB,sBAAsB;QACtB,2BAA2B;QAC3B,QAAQ;KACX,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,IAAI;QACJ,QAAQ;QACR,YAAY;QACZ,iBAAiB;QACjB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;QACtB,sBAAsB;QACtB,sBAAsB;QACtB,2BAA2B;QAC3B,QAAQ;KACX,CAAC;IACF,aAAa,EAAE,IAAI,GAAG,CAAC;QACnB,IAAI;QACJ,YAAY;QACZ,iBAAiB;QACjB,qBAAqB;QACrB,sBAAsB;QACtB,2BAA2B;QAC3B,QAAQ;KACX,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,IAAI;QACJ,SAAS;QACT,sBAAsB;QACtB,2BAA2B;QAC3B,QAAQ;KACX,CAAC;IACF,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC5C,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvC,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACxC,4BAA4B,EAAE,IAAI,GAAG,CAAC;QAClC,IAAI;QACJ,SAAS;QACT,cAAc;QACd,UAAU;QACV,eAAe;KAClB,CAAC;IACF,UAAU,EAAE,IAAI,GAAG,CAAC;QAChB,IAAI;QACJ,kBAAkB;QAClB,uBAAuB;QACvB,WAAW;KACd,CAAC;CACL,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACnC,MAAuC;IAEvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC1C,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,8BAA8B;QAC9B,YAAY;KACN,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,CAAC,GAAG,CAAC;YACP,KAAK,YAAY,GAAG;gBAChB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;oBACpB,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC;oBAChB,CAAC,CAAC,IAAI,GAAG,EAAE,CAAA;IACzB,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACnC,MAAuC;IAEvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC1C,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,8BAA8B;QAC9B,YAAY;KACN,CAAA;IACV,MAAM,MAAM,GAA6B,EAAE,CAAA;IAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACnC,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA+B;IAE/B,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,8BAA8B;QAC9B,YAAY;KACN,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,CAAA;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
+{"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,IAAI;QACJ,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,IAAI;QACJ,QAAQ;QACR,YAAY;QACZ,iBAAiB;QACjB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KACzB,CAAC;IACF,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC/D,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC5C,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvC,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACxC,4BAA4B,EAAE,IAAI,GAAG,CAAC;QAClC,IAAI;QACJ,SAAS;QACT,cAAc;QACd,UAAU;QACV,eAAe;KAClB,CAAC;CACL,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACnC,MAAuC;IAEvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC1C,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,8BAA8B;KACxB,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,CAAC,GAAG,CAAC;YACP,KAAK,YAAY,GAAG;gBAChB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;oBACpB,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC;oBAChB,CAAC,CAAC,IAAI,GAAG,EAAE,CAAA;IACzB,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACnC,MAAuC;IAEvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC1C,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,8BAA8B;KACxB,CAAA;IACV,MAAM,MAAM,GAA6B,EAAE,CAAA;IAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACnC,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA+B;IAE/B,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,8BAA8B;KACxB,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,CAAA;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}

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

@@ -0,0 +1,84 @@
+import type { TCoreArgument, TCoreClaim, TCoreClaimSourceAssociation, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreSource, TOptionalChecksum } from "../schemata/index.js";
+import { ArgumentEngine, type TLogicEngineOptions } from "./argument-engine.js";
+import { ClaimLibrary } from "./claim-library.js";
+import { ClaimSourceLibrary } from "./claim-source-library.js";
+import { SourceLibrary } from "./source-library.js";
+import type { TArgumentLibrarySnapshot } from "./interfaces/library.interfaces.js";
+import type { TInvariantValidationResult } from "../types/validation.js";
+export type TArgumentLibraryLibraries<TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> = {
+    claimLibrary: ClaimLibrary<TClaim>;
+    sourceLibrary: SourceLibrary<TSource>;
+    claimSourceLibrary: ClaimSourceLibrary<TAssoc>;
+};
+/**
+ * Engine registry with lifecycle management. Stores `ArgumentEngine` instances
+ * keyed by argument ID.
+ */
+export declare class ArgumentLibrary<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> {
+    private engines;
+    private libraries;
+    private options?;
+    constructor(libraries: TArgumentLibraryLibraries<TSource, TClaim, TAssoc>, options?: TLogicEngineOptions);
+    /**
+     * Constructs a new `ArgumentEngine` for the given argument and stores it.
+     *
+     * @param argument - The argument entity to create an engine for. Checksum
+     *   fields are optional and will be computed lazily by the engine.
+     * @returns The newly created engine.
+     * @throws If an engine with the same argument ID already exists.
+     */
+    create(argument: TOptionalChecksum<TArg>): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+    /**
+     * Registers a pre-built `ArgumentEngine` in the library by its argument ID.
+     * Used internally when forking creates a new engine that needs to be tracked.
+     *
+     * @param engine - The engine to register.
+     * @throws If an engine with the same argument ID already exists.
+     */
+    register(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>): void;
+    /**
+     * Returns the engine for the given argument ID, or `undefined` if not
+     * found.
+     *
+     * @param argumentId - The argument ID to look up.
+     * @returns The engine, or `undefined`.
+     */
+    get(argumentId: string): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc> | undefined;
+    /**
+     * Returns all engines in the library as an array.
+     *
+     * @returns An array of all managed engines.
+     */
+    getAll(): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>[];
+    /**
+     * Removes the engine for the given argument ID and returns it.
+     *
+     * @param argumentId - The argument ID to remove.
+     * @returns The removed engine.
+     * @throws If no engine with the given ID exists.
+     */
+    remove(argumentId: string): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+    /**
+     * Returns a serializable snapshot of all engines in the library.
+     *
+     * @returns The argument library snapshot.
+     */
+    snapshot(): TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
+    /**
+     * Merges invariant validation results from all managed engines.
+     *
+     * @returns A combined validation result.
+     */
+    validate(): TInvariantValidationResult;
+    /**
+     * Restores an `ArgumentLibrary` from a snapshot by calling
+     * `ArgumentEngine.fromSnapshot()` for each engine snapshot.
+     *
+     * @param snapshot - The serialized library snapshot.
+     * @param libraries - The shared library instances (claim, source, claim-source).
+     * @param options - Optional engine construction options.
+     * @returns A fully restored `ArgumentLibrary`.
+     */
+    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>(snapshot: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>, libraries: TArgumentLibraryLibraries<TSource, TClaim, TAssoc>, options?: TLogicEngineOptions): ArgumentLibrary<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
+}
+//# sourceMappingURL=argument-library.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"argument-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,UAAU,EACV,2BAA2B,EAC3B,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,WAAW,EACX,iBAAiB,EACpB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,cAAc,EAAE,KAAK,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAA;AAClF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAExE,MAAM,MAAM,yBAAyB,CACjC,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,IACxE;IACA,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;CACjD,CAAA;AAED;;;GAGG;AACH,qBAAa,eAAe,CACxB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B;IAExE,OAAO,CAAC,OAAO,CAGd;IACD,OAAO,CAAC,SAAS,CAAoD;IACrE,OAAO,CAAC,OAAO,CAAC,CAAqB;gBAGjC,SAAS,EAAE,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAC7D,OAAO,CAAC,EAAE,mBAAmB;IAOjC;;;;;;;OAOG;IACI,MAAM,CACT,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAClC,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;IAyBvE;;;;;;OAMG;IACI,QAAQ,CACX,MAAM,EAAE,cAAc,CAClB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,GACF,IAAI;IAQP;;;;;;OAMG;IACI,GAAG,CACN,UAAU,EAAE,MAAM,GAEhB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GACpE,SAAS;IAIf;;;;OAIG;IACI,MAAM,IAAI,cAAc,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,EAAE;IAIH;;;;;;OAMG;IACI,MAAM,CACT,UAAU,EAAE,MAAM,GACnB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;IAWvE;;;;OAIG;IACI,QAAQ,IAAI,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAQxE;;;;OAIG;IACI,QAAQ,IAAI,0BAA0B;IAS7C;;;;;;;;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,EAE/B,QAAQ,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/D,SAAS,EAAE,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAC7D,OAAO,CAAC,EAAE,mBAAmB,GAC9B,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;CA+B3E"}

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

@@ -0,0 +1,122 @@
+import { ArgumentEngine } from "./argument-engine.js";
+import { ClaimLibrary } from "./claim-library.js";
+import { ClaimSourceLibrary } from "./claim-source-library.js";
+import { SourceLibrary } from "./source-library.js";
+/**
+ * Engine registry with lifecycle management. Stores `ArgumentEngine` instances
+ * keyed by argument ID.
+ */
+export class ArgumentLibrary {
+    engines;
+    libraries;
+    options;
+    constructor(libraries, options) {
+        this.engines = new Map();
+        this.libraries = libraries;
+        this.options = options;
+    }
+    /**
+     * Constructs a new `ArgumentEngine` for the given argument and stores it.
+     *
+     * @param argument - The argument entity to create an engine for. Checksum
+     *   fields are optional and will be computed lazily by the engine.
+     * @returns The newly created engine.
+     * @throws If an engine with the same argument ID already exists.
+     */
+    create(argument) {
+        if (this.engines.has(argument.id)) {
+            throw new Error(`ArgumentLibrary: argument "${argument.id}" already exists.`);
+        }
+        const engine = new ArgumentEngine(argument, this.libraries.claimLibrary, this.libraries.sourceLibrary, this.libraries.claimSourceLibrary, this.options);
+        this.engines.set(argument.id, engine);
+        return engine;
+    }
+    /**
+     * Registers a pre-built `ArgumentEngine` in the library by its argument ID.
+     * Used internally when forking creates a new engine that needs to be tracked.
+     *
+     * @param engine - The engine to register.
+     * @throws If an engine with the same argument ID already exists.
+     */
+    register(engine) {
+        const id = engine.getArgument().id;
+        if (this.engines.has(id)) {
+            throw new Error(`ArgumentLibrary: argument "${id}" already exists.`);
+        }
+        this.engines.set(id, engine);
+    }
+    /**
+     * Returns the engine for the given argument ID, or `undefined` if not
+     * found.
+     *
+     * @param argumentId - The argument ID to look up.
+     * @returns The engine, or `undefined`.
+     */
+    get(argumentId) {
+        return this.engines.get(argumentId);
+    }
+    /**
+     * Returns all engines in the library as an array.
+     *
+     * @returns An array of all managed engines.
+     */
+    getAll() {
+        return Array.from(this.engines.values());
+    }
+    /**
+     * Removes the engine for the given argument ID and returns it.
+     *
+     * @param argumentId - The argument ID to remove.
+     * @returns The removed engine.
+     * @throws If no engine with the given ID exists.
+     */
+    remove(argumentId) {
+        const engine = this.engines.get(argumentId);
+        if (engine === undefined) {
+            throw new Error(`ArgumentLibrary: argument "${argumentId}" not found.`);
+        }
+        this.engines.delete(argumentId);
+        return engine;
+    }
+    /**
+     * Returns a serializable snapshot of all engines in the library.
+     *
+     * @returns The argument library snapshot.
+     */
+    snapshot() {
+        return {
+            arguments: Array.from(this.engines.values()).map((engine) => engine.snapshot()),
+        };
+    }
+    /**
+     * Merges invariant validation results from all managed engines.
+     *
+     * @returns A combined validation result.
+     */
+    validate() {
+        const violations = [];
+        for (const engine of this.engines.values()) {
+            const result = engine.validate();
+            violations.push(...result.violations);
+        }
+        return { ok: violations.length === 0, violations };
+    }
+    /**
+     * Restores an `ArgumentLibrary` from a snapshot by calling
+     * `ArgumentEngine.fromSnapshot()` for each engine snapshot.
+     *
+     * @param snapshot - The serialized library snapshot.
+     * @param libraries - The shared library instances (claim, source, claim-source).
+     * @param options - Optional engine construction options.
+     * @returns A fully restored `ArgumentLibrary`.
+     */
+    static fromSnapshot(snapshot, libraries, options) {
+        const lib = new ArgumentLibrary(libraries, options);
+        for (const engineSnap of snapshot.arguments) {
+            const engine = ArgumentEngine.fromSnapshot(engineSnap, libraries.claimLibrary, libraries.sourceLibrary, libraries.claimSourceLibrary, undefined, "ignore");
+            lib.engines.set(engine.getArgument().id, engine);
+        }
+        return lib;
+    }
+}
+//# sourceMappingURL=argument-library.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"argument-library.js","sourceRoot":"","sources":["../../../src/lib/core/argument-library.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,cAAc,EAA4B,MAAM,sBAAsB,CAAA;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAcnD;;;GAGG;AACH,MAAM,OAAO,eAAe;IAShB,OAAO,CAGd;IACO,SAAS,CAAoD;IAC7D,OAAO,CAAsB;IAErC,YACI,SAA6D,EAC7D,OAA6B;QAE7B,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,EAAE,CAAA;QACxB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IAC1B,CAAC;IAED;;;;;;;OAOG;IACI,MAAM,CACT,QAAiC;QAEjC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACX,8BAA8B,QAAQ,CAAC,EAAE,mBAAmB,CAC/D,CAAA;QACL,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,cAAc,CAS7B,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,YAAY,EAC3B,IAAI,CAAC,SAAS,CAAC,aAAa,EAC5B,IAAI,CAAC,SAAS,CAAC,kBAAkB,EACjC,IAAI,CAAC,OAAO,CACf,CAAA;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACrC,OAAO,MAAM,CAAA;IACjB,CAAC;IAED;;;;;;OAMG;IACI,QAAQ,CACX,MAQC;QAED,MAAM,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAA;QAClC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,8BAA8B,EAAE,mBAAmB,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IAChC,CAAC;IAED;;;;;;OAMG;IACI,GAAG,CACN,UAAkB;QAIlB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACvC,CAAC;IAED;;;;OAIG;IACI,MAAM;QAST,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC5C,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CACT,UAAkB;QAElB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACX,8BAA8B,UAAU,cAAc,CACzD,CAAA;QACL,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAC/B,OAAO,MAAM,CAAA;IACjB,CAAC;IAED;;;;OAIG;IACI,QAAQ;QACX,OAAO;YACH,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACxD,MAAM,CAAC,QAAQ,EAAE,CACpB;SACJ,CAAA;IACL,CAAC;IAED;;;;OAIG;IACI,QAAQ;QACX,MAAM,UAAU,GAAG,EAAE,CAAA;QACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;YAChC,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;QACzC,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAWtB,QAA+D,EAC/D,SAA6D,EAC7D,OAA6B;QAE7B,MAAM,GAAG,GAAG,IAAI,eAAe,CAQ7B,SAAS,EAAE,OAAO,CAAC,CAAA;QACrB,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CAStC,UAAU,EACV,SAAS,CAAC,YAAY,EACtB,SAAS,CAAC,aAAa,EACvB,SAAS,CAAC,kBAAkB,EAC5B,SAAS,EACT,QAAQ,CACX,CAAA;YACD,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACpD,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;CACJ"}

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

@@ -17,14 +17,4 @@ export declare function defaultCompareExpression(before: TCorePropositionalExpre
  * the `defaultCompare*` functions.
  */
 export declare function diffArguments<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable>(engineA: ArgumentEngine<TArg, TPremise, TExpr, TVar>, engineB: ArgumentEngine<TArg, TPremise, TExpr, TVar>, options?: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>): TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>;
-/**
- * Creates entity matchers for fork-aware diffing.
- * Pairs entity A with entity B when B was forked from A
- * (B's forkedFrom*Id matches A's id and argument identity).
- */
-export declare function createForkedFromMatcher<TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable>(): {
-    premiseMatcher: (a: TPremise, b: TPremise) => boolean;
-    variableMatcher: (a: TVar, b: TVar) => boolean;
-    expressionMatcher: (a: TExpr, b: TExpr) => boolean;
-};
 //# sourceMappingURL=diff.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,iBAAiB,EACjB,gBAAgB,EAGhB,gBAAgB,EAKnB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAE1D,kHAAkH;AAClH,wBAAgB,sBAAsB,CAClC,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,aAAa,GACtB,gBAAgB,EAAE,CAEpB;AAED,uGAAuG;AACvG,wBAAgB,sBAAsB,CAClC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACtE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,gBAAgB,EAAE,CA4B/C;AAED,kHAAkH;AAClH,wBAAgB,qBAAqB,CACjC,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,GACrB,gBAAgB,EAAE,CAEpB;AAED,iJAAiJ;AACjJ,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,4BAA4B,EACpC,KAAK,EAAE,4BAA4B,GACpC,gBAAgB,EAAE,CA0CpB;AAkND;;;;;;GAMG;AACH,wBAAgB,aAAa,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACpD,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACpD,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CA0DhD;AAMD;;;;GAIG;AACH,wBAAgB,uBAAuB,CACnC,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,KACnE;IACD,cAAc,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,KAAK,OAAO,CAAA;IACrD,eAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,KAAK,OAAO,CAAA;IAC9C,iBAAiB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,KAAK,OAAO,CAAA;CACrD,CA4BA"}
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,iBAAiB,EACjB,gBAAgB,EAGhB,gBAAgB,EAKnB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAE1D,kHAAkH;AAClH,wBAAgB,sBAAsB,CAClC,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,aAAa,GACtB,gBAAgB,EAAE,CAEpB;AAED,uGAAuG;AACvG,wBAAgB,sBAAsB,CAClC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACtE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,gBAAgB,EAAE,CA4B/C;AAED,kHAAkH;AAClH,wBAAgB,qBAAqB,CACjC,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,GACrB,gBAAgB,EAAE,CAEpB;AAED,iJAAiJ;AACjJ,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,4BAA4B,EACpC,KAAK,EAAE,4BAA4B,GACpC,gBAAgB,EAAE,CA0CpB;AAkND;;;;;;GAMG;AACH,wBAAgB,aAAa,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACpD,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACpD,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CA0DhD"}

package/dist/lib/core/diff.js

@@ -257,35 +257,4 @@ export function diffArguments(engineA, engineB, options) {
         roles: diffRoles(rolesA.conclusionPremiseId, rolesB.conclusionPremiseId),
     };
 }
-// ---------------------------------------------------------------------------
-// Fork-aware matchers
-// ---------------------------------------------------------------------------
-/**
- * Creates entity matchers for fork-aware diffing.
- * Pairs entity A with entity B when B was forked from A
- * (B's forkedFrom*Id matches A's id and argument identity).
- */
-export function createForkedFromMatcher() {
-    return {
-        premiseMatcher: (a, b) => {
-            const bRec = b;
-            return (bRec.forkedFromPremiseId === a.id &&
-                bRec.forkedFromArgumentId === a.argumentId &&
-                bRec.forkedFromArgumentVersion === a.argumentVersion);
-        },
-        variableMatcher: (a, b) => {
-            const bRec = b;
-            return (bRec.forkedFromVariableId === a.id &&
-                bRec.forkedFromArgumentId === a.argumentId &&
-                bRec.forkedFromArgumentVersion === a.argumentVersion);
-        },
-        expressionMatcher: (a, b) => {
-            const bRec = b;
-            return (bRec.forkedFromExpressionId === a.id &&
-                bRec.forkedFromPremiseId === a.premiseId &&
-                bRec.forkedFromArgumentId === a.argumentId &&
-                bRec.forkedFromArgumentVersion === a.argumentVersion);
-        },
-    };
-}
 //# sourceMappingURL=diff.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAmBA,kHAAkH;AAClH,MAAM,UAAU,sBAAsB,CAClC,OAAsB,EACtB,MAAqB;IAErB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,sBAAsB,CAEpC,MAAY,EAAE,KAAW;IACvB,MAAM,OAAO,GAAuB,EAAE,CAAA;IAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,KAAK,CAAC,MAAM;SACtB,CAAC,CAAA;IACN,CAAC;IAED,MAAM,aAAa,GAAG;QAClB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KAChB,CAAA;IAEV,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,IAAI,GAAI,MAAkC,CAAC,KAAK,CAAC,CAAA;QACvD,MAAM,IAAI,GAAI,KAAiC,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACtD,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,qBAAqB,CACjC,OAAqB,EACrB,MAAoB;IAEpB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,iJAAiJ;AACjJ,MAAM,UAAU,wBAAwB,CACpC,MAAoC,EACpC,KAAmC;IAEnC,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,MAAM;YACb,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,KAAK,EAAE,KAAK,CAAC,IAAI;SACpB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,MAAM,CAAC,UAAU;gBACzB,KAAK,EAAE,KAAK,CAAC,UAAU;aAC1B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;aACxB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAS,aAAa,CAClB,WAAgB,EAChB,UAAe,EACf,OAAgC,EAChC,OAAiC;IAEjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QAEpE,MAAM,KAAK,GAAQ,EAAE,CAAA;QACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;QACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;QAE9C,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,UAAU,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACnC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBACxB,SAAQ;YACZ,CAAC;YACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;YAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;YACpE,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACzB,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,+BAA+B;IAC/B,MAAM,KAAK,GAAQ,EAAE,CAAA;IACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;IACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;IAC9C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,CACnC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CACpE,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACxB,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;QAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7B,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,cAAc,CAInB,cAA0B,EAC1B,aAAyB,EACzB,iBAAuC,EACvC,gBAAsC,EACtC,cAA8C,EAC9C,iBAA8C,EAC9C,cAAsD,EACtD,iBAAmD;IAEnD,IAAI,CAAC,cAAc,EAAE,CAAC;QAClB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAChE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAE9D,MAAM,KAAK,GAAe,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;QAExD,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC3B,SAAQ;YACZ,CAAC;YACD,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;YAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC/B,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC9B,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;YACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;YACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACV,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,YAAY;oBACnB,OAAO,EAAE,cAAc;oBACvB,WAAW,EAAE,eAAe;iBAC/B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,4CAA4C;IAC5C,MAAM,KAAK,GAAe,EAAE,CAAA;IAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;IAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;IACxD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CACtC,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,CAChB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAClD,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC3B,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;QAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAC7C,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,EAC3C,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;QACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,aAAa;gBACrB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,cAAc;gBACvB,WAAW,EAAE,eAAe;aAC/B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,SAAS,CACd,gBAAoC,EACpC,eAAmC;IAEnC,OAAO;QACH,UAAU,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE;KACnE,CAAA;AACL,CAAC;AAED,SAAS,gBAAgB,CAKvB,MAAmD;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAW,EAAE,CAAA;IACvB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBACd,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAMzB,OAAoD,EACpD,OAAoD,EACpD,OAAuD;IAEvD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAErC,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,WAAW,GACb,OAAO,EAAE,cAAc;QACtB,qBAAwD,CAAA;IAC7D,MAAM,WAAW,GACb,OAAO,EAAE,iBAAiB;QACzB,wBAAwD,CAAA;IAE7D,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAE9C,OAAO;QACH,QAAQ,EAAE;YACN,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,eAAe;SAC3B;QACD,SAAS,EAAE,aAAa,CACpB,gBAAgB,CAAC,OAAO,CAAC,EACzB,gBAAgB,CAAC,OAAO,CAAC,EACzB,UAAU,EACV,OAAO,EAAE,eAAe,CAC3B;QACD,QAAQ,EAAE,cAAc,CACpB,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EACX,OAAO,EAAE,cAAc,EACvB,OAAO,EAAE,iBAAiB,CAC7B;QACD,KAAK,EAAE,SAAS,CACZ,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,CAC7B;KACJ,CAAA;AACL,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,UAAU,uBAAuB;IASnC,OAAO;QACH,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,IAAI,GAAG,CAA4B,CAAA;YACzC,OAAO,CACH,IAAI,CAAC,mBAAmB,KAAK,CAAC,CAAC,EAAE;gBACjC,IAAI,CAAC,oBAAoB,KAAK,CAAC,CAAC,UAAU;gBAC1C,IAAI,CAAC,yBAAyB,KAAK,CAAC,CAAC,eAAe,CACvD,CAAA;QACL,CAAC;QACD,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,CAA4B,CAAA;YACzC,OAAO,CACH,IAAI,CAAC,oBAAoB,KAAK,CAAC,CAAC,EAAE;gBAClC,IAAI,CAAC,oBAAoB,KAAK,CAAC,CAAC,UAAU;gBAC1C,IAAI,CAAC,yBAAyB,KAAK,CAAC,CAAC,eAAe,CACvD,CAAA;QACL,CAAC;QACD,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACxB,MAAM,IAAI,GAAG,CAA4B,CAAA;YACzC,OAAO,CACH,IAAI,CAAC,sBAAsB,KAAK,CAAC,CAAC,EAAE;gBACpC,IAAI,CAAC,mBAAmB,KAAK,CAAC,CAAC,SAAS;gBACxC,IAAI,CAAC,oBAAoB,KAAK,CAAC,CAAC,UAAU;gBAC1C,IAAI,CAAC,yBAAyB,KAAK,CAAC,CAAC,eAAe,CACvD,CAAA;QACL,CAAC;KACJ,CAAA;AACL,CAAC"}
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAmBA,kHAAkH;AAClH,MAAM,UAAU,sBAAsB,CAClC,OAAsB,EACtB,MAAqB;IAErB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,sBAAsB,CAEpC,MAAY,EAAE,KAAW;IACvB,MAAM,OAAO,GAAuB,EAAE,CAAA;IAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,KAAK,CAAC,MAAM;SACtB,CAAC,CAAA;IACN,CAAC;IAED,MAAM,aAAa,GAAG;QAClB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KAChB,CAAA;IAEV,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,IAAI,GAAI,MAAkC,CAAC,KAAK,CAAC,CAAA;QACvD,MAAM,IAAI,GAAI,KAAiC,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACtD,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,qBAAqB,CACjC,OAAqB,EACrB,MAAoB;IAEpB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,iJAAiJ;AACjJ,MAAM,UAAU,wBAAwB,CACpC,MAAoC,EACpC,KAAmC;IAEnC,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,MAAM;YACb,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,KAAK,EAAE,KAAK,CAAC,IAAI;SACpB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,MAAM,CAAC,UAAU;gBACzB,KAAK,EAAE,KAAK,CAAC,UAAU;aAC1B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;aACxB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAS,aAAa,CAClB,WAAgB,EAChB,UAAe,EACf,OAAgC,EAChC,OAAiC;IAEjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QAEpE,MAAM,KAAK,GAAQ,EAAE,CAAA;QACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;QACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;QAE9C,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,UAAU,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACnC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBACxB,SAAQ;YACZ,CAAC;YACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;YAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;YACpE,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACzB,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,+BAA+B;IAC/B,MAAM,KAAK,GAAQ,EAAE,CAAA;IACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;IACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;IAC9C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,CACnC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CACpE,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACxB,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;QAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7B,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,cAAc,CAInB,cAA0B,EAC1B,aAAyB,EACzB,iBAAuC,EACvC,gBAAsC,EACtC,cAA8C,EAC9C,iBAA8C,EAC9C,cAAsD,EACtD,iBAAmD;IAEnD,IAAI,CAAC,cAAc,EAAE,CAAC;QAClB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAChE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAE9D,MAAM,KAAK,GAAe,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;QAExD,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC3B,SAAQ;YACZ,CAAC;YACD,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;YAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC/B,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC9B,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;YACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;YACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACV,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,YAAY;oBACnB,OAAO,EAAE,cAAc;oBACvB,WAAW,EAAE,eAAe;iBAC/B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,4CAA4C;IAC5C,MAAM,KAAK,GAAe,EAAE,CAAA;IAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;IAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;IACxD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CACtC,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,CAChB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAClD,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC3B,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;QAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAC7C,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,EAC3C,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;QACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,aAAa;gBACrB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,cAAc;gBACvB,WAAW,EAAE,eAAe;aAC/B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,SAAS,CACd,gBAAoC,EACpC,eAAmC;IAEnC,OAAO;QACH,UAAU,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE;KACnE,CAAA;AACL,CAAC;AAED,SAAS,gBAAgB,CAKvB,MAAmD;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAW,EAAE,CAAA;IACvB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBACd,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAMzB,OAAoD,EACpD,OAAoD,EACpD,OAAuD;IAEvD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAErC,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,WAAW,GACb,OAAO,EAAE,cAAc;QACtB,qBAAwD,CAAA;IAC7D,MAAM,WAAW,GACb,OAAO,EAAE,iBAAiB;QACzB,wBAAwD,CAAA;IAE7D,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAE9C,OAAO;QACH,QAAQ,EAAE;YACN,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,eAAe;SAC3B;QACD,SAAS,EAAE,aAAa,CACpB,gBAAgB,CAAC,OAAO,CAAC,EACzB,gBAAgB,CAAC,OAAO,CAAC,EACzB,UAAU,EACV,OAAO,EAAE,eAAe,CAC3B;QACD,QAAQ,EAAE,cAAc,CACpB,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EACX,OAAO,EAAE,cAAc,EACvB,OAAO,EAAE,iBAAiB,CAC7B;QACD,KAAK,EAAE,SAAS,CACZ,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,CAC7B;KACJ,CAAA;AACL,CAAC"}

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"}