@polintpro/proposit-core 0.5.3 → 0.5.6

package/dist/cli/storage/libraries.js

@@ -0,0 +1,61 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import { ClaimLibrary } from "../../lib/core/claim-library.js";
+import { SourceLibrary } from "../../lib/core/source-library.js";
+import { ClaimSourceLibrary } from "../../lib/core/claim-source-library.js";
+import { getStateDir } from "../config.js";
+function claimsPath() {
+    return path.join(getStateDir(), "claims.json");
+}
+function sourcesPath() {
+    return path.join(getStateDir(), "sources.json");
+}
+function claimSourceAssociationsPath() {
+    return path.join(getStateDir(), "claim-source-associations.json");
+}
+export async function readClaimLibrary() {
+    try {
+        const content = await fs.readFile(claimsPath(), "utf-8");
+        const snapshot = JSON.parse(content);
+        return ClaimLibrary.fromSnapshot(snapshot);
+    }
+    catch {
+        return new ClaimLibrary();
+    }
+}
+export async function readSourceLibrary() {
+    try {
+        const content = await fs.readFile(sourcesPath(), "utf-8");
+        const snapshot = JSON.parse(content);
+        return SourceLibrary.fromSnapshot(snapshot);
+    }
+    catch {
+        return new SourceLibrary();
+    }
+}
+export async function readClaimSourceLibrary(claimLookup, sourceLookup) {
+    try {
+        const content = await fs.readFile(claimSourceAssociationsPath(), "utf-8");
+        const snapshot = JSON.parse(content);
+        return ClaimSourceLibrary.fromSnapshot(snapshot, claimLookup, sourceLookup);
+    }
+    catch {
+        return new ClaimSourceLibrary(claimLookup, sourceLookup);
+    }
+}
+export async function writeClaimLibrary(library) {
+    const filePath = claimsPath();
+    await fs.mkdir(path.dirname(filePath), { recursive: true });
+    await fs.writeFile(filePath, JSON.stringify(library.snapshot(), null, 2));
+}
+export async function writeSourceLibrary(library) {
+    const filePath = sourcesPath();
+    await fs.mkdir(path.dirname(filePath), { recursive: true });
+    await fs.writeFile(filePath, JSON.stringify(library.snapshot(), null, 2));
+}
+export async function writeClaimSourceLibrary(library) {
+    const filePath = claimSourceAssociationsPath();
+    await fs.mkdir(path.dirname(filePath), { recursive: true });
+    await fs.writeFile(filePath, JSON.stringify(library.snapshot(), null, 2));
+}
+//# sourceMappingURL=libraries.js.map

package/dist/cli/storage/libraries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"libraries.js","sourceRoot":"","sources":["../../../src/cli/storage/libraries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAK3E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE1C,SAAS,UAAU;IACf,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,aAAa,CAAC,CAAA;AAClD,CAAC;AAED,SAAS,WAAW;IAChB,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,cAAc,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,2BAA2B;IAChC,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,gCAAgC,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB;IAClC,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,OAAO,CAAC,CAAA;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC9C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,YAAY,EAAE,CAAA;IAC7B,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB;IACnC,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC/C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,aAAa,EAAE,CAAA;IAC9B,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CACxC,WAAyB,EACzB,YAA2B;IAE3B,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAC7B,2BAA2B,EAAE,EAC7B,OAAO,CACV,CAAA;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,kBAAkB,CAAC,YAAY,CAClC,QAAQ,EACR,WAAW,EACX,YAAY,CACf,CAAA;IACL,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,kBAAkB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAA;IAC5D,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAAqB;IACzD,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAA;IAC7B,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,OAAsB;IAEtB,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAA;IAC9B,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CACzC,OAA2B;IAE3B,MAAM,QAAQ,GAAG,2BAA2B,EAAE,CAAA;IAC9C,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC"}

package/dist/cli.js

