@proposit/proposit-core 0.9.1 → 0.11.0

package/dist/lib/utils/derivation-validation.js

@@ -0,0 +1,107 @@
+import { isClaimBound } from "../schemata/propositional.js";
+import { DERIVATION_STRUCTURE_INVALID } from "../types/validation.js";
+/**
+ * Validate that a derivation premise's expression tree conforms to the
+ * structural rules in the v0.11.0 spec:
+ *
+ *   - Root must be either a single variable expression for the derived
+ *     claim's variable (naked form), or an `implies`/`iff` operator with
+ *     arity 2.
+ *   - When the root is `implies`/`iff`:
+ *       - position 0 (antecedent slot) is any valid expression tree.
+ *       - position 1 (consequent slot) is exactly the variable expression
+ *         for the derived claim's variable. No operator subtree, no other
+ *         variable, no formula wrapper.
+ *
+ * Returns a `TInvariantValidationResult` with one violation per detected
+ * rule break, all using `DERIVATION_STRUCTURE_INVALID` (the message
+ * differentiates them).
+ *
+ * This is a pure function — it takes a premise, its expressions, and the
+ * argument's variables. It has no engine dependencies and no side effects.
+ */
+export function validateDerivationStructure(premise, expressions, variables) {
+    const violations = [];
+    // 1. Locate the claim-bound variable for derivedClaimId.
+    const consequentVariable = variables.find((v) => isClaimBound(v) && v.claimId === premise.derivedClaimId);
+    if (consequentVariable === undefined) {
+        violations.push({
+            entityType: "premise",
+            entityId: premise.id,
+            code: DERIVATION_STRUCTURE_INVALID,
+            message: `No claim-bound variable for derivedClaimId ${premise.derivedClaimId} in this argument`,
+        });
+        return { ok: false, violations };
+    }
+    // 2. Find the root expression (parentId === null) for this premise.
+    const rootExpressions = expressions.filter((e) => e.premiseId === premise.id && e.parentId === null);
+    if (rootExpressions.length === 0) {
+        violations.push({
+            entityType: "premise",
+            entityId: premise.id,
+            code: DERIVATION_STRUCTURE_INVALID,
+            message: "Derivation premise has no root expression",
+        });
+        return { ok: false, violations };
+    }
+    if (rootExpressions.length > 1) {
+        violations.push({
+            entityType: "premise",
+            entityId: premise.id,
+            code: DERIVATION_STRUCTURE_INVALID,
+            message: "Derivation premise has multiple root expressions",
+        });
+        return { ok: false, violations };
+    }
+    const root = rootExpressions[0];
+    // 3. Validate root shape.
+    // Naked form: root is a variable expression for the derived claim's variable.
+    if (root.type === "variable") {
+        if (root.variableId !== consequentVariable.id) {
+            violations.push({
+                entityType: "premise",
+                entityId: premise.id,
+                code: DERIVATION_STRUCTURE_INVALID,
+                message: `Naked-form root variable ${root.variableId} does not reference derivedClaimId's variable ${consequentVariable.id}`,
+            });
+        }
+        return { ok: violations.length === 0, violations };
+    }
+    // Implication/biconditional form: root is implies or iff with arity 2.
+    if (root.type === "operator" &&
+        (root.operator === "implies" || root.operator === "iff")) {
+        const children = expressions
+            .filter((e) => e.parentId === root.id)
+            .sort((a, b) => a.position - b.position);
+        if (children.length !== 2) {
+            violations.push({
+                entityType: "premise",
+                entityId: premise.id,
+                code: DERIVATION_STRUCTURE_INVALID,
+                message: `Derivation root ${root.operator} must have arity 2 (got ${children.length})`,
+            });
+            return { ok: false, violations };
+        }
+        const consequent = children[1];
+        if (consequent.type !== "variable" ||
+            consequent.variableId !== consequentVariable.id) {
+            violations.push({
+                entityType: "premise",
+                entityId: premise.id,
+                code: DERIVATION_STRUCTURE_INVALID,
+                message: "Consequent slot (position 1) must be the variable expression for derivedClaimId's variable",
+            });
+        }
+        return { ok: violations.length === 0, violations };
+    }
+    // Any other root type (formula, or non-implies/iff operator) is invalid.
+    const rootDesc = root.type === "operator" ? root.operator : root.type;
+    violations.push({
+        entityType: "premise",
+        entityId: premise.id,
+        code: DERIVATION_STRUCTURE_INVALID,
+        message: `Derivation premise root must be a variable expression or implies/iff operator (got ${rootDesc})`,
+    });
+    return { ok: false, violations };
+}
+//# sourceMappingURL=derivation-validation.js.map

