@proposit/proposit-core 0.8.9

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

@@ -0,0 +1 @@
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/cli/storage/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EACH,qBAAqB,EACrB,4BAA4B,GAG/B,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC7E,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAClC,UAAkB;IAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAA;IACnE,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;IACpD,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,CAAC,CAAA;IAClD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAsB;IAC1D,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACnC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,EAAE,CAAC,SAAS,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAC3B,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,CAAA;IAC3E,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,WAAW,OAAO,iBAAiB,UAAU,cAAc,CAAC,CAAA;IAC1E,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAAA;IAC1D,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAClC,UAAkB,EAClB,IAA6B;IAE7B,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;IACnD,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,EAAE,CAAC,SAAS,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAC3B,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe;IACjC,MAAM,GAAG,GAAG,eAAe,EAAE,CAAA;IAC7B,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;IAC9D,OAAO,OAAO;SACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;SAClB,IAAI,EAAE,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,UAAkB;IAElB,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,CAAC,CAAA;IACtC,MAAM,OAAO,GAAG,MAAM,EAAE;SACnB,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACrC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IACpB,OAAO,OAAO;SACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC1B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AAC9B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,UAAkB;IACxD,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAA;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,SAAS,CAAC,mCAAmC,UAAU,IAAI,CAAC,CAAA;IAChE,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAClC,UAAkB,EAClB,OAAe;IAEf,MAAM,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE;QAC5C,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,IAAI;KACd,CAAC,CAAA;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,UAAkB;IACtD,MAAM,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,UAAkB,EAClB,WAAmB;IAEnB,MAAM,EAAE,CAAC,EAAE,CACP,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,EACrC,aAAa,CAAC,UAAU,EAAE,WAAW,CAAC,EACtC,EAAE,SAAS,EAAE,IAAI,EAAE,CACtB,CAAA;AACL,CAAC"}

package/dist/cli/storage/libraries.d.ts

@@ -0,0 +1,14 @@
+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 { ForkLibrary } from "../../lib/core/fork-library.js";
+import type { TClaimLookup, TSourceLookup } from "../../lib/core/interfaces/library.interfaces.js";
+export declare function readClaimLibrary(): Promise<ClaimLibrary>;
+export declare function readSourceLibrary(): Promise<SourceLibrary>;
+export declare function readClaimSourceLibrary(claimLookup: TClaimLookup, sourceLookup: TSourceLookup): Promise<ClaimSourceLibrary>;
+export declare function writeClaimLibrary(library: ClaimLibrary): Promise<void>;
+export declare function writeSourceLibrary(library: SourceLibrary): Promise<void>;
+export declare function writeClaimSourceLibrary(library: ClaimSourceLibrary): Promise<void>;
+export declare function readForkLibrary(): Promise<ForkLibrary>;
+export declare function writeForkLibrary(library: ForkLibrary): Promise<void>;
+//# sourceMappingURL=libraries.d.ts.map

package/dist/cli/storage/libraries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"libraries.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/libraries.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAC5D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EAChB,MAAM,iDAAiD,CAAA;AAexD,wBAAsB,gBAAgB,IAAI,OAAO,CAAC,YAAY,CAAC,CAU9D;AAED,wBAAsB,iBAAiB,IAAI,OAAO,CAAC,aAAa,CAAC,CAUhE;AAED,wBAAsB,sBAAsB,CACxC,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,GAC5B,OAAO,CAAC,kBAAkB,CAAC,CAiB7B;AAED,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAI5E;AAED,wBAAsB,kBAAkB,CACpC,OAAO,EAAE,aAAa,GACvB,OAAO,CAAC,IAAI,CAAC,CAIf;AAED,wBAAsB,uBAAuB,CACzC,OAAO,EAAE,kBAAkB,GAC5B,OAAO,CAAC,IAAI,CAAC,CAIf;AAMD,wBAAsB,eAAe,IAAI,OAAO,CAAC,WAAW,CAAC,CAU5D;AAED,wBAAsB,gBAAgB,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAI1E"}

package/dist/cli/storage/libraries.js