@@ -9,6 +9,7 @@ import { registerPremiseCommands } from "./cli/commands/premises.js";
 import { registerExpressionCommands } from "./cli/commands/expressions.js";
 import { registerAnalysisCommands } from "./cli/commands/analysis.js";
 import { registerSourceCommands } from "./cli/commands/sources.js";
+import { registerClaimCommands } from "./cli/commands/claims.js";
 import { registerRenderCommand } from "./cli/commands/render.js";
 import { registerDiffCommand } from "./cli/commands/diff.js";
 import { isNamedCommand, resolveVersion } from "./cli/router.js";
@@ -22,7 +23,9 @@ program
 // ── Named top-level commands ──────────────────────────────────────────────────
 registerMetaCommands(program);
 registerArgumentCommands(program);
+registerClaimCommands(program);
 registerDiffCommand(program);
+registerSourceCommands(program);
 // ── Version-scoped commands ───────────────────────────────────────────────────
 // If the first user argument is not a named command, treat it as an argument ID
 // followed by a version specifier, then dispatch to the appropriate sub-program.
@@ -44,7 +47,6 @@ if (!isNamedCommand(process.argv)) {
     registerPremiseCommands(sub, argumentId, version);
     registerExpressionCommands(sub, argumentId, version);
     registerAnalysisCommands(sub, argumentId, version);
-    registerSourceCommands(sub, argumentId, version);
     // Replace the consumed positional args with the remainder so Commander
     // sees: ["node", "proposit-core", <group>, <subcommand>, ...]
     await sub.parseAsync(["node", "proposit-core", ...rest]);

package/dist/cli.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAE3C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAA;AAC7B,OAAO;KACF,IAAI,CAAC,eAAe,CAAC;KACrB,WAAW,CAAC,mBAAmB,CAAC;KAChC,uBAAuB,EAAE;KACzB,kBAAkB,CAAC,KAAK,CAAC,CAAA;AAE9B,iFAAiF;AACjF,oBAAoB,CAAC,OAAO,CAAC,CAAA;AAC7B,wBAAwB,CAAC,OAAO,CAAC,CAAA;AACjC,mBAAmB,CAAC,OAAO,CAAC,CAAA;AAE5B,iFAAiF;AACjF,gFAAgF;AAChF,iFAAiF;AACjF,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAChC,MAAM,CAAC,EAAE,AAAD,EAAG,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAA;IAE1D,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7B,SAAS,CACL,sHAAsH,CACzH,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAE5D,MAAM,GAAG,GAAG,IAAI,OAAO,EAAE,CAAA;IACzB,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC;SACpB,WAAW,CAAC,gBAAgB,UAAU,IAAI,OAAO,EAAE,CAAC;SACpD,uBAAuB,EAAE,CAAA;IAE9B,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC/C,oBAAoB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAClD,uBAAuB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACjD,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAClD,sBAAsB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAEhD,uEAAuE;IACvE,8DAA8D;IAC9D,MAAM,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;AAC5D,CAAC;KAAM,CAAC;IACJ,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AAC1C,CAAC"}
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAE3C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAA;AAC7B,OAAO;KACF,IAAI,CAAC,eAAe,CAAC;KACrB,WAAW,CAAC,mBAAmB,CAAC;KAChC,uBAAuB,EAAE;KACzB,kBAAkB,CAAC,KAAK,CAAC,CAAA;AAE9B,iFAAiF;AACjF,oBAAoB,CAAC,OAAO,CAAC,CAAA;AAC7B,wBAAwB,CAAC,OAAO,CAAC,CAAA;AACjC,qBAAqB,CAAC,OAAO,CAAC,CAAA;AAC9B,mBAAmB,CAAC,OAAO,CAAC,CAAA;AAC5B,sBAAsB,CAAC,OAAO,CAAC,CAAA;AAE/B,iFAAiF;AACjF,gFAAgF;AAChF,iFAAiF;AACjF,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAChC,MAAM,CAAC,EAAE,AAAD,EAAG,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAA;IAE1D,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7B,SAAS,CACL,sHAAsH,CACzH,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAE5D,MAAM,GAAG,GAAG,IAAI,OAAO,EAAE,CAAA;IACzB,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC;SACpB,WAAW,CAAC,gBAAgB,UAAU,IAAI,OAAO,EAAE,CAAC;SACpD,uBAAuB,EAAE,CAAA;IAE9B,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC/C,oBAAoB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAClD,uBAAuB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACjD,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAElD,uEAAuE;IACvE,8DAA8D;IAC9D,MAAM,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;AAC5D,CAAC;KAAM,CAAC;IACJ,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AAC1C,CAAC"}

package/dist/extensions/basics/argument-parser.d.ts

@@ -0,0 +1,12 @@
+import { ArgumentParser } from "../../lib/parsing/argument-parser.js";
+import type { TParsedArgument, TParsedClaim, TParsedPremise } from "../../lib/parsing/schemata.js";
+import type { TBasicsArgument, TBasicsClaim, TBasicsPremise } from "./schemata.js";
+import type { TCorePropositionalExpression, TCorePropositionalVariable } from "../../lib/schemata/propositional.js";
+import type { TCoreSource, TCoreClaimSourceAssociation } from "../../lib/schemata/source.js";
+export declare class BasicsArgumentParser extends ArgumentParser<TBasicsArgument, TBasicsPremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreSource, TBasicsClaim, TCoreClaimSourceAssociation> {
+    constructor();
+    protected mapArgument(parsed: TParsedArgument): Record<string, unknown>;
+    protected mapClaim(parsed: TParsedClaim): Record<string, unknown>;
+    protected mapPremise(parsed: TParsedPremise): Record<string, unknown>;
+}
+//# sourceMappingURL=argument-parser.d.ts.map

package/dist/extensions/basics/argument-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAA;AACrE,OAAO,KAAK,EACR,eAAe,EACf,YAAY,EACZ,cAAc,EACjB,MAAM,+BAA+B,CAAA;AAEtC,OAAO,KAAK,EACR,eAAe,EACf,YAAY,EACZ,cAAc,EACjB,MAAM,eAAe,CAAA;AACtB,OAAO,KAAK,EACR,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,qCAAqC,CAAA;AAC5C,OAAO,KAAK,EACR,WAAW,EACX,2BAA2B,EAC9B,MAAM,8BAA8B,CAAA;AAErC,qBAAa,oBAAqB,SAAQ,cAAc,CACpD,eAAe,EACf,cAAc,EACd,4BAA4B,EAC5B,0BAA0B,EAC1B,WAAW,EACX,YAAY,EACZ,2BAA2B,CAC9B;;IAKG,SAAS,CAAC,WAAW,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAOvE,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAQjE,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAMxE"}

package/dist/extensions/basics/argument-parser.js

@@ -0,0 +1,27 @@
+import { ArgumentParser } from "../../lib/parsing/argument-parser.js";
+import { BasicsParsingSchema } from "./schemata.js";
+export class BasicsArgumentParser extends ArgumentParser {
+    constructor() {
+        super(BasicsParsingSchema);
+    }
+    mapArgument(parsed) {
+        const ext = parsed;
+        return {
+            ...(ext.title !== undefined ? { title: ext.title } : {}),
+        };
+    }
+    mapClaim(parsed) {
+        const ext = parsed;
+        return {
+            ...(ext.title !== undefined ? { title: ext.title } : {}),
+            ...(ext.body !== undefined ? { body: ext.body } : {}),
+        };
+    }
+    mapPremise(parsed) {
+        const ext = parsed;
+        return {
+            ...(ext.title !== undefined ? { title: ext.title } : {}),
+        };
+    }
+}
+//# sourceMappingURL=argument-parser.js.map

package/dist/extensions/basics/argument-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument-parser.js","sourceRoot":"","sources":["../../../src/extensions/basics/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAA;AAMrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAenD,MAAM,OAAO,oBAAqB,SAAQ,cAQzC;IACG;QACI,KAAK,CAAC,mBAAmB,CAAC,CAAA;IAC9B,CAAC;IAES,WAAW,CAAC,MAAuB;QACzC,MAAM,GAAG,GAAG,MAAiC,CAAA;QAC7C,OAAO;YACH,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3D,CAAA;IACL,CAAC;IAES,QAAQ,CAAC,MAAoB;QACnC,MAAM,GAAG,GAAG,MAAiC,CAAA;QAC7C,OAAO;YACH,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxD,CAAA;IACL,CAAC;IAES,UAAU,CAAC,MAAsB;QACvC,MAAM,GAAG,GAAG,MAAiC,CAAA;QAC7C,OAAO;YACH,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3D,CAAA;IACL,CAAC;CACJ"}

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

@@ -0,0 +1,4 @@
+export { BasicsArgumentSchema, BasicsClaimSchema, BasicsPremiseSchema, BasicsParsingSchema, } from "./schemata.js";
+export type { TBasicsArgument, TBasicsClaim, TBasicsPremise, } from "./schemata.js";
+export { BasicsArgumentParser } from "./argument-parser.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,GACtB,MAAM,eAAe,CAAA;AACtB,YAAY,EACR,eAAe,EACf,YAAY,EACZ,cAAc,GACjB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA"}