package/dist/lib/utils/derivation-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivation-validation.js","sourceRoot":"","sources":["../../../src/lib/utils/derivation-validation.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAE3D,OAAO,EAAE,4BAA4B,EAAE,MAAM,wBAAwB,CAAA;AAErE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,2BAA2B,CACvC,OAA+B,EAC/B,WAA2C,EAC3C,SAAuC;IAEvC,MAAM,UAAU,GAA6C,EAAE,CAAA;IAE/D,yDAAyD;IACzD,MAAM,kBAAkB,GAAG,SAAS,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,cAAc,CACjE,CAAA;IACD,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACnC,UAAU,CAAC,IAAI,CAAC;YACZ,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;YACpB,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,8CAA8C,OAAO,CAAC,cAAc,mBAAmB;SACnG,CAAC,CAAA;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;IACpC,CAAC;IAED,oEAAoE;IACpE,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAC3D,CAAA;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,UAAU,CAAC,IAAI,CAAC;YACZ,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;YACpB,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,2CAA2C;SACvD,CAAC,CAAA;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;IACpC,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,UAAU,CAAC,IAAI,CAAC;YACZ,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;YACpB,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,kDAAkD;SAC9D,CAAC,CAAA;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;IACpC,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IAE/B,0BAA0B;IAE1B,8EAA8E;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,UAAU,KAAK,kBAAkB,CAAC,EAAE,EAAE,CAAC;YAC5C,UAAU,CAAC,IAAI,CAAC;gBACZ,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;gBACpB,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,4BAA4B,IAAI,CAAC,UAAU,iDAAiD,kBAAkB,CAAC,EAAE,EAAE;aAC/H,CAAC,CAAA;QACN,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED,uEAAuE;IACvE,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;QACC,MAAM,QAAQ,GAAG,WAAW;aACvB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;aACrC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;QAE5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC;gBACZ,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;gBACpB,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,mBAAmB,IAAI,CAAC,QAAQ,2BAA2B,QAAQ,CAAC,MAAM,GAAG;aACzF,CAAC,CAAA;YACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;QACpC,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QAC9B,IACI,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,UAAU,CAAC,UAAU,KAAK,kBAAkB,CAAC,EAAE,EACjD,CAAC;YACC,UAAU,CAAC,IAAI,CAAC;gBACZ,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;gBACpB,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EACH,4FAA4F;aACnG,CAAC,CAAA;QACN,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED,yEAAyE;IACzE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IACrE,UAAU,CAAC,IAAI,CAAC;QACZ,UAAU,EAAE,SAAS;QACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;QACpB,IAAI,EAAE,4BAA4B;QAClC,OAAO,EAAE,sFAAsF,QAAQ,GAAG;KAC7G,CAAC,CAAA;IACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;AACpC,CAAC"}

package/dist/lib/utils/lookup.d.ts

