@proposit/proposit-core 0.11.2 → 0.12.1

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

@@ -1 +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,kBAAkB,EAClB,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,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,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAA;AAClF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAExE,MAAM,MAAM,yBAAyB,CACjC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,IACzD;IACA,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;CACxD,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,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB;IAEzD,OAAO,CAAC,OAAO,CAId;IACD,OAAO,CAAC,SAAS,CAA8C;IAC/D,OAAO,CAAC,OAAO,CAAC,CAAqB;gBAGjC,SAAS,EAAE,yBAAyB,CAAC,MAAM,EAAE,SAAS,CAAC,EACvD,OAAO,CAAC,EAAE,mBAAmB;IAOjC;;;;;;;OAOG;IACI,MAAM,CACT,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAElC,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAmB9C;;;;;;OAMG;IACI,QAAQ,CAEX,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GACpD,IAAI;IAQP;;;;;;OAMG;IACI,GAAG,CACN,UAAU,EAAE,MAAM,GAEnB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAI1D;;;;OAIG;IAEI,MAAM,IAAI,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IAI9D;;;;;;OAMG;IACI,MAAM,CACT,UAAU,EAAE,MAAM,GAEnB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAW9C;;;;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,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EAEzD,QAAQ,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/D,SAAS,EAAE,yBAAyB,CAAC,MAAM,EAAE,SAAS,CAAC,EACvD,OAAO,CAAC,EAAE,mBAAmB,GAC9B,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC;CA8BrE"}
+{"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,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,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,KAAK,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAA;AAClF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAExE,MAAM,MAAM,yBAAyB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IACxE;IACI,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;CACrC,CAAA;AAEL;;;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,MAAM,SAAS,UAAU,GAAG,UAAU;IAEtC,OAAO,CAAC,OAAO,CAGd;IACD,OAAO,CAAC,SAAS,CAAmC;IACpD,OAAO,CAAC,OAAO,CAAC,CAAqB;gBAGjC,SAAS,EAAE,yBAAyB,CAAC,MAAM,CAAC,EAC5C,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,MAAM,CAAC;IAetD;;;;;;OAMG;IACI,QAAQ,CACX,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAC5D,IAAI;IAQP;;;;;;OAMG;IACI,GAAG,CACN,UAAU,EAAE,MAAM,GACnB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,SAAS;IAIlE;;;;OAIG;IACI,MAAM,IAAI,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE;IAItE;;;;;;OAMG;IACI,MAAM,CACT,UAAU,EAAE,MAAM,GACnB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IAWtD;;;;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,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/D,SAAS,EAAE,yBAAyB,CAAC,MAAM,CAAC,EAC5C,OAAO,CAAC,EAAE,mBAAmB,GAC9B,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;CAuB1D"}

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

@@ -1,6 +1,5 @@
 import { ArgumentEngine } from "./argument-engine.js";
 import { ClaimLibrary } from "./claim-library.js";
-import { ClaimCitationLibrary } from "./claim-citation-library.js";
 /**
  * Engine registry with lifecycle management. Stores `ArgumentEngine` instances
  * keyed by argument ID.
@@ -22,16 +21,11 @@ export class ArgumentLibrary {
      * @returns The newly created engine.
      * @throws If an engine with the same argument ID already exists.
      */