package/dist/extensions/basics/index.js

@@ -0,0 +1,3 @@
+export { BasicsArgumentSchema, BasicsClaimSchema, BasicsPremiseSchema, BasicsParsingSchema, } from "./schemata.js";
+export { BasicsArgumentParser } from "./argument-parser.js";
+//# sourceMappingURL=index.js.map

package/dist/extensions/basics/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/extensions/basics/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,GACtB,MAAM,eAAe,CAAA;AAMtB,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA"}

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

@@ -0,0 +1,31 @@
+import Type, { type Static } from "typebox";
+export declare const BasicsArgumentSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TString;
+    description: Type.TOptional<Type.TString>;
+}>]>;
+export type TBasicsArgument = Static<typeof BasicsArgumentSchema>;
+export declare const BasicsClaimSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    frozen: Type.TBoolean;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TString;
+    body: Type.TString;
+}>]>;
+export type TBasicsClaim = Static<typeof BasicsClaimSchema>;
+export declare const BasicsPremiseSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TString;
+}>]>;
+export type TBasicsPremise = Static<typeof BasicsPremiseSchema>;
+export declare const BasicsParsingSchema: Type.TSchema;
+//# sourceMappingURL=schemata.d.ts.map

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

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

package/dist/extensions/basics/schemata.js