@@ -1,13 +1,12 @@
-import type { TClaimLookup, TSourceLookup, TClaimSourceLookup } from "../core/interfaces/library.interfaces.js";
+import type { TClaimLookup, TClaimCitationLookup } from "../core/interfaces/library.interfaces.js";
 /**
  * Creates a keyed lookup from an array of items. Items are indexed by a
  * composite string key (typically `"id:version"`), and the returned object
  * exposes a `get(id, version)` method that reconstructs the same key
  * internally.
  *
- * Use this to build the `TClaimLookup` or `TSourceLookup` required by
- * `ArgumentEngine`'s constructor from flat arrays (e.g. database query
- * results).
+ * Use this to build the `TClaimLookup` required by `ArgumentEngine`'s
+ * constructor from flat arrays (e.g. database query results).
  *
  * @param items - The array of items to index.
  * @param getKey - A function that produces the composite key for each item.
@@ -20,8 +19,7 @@ import type { TClaimLookup, TSourceLookup, TClaimSourceLookup } from "../core/in
  * @example
  * ```ts
  * const claimLookup = createLookup(claims, (c) => `${c.id}:${c.version}`)
- * const sourceLookup = createLookup(sources, (s) => `${s.id}:${s.version}`)
- * const engine = new ArgumentEngine(arg, claimLookup, sourceLookup, ...)
+ * const engine = new ArgumentEngine(arg, claimLookup, ...)
  * ```
  */
 export declare function createLookup<T>(items: T[], getKey: (item: T) => string): {
@@ -34,14 +32,8 @@ export declare function createLookup<T>(items: T[], getKey: (item: T) => string)
  */
 export declare const EMPTY_CLAIM_LOOKUP: TClaimLookup;
 /**
- * A no-op source lookup that always returns `undefined`. Use this when the
- * consumer does not use sources.
+ * A no-op claim-citation lookup that always returns `undefined` or empty
+ * arrays. Use this when the consumer does not use claim citations.
  */
-export declare const EMPTY_SOURCE_LOOKUP: TSourceLookup;
-/**
- * A no-op claim-source association lookup that always returns `undefined`
- * or empty arrays. Use this when the consumer does not use claim-source
- * associations.
- */
-export declare const EMPTY_CLAIM_SOURCE_LOOKUP: TClaimSourceLookup;
+export declare const EMPTY_CLAIM_CITATION_LOOKUP: TClaimCitationLookup;
 //# sourceMappingURL=lookup.d.ts.map

package/dist/lib/utils/lookup.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lookup.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/lookup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,kBAAkB,EACrB,MAAM,0CAA0C,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAC1B,KAAK,EAAE,CAAC,EAAE,EACV,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,GAC5B;IAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS,CAAA;CAAE,CAUrD;AAED;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,YAEhC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,mBAAmB,EAAE,aAEjC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,EAAE,kBAIvC,CAAA"}
+{"version":3,"file":"lookup.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/lookup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,YAAY,EACZ,oBAAoB,EACvB,MAAM,0CAA0C,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAC1B,KAAK,EAAE,CAAC,EAAE,EACV,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,GAC5B;IAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS,CAAA;CAAE,CAUrD;AAED;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,YAGhC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,2BAA2B,EAAE,oBAIzC,CAAA"}

package/dist/lib/utils/lookup.js

@@ -4,9 +4,8 @@
  * exposes a `get(id, version)` method that reconstructs the same key
  * internally.
  *
- * Use this to build the `TClaimLookup` or `TSourceLookup` required by
- * `ArgumentEngine`'s constructor from flat arrays (e.g. database query
- * results).
+ * Use this to build the `TClaimLookup` required by `ArgumentEngine`'s
+ * constructor from flat arrays (e.g. database query results).
  *
  * @param items - The array of items to index.
  * @param getKey - A function that produces the composite key for each item.
