@polintpro/proposit-core 0.3.0 → 0.4.0

package/README.md

@@ -58,6 +58,19 @@ To evaluate or check an argument, premises must be assigned roles:
 
 A premise that is neither supporting nor the conclusion and whose type is `"constraint"` is automatically used to filter admissible variable assignments during validity checking.
 
+### Sources
+
+A **source** is an evidentiary reference (paper, article, URL) that supports components of an argument. Sources are argument-scoped entities managed by the `ArgumentEngine`.
+
+Sources are connected to argument components via two types of **associations**:
+
+- **Variable–source association** — links a source to a propositional variable (supporting a statement's truth claim).
+- **Expression–source association** — links a source to a specific expression within a premise (supporting a logical relationship).
+
+Associations are immutable — create or delete only, no update. When all associations for a source are removed, the source is automatically deleted (orphan cleanup).
+
+The `@polintpro/proposit-core/extensions/ieee` subpath export provides `IEEESourceSchema` — an extended source type with IEEE citation reference schemas covering 33 reference types.
+
 Each expression carries:
 
 | Field             | Type             | Description                                                |

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"sources.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/sources.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAkBnC,wBAAgB,sBAAsB,CAClC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CA6LN"}

package/dist/cli/commands/sources.js

@@ -0,0 +1,175 @@
+import { randomUUID } from "node:crypto";
+import { Command } from "commander";
+import { hydrateEngine, persistEngine } from "../engine.js";
+import { errorExit, printJson, printLine } from "../output.js";
+import { readVersionMeta } from "../storage/arguments.js";
+import { deleteSourceDir } from "../storage/sources.js";
+async function assertNotPublished(argumentId, version) {
+    const meta = await readVersionMeta(argumentId, version);
+    if (meta.published) {
+        errorExit(`Version ${version} of argument "${argumentId}" is published and cannot be modified.`);
+    }
+}
+export function registerSourceCommands(versionedCmd, argumentId, version) {
+    const sources = versionedCmd
+        .command("sources")
+        .description("Manage sources and associations");
+    // ── add ────────────────────────────────────────────────────────────────
+    sources
+        .command("add")
+        .description("Add a new source")
+        .requiredOption("--url <url>", "Source URL")
+        .option("--id <source_id>", "Explicit source ID (default: generated UUID)")
+        .action(async (opts) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        const newId = opts.id ?? randomUUID();
+        const source = {
+            id: newId,
+            argumentId,
+            argumentVersion: version,
+            url: opts.url,
+        };
+        try {
+            engine.addSource(source);
+        }
+        catch (err) {
+            errorExit(err instanceof Error ? err.message : String(err));
+        }
+        await persistEngine(engine);
+        printLine(newId);
+    });
+    // ── remove ─────────────────────────────────────────────────────────────
+    sources
+        .command("remove <source_id>")
+        .description("Remove a source and its associations")
+        .action(async (sourceId) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        if (!engine.getSource(sourceId)) {
+            errorExit(`Source "${sourceId}" not found.`);
+        }
+        engine.removeSource(sourceId);
+        await persistEngine(engine);
+        await deleteSourceDir(argumentId, version, sourceId);
+        printLine("success");
+    });
+    // ── list ───────────────────────────────────────────────────────────────
+    sources
+        .command("list")
+        .description("List all sources")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const engine = await hydrateEngine(argumentId, version);
+        const allSources = engine.getSources();
+        if (opts.json) {
+            printJson(allSources);
+        }
+        else {
+            for (const s of allSources) {
+                const record = s;
+                const url = typeof record.url === "string" ? record.url : "";
+                printLine(`${s.id} | ${url}`);
+            }
+        }
+    });
+    // ── show ───────────────────────────────────────────────────────────────
+    sources
+        .command("show <source_id>")
+        .description("Show a source and its associations")
+        .option("--json", "Output as JSON")
+        .action(async (sourceId, opts) => {
+        const engine = await hydrateEngine(argumentId, version);
+        const source = engine.getSource(sourceId);
+        if (!source)
+            errorExit(`Source "${sourceId}" not found.`);
+        const associations = engine.getAssociationsForSource(sourceId);
+        if (opts.json) {
+            printJson({ source, associations });
+        }
+        else {
+            const record = source;
+            const url = typeof record.url === "string" ? record.url : "";
+            printLine(`${source.id} | ${url}`);
+            if (associations.variable.length > 0) {
+                printLine("Variable associations:");
+                for (const a of associations.variable) {
+                    printLine(`  ${a.id} → variable ${a.variableId}`);
+                }
+            }
+            if (associations.expression.length > 0) {
+                printLine("Expression associations:");
+                for (const a of associations.expression) {
+                    printLine(`  ${a.id} → expression ${a.expressionId} (premise ${a.premiseId})`);
+                }
+            }
+        }
+    });
+    // ── link-variable ──────────────────────────────────────────────────────
+    sources
+        .command("link-variable <source_id> <variable_id>")
+        .description("Link a source to a variable")
+        .action(async (sourceId, variableId) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        try {
+            engine.addVariableSourceAssociation(sourceId, variableId);
+        }
+        catch (err) {
+            errorExit(err instanceof Error ? err.message : String(err));
+        }
+        await persistEngine(engine);
+        printLine("success");
+    });
+    // ── link-expression ────────────────────────────────────────────────────
+    sources
+        .command("link-expression <source_id> <expression_id>")
+        .description("Link a source to an expression")
+        .action(async (sourceId, expressionId) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        // Find which premise owns this expression
+        const premise = engine.findPremiseByExpressionId(expressionId);
+        if (!premise) {
+            errorExit(`Expression "${expressionId}" not found in any premise.`);
+        }
+        try {
+            engine.addExpressionSourceAssociation(sourceId, expressionId, premise.getId());
+        }
+        catch (err) {
+            errorExit(err instanceof Error ? err.message : String(err));
+        }
+        await persistEngine(engine);
+        printLine("success");
+    });
+    // ── unlink ─────────────────────────────────────────────────────────────
+    sources
+        .command("unlink <association_id>")
+        .description("Remove a source association")
+        .action(async (associationId) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        // Check variable associations first
+        const varAssoc = engine
+            .getAllVariableSourceAssociations()
+            .find((a) => a.id === associationId);
+        if (varAssoc) {
+            engine.removeVariableSourceAssociation(associationId);
+            await persistEngine(engine);
+            printLine("success");
+            return;
+        }
+        // Check expression associations
+        const exprAssoc = engine
+            .getAllExpressionSourceAssociations()
+            .find((a) => a.id === associationId);
+        if (exprAssoc) {
+            engine.removeExpressionSourceAssociation(associationId);
+            await persistEngine(engine);
+            printLine("success");
+            return;
+        }
+        errorExit(`Association "${associationId}" not found.`);
+    });
+}
+//# sourceMappingURL=sources.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/cli/commands/sources.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,OAAO,GAAG,YAAY;SACvB,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,iCAAiC,CAAC,CAAA;IAEnD,0EAA0E;IAC1E,OAAO;SACF,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CAAC,kBAAkB,CAAC;SAC/B,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC;SAC3C,MAAM,CACH,kBAAkB,EAClB,8CAA8C,CACjD;SACA,MAAM,CAAC,KAAK,EAAE,IAAkC,EAAE,EAAE;QACjD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,EAAE,CAAA;QACrC,MAAM,MAAM,GAAG;YACX,EAAE,EAAE,KAAK;YACT,UAAU;YACV,eAAe,EAAE,OAAO;YACxB,GAAG,EAAE,IAAI,CAAC,GAAG;SAChB,CAAA;QAED,IAAI,CAAC;YACD,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QAC5B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,KAAK,CAAC,CAAA;IACpB,CAAC,CAAC,CAAA;IAEN,0EAA0E;IAC1E,OAAO;SACF,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,sCAAsC,CAAC;SACnD,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,EAAE;QAC/B,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;QAChD,CAAC;QAED,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;QAC7B,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QACpD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,0EAA0E;IAC1E,OAAO;SACF,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,CAAA;QAEtC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,UAAU,CAAC,CAAA;QACzB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,CAA4B,CAAA;gBAC3C,MAAM,GAAG,GAAG,OAAO,MAAM,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC5D,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,EAAE,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,0EAA0E;IAC1E,OAAO;SACF,OAAO,CAAC,kBAAkB,CAAC;SAC3B,WAAW,CAAC,oCAAoC,CAAC;SACjD,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,IAAwB,EAAE,EAAE;QACzD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,CAAC,MAAM;YAAE,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;QAEzD,MAAM,YAAY,GAAG,MAAM,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAA;QAE9D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACJ,MAAM,MAAM,GAAG,MAAiC,CAAA;YAChD,MAAM,GAAG,GAAG,OAAO,MAAM,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;YAC5D,SAAS,CAAC,GAAG,MAAM,CAAC,EAAE,MAAM,GAAG,EAAE,CAAC,CAAA;YAClC,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,SAAS,CAAC,wBAAwB,CAAC,CAAA;gBACnC,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;oBACpC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,UAAU,EAAE,CAAC,CAAA;gBACrD,CAAC;YACL,CAAC;YACD,IAAI,YAAY,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrC,SAAS,CAAC,0BAA0B,CAAC,CAAA;gBACrC,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,UAAU,EAAE,CAAC;oBACtC,SAAS,CACL,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,YAAY,aAAa,CAAC,CAAC,SAAS,GAAG,CACtE,CAAA;gBACL,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,0EAA0E;IAC1E,OAAO;SACF,OAAO,CAAC,yCAAyC,CAAC;SAClD,WAAW,CAAC,6BAA6B,CAAC;SAC1C,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,UAAkB,EAAE,EAAE;QACnD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,IAAI,CAAC;YACD,MAAM,CAAC,4BAA4B,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QAC7D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,0EAA0E;IAC1E,OAAO;SACF,OAAO,CAAC,6CAA6C,CAAC;SACtD,WAAW,CAAC,gCAAgC,CAAC;SAC7C,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,YAAoB,EAAE,EAAE;QACrD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,0CAA0C;QAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAA;QAC9D,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,SAAS,CACL,eAAe,YAAY,6BAA6B,CAC3D,CAAA;QACL,CAAC;QAED,IAAI,CAAC;YACD,MAAM,CAAC,8BAA8B,CACjC,QAAQ,EACR,YAAY,EACZ,OAAO,CAAC,KAAK,EAAE,CAClB,CAAA;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,0EAA0E;IAC1E,OAAO;SACF,OAAO,CAAC,yBAAyB,CAAC;SAClC,WAAW,CAAC,6BAA6B,CAAC;SAC1C,MAAM,CAAC,KAAK,EAAE,aAAqB,EAAE,EAAE;QACpC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,oCAAoC;QACpC,MAAM,QAAQ,GAAG,MAAM;aAClB,gCAAgC,EAAE;aAClC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa,CAAC,CAAA;QACxC,IAAI,QAAQ,EAAE,CAAC;YACX,MAAM,CAAC,+BAA+B,CAAC,aAAa,CAAC,CAAA;YACrD,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;YAC3B,SAAS,CAAC,SAAS,CAAC,CAAA;YACpB,OAAM;QACV,CAAC;QAED,gCAAgC;QAChC,MAAM,SAAS,GAAG,MAAM;aACnB,kCAAkC,EAAE;aACpC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa,CAAC,CAAA;QACxC,IAAI,SAAS,EAAE,CAAC;YACZ,MAAM,CAAC,iCAAiC,CAAC,aAAa,CAAC,CAAA;YACvD,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;YAC3B,SAAS,CAAC,SAAS,CAAC,CAAA;YACpB,OAAM;QACV,CAAC;QAED,SAAS,CAAC,gBAAgB,aAAa,cAAc,CAAC,CAAA;IAC1D,CAAC,CAAC,CAAA;AACV,CAAC"}