@@ -0,0 +1,80 @@
+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 { ForkLibrary } from "../../lib/core/fork-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));
+}
+function forksPath() {
+    return path.join(getStateDir(), "forks.json");
+}
+export async function readForkLibrary() {
+    try {
+        const content = await fs.readFile(forksPath(), "utf-8");
+        const snapshot = JSON.parse(content);
+        return ForkLibrary.fromSnapshot(snapshot);
+    }
+    catch {
+        return new ForkLibrary();
+    }
+}
+export async function writeForkLibrary(library) {
+    const filePath = forksPath();
+    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;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAK5D,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;AAED,SAAS,SAAS;IACd,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,YAAY,CAAC,CAAA;AACjD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe;IACjC,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC7C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,WAAW,EAAE,CAAA;IAC5B,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAoB;IACvD,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAA;IAC5B,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/storage/premises.d.ts

@@ -0,0 +1,9 @@
+import { type TCliPremiseData, type TCliPremiseMeta } from "../schemata.js";
+export declare function readPremiseMeta(argumentId: string, version: number, premiseId: string): Promise<TCliPremiseMeta>;
+export declare function writePremiseMeta(argumentId: string, version: number, meta: TCliPremiseMeta): Promise<void>;
+export declare function readPremiseData(argumentId: string, version: number, premiseId: string): Promise<TCliPremiseData>;
+export declare function writePremiseData(argumentId: string, version: number, premiseId: string, data: TCliPremiseData): Promise<void>;
+export declare function listPremiseIds(argumentId: string, version: number): Promise<string[]>;
+export declare function deletePremiseDir(argumentId: string, version: number, premiseId: string): Promise<void>;
+export declare function premiseExists(argumentId: string, version: number, premiseId: string): Promise<boolean>;
+//# sourceMappingURL=premises.d.ts.map

package/dist/cli/storage/premises.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/premises.ts"],"names":[],"mappings":"AAGA,OAAO,EAGH,KAAK,eAAe,EACpB,KAAK,eAAe,EACvB,MAAM,gBAAgB,CAAA;AAIvB,wBAAsB,eAAe,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAClB,OAAO,CAAC,eAAe,CAAC,CAc1B;AAED,wBAAsB,gBAAgB,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,eAAe,GACtB,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAsB,eAAe,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAClB,OAAO,CAAC,eAAe,CAAC,CAc1B;AAED,wBAAsB,gBAAgB,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,eAAe,GACtB,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAsB,cAAc,CAChC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,EAAE,CAAC,CAUnB;AAED,wBAAsB,gBAAgB,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAClB,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAClB,OAAO,CAAC,OAAO,CAAC,CAMlB"}

package/dist/cli/storage/premises.js

@@ -0,0 +1,67 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import Value from "typebox/value";
+import { CliPremiseDataSchema, CliPremiseMetaSchema, } from "../schemata.js";
+import { getPremiseDir, getPremisesDir } from "../config.js";
+import { errorExit } from "../output.js";
+export async function readPremiseMeta(argumentId, version, premiseId) {
+    const filePath = path.join(getPremiseDir(argumentId, version, premiseId), "meta.json");
+    const content = await fs.readFile(filePath, "utf-8").catch(() => {
+        errorExit(`Premise "${premiseId}" not found.`);
+    });
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(CliPremiseMetaSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writePremiseMeta(argumentId, version, meta) {
+    const dir = getPremiseDir(argumentId, version, meta.id);
+    await fs.mkdir(dir, { recursive: true });
+    await fs.writeFile(path.join(dir, "meta.json"), JSON.stringify(meta, null, 2));
+}
+export async function readPremiseData(argumentId, version, premiseId) {
+    const filePath = path.join(getPremiseDir(argumentId, version, premiseId), "data.json");
+    const content = await fs.readFile(filePath, "utf-8").catch(() => {
+        errorExit(`data.json not found for premise "${premiseId}".`);
+    });
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(CliPremiseDataSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writePremiseData(argumentId, version, premiseId, data) {
+    const dir = getPremiseDir(argumentId, version, premiseId);
+    await fs.mkdir(dir, { recursive: true });
+    await fs.writeFile(path.join(dir, "data.json"), JSON.stringify(data, null, 2));
+}
+export async function listPremiseIds(argumentId, version) {
+    const dir = getPremisesDir(argumentId, version);
+    await fs.mkdir(dir, { recursive: true });
+    const entries = await fs
+        .readdir(dir, { withFileTypes: true })
+        .catch(() => []);
+    return entries
+        .filter((e) => e.isDirectory())
+        .map((e) => e.name)
+        .sort();
+}
+export async function deletePremiseDir(argumentId, version, premiseId) {
+    await fs.rm(getPremiseDir(argumentId, version, premiseId), {
+        recursive: true,
+        force: true,
+    });
+}
+export async function premiseExists(argumentId, version, premiseId) {
+    const dir = getPremiseDir(argumentId, version, premiseId);
+    return fs
+        .stat(dir)
+        .then((s) => s.isDirectory())
+        .catch(() => false);
+}
+//# sourceMappingURL=premises.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/cli/storage/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,KAAK,MAAM,eAAe,CAAA;AACjC,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GAGvB,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,UAAkB,EAClB,OAAe,EACf,SAAiB;IAEjB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACtB,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,EAC7C,WAAW,CACd,CAAA;IACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;IAClD,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAA;IACjD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAClC,UAAkB,EAClB,OAAe,EACf,IAAqB;IAErB,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;IACvD,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,EAAE,CAAC,SAAS,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAC3B,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,UAAkB,EAClB,OAAe,EACf,SAAiB;IAEjB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACtB,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,EAC7C,WAAW,CACd,CAAA;IACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,oCAAoC,SAAS,IAAI,CAAC,CAAA;IAChE,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAA;IACjD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAClC,UAAkB,EAClB,OAAe,EACf,SAAiB,EACjB,IAAqB;IAErB,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;IACzD,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,EAAE,CAAC,SAAS,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAC3B,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,OAAe;IAEf,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC/C,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,MAAM,EAAE;SACnB,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACrC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IACpB,OAAO,OAAO;SACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;SAClB,IAAI,EAAE,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAClC,UAAkB,EAClB,OAAe,EACf,SAAiB;IAEjB,MAAM,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE;QACvD,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,IAAI;KACd,CAAC,CAAA;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe,EACf,SAAiB;IAEjB,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;IACzD,OAAO,EAAE;SACJ,IAAI,CAAC,GAAG,CAAC;SACT,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SAC5B,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;AAC3B,CAAC"}

package/dist/cli/storage/roles.d.ts

@@ -0,0 +1,4 @@
+import { type TCoreArgumentRoleState } from "../../lib/schemata/index.js";
+export declare function readRoles(argumentId: string, version: number): Promise<TCoreArgumentRoleState>;
+export declare function writeRoles(argumentId: string, version: number, roles: TCoreArgumentRoleState): Promise<void>;
+//# sourceMappingURL=roles.d.ts.map

package/dist/cli/storage/roles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"roles.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/roles.ts"],"names":[],"mappings":"AAGA,OAAO,EAEH,KAAK,sBAAsB,EAC9B,MAAM,6BAA6B,CAAA;AAQpC,wBAAsB,SAAS,CAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,sBAAsB,CAAC,CAWjC;AAED,wBAAsB,UAAU,CAC5B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,sBAAsB,GAC9B,OAAO,CAAC,IAAI,CAAC,CAKf"}

package/dist/cli/storage/roles.js

@@ -0,0 +1,26 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import Value from "typebox/value";
+import { CoreArgumentRoleStateSchema, } from "../../lib/schemata/index.js";
+import { getVersionDir } from "../config.js";
+import { errorExit } from "../output.js";
+function rolesPath(argumentId, version) {
+    return path.join(getVersionDir(argumentId, version), "roles.json");
+}
+export async function readRoles(argumentId, version) {
+    const filePath = rolesPath(argumentId, version);
+    const content = await fs.readFile(filePath, "utf-8").catch(() => {
+        errorExit(`roles.json not found for ${argumentId}@${version}.`);
+    });
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(CoreArgumentRoleStateSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writeRoles(argumentId, version, roles) {
+    await fs.writeFile(rolesPath(argumentId, version), JSON.stringify(roles, null, 2));
+}
+//# sourceMappingURL=roles.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"roles.js","sourceRoot":"","sources":["../../../src/cli/storage/roles.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,KAAK,MAAM,eAAe,CAAA;AACjC,OAAO,EACH,2BAA2B,GAE9B,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,SAAS,SAAS,CAAC,UAAkB,EAAE,OAAe;IAClD,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,YAAY,CAAC,CAAA;AACtE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAC3B,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC/C,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,4BAA4B,UAAU,IAAI,OAAO,GAAG,CAAC,CAAA;IACnE,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAA;IACxD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAC5B,UAAkB,EAClB,OAAe,EACf,KAA6B;IAE7B,MAAM,EAAE,CAAC,SAAS,CACd,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,EAC9B,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CACjC,CAAA;AACL,CAAC"}

package/dist/cli/storage/variables.d.ts

@@ -0,0 +1,4 @@
+import type { TCorePropositionalVariable } from "../../lib/schemata/index.js";
+export declare function readVariables(argumentId: string, version: number): Promise<TCorePropositionalVariable[]>;
+export declare function writeVariables(argumentId: string, version: number, variables: TCorePropositionalVariable[]): Promise<void>;
+//# sourceMappingURL=variables.d.ts.map

package/dist/cli/storage/variables.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/variables.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAA;AAuB7E,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,0BAA0B,EAAE,CAAC,CAWvC;AAED,wBAAsB,cAAc,CAChC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,0BAA0B,EAAE,GACxC,OAAO,CAAC,IAAI,CAAC,CAKf"}

package/dist/cli/storage/variables.js

@@ -0,0 +1,36 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import Type from "typebox";
+import Value from "typebox/value";
+import { UUID } from "../../lib/schemata/shared.js";
+import { getVersionDir } from "../config.js";
+import { errorExit } from "../output.js";
+// Local schema with optional checksum for backward-compatible disk reads.
+const CliVariableSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    symbol: Type.String(),
+    checksum: Type.Optional(Type.String()),
+}, { additionalProperties: true });
+const VariablesFileSchema = Type.Array(CliVariableSchema);
+function variablesPath(argumentId, version) {
+    return path.join(getVersionDir(argumentId, version), "variables.json");
+}
+export async function readVariables(argumentId, version) {
+    const filePath = variablesPath(argumentId, version);
+    const content = await fs.readFile(filePath, "utf-8").catch(() => {
+        errorExit(`variables.json not found for ${argumentId}@${version}.`);
+    });
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(VariablesFileSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writeVariables(argumentId, version, variables) {
+    await fs.writeFile(variablesPath(argumentId, version), JSON.stringify(variables, null, 2));
+}
+//# sourceMappingURL=variables.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../src/cli/storage/variables.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,IAAI,MAAM,SAAS,CAAA;AAC1B,OAAO,KAAK,MAAM,eAAe,CAAA;AAEjC,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,0EAA0E;AAC1E,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACjC;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;AAEzD,SAAS,aAAa,CAAC,UAAkB,EAAE,OAAe;IACtD,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,gCAAgC,UAAU,IAAI,OAAO,GAAG,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAA;IAChD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,OAAe,EACf,SAAuC;IAEvC,MAAM,EAAE,CAAC,SAAS,CACd,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAClC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CACrC,CAAA;AACL,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":""}

package/dist/cli.js

@@ -0,0 +1,65 @@
+#!/usr/bin/env node
+import { Command } from "commander";
+import { registerMetaCommands } from "./cli/commands/meta.js";
+import { registerArgumentCommands } from "./cli/commands/arguments.js";
+import { registerVersionShowCommand } from "./cli/commands/version-show.js";
+import { registerRoleCommands } from "./cli/commands/roles.js";
+import { registerVariableCommands } from "./cli/commands/variables.js";
+import { registerPremiseCommands } from "./cli/commands/premises.js";
+import { registerExpressionCommands } from "./cli/commands/expressions.js";
+import { registerAnalysisCommands } from "./cli/commands/analysis.js";
+import { registerValidateCommand } from "./cli/commands/validate.js";
+import { registerRepairCommand } from "./cli/commands/repair.js";
+import { registerSourceCommands } from "./cli/commands/sources.js";
+import { registerClaimCommands } from "./cli/commands/claims.js";
+import { registerRenderCommand } from "./cli/commands/render.js";
+import { registerGraphCommand } from "./cli/commands/graph.js";
+import { registerDiffCommand } from "./cli/commands/diff.js";
+import { isNamedCommand, resolveVersion } from "./cli/router.js";
+import { errorExit } from "./cli/output.js";
+import { cliLog } from "./cli/logging.js";
+const program = new Command();
+program
+    .name("proposit-core")
+    .description("Proposit Core CLI")
+    .enablePositionalOptions()
+    .allowUnknownOption(false);
+await cliLog("command", { argv: process.argv.slice(2) });
+// ── 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.
+if (!isNamedCommand(process.argv)) {
+    const [, , argumentId, versionArg, ...rest] = process.argv;
+    if (!argumentId || !versionArg) {
+        errorExit("Usage: proposit-core <argument_id> <argument_version> <command> ...\n       proposit-core arguments <subcommand> ...");
+    }
+    // Resolve the version asynchronously, then build and parse a sub-program.
+    const version = await resolveVersion(argumentId, versionArg);
+    const sub = new Command();
+    sub.name("proposit-core")
+        .description(`Commands for ${argumentId}@${version}`)
+        .enablePositionalOptions();
+    registerVersionShowCommand(sub, argumentId, version);
+    registerRenderCommand(sub, argumentId, version);
+    registerGraphCommand(sub, argumentId, version);
+    registerRoleCommands(sub, argumentId, version);
+    registerVariableCommands(sub, argumentId, version);
+    registerPremiseCommands(sub, argumentId, version);
+    registerExpressionCommands(sub, argumentId, version);
+    registerAnalysisCommands(sub, argumentId, version);
+    registerValidateCommand(sub, argumentId, version);
+    registerRepairCommand(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]);
+}
+else {
+    await program.parseAsync(process.argv);
+}
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +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,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,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,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,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;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAEzC,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,MAAM,MAAM,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;AAExD,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,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,uBAAuB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACjD,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAE/C,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,35 @@
+import Type, { type Static } from "typebox";
+export declare const BasicsArgumentSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: 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;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: 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/extensions/ieee/formatting.d.ts

@@ -0,0 +1,18 @@
+import type { TIEEEReference, TReferenceType } from "./references.js";
+export { formatSingleAuthor, formatNamesInCitation, formatDate, IEEE_MONTHS, } from "./segment-builder.js";
+export interface TCitationSegment {
+    text: string;
+    role: "authors" | "title" | "bookTitle" | "publisher" | "location" | "year" | "date" | "edition" | "pages" | "volume" | "issue" | "doi" | "url" | "isbn" | "accessedDate" | "institution" | "degree" | "organization" | "standardNumber" | "reportNumber" | "patentNumber" | "country" | "platform" | "separator" | "prefix" | "suffix" | "misc";
+    style?: "italic" | "quoted" | "link" | "plain";
+}
+export interface TCitationFormatResult {
+    type: TReferenceType;
+    segments: TCitationSegment[];
+}
+/**
+ * Build a structured citation for any IEEE reference type.
+ * Returns an array of typed segments that consumers can render into
+ * plain text, HTML, or any other format.
+ */
+export declare function formatCitationParts(ref: TIEEEReference): TCitationFormatResult;
+//# sourceMappingURL=formatting.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"formatting.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/formatting.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAKrE,OAAO,EACH,kBAAkB,EAClB,qBAAqB,EACrB,UAAU,EACV,WAAW,GACd,MAAM,sBAAsB,CAAA;AAM7B,MAAM,WAAW,gBAAgB;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EACE,SAAS,GACT,OAAO,GACP,WAAW,GACX,WAAW,GACX,UAAU,GACV,MAAM,GACN,MAAM,GACN,SAAS,GACT,OAAO,GACP,QAAQ,GACR,OAAO,GACP,KAAK,GACL,KAAK,GACL,MAAM,GACN,cAAc,GACd,aAAa,GACb,QAAQ,GACR,cAAc,GACd,gBAAgB,GAChB,cAAc,GACd,cAAc,GACd,SAAS,GACT,UAAU,GACV,WAAW,GACX,QAAQ,GACR,QAAQ,GACR,MAAM,CAAA;IACZ,KAAK,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAA;CACjD;AAED,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,gBAAgB,EAAE,CAAA;CAC/B;AA0CD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAC/B,GAAG,EAAE,cAAc,GACpB,qBAAqB,CASvB"}