@@ -19,8 +18,7 @@
  * @example
  * ```ts
  * const claimLookup = createLookup(claims, (c) => `${c.id}:${c.version}`)
- * const sourceLookup = createLookup(sources, (s) => `${s.id}:${s.version}`)
- * const engine = new ArgumentEngine(arg, claimLookup, sourceLookup, ...)
+ * const engine = new ArgumentEngine(arg, claimLookup, ...)
  * ```
  */
 export function createLookup(items, getKey) {
@@ -41,22 +39,15 @@ export function createLookup(items, getKey) {
  */
 export const EMPTY_CLAIM_LOOKUP = {
     get: () => undefined,
+    getCurrent: () => undefined,
 };
 /**
- * A no-op source lookup that always returns `undefined`. Use this when the
- * consumer does not use sources.
+ * A no-op claim-citation lookup that always returns `undefined` or empty
+ * arrays. Use this when the consumer does not use claim citations.
  */
-export const EMPTY_SOURCE_LOOKUP = {
-    get: () => undefined,
-};
-/**
- * A no-op claim-source association lookup that always returns `undefined`
- * or empty arrays. Use this when the consumer does not use claim-source
- * associations.
- */
-export const EMPTY_CLAIM_SOURCE_LOOKUP = {
-    getForClaim: () => [],
-    getForSource: () => [],
+export const EMPTY_CLAIM_CITATION_LOOKUP = {
+    getCitationsForCitingClaim: () => [],
+    getCitationsForSourceClaim: () => [],
     get: () => undefined,
 };
 //# sourceMappingURL=lookup.js.map

package/dist/lib/utils/lookup.js.map

@@ -1 +1 @@
-{"version":3,"file":"lookup.js","sourceRoot":"","sources":["../../../src/lib/utils/lookup.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,YAAY,CACxB,KAAU,EACV,MAA2B;IAE3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAa,CAAA;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO;QACH,GAAG,CAAC,EAAU,EAAE,OAAe;YAC3B,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC,CAAA;QACtC,CAAC;KACJ,CAAA;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAiB;IAC5C,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAkB;IAC9C,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAuB;IACzD,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE;IACrB,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE;IACtB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA"}
+{"version":3,"file":"lookup.js","sourceRoot":"","sources":["../../../src/lib/utils/lookup.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,YAAY,CACxB,KAAU,EACV,MAA2B;IAE3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAa,CAAA;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO;QACH,GAAG,CAAC,EAAU,EAAE,OAAe;YAC3B,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC,CAAA;QACtC,CAAC;KACJ,CAAA;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAiB;IAC5C,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;IACpB,UAAU,EAAE,GAAG,EAAE,CAAC,SAAS;CAC9B,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAyB;IAC7D,0BAA0B,EAAE,GAAG,EAAE,CAAC,EAAE;IACpC,0BAA0B,EAAE,GAAG,EAAE,CAAC,EAAE;IACpC,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/proposit-core",
-  "version": "0.9.1",
+  "version": "0.11.0",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [

package/dist/cli/commands/sources.d.ts

@@ -1,3 +0,0 @@
-import { Command } from "commander";
-export declare function registerSourceCommands(program: Command): void;
-//# sourceMappingURL=sources.d.ts.map

package/dist/cli/commands/sources.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"sources.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/sources.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAsG7D"}

package/dist/cli/commands/sources.js

@@ -1,103 +0,0 @@
-import { randomUUID } from "node:crypto";
-import { Command } from "commander";
-import { hydratePropositCore, persistCore } from "../engine.js";
-import { errorExit, printJson, printLine } from "../output.js";
-export function registerSourceCommands(program) {
-    const sources = program
-        .command("sources")
-        .description("Manage global source library");
-    sources
-        .command("list")
-        .description("List all sources")
-        .option("--json", "Output as JSON")
-        .action(async (opts) => {
-        const core = await hydratePropositCore();
-        const all = core.sources.getAll();
-        if (opts.json) {
-            printJson(all);
-        }
-        else {
-            for (const source of all) {
-                const extras = source;
-                const text = typeof extras.text === "string"
-                    ? ` | ${extras.text}`
-                    : "";
-                printLine(`${source.id}@${source.version}${text}`);
-            }
-        }
-    });
-    sources
-        .command("show <source_id>")
-        .description("Show all versions of a source")
-        .option("--json", "Output as JSON")
-        .action(async (sourceId, opts) => {
-        const core = await hydratePropositCore();
-        const versions = core.sources.getVersions(sourceId);
-        if (versions.length === 0) {
-            errorExit(`Source "${sourceId}" not found.`);
-        }
-        if (opts.json) {
-            printJson(versions);
-        }
-        else {
-            for (const v of versions) {
-                const extras = v;
-                const frozen = v.frozen ? " [frozen]" : "";
-                const text = typeof extras.text === "string"
-                    ? ` | ${extras.text}`
-                    : "";
-                printLine(`v${v.version}${frozen}${text}`);
-            }
-        }
-    });
-    sources
-        .command("add")
-        .description("Create a new source")
-        .requiredOption("--text <text>", "Source text")
-        .action(async (opts) => {
-        const core = await hydratePropositCore();
-        const source = core.sources.create({
-            id: randomUUID(),
-            text: opts.text,
-        });
-        await persistCore(core);
-        printLine(source.id);
-    });
-    sources
-        .command("link-claim <source_id> <claim_id>")
-        .description("Link a source to a claim via a new association")
-        .action(async (sourceId, claimId) => {
-        const core = await hydratePropositCore();
-        const source = core.sources.getCurrent(sourceId);
-        if (!source) {
-            errorExit(`Source "${sourceId}" not found.`);
-        }
-        const claim = core.claims.getCurrent(claimId);
-        if (!claim) {
-            errorExit(`Claim "${claimId}" not found.`);
-        }
-        const assoc = core.claimSources.add({
-            id: randomUUID(),
-            claimId: claim.id,
-            claimVersion: claim.version,
-            sourceId: source.id,
-            sourceVersion: source.version,
-        });
-        await persistCore(core);
-        printLine(assoc.id);
-    });
-    sources
-        .command("unlink <association_id>")
-        .description("Remove a claim-source association")
-        .action(async (associationId) => {
-        const core = await hydratePropositCore();
-        const assoc = core.claimSources.get(associationId);
-        if (!assoc) {
-            errorExit(`Association "${associationId}" not found.`);
-        }
-        core.claimSources.remove(associationId);
-        await persistCore(core);
-        printLine("success");
-    });
-}
-//# sourceMappingURL=sources.js.map

package/dist/cli/commands/sources.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/cli/commands/sources.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACnD,MAAM,OAAO,GAAG,OAAO;SAClB,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,8BAA8B,CAAC,CAAA;IAEhD,OAAO;SACF,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAA;QACjC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,MAAiC,CAAA;gBAChD,MAAM,IAAI,GACN,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC3B,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE;oBACrB,CAAC,CAAC,EAAE,CAAA;gBACZ,SAAS,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,GAAG,IAAI,EAAE,CAAC,CAAA;YACtD,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,kBAAkB,CAAC;SAC3B,WAAW,CAAC,+BAA+B,CAAC;SAC5C,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,IAAwB,EAAE,EAAE;QACzD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;QAChD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,QAAQ,CAAC,CAAA;QACvB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,CAA4B,CAAA;gBAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC1C,MAAM,IAAI,GACN,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC3B,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE;oBACrB,CAAC,CAAC,EAAE,CAAA;gBACZ,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CAAC,qBAAqB,CAAC;SAClC,cAAc,CAAC,eAAe,EAAE,aAAa,CAAC;SAC9C,MAAM,CAAC,KAAK,EAAE,IAAsB,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;YAC/B,EAAE,EAAE,UAAU,EAAE;YAChB,IAAI,EAAE,IAAI,CAAC,IAAI;SAC2B,CAAC,CAAA;QAC/C,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,mCAAmC,CAAC;SAC5C,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,OAAe,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;QAChD,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,UAAU,OAAO,cAAc,CAAC,CAAA;QAC9C,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAChC,EAAE,EAAE,UAAU,EAAE;YAChB,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,YAAY,EAAE,KAAK,CAAC,OAAO;YAC3B,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,aAAa,EAAE,MAAM,CAAC,OAAO;SAChC,CAAC,CAAA;QACF,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,yBAAyB,CAAC;SAClC,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CAAC,KAAK,EAAE,aAAqB,EAAE,EAAE;QACpC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;QAClD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,gBAAgB,aAAa,cAAc,CAAC,CAAA;QAC1D,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;QACvC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACV,CAAC"}

package/dist/extensions/ieee/source.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA"}

package/dist/extensions/ieee/source.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/extensions/ieee/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3C,gBAAgB;IAChB,IAAI,CAAC,MAAM,CAAC;QACR,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,QAAQ,EAAE,mBAAmB;KAChC,CAAC;CACL,CAAC,CAAA"}

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

@@ -1,32 +0,0 @@
-import type { TCoreClaimSourceAssociation } from "../schemata/source.js";
-import type { TCoreChecksumConfig } from "../types/checksum.js";
-import type { TClaimLookup, TSourceLookup, TClaimSourceLibraryManagement, TClaimSourceLibrarySnapshot } from "./interfaces/library.interfaces.js";
-import type { TInvariantValidationResult } from "../types/validation.js";
-export declare class ClaimSourceLibrary<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> implements TClaimSourceLibraryManagement<TAssoc> {
-    private associations;
-    private claimToAssociations;
-    private sourceToAssociations;
-    private claimLookup;
-    private sourceLookup;
-    private checksumConfig?;
-    constructor(claimLookup: TClaimLookup, sourceLookup: TSourceLookup, options?: {
-        checksumConfig?: TCoreChecksumConfig;
-    });
-    private restoreFromSnapshot;
-    private withValidation;
-    add(assoc: Omit<TAssoc, "checksum">): TAssoc;
-    remove(id: string): TAssoc;
-    getForClaim(claimId: string): TAssoc[];
-    getForSource(sourceId: string): TAssoc[];
-    get(id: string): TAssoc | undefined;
-    getAll(): TAssoc[];
-    filter(predicate: (a: TAssoc) => boolean): TAssoc[];
-    snapshot(): TClaimSourceLibrarySnapshot<TAssoc>;
-    /** Restores a claim-source library from a snapshot, re-indexing all associations. */
-    static fromSnapshot<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation>(snapshot: TClaimSourceLibrarySnapshot<TAssoc>, claimLookup: TClaimLookup, sourceLookup: TSourceLookup, options?: {
-        checksumConfig?: TCoreChecksumConfig;
-    }): ClaimSourceLibrary<TAssoc>;
-    validate(): TInvariantValidationResult;
-    private computeChecksum;
-}
-//# sourceMappingURL=claim-source-library.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"claim-source-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-source-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AAExE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,6BAA6B,EAC7B,2BAA2B,EAC9B,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAQ/B,qBAAa,kBAAkB,CAC3B,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAC1E,YAAW,6BAA6B,CAAC,MAAM,CAAC;IAC9C,OAAO,CAAC,YAAY,CAAqB;IACzC,OAAO,CAAC,mBAAmB,CAA0B;IACrD,OAAO,CAAC,oBAAoB,CAA0B;IACtD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAUtD,OAAO,CAAC,mBAAmB;IAwB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM;IAmD5C,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAuB1B,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE;IAQtC,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAQxC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAInC,MAAM,IAAI,MAAM,EAAE;IAIlB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,GAAG,MAAM,EAAE;IAInD,QAAQ,IAAI,2BAA2B,CAAC,MAAM,CAAC;IAItD,qFAAqF;WACvE,YAAY,CACtB,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAE/B,QAAQ,EAAE,2BAA2B,CAAC,MAAM,CAAC,EAC7C,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,kBAAkB,CAAC,MAAM,CAAC;IA0BtB,QAAQ,IAAI,0BAA0B;IA+B7C,OAAO,CAAC,eAAe;CAS1B"}

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

@@ -1,193 +0,0 @@
-import { Value } from "typebox/value";
-import { CoreClaimSourceAssociationSchema } from "../schemata/source.js";
-import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
-import { entityChecksum } from "./checksum.js";
-import { ASSOC_SCHEMA_INVALID, ASSOC_CLAIM_REF_NOT_FOUND, ASSOC_SOURCE_REF_NOT_FOUND, } from "../types/validation.js";
-import { InvariantViolationError } from "./invariant-violation-error.js";
-export class ClaimSourceLibrary {
-    associations;
-    claimToAssociations;
-    sourceToAssociations;
-    claimLookup;
-    sourceLookup;
-    checksumConfig;
-    constructor(claimLookup, sourceLookup, options) {
-        this.associations = new Map();
-        this.claimToAssociations = new Map();
-        this.sourceToAssociations = new Map();
-        this.claimLookup = claimLookup;
-        this.sourceLookup = sourceLookup;
-        this.checksumConfig = options?.checksumConfig;
-    }
-    restoreFromSnapshot(snap) {
-        this.associations = new Map();
-        this.claimToAssociations = new Map();
-        this.sourceToAssociations = new Map();
-        for (const assoc of snap.claimSourceAssociations) {
-            this.associations.set(assoc.id, assoc);
-        }
-        for (const [id, assoc] of this.associations) {
-            const claimKey = assoc.claimId;
-            if (!this.claimToAssociations.has(claimKey)) {
-                this.claimToAssociations.set(claimKey, new Set());
-            }
-            this.claimToAssociations.get(claimKey).add(id);
-            const sourceKey = assoc.sourceId;
-            if (!this.sourceToAssociations.has(sourceKey)) {
-                this.sourceToAssociations.set(sourceKey, new Set());
-            }
-            this.sourceToAssociations.get(sourceKey).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(assoc) {
-        return this.withValidation(() => {
-            if (this.associations.has(assoc.id)) {
-                throw new Error(`ClaimSourceAssociation with ID "${assoc.id}" already exists.`);
-            }
-            const claim = this.claimLookup.get(assoc.claimId, assoc.claimVersion);
-            if (!claim) {
-                throw new Error(`Claim "${assoc.claimId}" version ${assoc.claimVersion} not found in claim lookup.`);
-            }
-            const source = this.sourceLookup.get(assoc.sourceId, assoc.sourceVersion);
-            if (!source) {
-                throw new Error(`Source "${assoc.sourceId}" version ${assoc.sourceVersion} not found in source lookup.`);
-            }
-            const full = { ...assoc, checksum: "" };
-            full.checksum = this.computeChecksum(full);
-            this.associations.set(full.id, full);
-            let claimSet = this.claimToAssociations.get(full.claimId);
-            if (!claimSet) {
-                claimSet = new Set();
-                this.claimToAssociations.set(full.claimId, claimSet);
-            }
-            claimSet.add(full.id);
-            let sourceSet = this.sourceToAssociations.get(full.sourceId);
-            if (!sourceSet) {
-                sourceSet = new Set();
-                this.sourceToAssociations.set(full.sourceId, sourceSet);
-            }
-            sourceSet.add(full.id);
-            return full;
-        });
-    }
-    remove(id) {
-        return this.withValidation(() => {
-            const assoc = this.associations.get(id);
-            if (!assoc) {
-                throw new Error(`ClaimSourceAssociation "${id}" not found.`);
-            }
-            this.associations.delete(id);
-            const claimSet = this.claimToAssociations.get(assoc.claimId);
-            if (claimSet) {
-                claimSet.delete(id);
-            }
-            const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
-            if (sourceSet) {
-                sourceSet.delete(id);
-            }
-            return assoc;
-        });
-    }
-    getForClaim(claimId) {
-        const ids = this.claimToAssociations.get(claimId);
-        if (!ids)
-            return [];
-        return Array.from(ids)
-            .map((id) => this.associations.get(id))
-            .filter(Boolean);
-    }
-    getForSource(sourceId) {
-        const ids = this.sourceToAssociations.get(sourceId);
-        if (!ids)
-            return [];
-        return Array.from(ids)
-            .map((id) => this.associations.get(id))
-            .filter(Boolean);
-    }
-    get(id) {
-        return this.associations.get(id);
-    }
-    getAll() {
-        return Array.from(this.associations.values());
-    }
-    filter(predicate) {
-        return this.getAll().filter(predicate);
-    }
-    snapshot() {
-        return { claimSourceAssociations: this.getAll() };
-    }
-    /** Restores a claim-source library from a snapshot, re-indexing all associations. */
-    static fromSnapshot(snapshot, claimLookup, sourceLookup, options) {
-        const lib = new ClaimSourceLibrary(claimLookup, sourceLookup, options);
-        for (const assoc of snapshot.claimSourceAssociations) {
-            lib.associations.set(assoc.id, assoc);
-            let claimSet = lib.claimToAssociations.get(assoc.claimId);
-            if (!claimSet) {
-                claimSet = new Set();
-                lib.claimToAssociations.set(assoc.claimId, claimSet);
-            }
-            claimSet.add(assoc.id);
-            let sourceSet = lib.sourceToAssociations.get(assoc.sourceId);
-            if (!sourceSet) {
-                sourceSet = new Set();
-                lib.sourceToAssociations.set(assoc.sourceId, sourceSet);
-            }
-            sourceSet.add(assoc.id);
-        }
-        return lib;
-    }
-    validate() {
-        const violations = [];
-        for (const [id, assoc] of this.associations) {
-            if (!Value.Check(CoreClaimSourceAssociationSchema, assoc)) {
-                violations.push({
-                    code: ASSOC_SCHEMA_INVALID,
-                    message: `Association "${id}" does not conform to schema`,
-                    entityType: "association",
-                    entityId: id,
-                });
-            }
-            if (!this.claimLookup.get(assoc.claimId, assoc.claimVersion)) {
-                violations.push({
-                    code: ASSOC_CLAIM_REF_NOT_FOUND,
-                    message: `Association "${id}" references non-existent claim "${assoc.claimId}" version ${assoc.claimVersion}`,
-                    entityType: "association",
-                    entityId: id,
-                });
-            }
-            if (!this.sourceLookup.get(assoc.sourceId, assoc.sourceVersion)) {
-                violations.push({
-                    code: ASSOC_SOURCE_REF_NOT_FOUND,
-                    message: `Association "${id}" references non-existent source "${assoc.sourceId}" version ${assoc.sourceVersion}`,
-                    entityType: "association",
-                    entityId: id,
-                });
-            }
-        }
-        return { ok: violations.length === 0, violations };
-    }
-    computeChecksum(assoc) {
-        const fields = this.checksumConfig?.claimSourceAssociationFields ??
-            DEFAULT_CHECKSUM_CONFIG.claimSourceAssociationFields;
-        return entityChecksum(assoc, fields);
-    }
-}
-//# sourceMappingURL=claim-source-library.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"claim-source-library.js","sourceRoot":"","sources":["../../../src/lib/core/claim-source-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,gCAAgC,EAAE,MAAM,uBAAuB,CAAA;AAExE,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAW9C,OAAO,EACH,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,GAC7B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE,MAAM,OAAO,kBAAkB;IAGnB,YAAY,CAAqB;IACjC,mBAAmB,CAA0B;IAC7C,oBAAoB,CAA0B;IAC9C,WAAW,CAAc;IACzB,YAAY,CAAe;IAC3B,cAAc,CAAsB;IAE5C,YACI,WAAyB,EACzB,YAA2B,EAC3B,OAAkD;QAElD,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAA;QAC7B,IAAI,CAAC,mBAAmB,GAAG,IAAI,GAAG,EAAE,CAAA;QACpC,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;QAChC,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CACvB,IAAyC;QAEzC,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAA;QAC7B,IAAI,CAAC,mBAAmB,GAAG,IAAI,GAAG,EAAE,CAAA;QACpC,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,uBAAuB,EAAE,CAAC;YAC/C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAC1C,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAA;YAC9B,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACrD,CAAC;YACD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAE/C,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAA;YAChC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5C,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACvD,CAAC;YACD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACrD,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,KAA+B;QACtC,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,KAAK,CACX,mCAAmC,KAAK,CAAC,EAAE,mBAAmB,CACjE,CAAA;YACL,CAAC;YAED,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAC9B,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CACX,UAAU,KAAK,CAAC,OAAO,aAAa,KAAK,CAAC,YAAY,6BAA6B,CACtF,CAAA;YACL,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAChC,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,aAAa,CACtB,CAAA;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACX,WAAW,KAAK,CAAC,QAAQ,aAAa,KAAK,CAAC,aAAa,8BAA8B,CAC1F,CAAA;YACL,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAY,CAAA;YACjD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAEpC,IAAI,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACxD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAErB,IAAI,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;gBACrB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YAC3D,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAEtB,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,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACvC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CAAC,2BAA2B,EAAE,cAAc,CAAC,CAAA;YAChE,CAAC;YAED,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAE5B,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC5D,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACvB,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC/D,IAAI,SAAS,EAAE,CAAC;gBACZ,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACxB,CAAC;YAED,OAAO,KAAK,CAAA;QAChB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,WAAW,CAAC,OAAe;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACjD,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,YAAY,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACvC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,YAAY,CAAC,QAAgB;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACnD,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,YAAY,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACvC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACpC,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAA;IACjD,CAAC;IAEM,MAAM,CAAC,SAAiC;QAC3C,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC1C,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACrD,CAAC;IAED,qFAAqF;IAC9E,MAAM,CAAC,YAAY,CAItB,QAA6C,EAC7C,WAAyB,EACzB,YAA2B,EAC3B,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,kBAAkB,CAC9B,WAAW,EACX,YAAY,EACZ,OAAO,CACV,CAAA;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;YACnD,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAErC,IAAI,QAAQ,GAAG,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACxD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAEtB,IAAI,SAAS,GAAG,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;gBACrB,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YAC3D,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC3B,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,YAAY,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,gCAAgC,EAAE,KAAK,CAAC,EAAE,CAAC;gBACxD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,gBAAgB,EAAE,8BAA8B;oBACzD,UAAU,EAAE,aAAa;oBACzB,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,gBAAgB,EAAE,oCAAoC,KAAK,CAAC,OAAO,aAAa,KAAK,CAAC,YAAY,EAAE;oBAC7G,UAAU,EAAE,aAAa;oBACzB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC9D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,gBAAgB,EAAE,qCAAqC,KAAK,CAAC,QAAQ,aAAa,KAAK,CAAC,aAAa,EAAE;oBAChH,UAAU,EAAE,aAAa;oBACzB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAEO,eAAe,CAAC,KAAa;QACjC,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,4BAA4B;YACjD,uBAAuB,CAAC,4BAA6B,CAAA;QACzD,OAAO,cAAc,CACjB,KAA2C,EAC3C,MAAM,CACT,CAAA;IACL,CAAC;CACJ"}

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

@@ -1,23 +0,0 @@
-import type { TCoreSource } from "../schemata/source.js";
-import type { TCoreChecksumConfig } from "../types/checksum.js";
-import type { TSourceLibraryManagement, TSourceLibrarySnapshot } from "./interfaces/library.interfaces.js";
-import { VersionedLibrary } from "./versioned-library.js";
-export declare class SourceLibrary<TSource extends TCoreSource = TCoreSource> extends VersionedLibrary<TSource> implements TSourceLibraryManagement<TSource> {
-    protected readonly entityLabel = "Source";
-    protected readonly entityType: "source";
-    protected readonly schema: import("typebox").TObject<{
-        id: import("typebox").TString;
-        version: import("typebox").TNumber;
-        frozen: import("typebox").TBoolean;
-        checksum: import("typebox").TString;
-    }>;
-    protected readonly checksumFieldsKey: "sourceFields";
-    protected readonly schemaInvalidCode = "SOURCE_SCHEMA_INVALID";
-    protected readonly frozenSuccessorCode = "SOURCE_FROZEN_NO_SUCCESSOR";
-    snapshot(): TSourceLibrarySnapshot<TSource>;
-    /** Restores a source library from a previously captured snapshot. */
-    static fromSnapshot<TSource extends TCoreSource = TCoreSource>(snapshot: TSourceLibrarySnapshot<TSource>, options?: {
-        checksumConfig?: TCoreChecksumConfig;
-    }): SourceLibrary<TSource>;
-}
-//# sourceMappingURL=source-library.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"source-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/source-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AAExD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EACR,wBAAwB,EACxB,sBAAsB,EACzB,MAAM,oCAAoC,CAAA;AAK3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAEzD,qBAAa,aAAa,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW,CAChE,SAAQ,gBAAgB,CAAC,OAAO,CAChC,YAAW,wBAAwB,CAAC,OAAO,CAAC;IAE5C,SAAS,CAAC,QAAQ,CAAC,WAAW,YAAW;IACzC,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAG,QAAQ,CAAS;IACjD,SAAS,CAAC,QAAQ,CAAC,MAAM;;;;;OAAmB;IAC5C,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAG,cAAc,CAAS;IAC9D,SAAS,CAAC,QAAQ,CAAC,iBAAiB,2BAAwB;IAC5D,SAAS,CAAC,QAAQ,CAAC,mBAAmB,gCAA6B;IAE5D,QAAQ,IAAI,sBAAsB,CAAC,OAAO,CAAC;IAIlD,qEAAqE;WACvD,YAAY,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW,EAChE,QAAQ,EAAE,sBAAsB,CAAC,OAAO,CAAC,EACzC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,aAAa,CAAC,OAAO,CAAC;CAK5B"}