package/dist/cli/config.d.ts

@@ -4,4 +4,6 @@ export declare function getArgumentDir(argumentId: string): string;
 export declare function getVersionDir(argumentId: string, version: number): string;
 export declare function getPremisesDir(argumentId: string, version: number): string;
 export declare function getPremiseDir(argumentId: string, version: number, premiseId: string): string;
+export declare function getSourcesDir(argumentId: string, version: number): string;
+export declare function getSourceDir(argumentId: string, version: number, sourceId: string): string;
 //# sourceMappingURL=config.d.ts.map

package/dist/cli/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/cli/config.ts"],"names":[],"mappings":"AAGA,wBAAgB,WAAW,IAAI,MAAM,CAIpC;AAED,wBAAgB,eAAe,IAAI,MAAM,CAExC;AAED,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzE;AAED,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAE1E;AAED,wBAAgB,aAAa,CACzB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAClB,MAAM,CAER"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/cli/config.ts"],"names":[],"mappings":"AAGA,wBAAgB,WAAW,IAAI,MAAM,CAIpC;AAED,wBAAgB,eAAe,IAAI,MAAM,CAExC;AAED,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzE;AAED,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAE1E;AAED,wBAAgB,aAAa,CACzB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAClB,MAAM,CAER;AAED,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzE;AAED,wBAAgB,YAAY,CACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,MAAM,CAER"}