@@ -0,0 +1,55 @@
+import Type, {} from "typebox";
+import { CoreArgumentSchema } from "../../lib/schemata/argument.js";
+import { CoreClaimSchema } from "../../lib/schemata/claim.js";
+import { CorePremiseSchema } from "../../lib/schemata/propositional.js";
+import { buildParsingResponseSchema } from "../../lib/parsing/schemata.js";
+// Core entity extensions
+export const BasicsArgumentSchema = Type.Intersect([
+    CoreArgumentSchema,
+    Type.Object({
+        title: Type.String(),
+        description: Type.Optional(Type.String()),
+    }),
+]);
+export const BasicsClaimSchema = Type.Intersect([
+    CoreClaimSchema,
+    Type.Object({
+        title: Type.String(),
+        body: Type.String(),
+    }),
+]);
+export const BasicsPremiseSchema = Type.Intersect([
+    CorePremiseSchema,
+    Type.Object({
+        title: Type.String(),
+    }),
+]);
+// Parsing response extensions
+const BasicsClaimExtension = Type.Object({
+    title: Type.String({
+        maxLength: 50,
+        description: "A short title summarizing the claim",
+    }),
+    body: Type.String({
+        maxLength: 500,
+        description: "A detailed description of the claim",
+    }),
+});
+const BasicsPremiseExtension = Type.Object({
+    title: Type.String({
+        maxLength: 50,
+        description: "A short title for this premise",
+    }),
+});
+const BasicsArgumentExtension = Type.Object({
+    title: Type.String({
+        maxLength: 50,
+        description: "A short title for the argument",
+    }),
+});
+export const BasicsParsingSchema = buildParsingResponseSchema({
+    claimSchema: BasicsClaimExtension,
+    premiseSchema: BasicsPremiseExtension,
+    parsedArgumentSchema: BasicsArgumentExtension,
+});
+//# sourceMappingURL=schemata.js.map