-    create(argument
-    // TODO Phase 7: drop TSource/TAssoc generics from ArgumentEngine.
-    ) {
+    create(argument) {
         if (this.engines.has(argument.id)) {
             throw new Error(`ArgumentLibrary: argument "${argument.id}" already exists.`);
         }
-        // TODO Phase 7: ArgumentEngine constructor will take
-        // (argument, claimLibrary, claimCitationLibrary, options) once its
-        // generics are reduced to drop TSource/TAssoc.
-        const engine = new ArgumentEngine(argument, this.libraries.claimLibrary, this.libraries.claimCitationLibrary, this.options);
+        const engine = new ArgumentEngine(argument, this.libraries.claimLibrary, this.options);
         this.engines.set(argument.id, engine);
         return engine;
     }
@@ -42,9 +36,7 @@ export class ArgumentLibrary {
      * @param engine - The engine to register.
      * @throws If an engine with the same argument ID already exists.
      */
-    register(
-    // TODO Phase 7: drop TSource/TAssoc generics from ArgumentEngine.
-    engine) {
+    register(engine) {
         const id = engine.getArgument().id;
         if (this.engines.has(id)) {
             throw new Error(`ArgumentLibrary: argument "${id}" already exists.`);
@@ -58,9 +50,7 @@ export class ArgumentLibrary {
      * @param argumentId - The argument ID to look up.
      * @returns The engine, or `undefined`.
      */
-    get(argumentId
-    // TODO Phase 7: drop TSource/TAssoc generics from ArgumentEngine.
-    ) {
+    get(argumentId) {
         return this.engines.get(argumentId);
     }
     /**
@@ -68,7 +58,6 @@ export class ArgumentLibrary {
      *
      * @returns An array of all managed engines.
      */
-    // TODO Phase 7: drop TSource/TAssoc generics from ArgumentEngine.
     getAll() {
         return Array.from(this.engines.values());
     }
@@ -79,9 +68,7 @@ export class ArgumentLibrary {
      * @returns The removed engine.
      * @throws If no engine with the given ID exists.
      */
-    remove(argumentId
-    // TODO Phase 7: drop TSource/TAssoc generics from ArgumentEngine.
-    ) {
+    remove(argumentId) {
         const engine = this.engines.get(argumentId);
         if (engine === undefined) {
             throw new Error(`ArgumentLibrary: argument "${argumentId}" not found.`);
@@ -117,17 +104,14 @@ export class ArgumentLibrary {
      * `ArgumentEngine.fromSnapshot()` for each engine snapshot.
      *
      * @param snapshot - The serialized library snapshot.
-     * @param libraries - The shared library instances (claim, claim-citation).
+     * @param libraries - The shared library instances (claim).
      * @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) {
-            // TODO Phase 7: ArgumentEngine.fromSnapshot will take
-            // (snapshot, claimLibrary, claimCitationLibrary, ...) once its
-            // generics are reduced to drop TSource/TAssoc.
-            const engine = ArgumentEngine.fromSnapshot(engineSnap, libraries.claimLibrary, libraries.claimCitationLibrary, undefined, "ignore", options?.generateId);
+            const engine = ArgumentEngine.fromSnapshot(engineSnap, libraries.claimLibrary, undefined, "ignore", options?.generateId);
             lib.engines.set(engine.getArgument().id, engine);
         }
         return lib;

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

@@ -1 +1 @@
-{"version":3,"file":"argument-library.js","sourceRoot":"","sources":["../../../src/lib/core/argument-library.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAA4B,MAAM,sBAAsB,CAAA;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAYlE;;;GAGG;AACH,MAAM,OAAO,eAAe;IAQhB,OAAO,CAId;IACO,SAAS,CAA8C;IACvD,OAAO,CAAsB;IAErC,YACI,SAAuD,EACvD,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;IACjC,kEAAkE;;QAElE,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,qDAAqD;QACrD,mEAAmE;QACnE,+CAA+C;QAC/C,MAAM,MAAM,GAAG,IAAI,cAAc,CAC7B,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,YAAY,EAC3B,IAAI,CAAC,SAAS,CAAC,oBAAoB,EACnC,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;IACX,kEAAkE;IAClE,MAAmD;QAEnD,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;IAClB,kEAAkE;;QAElE,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACvC,CAAC;IAED;;;;OAIG;IACH,kEAAkE;IAC3D,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC5C,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CACT,UAAkB;IAClB,kEAAkE;;QAElE,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,CAStB,QAA+D,EAC/D,SAAuD,EACvD,OAA6B;QAE7B,MAAM,GAAG,GAAG,IAAI,eAAe,CAO7B,SAAS,EAAE,OAAO,CAAC,CAAA;QACrB,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC1C,sDAAsD;YACtD,+DAA+D;YAC/D,+CAA+C;YAC/C,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CAMtC,UAAU,EACV,SAAS,CAAC,YAAY,EACtB,SAAS,CAAC,oBAAoB,EAC9B,SAAS,EACT,QAAQ,EACR,OAAO,EAAE,UAAU,CACtB,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"}
+{"version":3,"file":"argument-library.js","sourceRoot":"","sources":["../../../src/lib/core/argument-library.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,cAAc,EAA4B,MAAM,sBAAsB,CAAA;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AASjD;;;GAGG;AACH,MAAM,OAAO,eAAe;IAOhB,OAAO,CAGd;IACO,SAAS,CAAmC;IAC5C,OAAO,CAAsB;IAErC,YACI,SAA4C,EAC5C,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,CAC7B,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,YAAY,EAC3B,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,MAA2D;QAE3D,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;QAElB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACvC,CAAC;IAED;;;;OAIG;IACI,MAAM;QACT,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,CAQtB,QAA+D,EAC/D,SAA4C,EAC5C,OAA6B;QAE7B,MAAM,GAAG,GAAG,IAAI,eAAe,CAC3B,SAAS,EACT,OAAO,CACV,CAAA;QACD,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CAOtC,UAAU,EACV,SAAS,CAAC,YAAY,EACtB,SAAS,EACT,QAAQ,EACR,OAAO,EAAE,UAAU,CACtB,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/claim-axiom-library.d.ts

@@ -0,0 +1,38 @@
+import type { TCoreClaimAxiom } from "../schemata/claim-axiom.js";
+import type { TCoreChecksumConfig } from "../types/checksum.js";
+import type { TClaimLookup, TClaimConnectionLibraryManagement, TClaimConnectionLibrarySnapshot } from "./interfaces/library.interfaces.js";
+import type { TInvariantValidationResult } from "../types/validation.js";
+/**
+ * Manages axiom-invocation edges between claims. Each connection goes from a
+ * dependent `claimId` (which must be a `'normal'` claim) to a supporting
+ * `supportingClaimId` (which must be an `'axiomatic'` claim).
+ *
+ * Cycle detection is omitted because axiomatic claims cannot appear on the
+ * supported (`claimId`) side — `AXIOM_CLAIM_NOT_NORMAL_TYPE` blocks that —
+ * so cycles are structurally impossible.
+ */
+export declare class ClaimAxiomLibrary<TConnection extends TCoreClaimAxiom = TCoreClaimAxiom> implements TClaimConnectionLibraryManagement<TConnection> {
+    private axioms;
+    private claimToConnections;
+    private claimLookup;
+    private checksumConfig?;
+    constructor(claimLookup: TClaimLookup, options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    });
+    private restoreFromSnapshot;
+    private withValidation;
+    add(axiom: Omit<TConnection, "checksum">): TConnection;
+    remove(id: string): TConnection;
+    getConnectionsForClaim(claimId: string): TConnection[];
+    get(id: string): TConnection | undefined;
+    getAll(): TConnection[];
+    filter(predicate: (c: TConnection) => boolean): TConnection[];
+    snapshot(): TClaimConnectionLibrarySnapshot<TConnection>;
+    /** Restores a claim-axiom library from a snapshot, re-indexing all axioms. */
+    static fromSnapshot<TConnection extends TCoreClaimAxiom = TCoreClaimAxiom>(snapshot: TClaimConnectionLibrarySnapshot<TConnection>, claimLookup: TClaimLookup, options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    }): ClaimAxiomLibrary<TConnection>;
+    validate(): TInvariantValidationResult;
+    private computeChecksum;
+}
+//# sourceMappingURL=claim-axiom-library.d.ts.map

package/dist/lib/core/claim-axiom-library.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-axiom-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-axiom-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAEjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,iCAAiC,EACjC,+BAA+B,EAClC,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAY/B;;;;;;;;GAQG;AACH,qBAAa,iBAAiB,CAC1B,WAAW,SAAS,eAAe,GAAG,eAAe,CACvD,YAAW,iCAAiC,CAAC,WAAW,CAAC;IACvD,OAAO,CAAC,MAAM,CAA0B;IACxC,OAAO,CAAC,kBAAkB,CAA0B;IACpD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAQtD,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,WAAW;IA+EtD,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW;IAyB/B,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,EAAE;IAQtD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAIxC,MAAM,IAAI,WAAW,EAAE;IAIvB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,WAAW,KAAK,OAAO,GAAG,WAAW,EAAE;IAI7D,QAAQ,IAAI,+BAA+B,CAAC,WAAW,CAAC;IAI/D,8EAA8E;WAChE,YAAY,CACtB,WAAW,SAAS,eAAe,GAAG,eAAe,EAErD,QAAQ,EAAE,+BAA+B,CAAC,WAAW,CAAC,EACtD,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,iBAAiB,CAAC,WAAW,CAAC;IAe1B,QAAQ,IAAI,0BAA0B;IAuE7C,OAAO,CAAC,eAAe;CAU1B"}

package/dist/lib/core/claim-axiom-library.js

@@ -0,0 +1,243 @@
+import { Value } from "typebox/value";
+import { CoreClaimAxiomSchema } from "../schemata/claim-axiom.js";
+import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
+import { entityChecksum } from "./checksum.js";
+import { AXIOM_SCHEMA_INVALID, AXIOM_DUPLICATE_ID, AXIOM_NOT_FOUND, AXIOM_CLAIM_REF_NOT_FOUND, AXIOM_SUPPORTING_REF_NOT_FOUND, AXIOM_SUPPORTING_NOT_AXIOMATIC_TYPE, AXIOM_CLAIM_NOT_NORMAL_TYPE, } from "../types/validation.js";
+import { InvariantViolationError } from "./invariant-violation-error.js";
+/**
+ * Manages axiom-invocation edges between claims. Each connection goes from a
+ * dependent `claimId` (which must be a `'normal'` claim) to a supporting
+ * `supportingClaimId` (which must be an `'axiomatic'` claim).
+ *
+ * Cycle detection is omitted because axiomatic claims cannot appear on the
+ * supported (`claimId`) side — `AXIOM_CLAIM_NOT_NORMAL_TYPE` blocks that —
+ * so cycles are structurally impossible.
+ */
+export class ClaimAxiomLibrary {
+    axioms;
+    claimToConnections;
+    claimLookup;
+    checksumConfig;
+    constructor(claimLookup, options) {
+        this.axioms = new Map();
+        this.claimToConnections = new Map();
+        this.claimLookup = claimLookup;
+        this.checksumConfig = options?.checksumConfig;
+    }
+    restoreFromSnapshot(snap) {
+        this.axioms = new Map();
+        this.claimToConnections = new Map();
+        for (const axiom of snap.connections) {
+            this.axioms.set(axiom.id, axiom);
+        }
+        for (const [id, axiom] of this.axioms) {
+            const claimKey = axiom.claimId;
+            if (!this.claimToConnections.has(claimKey)) {
+                this.claimToConnections.set(claimKey, new Set());
+            }
+            this.claimToConnections.get(claimKey).add(id);
+        }
+    }
+    withValidation(fn) {
+        const snap = this.snapshot();
+        try {
+            const result = fn();
+            const validation = this.validate();
+            if (!validation.ok) {
+                this.restoreFromSnapshot(snap);
+                throw new InvariantViolationError(validation.violations);
+            }
+            return result;
+        }
+        catch (e) {
+            if (!(e instanceof InvariantViolationError)) {
+                this.restoreFromSnapshot(snap);
+            }
+            throw e;
+        }
+    }
+    add(axiom) {
+        return this.withValidation(() => {
+            if (this.axioms.has(axiom.id)) {
+                throw new InvariantViolationError([
+                    {
+                        code: AXIOM_DUPLICATE_ID,
+                        message: `${AXIOM_DUPLICATE_ID}: axiom with id ${axiom.id} already exists`,
+                        entityType: "axiom",
+                        entityId: axiom.id,
+                    },
+                ]);
+            }
+            const dependentClaim = this.claimLookup.get(axiom.claimId, axiom.claimVersion);
+            if (!dependentClaim) {
+                throw new InvariantViolationError([
+                    {
+                        code: AXIOM_CLAIM_REF_NOT_FOUND,
+                        message: `${AXIOM_CLAIM_REF_NOT_FOUND}: axiom references unknown dependent claim ${axiom.claimId}@${axiom.claimVersion}`,
+                        entityType: "axiom",
+                        entityId: axiom.id,
+                    },
+                ]);
+            }
+            if (dependentClaim.type !== "normal") {
+                throw new InvariantViolationError([
+                    {
+                        code: AXIOM_CLAIM_NOT_NORMAL_TYPE,
+                        message: `${AXIOM_CLAIM_NOT_NORMAL_TYPE}: axiom dependent claim ${axiom.claimId} has type='${dependentClaim.type}'; only 'normal' is permitted on the dependent side`,
+                        entityType: "axiom",
+                        entityId: axiom.id,
+                    },
+                ]);
+            }
+            const supportingClaim = this.claimLookup.get(axiom.supportingClaimId, axiom.supportingClaimVersion);
+            if (!supportingClaim) {
+                throw new InvariantViolationError([
+                    {
+                        code: AXIOM_SUPPORTING_REF_NOT_FOUND,
+                        message: `${AXIOM_SUPPORTING_REF_NOT_FOUND}: axiom references unknown supporting claim ${axiom.supportingClaimId}@${axiom.supportingClaimVersion}`,
+                        entityType: "axiom",
+                        entityId: axiom.id,
+                    },
+                ]);
+            }
+            if (supportingClaim.type !== "axiomatic") {
+                throw new InvariantViolationError([
+                    {
+                        code: AXIOM_SUPPORTING_NOT_AXIOMATIC_TYPE,
+                        message: `${AXIOM_SUPPORTING_NOT_AXIOMATIC_TYPE}: axiom supporting claim ${axiom.supportingClaimId} has type='${supportingClaim.type}'; only 'axiomatic' is permitted on the supporting side`,
+                        entityType: "axiom",
+                        entityId: axiom.id,
+                    },
+                ]);
+            }
+            const full = { ...axiom, checksum: "" };
+            full.checksum = this.computeChecksum(full);
+            this.axioms.set(full.id, full);
+            let claimSet = this.claimToConnections.get(full.claimId);
+            if (!claimSet) {
+                claimSet = new Set();
+                this.claimToConnections.set(full.claimId, claimSet);
+            }
+            claimSet.add(full.id);
+            return full;
+        });
+    }
+    remove(id) {
+        return this.withValidation(() => {
+            const axiom = this.axioms.get(id);
+            if (!axiom) {
+                throw new InvariantViolationError([
+                    {
+                        code: AXIOM_NOT_FOUND,
+                        message: `${AXIOM_NOT_FOUND}: axiom with id "${id}" not found`,
+                        entityType: "axiom",
+                        entityId: id,
+                    },
+                ]);
+            }
+            this.axioms.delete(id);
+            const claimSet = this.claimToConnections.get(axiom.claimId);
+            if (claimSet) {
+                claimSet.delete(id);
+            }
+            return axiom;
+        });
+    }
+    getConnectionsForClaim(claimId) {
+        const ids = this.claimToConnections.get(claimId);
+        if (!ids)
+            return [];
+        return Array.from(ids)
+            .map((id) => this.axioms.get(id))
+            .filter(Boolean);
+    }
+    get(id) {
+        return this.axioms.get(id);
+    }
+    getAll() {
+        return Array.from(this.axioms.values());
+    }
+    filter(predicate) {
+        return this.getAll().filter(predicate);
+    }
+    snapshot() {
+        return { connections: this.getAll() };
+    }
+    /** Restores a claim-axiom library from a snapshot, re-indexing all axioms. */
+    static fromSnapshot(snapshot, claimLookup, options) {
+        const lib = new ClaimAxiomLibrary(claimLookup, options);
+        for (const axiom of snapshot.connections) {
+            lib.axioms.set(axiom.id, axiom);
+            let claimSet = lib.claimToConnections.get(axiom.claimId);
+            if (!claimSet) {
+                claimSet = new Set();
+                lib.claimToConnections.set(axiom.claimId, claimSet);
+            }
+            claimSet.add(axiom.id);
+        }
+        return lib;
+    }
+    validate() {
+        const violations = [];
+        for (const [id, axiom] of this.axioms) {
+            if (!Value.Check(CoreClaimAxiomSchema, axiom)) {
+                violations.push({
+                    code: AXIOM_SCHEMA_INVALID,
+                    message: `${AXIOM_SCHEMA_INVALID}: axiom "${id}" does not conform to schema`,
+                    entityType: "axiom",
+                    entityId: id,
+                });
+            }
+            if (!this.claimLookup.get(axiom.claimId, axiom.claimVersion)) {
+                violations.push({
+                    code: AXIOM_CLAIM_REF_NOT_FOUND,
+                    message: `${AXIOM_CLAIM_REF_NOT_FOUND}: axiom "${id}" references non-existent dependent claim "${axiom.claimId}" version ${axiom.claimVersion}`,
+                    entityType: "axiom",
+                    entityId: id,
+                });
+            }
+            if (!this.claimLookup.get(axiom.supportingClaimId, axiom.supportingClaimVersion)) {
+                violations.push({
+                    code: AXIOM_SUPPORTING_REF_NOT_FOUND,
+                    message: `${AXIOM_SUPPORTING_REF_NOT_FOUND}: axiom "${id}" references non-existent supporting claim "${axiom.supportingClaimId}" version ${axiom.supportingClaimVersion}`,
+                    entityType: "axiom",
+                    entityId: id,
+                });
+            }
+        }
+        // Strict supporting-side type: every axiom's supporting claim must have
+        // type='axiomatic'. Catches tampered snapshots loaded via fromSnapshot.
+        for (const axiom of this.axioms.values()) {
+            const supportingClaim = this.claimLookup.get(axiom.supportingClaimId, axiom.supportingClaimVersion);
+            if (supportingClaim && supportingClaim.type !== "axiomatic") {
+                violations.push({
+                    code: AXIOM_SUPPORTING_NOT_AXIOMATIC_TYPE,
+                    message: `${AXIOM_SUPPORTING_NOT_AXIOMATIC_TYPE}: axiom ${axiom.id} supporting claim ${axiom.supportingClaimId} has type='${supportingClaim.type}'; only 'axiomatic' is permitted on the supporting side`,
+                    entityType: "axiom",
+                    entityId: axiom.id,
+                });
+            }
+        }
+        // Strict dependent-side type: every axiom's dependent claim must have
+        // type='normal'. Catches tampered snapshots loaded via fromSnapshot.
+        for (const axiom of this.axioms.values()) {
+            const dependentClaim = this.claimLookup.get(axiom.claimId, axiom.claimVersion);
+            if (dependentClaim && dependentClaim.type !== "normal") {
+                violations.push({
+                    code: AXIOM_CLAIM_NOT_NORMAL_TYPE,
+                    message: `${AXIOM_CLAIM_NOT_NORMAL_TYPE}: axiom ${axiom.id} dependent claim ${axiom.claimId} has type='${dependentClaim.type}'; only 'normal' is permitted on the dependent side`,
+                    entityType: "axiom",
+                    entityId: axiom.id,
+                });
+            }
+        }
+        return { ok: violations.length === 0, violations };
+    }
+    computeChecksum(axiom) {
+        const fields = this.checksumConfig?.claimAxiomFields ??
+            DEFAULT_CHECKSUM_CONFIG.claimAxiomFields ??
+            DEFAULT_CHECKSUM_CONFIG.claimCitationFields;
+        return entityChecksum(axiom, fields);
+    }
+}
+//# sourceMappingURL=claim-axiom-library.js.map

package/dist/lib/core/claim-axiom-library.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-axiom-library.js","sourceRoot":"","sources":["../../../src/lib/core/claim-axiom-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAA;AAEjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAU9C,OAAO,EACH,oBAAoB,EACpB,kBAAkB,EAClB,eAAe,EACf,yBAAyB,EACzB,8BAA8B,EAC9B,mCAAmC,EACnC,2BAA2B,GAC9B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE;;;;;;;;GAQG;AACH,MAAM,OAAO,iBAAiB;IAGlB,MAAM,CAA0B;IAChC,kBAAkB,CAA0B;IAC5C,WAAW,CAAc;IACzB,cAAc,CAAsB;IAE5C,YACI,WAAyB,EACzB,OAAkD;QAElD,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;QACvB,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CACvB,IAAkD;QAElD,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;QACvB,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACpC,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAA;YAC9B,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACpD,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAClD,CAAC;IACL,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;YAClC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEM,GAAG,CAAC,KAAoC;QAC3C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,GAAG,kBAAkB,mBAAmB,KAAK,CAAC,EAAE,iBAAiB;wBAC1E,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACvC,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;YACD,IAAI,CAAC,cAAc,EAAE,CAAC;gBAClB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,yBAAyB;wBAC/B,OAAO,EAAE,GAAG,yBAAyB,8CAA8C,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE;wBACxH,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YACD,IAAI,cAAc,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,2BAA2B;wBACjC,OAAO,EAAE,GAAG,2BAA2B,2BAA2B,KAAK,CAAC,OAAO,cAAc,cAAc,CAAC,IAAI,qDAAqD;wBACrK,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,CAAA;YACD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,8BAA8B;wBACpC,OAAO,EAAE,GAAG,8BAA8B,+CAA+C,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,sBAAsB,EAAE;wBAClJ,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YACD,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACvC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,mCAAmC;wBACzC,OAAO,EAAE,GAAG,mCAAmC,4BAA4B,KAAK,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,yDAAyD;wBAC7L,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAiB,CAAA;YACtD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAE9B,IAAI,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACvD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAErB,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACjC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,GAAG,eAAe,oBAAoB,EAAE,aAAa;wBAC9D,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,EAAE;qBACf;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAEtB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC3D,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACvB,CAAC;YAED,OAAO,KAAK,CAAA;QAChB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,sBAAsB,CAAC,OAAe;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAChD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAA;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;aACjB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACjC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC9B,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAC3C,CAAC;IAEM,MAAM,CAAC,SAAsC;QAChD,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC1C,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACzC,CAAC;IAED,8EAA8E;IACvE,MAAM,CAAC,YAAY,CAGtB,QAAsD,EACtD,WAAyB,EACzB,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,iBAAiB,CAAc,WAAW,EAAE,OAAO,CAAC,CAAA;QACpE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACvC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAE/B,IAAI,QAAQ,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACvD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC1B,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,oBAAoB,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC5C,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,GAAG,oBAAoB,YAAY,EAAE,8BAA8B;oBAC5E,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC3D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG,yBAAyB,YAAY,EAAE,8CAA8C,KAAK,CAAC,OAAO,aAAa,KAAK,CAAC,YAAY,EAAE;oBAC/I,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IACI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CACjB,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,EACH,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,GAAG,8BAA8B,YAAY,EAAE,+CAA+C,KAAK,CAAC,iBAAiB,aAAa,KAAK,CAAC,sBAAsB,EAAE;oBACzK,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,wEAAwE;QACxE,wEAAwE;QACxE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,CAAA;YACD,IAAI,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC1D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mCAAmC;oBACzC,OAAO,EAAE,GAAG,mCAAmC,WAAW,KAAK,CAAC,EAAE,qBAAqB,KAAK,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,yDAAyD;oBACzM,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,sEAAsE;QACtE,qEAAqE;QACrE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACvC,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;YACD,IAAI,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACrD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,WAAW,KAAK,CAAC,EAAE,oBAAoB,KAAK,CAAC,OAAO,cAAc,cAAc,CAAC,IAAI,qDAAqD;oBACjL,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAEO,eAAe,CAAC,KAAkB;QACtC,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,gBAAgB;YACrC,uBAAuB,CAAC,gBAAgB;YACxC,uBAAuB,CAAC,mBAAoB,CAAA;QAChD,OAAO,cAAc,CACjB,KAA2C,EAC3C,MAAM,CACT,CAAA;IACL,CAAC;CACJ"}

package/dist/lib/core/claim-citation-library.d.ts

@@ -1,11 +1,10 @@
 import type { TCoreClaimCitation } from "../schemata/claim-citation.js";
 import type { TCoreChecksumConfig } from "../types/checksum.js";
-import type { TClaimLookup, TClaimCitationLibraryManagement, TClaimCitationLibrarySnapshot } from "./interfaces/library.interfaces.js";
+import type { TClaimLookup, TClaimConnectionLibraryManagement, TClaimConnectionLibrarySnapshot } from "./interfaces/library.interfaces.js";
 import type { TInvariantValidationResult } from "../types/validation.js";
-export declare class ClaimCitationLibrary<TCitation extends TCoreClaimCitation = TCoreClaimCitation> implements TClaimCitationLibraryManagement<TCitation> {
+export declare class ClaimCitationLibrary<TCitation extends TCoreClaimCitation = TCoreClaimCitation> implements TClaimConnectionLibraryManagement<TCitation> {
     private citations;
-    private citingClaimToCitations;
-    private sourceClaimToCitations;
+    private claimToConnections;
     private claimLookup;
     private checksumConfig?;
     constructor(claimLookup: TClaimLookup, options?: {
@@ -15,14 +14,13 @@ export declare class ClaimCitationLibrary<TCitation extends TCoreClaimCitation =
     private withValidation;
     add(citation: Omit<TCitation, "checksum">): TCitation;
     remove(id: string): TCitation;
-    getCitationsForCitingClaim(citingClaimId: string): TCitation[];
-    getCitationsForSourceClaim(sourceClaimId: string): TCitation[];
+    getConnectionsForClaim(claimId: string): TCitation[];
     get(id: string): TCitation | undefined;
     getAll(): TCitation[];
     filter(predicate: (c: TCitation) => boolean): TCitation[];
-    snapshot(): TClaimCitationLibrarySnapshot<TCitation>;
+    snapshot(): TClaimConnectionLibrarySnapshot<TCitation>;
     /** Restores a claim-citation library from a snapshot, re-indexing all citations. */
-    static fromSnapshot<TCitation extends TCoreClaimCitation = TCoreClaimCitation>(snapshot: TClaimCitationLibrarySnapshot<TCitation>, claimLookup: TClaimLookup, options?: {
+    static fromSnapshot<TCitation extends TCoreClaimCitation = TCoreClaimCitation>(snapshot: TClaimConnectionLibrarySnapshot<TCitation>, claimLookup: TClaimLookup, options?: {
         checksumConfig?: TCoreChecksumConfig;
     }): ClaimCitationLibrary<TCitation>;
     validate(): TInvariantValidationResult;
@@ -33,10 +31,11 @@ export declare class ClaimCitationLibrary<TCitation extends TCoreClaimCitation =
      */
     private detectAllCycles;
     /**
-     * Returns true if adding an edge from `citingClaimId` to `sourceClaimId`
-     * would create a cycle in the claim-citation graph. Edges go from citing
-     * to source; a cycle exists when the citing claim is reachable from the
-     * proposed source claim by following outgoing source edges.
+     * Returns true if adding an edge from `claimId` to `supportingClaimId`
+     * would create a cycle in the claim-citation graph. Edges go from the
+     * dependent claim to the supporting claim; a cycle exists when the
+     * dependent claim is reachable from the proposed supporting claim by
+     * following outgoing edges.
      */
     private wouldCreateCycle;
     private computeChecksum;

package/dist/lib/core/claim-citation-library.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claim-citation-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-citation-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AAEvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,+BAA+B,EAC/B,6BAA6B,EAChC,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAW/B,qBAAa,oBAAoB,CAC7B,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,CAC3D,YAAW,+BAA+B,CAAC,SAAS,CAAC;IACnD,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,sBAAsB,CAA0B;IACxD,OAAO,CAAC,sBAAsB,CAA0B;IACxD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAStD,OAAO,CAAC,mBAAmB;IAwB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS;IA4FrD,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IA2B7B,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,EAAE;IAQ9D,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,EAAE;IAQ9D,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAItC,MAAM,IAAI,SAAS,EAAE;IAIrB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,GAAG,SAAS,EAAE;IAIzD,QAAQ,IAAI,6BAA6B,CAAC,SAAS,CAAC;IAI3D,oFAAoF;WACtE,YAAY,CACtB,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EAEzD,QAAQ,EAAE,6BAA6B,CAAC,SAAS,CAAC,EAClD,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,oBAAoB,CAAC,SAAS,CAAC;IAgC3B,QAAQ,IAAI,0BAA0B;IAgE7C;;;;OAIG;IACH,OAAO,CAAC,eAAe;IA+CvB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,eAAe;CAS1B"}
+{"version":3,"file":"claim-citation-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-citation-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AAEvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,iCAAiC,EACjC,+BAA+B,EAClC,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAa/B,qBAAa,oBAAoB,CAC7B,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,CAC3D,YAAW,iCAAiC,CAAC,SAAS,CAAC;IACrD,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,kBAAkB,CAA0B;IACpD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAQtD,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS;IAqFrD,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IAyB7B,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE;IAQpD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAItC,MAAM,IAAI,SAAS,EAAE;IAIrB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,GAAG,SAAS,EAAE;IAIzD,QAAQ,IAAI,+BAA+B,CAAC,SAAS,CAAC;IAI7D,oFAAoF;WACtE,YAAY,CACtB,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EAEzD,QAAQ,EAAE,+BAA+B,CAAC,SAAS,CAAC,EACpD,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,oBAAoB,CAAC,SAAS,CAAC;IAwD3B,QAAQ,IAAI,0BAA0B;IA6D7C;;;;OAIG;IACH,OAAO,CAAC,eAAe;IA+CvB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,eAAe;CAS1B"}