package/dist/cli/config.js

@@ -18,4 +18,10 @@ export function getPremisesDir(argumentId, version) {
 export function getPremiseDir(argumentId, version, premiseId) {
     return path.join(getPremisesDir(argumentId, version), premiseId);
 }
+export function getSourcesDir(argumentId, version) {
+    return path.join(getVersionDir(argumentId, version), "sources");
+}
+export function getSourceDir(argumentId, version, sourceId) {
+    return path.join(getSourcesDir(argumentId, version), sourceId);
+}
 //# sourceMappingURL=config.js.map

package/dist/cli/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/cli/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAA;AACxB,OAAO,IAAI,MAAM,WAAW,CAAA;AAE5B,MAAM,UAAU,WAAW;IACvB,OAAO,CACH,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,gBAAgB,CAAC,CACzE,CAAA;AACL,CAAC;AAED,MAAM,UAAU,eAAe;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,WAAW,CAAC,CAAA;AAChD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,UAAkB;IAC7C,OAAO,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,UAAU,CAAC,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,UAAkB,EAAE,OAAe;IAC7D,OAAO,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;AACjE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,UAAkB,EAAE,OAAe;IAC9D,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,CAAA;AACpE,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,UAAkB,EAClB,OAAe,EACf,SAAiB;IAEjB,OAAO,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAA;AACpE,CAAC"}
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/cli/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAA;AACxB,OAAO,IAAI,MAAM,WAAW,CAAA;AAE5B,MAAM,UAAU,WAAW;IACvB,OAAO,CACH,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,gBAAgB,CAAC,CACzE,CAAA;AACL,CAAC;AAED,MAAM,UAAU,eAAe;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,WAAW,CAAC,CAAA;AAChD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,UAAkB;IAC7C,OAAO,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,UAAU,CAAC,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,UAAkB,EAAE,OAAe;IAC7D,OAAO,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;AACjE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,UAAkB,EAAE,OAAe;IAC9D,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,CAAA;AACpE,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,UAAkB,EAClB,OAAe,EACf,SAAiB;IAEjB,OAAO,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAA;AACpE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,UAAkB,EAAE,OAAe;IAC7D,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAA;AACnE,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAA;AAClE,CAAC"}

package/dist/cli/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAoB/D;;;;;;;;;GASG;AACH,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,cAAc,CAAC,CAgFzB;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CA2CzE"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAiC/D;;;;;;;;;GASG;AACH,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,cAAc,CAAC,CAmHzB;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAmEzE"}