package/dist/extensions/basics/schemata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAE1E,yBAAyB;AACzB,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KAC5C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,eAAe;IACf,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;KACtB,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,iBAAiB;IACjB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;KACvB,CAAC;CACL,CAAC,CAAA;AAGF,8BAA8B;AAC9B,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;QACd,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,qCAAqC;KACrD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,0BAA0B,CAAC;IAC1D,WAAW,EAAE,oBAAoB;IACjC,aAAa,EAAE,sBAAsB;IACrC,oBAAoB,EAAE,uBAAuB;CAChD,CAAC,CAAA"}

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

@@ -1,7 +1,7 @@
 import type { TCoreClaim } from "../schemata/claim.js";
 import type { TCoreChecksumConfig } from "../types/checksum.js";
-import type { TClaimLookup, TClaimLibrarySnapshot } from "./interfaces/library.interfaces.js";
-export declare class ClaimLibrary<TClaim extends TCoreClaim = TCoreClaim> implements TClaimLookup<TClaim> {
+import type { TClaimLibraryManagement, TClaimLibrarySnapshot } from "./interfaces/library.interfaces.js";
+export declare class ClaimLibrary<TClaim extends TCoreClaim = TCoreClaim> implements TClaimLibraryManagement<TClaim> {
     private entities;
     private checksumConfig?;
     constructor(options?: {

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

@@ -1 +1 @@
-{"version":3,"file":"claim-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,qBAAqB,EACxB,MAAM,oCAAoC,CAAA;AAE3C,qBAAa,YAAY,CACrB,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,YAAW,YAAY,CAAC,MAAM,CAAC;IAC7B,OAAO,CAAC,QAAQ,CAAkC;IAClD,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAEhC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAKvD,MAAM,CACT,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GACvD,MAAM;IAkBF,MAAM,CACT,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM;IAyBF,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;IAiCvD,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIpD,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAM1C,MAAM,IAAI,MAAM,EAAE;IAUlB,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE;IAQjC,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC;WAIlC,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,EAC7D,QAAQ,EAAE,qBAAqB,CAAC,MAAM,CAAC,EACvC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,YAAY,CAAC,MAAM,CAAC;IAavB,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,eAAe;CAS1B"}
+{"version":3,"file":"claim-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,uBAAuB,EACvB,qBAAqB,EACxB,MAAM,oCAAoC,CAAA;AAE3C,qBAAa,YAAY,CACrB,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,YAAW,uBAAuB,CAAC,MAAM,CAAC;IACxC,OAAO,CAAC,QAAQ,CAAkC;IAClD,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAEhC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAKvD,MAAM,CACT,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GACvD,MAAM;IAkBF,MAAM,CACT,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM;IAyBF,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;IAiCvD,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIpD,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAM1C,MAAM,IAAI,MAAM,EAAE;IAUlB,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE;IAQjC,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC;WAIlC,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,EAC7D,QAAQ,EAAE,qBAAqB,CAAC,MAAM,CAAC,EACvC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,YAAY,CAAC,MAAM,CAAC;IAavB,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,eAAe;CAS1B"}

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

@@ -1,7 +1,7 @@
 import type { TCoreClaimSourceAssociation } from "../schemata/source.js";
 import type { TCoreChecksumConfig } from "../types/checksum.js";
-import type { TClaimLookup, TSourceLookup, TClaimSourceLookup, TClaimSourceLibrarySnapshot } from "./interfaces/library.interfaces.js";
-export declare class ClaimSourceLibrary<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> implements TClaimSourceLookup<TAssoc> {
+import type { TClaimLookup, TSourceLookup, TClaimSourceLibraryManagement, TClaimSourceLibrarySnapshot } from "./interfaces/library.interfaces.js";
+export declare class ClaimSourceLibrary<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> implements TClaimSourceLibraryManagement<TAssoc> {
     private associations;
     private claimToAssociations;
     private sourceToAssociations;

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

@@ -1 +1 @@
-{"version":3,"file":"claim-source-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-source-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,2BAA2B,EAC9B,MAAM,oCAAoC,CAAA;AAE3C,qBAAa,kBAAkB,CAC3B,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAC1E,YAAW,kBAAkB,CAAC,MAAM,CAAC;IACnC,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;IAU/C,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM;IA8C5C,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAqB1B,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;WAIxC,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;IA0B7B,OAAO,CAAC,eAAe;CAS1B"}
+{"version":3,"file":"claim-source-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-source-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,6BAA6B,EAC7B,2BAA2B,EAC9B,MAAM,oCAAoC,CAAA;AAE3C,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;IAU/C,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM;IA8C5C,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAqB1B,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;WAIxC,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;IA0B7B,OAAO,CAAC,eAAe;CAS1B"}

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

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

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

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

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

@@ -1,36 +1,265 @@
 import type { TCoreClaim } from "../../schemata/claim.js";
 import type { TCoreClaimSourceAssociation, TCoreSource } from "../../schemata/source.js";
-/** Narrow read-only interface for claim lookups. Used by ArgumentEngine for validation. */
+/**
+ * Narrow read-only interface for claim lookups. Used by `ArgumentEngine` for
+ * variable validation — callers that only need to verify claim existence
+ * should depend on this rather than the full `ClaimLibrary`.
+ */
 export interface TClaimLookup<TClaim extends TCoreClaim = TCoreClaim> {
+    /**
+     * Returns a claim by ID and version, or `undefined` if not found.
+     *
+     * @param id - The claim ID.
+     * @param version - The claim version number.
+     * @returns The claim entity, or `undefined`.
+     */
     get(id: string, version: number): TClaim | undefined;
 }
-/** Narrow read-only interface for source lookups. Used by ArgumentEngine for validation. */
+/**
+ * Narrow read-only interface for source lookups. Used by `ArgumentEngine` for
+ * validation — callers that only need to verify source existence should depend
+ * on this rather than the full `SourceLibrary`.
+ */
 export interface TSourceLookup<TSource extends TCoreSource = TCoreSource> {
+    /**
+     * Returns a source by ID and version, or `undefined` if not found.
+     *
+     * @param id - The source ID.
+     * @param version - The source version number.
+     * @returns The source entity, or `undefined`.
+     */
     get(id: string, version: number): TSource | undefined;
 }
-/** Serializable snapshot of a ClaimLibrary. */
-export type TClaimLibrarySnapshot<TClaim extends TCoreClaim = TCoreClaim> = {
-    claims: TClaim[];
-};
-/** Serializable snapshot of a SourceLibrary. */
-export type TSourceLibrarySnapshot<TSource extends TCoreSource = TCoreSource> = {
-    sources: TSource[];
-};
+/**
+ * Full management interface for a versioned claim library. Extends
+ * `TClaimLookup` with mutation, query, and snapshot methods.
+ */
+export interface TClaimLibraryManagement<TClaim extends TCoreClaim = TCoreClaim> extends TClaimLookup<TClaim> {
+    /**
+     * Creates a new claim at version 0. The `version`, `frozen`, and
+     * `checksum` fields are assigned automatically.
+     *
+     * @param claim - The claim data without system-managed fields.
+     * @returns The created claim entity with all fields populated.
+     * @throws If a claim with the same ID already exists.
+     */
+    create(claim: Omit<TClaim, "version" | "frozen" | "checksum">): TClaim;
+    /**
+     * Updates mutable fields on the current (latest, unfrozen) version of a
+     * claim. System-managed fields (`id`, `version`, `frozen`, `checksum`)
+     * cannot be updated.
+     *
+     * @param id - The claim ID.
+     * @param updates - The fields to update.
+     * @returns The updated claim entity.
+     * @throws If the claim does not exist.
+     * @throws If the current version is frozen.
+     */
+    update(id: string, updates: Partial<Omit<TClaim, "id" | "version" | "frozen" | "checksum">>): TClaim;
+    /**
+     * Freezes the current version of a claim (marking it immutable) and
+     * creates a new mutable version at `version + 1`.
+     *
+     * @param id - The claim ID.
+     * @returns An object containing the `frozen` version and the new
+     *   `current` (mutable) version.
+     * @throws If the claim does not exist.
+     * @throws If the current version is already frozen.
+     */
+    freeze(id: string): {
+        frozen: TClaim;
+        current: TClaim;
+    };
+    /**
+     * Returns the latest version of a claim, or `undefined` if not found.
+     *
+     * @param id - The claim ID.
+     * @returns The latest claim entity, or `undefined`.
+     */
+    getCurrent(id: string): TClaim | undefined;
+    /**
+     * Returns all claim entities across all IDs and versions.
+     *
+     * @returns An array of all claim entities.
+     */
+    getAll(): TClaim[];
+    /**
+     * Returns all versions of a claim sorted by version number ascending.
+     *
+     * @param id - The claim ID.
+     * @returns An array of claim entities, or an empty array if the ID does
+     *   not exist.
+     */
+    getVersions(id: string): TClaim[];
+    /**
+     * Returns a serializable snapshot of all claims in the library.
+     *
+     * @returns The claim library snapshot.
+     */
+    snapshot(): TClaimLibrarySnapshot<TClaim>;
+}
+/**
+ * Full management interface for a versioned source library. Extends
+ * `TSourceLookup` with mutation, query, and snapshot methods.
+ */
+export interface TSourceLibraryManagement<TSource extends TCoreSource = TCoreSource> extends TSourceLookup<TSource> {
+    /**
+     * Creates a new source at version 0. The `version`, `frozen`, and
+     * `checksum` fields are assigned automatically.
+     *
+     * @param source - The source data without system-managed fields.
+     * @returns The created source entity with all fields populated.
+     * @throws If a source with the same ID already exists.
+     */
+    create(source: Omit<TSource, "version" | "frozen" | "checksum">): TSource;
+    /**
+     * Updates mutable fields on the current (latest, unfrozen) version of a
+     * source. System-managed fields (`id`, `version`, `frozen`, `checksum`)
+     * cannot be updated.
+     *
+     * @param id - The source ID.
+     * @param updates - The fields to update.
+     * @returns The updated source entity.
+     * @throws If the source does not exist.
+     * @throws If the current version is frozen.
+     */
+    update(id: string, updates: Partial<Omit<TSource, "id" | "version" | "frozen" | "checksum">>): TSource;
+    /**
+     * Freezes the current version of a source (marking it immutable) and
+     * creates a new mutable version at `version + 1`.
+     *
+     * @param id - The source ID.
+     * @returns An object containing the `frozen` version and the new
+     *   `current` (mutable) version.
+     * @throws If the source does not exist.
+     * @throws If the current version is already frozen.
+     */
+    freeze(id: string): {
+        frozen: TSource;
+        current: TSource;
+    };
+    /**
+     * Returns the latest version of a source, or `undefined` if not found.
+     *
+     * @param id - The source ID.
+     * @returns The latest source entity, or `undefined`.
+     */
+    getCurrent(id: string): TSource | undefined;
+    /**
+     * Returns all source entities across all IDs and versions.
+     *
+     * @returns An array of all source entities.
+     */
+    getAll(): TSource[];
+    /**
+     * Returns all versions of a source sorted by version number ascending.
+     *
+     * @param id - The source ID.
+     * @returns An array of source entities, or an empty array if the ID does
+     *   not exist.
+     */
+    getVersions(id: string): TSource[];
+    /**
+     * Returns a serializable snapshot of all sources in the library.
+     *
+     * @returns The source library snapshot.
+     */
+    snapshot(): TSourceLibrarySnapshot<TSource>;
+}
 /**
  * Narrow read-only interface for claim-source association lookups.
  * Implemented by `ClaimSourceLibrary`. Passed to `ArgumentEngine` as the
  * fourth constructor parameter.
  */
 export interface TClaimSourceLookup<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> {
-    /** Returns all associations for the given claim ID. */
+    /**
+     * Returns all associations for the given claim ID.
+     *
+     * @param claimId - The claim ID to filter by.
+     * @returns An array of matching associations.
+     */
     getForClaim(claimId: string): TAssoc[];
-    /** Returns all associations for the given source ID. */
+    /**
+     * Returns all associations for the given source ID.
+     *
+     * @param sourceId - The source ID to filter by.
+     * @returns An array of matching associations.
+     */
     getForSource(sourceId: string): TAssoc[];
-    /** Returns an association by ID, or `undefined` if not found. */
+    /**
+     * Returns an association by ID, or `undefined` if not found.
+     *
+     * @param id - The association ID.
+     * @returns The association entity, or `undefined`.
+     */
     get(id: string): TAssoc | undefined;
 }
-/** Serializable snapshot of a ClaimSourceLibrary (`{ claimSourceAssociations }`). */
+/**
+ * Full management interface for a claim-source association library. Extends
+ * `TClaimSourceLookup` with mutation, query, and snapshot methods.
+ * Associations are create-or-delete only — no update path.
+ */
+export interface TClaimSourceLibraryManagement<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> extends TClaimSourceLookup<TAssoc> {
+    /**
+     * Creates a claim-source association. Validates that the referenced claim
+     * and source exist in their respective libraries.
+     *
+     * @param assoc - The association data without the `checksum` field.
+     * @returns The created association with checksum populated.
+     * @throws If an association with the same ID already exists.
+     * @throws If the referenced claim or source does not exist.
+     */
+    add(assoc: Omit<TAssoc, "checksum">): TAssoc;
+    /**
+     * Removes a claim-source association by ID.
+     *
+     * @param id - The association ID to remove.
+     * @returns The removed association entity.
+     * @throws If the association does not exist.
+     */
+    remove(id: string): TAssoc;
+    /**
+     * Returns all associations in the library.
+     *
+     * @returns An array of all association entities.
+     */
+    getAll(): TAssoc[];
+    /**
+     * Returns all associations matching the predicate.
+     *
+     * @param predicate - A filter function applied to each association.
+     * @returns An array of matching associations.
+     */
+    filter(predicate: (a: TAssoc) => boolean): TAssoc[];
+    /**
+     * Returns a serializable snapshot of all associations in the library.
+     *
+     * @returns The claim-source library snapshot.
+     */
+    snapshot(): TClaimSourceLibrarySnapshot<TAssoc>;
+}
+/**
+ * Serializable snapshot of a `ClaimLibrary`. Contains all claim entities
+ * across all IDs and versions.
+ */
+export type TClaimLibrarySnapshot<TClaim extends TCoreClaim = TCoreClaim> = {
+    /** All claim entities in the library. */
+    claims: TClaim[];
+};
+/**
+ * Serializable snapshot of a `SourceLibrary`. Contains all source entities
+ * across all IDs and versions.
+ */
+export type TSourceLibrarySnapshot<TSource extends TCoreSource = TCoreSource> = {
+    /** All source entities in the library. */
+    sources: TSource[];
+};
+/**
+ * Serializable snapshot of a `ClaimSourceLibrary`. Contains all association
+ * entities.
+ */
 export type TClaimSourceLibrarySnapshot<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> = {
+    /** All claim-source association entities in the library. */
     claimSourceAssociations: TAssoc[];
 };
 //# sourceMappingURL=library.interfaces.d.ts.map

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

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