package/dist/cli/engine.js

@@ -1,9 +1,10 @@
 import fs from "node:fs/promises";
 import { ArgumentEngine } from "../lib/core/argument-engine.js";
-import { getPremisesDir } from "./config.js";
+import { getPremisesDir, getSourcesDir } from "./config.js";
 import { readArgumentMeta, readVersionMeta, writeArgumentMeta, writeVersionMeta, } from "./storage/arguments.js";
 import { listPremiseIds, readPremiseData, readPremiseMeta, writePremiseData, writePremiseMeta, } from "./storage/premises.js";
 import { readRoles, writeRoles } from "./storage/roles.js";
+import { listSourceIds as listDiskSourceIds, readExpressionAssociations, readSourceMeta, readVariableAssociations, writeExpressionAssociations, writeSourceMeta, writeVariableAssociations, } from "./storage/sources.js";
 import { readVariables, writeVariables } from "./storage/variables.js";
 /**
  * Builds a fully-hydrated ArgumentEngine from the on-disk state for the
@@ -81,6 +82,35 @@ export async function hydrateEngine(argumentId, version) {
     }
     // Supporting premises are now derived from expression type (inference premises
     // that aren't the conclusion), so no explicit role assignment is needed.
+    // ── Sources ────────────────────────────────────────────────────────────
+    // Restore sources via snapshot/rollback to preserve association IDs
+    // (engine.addVariableSourceAssociation would generate new IDs).
+    const [sourceIds, varAssociations, exprAssociations] = await Promise.all([
+        listDiskSourceIds(argumentId, version),
+        readVariableAssociations(argumentId, version),
+        readExpressionAssociations(argumentId, version),
+    ]);
+    if (sourceIds.length > 0 ||
+        varAssociations.length > 0 ||
+        exprAssociations.length > 0) {
+        const sourceMetas = await Promise.all(sourceIds.map((sid) => readSourceMeta(argumentId, version, sid)));
+        const snap = engine.snapshot();
+        snap.sources = {
+            sources: sourceMetas.map((s) => ({
+                ...s,
+                checksum: s.checksum ?? "",
+            })),
+            variableSourceAssociations: varAssociations.map((a) => ({
+                ...a,
+                checksum: a.checksum ?? "",
+            })),
+            expressionSourceAssociations: exprAssociations.map((a) => ({
+                ...a,
+                checksum: a.checksum ?? "",
+            })),
+        };
+        engine.rollback(snap);
+    }
     return engine;
 }
 /**
@@ -121,5 +151,13 @@ export async function persistEngine(engine) {
             expressions: pm.getExpressions(),
         });
     }
+    // ── Sources ────────────────────────────────────────────────────────────
+    const sourcesDir = getSourcesDir(id, arg.version);
+    await fs.mkdir(sourcesDir, { recursive: true });
+    for (const source of engine.getSources()) {
+        await writeSourceMeta(id, arg.version, source.id, source);
+    }
+    await writeVariableAssociations(id, arg.version, engine.getAllVariableSourceAssociations());
+    await writeExpressionAssociations(id, arg.version, engine.getAllExpressionSourceAssociations());
 }
 //# sourceMappingURL=engine.js.map

package/dist/cli/engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAG/D,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,cAAc,EACd,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GACnB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAEtE;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe;IAEf,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,GACzD,MAAM,OAAO,CAAC,GAAG,CAAC;QACd,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;QACpC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;QAClC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;QAC9B,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;KACtC,CAAC,CAAA;IAEN,MAAM,QAAQ,GAAoC;QAC9C,GAAG,OAAO;QACV,GAAG,WAAW;KACjB,CAAA;IACD,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAA;IAE3C,uEAAuE;IACvE,qDAAqD;IACrD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QAClC,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;IACjE,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;QAC1C,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAC7C,SAAS,EACT,aAAa,CAChB,CAAA;QAED,mEAAmE;QACnE,yCAAyC;QACzC,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAE/B,+BAA+B;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,EAAE,CAAC,aAAa,CAAC;oBACb,GAAG,IAAI;oBACP,SAAS,EAAE,SAAS;oBACpB,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAA;gBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QAED,qDAAqD;QACrD,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACrD,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,SAAS;wBACpB,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtB,QAAQ,GAAG,IAAI,CAAA;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,CAAC,oBAAoB,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAA;IAC1D,CAAC;IACD,+EAA+E;IAC/E,yEAAyE;IAEzE,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAAsB;IACtD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;IAChC,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAA;IAElB,sEAAsE;IACtE,sEAAsE;IACtE,MAAM,SAAS,GAAG,GAA8B,CAAA;IAChD,MAAM,iBAAiB,CAAC;QACpB,EAAE;QACF,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,WAAW,EAAE,SAAS,CAAC,WAAW;KACjB,CAAC,CAAA;IACtB,MAAM,gBAAgB,CAAC,EAAE,EAAE;QACvB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;KACN,CAAC,CAAA;IAE7B,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACvC,MAAM,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;IAEhD,MAAM,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAA;IAExD,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACpE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;QAC/B,MAAM,EACF,EAAE,EAAE,SAAS,EACb,UAAU,EAAE,EAAE,EACd,eAAe,EAAE,GAAG,EACpB,QAAQ,EAAE,EAAE,EACZ,GAAG,WAAW,EACjB,GAAG,IAA+B,CAAA;QACnC,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE;YACpC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,GAAG,WAAW;SAC0B,CAAC,CAAA;QAC7C,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE;YAC7C,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;IACN,CAAC;AACL,CAAC"}
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAO/D,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,cAAc,EACd,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GACnB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EACH,aAAa,IAAI,iBAAiB,EAClC,0BAA0B,EAC1B,cAAc,EACd,wBAAwB,EACxB,2BAA2B,EAC3B,eAAe,EACf,yBAAyB,GAC5B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAEtE;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe;IAEf,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,GACzD,MAAM,OAAO,CAAC,GAAG,CAAC;QACd,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;QACpC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;QAClC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;QAC9B,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;KACtC,CAAC,CAAA;IAEN,MAAM,QAAQ,GAAoC;QAC9C,GAAG,OAAO;QACV,GAAG,WAAW;KACjB,CAAA;IACD,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAA;IAE3C,uEAAuE;IACvE,qDAAqD;IACrD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QAClC,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;IACjE,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;QAC1C,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAC7C,SAAS,EACT,aAAa,CAChB,CAAA;QAED,mEAAmE;QACnE,yCAAyC;QACzC,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAE/B,+BAA+B;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,EAAE,CAAC,aAAa,CAAC;oBACb,GAAG,IAAI;oBACP,SAAS,EAAE,SAAS;oBACpB,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAA;gBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QAED,qDAAqD;QACrD,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACrD,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,SAAS;wBACpB,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtB,QAAQ,GAAG,IAAI,CAAA;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,CAAC,oBAAoB,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAA;IAC1D,CAAC;IACD,+EAA+E;IAC/E,yEAAyE;IAEzE,0EAA0E;IAC1E,oEAAoE;IACpE,gEAAgE;IAChE,MAAM,CAAC,SAAS,EAAE,eAAe,EAAE,gBAAgB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACrE,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC;QACtC,wBAAwB,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7C,0BAA0B,CAAC,UAAU,EAAE,OAAO,CAAC;KAClD,CAAC,CAAA;IAEF,IACI,SAAS,CAAC,MAAM,GAAG,CAAC;QACpB,eAAe,CAAC,MAAM,GAAG,CAAC;QAC1B,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAC7B,CAAC;QACC,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,GAAG,CACjC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CACnE,CAAA;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QAC9B,IAAI,CAAC,OAAO,GAAG;YACX,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,CAAC;gBACJ,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE;aAC7B,CAAC,CAAC;YACH,0BAA0B,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACpD,GAAG,CAAC;gBACJ,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE;aAC7B,CAAC,CAAC;YACH,4BAA4B,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACvD,GAAG,CAAC;gBACJ,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE;aAC7B,CAAC,CAAC;SACN,CAAA;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;IAED,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAAsB;IACtD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;IAChC,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAA;IAElB,sEAAsE;IACtE,sEAAsE;IACtE,MAAM,SAAS,GAAG,GAA8B,CAAA;IAChD,MAAM,iBAAiB,CAAC;QACpB,EAAE;QACF,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,WAAW,EAAE,SAAS,CAAC,WAAW;KACjB,CAAC,CAAA;IACtB,MAAM,gBAAgB,CAAC,EAAE,EAAE;QACvB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;KACN,CAAC,CAAA;IAE7B,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACvC,MAAM,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;IAEhD,MAAM,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAA;IAExD,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACpE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;QAC/B,MAAM,EACF,EAAE,EAAE,SAAS,EACb,UAAU,EAAE,EAAE,EACd,eAAe,EAAE,GAAG,EACpB,QAAQ,EAAE,EAAE,EACZ,GAAG,WAAW,EACjB,GAAG,IAA+B,CAAA;QACnC,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE;YACpC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,GAAG,WAAW;SAC0B,CAAC,CAAA;QAC7C,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE;YAC7C,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;IACN,CAAC;IAED,0EAA0E;IAC1E,MAAM,UAAU,GAAG,aAAa,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAA;IACjD,MAAM,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAE/C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC;QACvC,MAAM,eAAe,CACjB,EAAE,EACF,GAAG,CAAC,OAAO,EACX,MAAM,CAAC,EAAE,EACT,MAAwB,CAC3B,CAAA;IACL,CAAC;IAED,MAAM,yBAAyB,CAC3B,EAAE,EACF,GAAG,CAAC,OAAO,EACX,MAAM,CAAC,gCAAgC,EAAE,CAC5C,CAAA;IACD,MAAM,2BAA2B,CAC7B,EAAE,EACF,GAAG,CAAC,OAAO,EACX,MAAM,CAAC,kCAAkC,EAAE,CAC9C,CAAA;AACL,CAAC"}

package/dist/cli/schemata.d.ts

@@ -63,4 +63,12 @@ export declare const CliPremiseDataSchema: Type.TObject<{
     }>]>>;
 }>;
 export type TCliPremiseData = Static<typeof CliPremiseDataSchema>;
+export declare const CliSourceMetaSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    url: Type.TString;
+    checksum: Type.TOptional<Type.TString>;
+}>;
+export type TCliSourceMeta = Static<typeof CliSourceMetaSchema>;
 //# sourceMappingURL=schemata.d.ts.map

package/dist/cli/schemata.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../src/cli/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAQ3C,eAAO,MAAM,qBAAqB;;;;EAOjC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAMnE,eAAO,MAAM,4BAA4B;;;;;EAKvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAMD,eAAO,MAAM,iBAAiB;;;;;;;;;EAS5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAM3D,eAAO,MAAM,oBAAoB;;;EAMhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAiCjE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAc/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA"}
+{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../src/cli/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAQ3C,eAAO,MAAM,qBAAqB;;;;EAOjC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAMnE,eAAO,MAAM,4BAA4B;;;;;EAKvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAMD,eAAO,MAAM,iBAAiB;;;;;;;;;EAS5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAM3D,eAAO,MAAM,oBAAoB;;;EAMhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAiCjE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAc/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAKjE,eAAO,MAAM,mBAAmB;;;;;;EAS/B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA"}

package/dist/cli/schemata.js

@@ -82,4 +82,14 @@ export const CliPremiseDataSchema = Type.Object({
         description: "All expressions in this premise. The root has a null parentId.",
     }),
 });
+// ---------------------------------------------------------------------------
+// Source meta (stored in sources/<id>/meta.json)
+// ---------------------------------------------------------------------------
+export const CliSourceMetaSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    url: Type.String(),
+    checksum: Type.Optional(Type.String()),
+}, { additionalProperties: true });
 //# sourceMappingURL=schemata.js.map

package/dist/cli/schemata.js.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../src/cli/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAC1E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AAEzE,8EAA8E;AAC9E,qDAAqD;AACrD,2CAA2C;AAC3C,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAC5C;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAGD,8EAA8E;AAC9E,8DAA8D;AAC9D,kDAAkD;AAClD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;CAC5C,CAAC,CAAA;AAKF,8EAA8E;AAC9E,+DAA+D;AAC/D,6DAA6D;AAC7D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACzC,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;CAC5C,CAAC,CAAA;AAGF,8EAA8E;AAC9E,mDAAmD;AACnD,8BAA8B;AAC9B,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAGD,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;IACxB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,CAAC,CAAA;AAEF,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IACnC,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,UAAU,EAAE,IAAI;KACnB,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,QAAQ,EAAE,uBAAuB;KACpC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;KAChC,CAAC;CACL,CAAC,CAAA;AAEF,8EAA8E;AAC9E,mDAAmD;AACnD,gDAAgD;AAChD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAC3B,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,4DAA4D;KACnE,CAAC,CACL;IACD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QACxB,WAAW,EAAE,kDAAkD;KAClE,CAAC;IACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE;QACzC,WAAW,EACP,gEAAgE;KACvE,CAAC;CACL,CAAC,CAAA"}
+{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../src/cli/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAC1E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AAEzE,8EAA8E;AAC9E,qDAAqD;AACrD,2CAA2C;AAC3C,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAC5C;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAGD,8EAA8E;AAC9E,8DAA8D;AAC9D,kDAAkD;AAClD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;CAC5C,CAAC,CAAA;AAKF,8EAA8E;AAC9E,+DAA+D;AAC/D,6DAA6D;AAC7D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACzC,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;CAC5C,CAAC,CAAA;AAGF,8EAA8E;AAC9E,mDAAmD;AACnD,8BAA8B;AAC9B,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAGD,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;IACxB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,CAAC,CAAA;AAEF,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IACnC,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,UAAU,EAAE,IAAI;KACnB,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,QAAQ,EAAE,uBAAuB;KACpC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;KAChC,CAAC;CACL,CAAC,CAAA;AAEF,8EAA8E;AAC9E,mDAAmD;AACnD,gDAAgD;AAChD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAC3B,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,4DAA4D;KACnE,CAAC,CACL;IACD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QACxB,WAAW,EAAE,kDAAkD;KAClE,CAAC;IACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE;QACzC,WAAW,EACP,gEAAgE;KACvE,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,iDAAiD;AACjD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAC1C;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA"}

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

@@ -0,0 +1,11 @@
+import type { TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../../lib/schemata/index.js";
+import { type TCliSourceMeta } from "../schemata.js";
+export declare function readSourceMeta(argumentId: string, version: number, sourceId: string): Promise<TCliSourceMeta>;
+export declare function writeSourceMeta(argumentId: string, version: number, sourceId: string, data: TCliSourceMeta): Promise<void>;
+export declare function listSourceIds(argumentId: string, version: number): Promise<string[]>;
+export declare function deleteSourceDir(argumentId: string, version: number, sourceId: string): Promise<void>;
+export declare function readVariableAssociations(argumentId: string, version: number): Promise<TCoreVariableSourceAssociation[]>;
+export declare function writeVariableAssociations(argumentId: string, version: number, data: TCoreVariableSourceAssociation[]): Promise<void>;
+export declare function readExpressionAssociations(argumentId: string, version: number): Promise<TCoreExpressionSourceAssociation[]>;
+export declare function writeExpressionAssociations(argumentId: string, version: number, data: TCoreExpressionSourceAssociation[]): Promise<void>;
+//# sourceMappingURL=sources.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sources.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/sources.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACR,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,6BAA6B,CAAA;AAIpC,OAAO,EAAuB,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAIzE,wBAAsB,cAAc,CAChC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,OAAO,CAAC,cAAc,CAAC,CAczB;AAED,wBAAsB,eAAe,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,cAAc,GACrB,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,EAAE,CAAC,CAUnB;AAED,wBAAsB,eAAe,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC,CAKf;AA4CD,wBAAsB,wBAAwB,CAC1C,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,8BAA8B,EAAE,CAAC,CAU3C;AAED,wBAAsB,yBAAyB,CAC3C,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,8BAA8B,EAAE,GACvC,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAsB,0BAA0B,CAC5C,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,gCAAgC,EAAE,CAAC,CAU7C;AAED,wBAAsB,2BAA2B,CAC7C,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,gCAAgC,EAAE,GACzC,OAAO,CAAC,IAAI,CAAC,CAOf"}

package/dist/cli/storage/sources.js

@@ -0,0 +1,105 @@
+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 { getSourceDir, getSourcesDir } from "../config.js";
+import { errorExit } from "../output.js";
+import { CliSourceMetaSchema } from "../schemata.js";
+// ── Source meta I/O ─────────────────────────────────────────────────────────
+export async function readSourceMeta(argumentId, version, sourceId) {
+    const filePath = path.join(getSourceDir(argumentId, version, sourceId), "meta.json");
+    const content = await fs.readFile(filePath, "utf-8").catch(() => {
+        errorExit(`Source "${sourceId}" not found.`);
+    });
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(CliSourceMetaSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writeSourceMeta(argumentId, version, sourceId, data) {
+    const dir = getSourceDir(argumentId, version, sourceId);
+    await fs.mkdir(dir, { recursive: true });
+    await fs.writeFile(path.join(dir, "meta.json"), JSON.stringify(data, null, 2));
+}
+export async function listSourceIds(argumentId, version) {
+    const dir = getSourcesDir(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 deleteSourceDir(argumentId, version, sourceId) {
+    await fs.rm(getSourceDir(argumentId, version, sourceId), {
+        recursive: true,
+        force: true,
+    });
+}
+// ── Association I/O ─────────────────────────────────────────────────────────
+const VariableAssociationSchema = Type.Array(Type.Object({
+    id: UUID,
+    sourceId: UUID,
+    variableId: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    checksum: Type.Optional(Type.String()),
+}));
+const ExpressionAssociationSchema = Type.Array(Type.Object({
+    id: UUID,
+    sourceId: UUID,
+    expressionId: UUID,
+    premiseId: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    checksum: Type.Optional(Type.String()),
+}));
+function variableAssociationsPath(argumentId, version) {
+    return path.join(getSourcesDir(argumentId, version), "variable-associations.json");
+}
+function expressionAssociationsPath(argumentId, version) {
+    return path.join(getSourcesDir(argumentId, version), "expression-associations.json");
+}
+export async function readVariableAssociations(argumentId, version) {
+    const filePath = variableAssociationsPath(argumentId, version);
+    const content = await fs.readFile(filePath, "utf-8").catch(() => null);
+    if (content === null)
+        return [];
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(VariableAssociationSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writeVariableAssociations(argumentId, version, data) {
+    const dir = getSourcesDir(argumentId, version);
+    await fs.mkdir(dir, { recursive: true });
+    await fs.writeFile(variableAssociationsPath(argumentId, version), JSON.stringify(data, null, 2));
+}
+export async function readExpressionAssociations(argumentId, version) {
+    const filePath = expressionAssociationsPath(argumentId, version);
+    const content = await fs.readFile(filePath, "utf-8").catch(() => null);
+    if (content === null)
+        return [];
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(ExpressionAssociationSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writeExpressionAssociations(argumentId, version, data) {
+    const dir = getSourcesDir(argumentId, version);
+    await fs.mkdir(dir, { recursive: true });
+    await fs.writeFile(expressionAssociationsPath(argumentId, version), JSON.stringify(data, null, 2));
+}
+//# sourceMappingURL=sources.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/cli/storage/sources.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;AAKjC,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AACxC,OAAO,EAAE,mBAAmB,EAAuB,MAAM,gBAAgB,CAAA;AAEzE,+EAA+E;AAE/E,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACtB,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC3C,WAAW,CACd,CAAA;IACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;IAChD,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,eAAe,CACjC,UAAkB,EAClB,OAAe,EACf,QAAgB,EAChB,IAAoB;IAEpB,MAAM,GAAG,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,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,aAAa,CAC/B,UAAkB,EAClB,OAAe;IAEf,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,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,eAAe,CACjC,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,MAAM,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE;QACrD,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,IAAI;KACd,CAAC,CAAA;AACN,CAAC;AAED,+EAA+E;AAE/E,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CACxC,IAAI,CAAC,MAAM,CAAC;IACR,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,CAAC,CACL,CAAA;AAED,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAC1C,IAAI,CAAC,MAAM,CAAC;IACR,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,CAAC,CACL,CAAA;AAED,SAAS,wBAAwB,CAAC,UAAkB,EAAE,OAAe;IACjE,OAAO,IAAI,CAAC,IAAI,CACZ,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAClC,4BAA4B,CAC/B,CAAA;AACL,CAAC;AAED,SAAS,0BAA0B,CAC/B,UAAkB,EAClB,OAAe;IAEf,OAAO,IAAI,CAAC,IAAI,CACZ,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAClC,8BAA8B,CACjC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC1C,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,wBAAwB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9D,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;IACtE,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,CAAA;IAC/B,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAA;IACtD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC3C,UAAkB,EAClB,OAAe,EACf,IAAsC;IAEtC,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,EAAE,CAAC,SAAS,CACd,wBAAwB,CAAC,UAAU,EAAE,OAAO,CAAC,EAC7C,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC5C,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,0BAA0B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAChE,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;IACtE,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,CAAA;IAC/B,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,2BAA2B,CAC7C,UAAkB,EAClB,OAAe,EACf,IAAwC;IAExC,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,EAAE,CAAC,SAAS,CACd,0BAA0B,CAAC,UAAU,EAAE,OAAO,CAAC,EAC/C,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAA;AACL,CAAC"}

package/dist/cli.js

@@ -8,6 +8,7 @@ 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 { registerSourceCommands } from "./cli/commands/sources.js";
 import { registerRenderCommand } from "./cli/commands/render.js";
 import { registerDiffCommand } from "./cli/commands/diff.js";
 import { isNamedCommand, resolveVersion } from "./cli/router.js";
@@ -43,6 +44,7 @@ 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,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;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"}
+{"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"}

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

@@ -0,0 +1,3 @@
+export * from "./references.js";
+export * from "./source.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,aAAa,CAAA"}

package/dist/extensions/ieee/index.js

@@ -0,0 +1,3 @@
+export * from "./references.js";
+export * from "./source.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/extensions/ieee/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,aAAa,CAAA"}