@proposit/proposit-core 0.8.9

package/dist/cli/commands/sources.js

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

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

@@ -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,mBAAmB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACnD,MAAM,OAAO,GAAG,OAAO;SAClB,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,8BAA8B,CAAC,CAAA;IAEhD,OAAO;SACF,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAA;QACjC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,MAAiC,CAAA;gBAChD,MAAM,IAAI,GACN,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC3B,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE;oBACrB,CAAC,CAAC,EAAE,CAAA;gBACZ,SAAS,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,GAAG,IAAI,EAAE,CAAC,CAAA;YACtD,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,kBAAkB,CAAC;SAC3B,WAAW,CAAC,+BAA+B,CAAC;SAC5C,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,IAAwB,EAAE,EAAE;QACzD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;QAChD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,QAAQ,CAAC,CAAA;QACvB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,CAA4B,CAAA;gBAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC1C,MAAM,IAAI,GACN,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC3B,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE;oBACrB,CAAC,CAAC,EAAE,CAAA;gBACZ,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CAAC,qBAAqB,CAAC;SAClC,cAAc,CAAC,eAAe,EAAE,aAAa,CAAC;SAC9C,MAAM,CAAC,KAAK,EAAE,IAAsB,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;YAC/B,EAAE,EAAE,UAAU,EAAE;YAChB,IAAI,EAAE,IAAI,CAAC,IAAI;SAC2B,CAAC,CAAA;QAC/C,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,mCAAmC,CAAC;SAC5C,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,OAAe,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;QAChD,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,UAAU,OAAO,cAAc,CAAC,CAAA;QAC9C,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAChC,EAAE,EAAE,UAAU,EAAE;YAChB,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,YAAY,EAAE,KAAK,CAAC,OAAO;YAC3B,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,aAAa,EAAE,MAAM,CAAC,OAAO;SAChC,CAAC,CAAA;QACF,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,yBAAyB,CAAC;SAClC,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CAAC,KAAK,EAAE,aAAqB,EAAE,EAAE;QACpC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;QAClD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,gBAAgB,aAAa,cAAc,CAAC,CAAA;QAC1D,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;QACvC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAyBN"}

package/dist/cli/commands/validate.js

@@ -0,0 +1,27 @@
+import { Command } from "commander";
+import { hydrateEngine } from "../engine.js";
+import { printJson, printLine } from "../output.js";
+export function registerValidateCommand(versionedCmd, argumentId, version) {
+    versionedCmd
+        .command("validate")
+        .description("Run invariant validation on the argument structure")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const engine = await hydrateEngine(argumentId, version);
+        const result = engine.validate();
+        if (opts.json) {
+            printJson(result);
+            return;
+        }
+        if (result.ok) {
+            printLine("ok");
+        }
+        else {
+            printLine("invalid");
+            for (const v of result.violations) {
+                printLine(`${v.entityType} ${v.entityId}: ${v.code} — ${v.message}`);
+            }
+        }
+    });
+}
+//# sourceMappingURL=validate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../src/cli/commands/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAEnD,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,oDAAoD,CAAC;SACjE,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,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QAEhC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,SAAS,CAAC,CAAA;YACpB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAChC,SAAS,CACL,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,EAAE,CAC5D,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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

package/dist/cli/commands/variables.js

@@ -0,0 +1,206 @@
+import { randomUUID } from "node:crypto";
+import { Command } from "commander";
+import { hydrateEngine, hydratePropositCore, persistCore, persistEngine, } from "../engine.js";
+import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
+import { readVersionMeta } from "../storage/arguments.js";
+import { isClaimBound, isPremiseBound, } from "../../lib/schemata/index.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 registerVariableCommands(versionedCmd, argumentId, version) {
+    const vars = versionedCmd
+        .command("variables")
+        .description("Manage argument-level variables");
+    vars.command("create <symbol>")
+        .description("Register a new propositional variable")
+        .option("--id <variable_id>", "Explicit variable ID (default: generated UUID)")
+        .action(async (symbol, opts) => {
+        await assertNotPublished(argumentId, version);
+        const core = await hydratePropositCore();
+        const engine = await hydrateEngine(argumentId, version, core);
+        // Auto-create a frozen claim for the variable
+        const claim = core.claims.create({
+            id: randomUUID(),
+            title: symbol,
+        });
+        core.claims.freeze(claim.id);
+        const newId = opts.id ?? randomUUID();
+        const variable = {
+            id: newId,
+            argumentId,
+            argumentVersion: version,
+            symbol,
+            claimId: claim.id,
+            claimVersion: 0,
+        };
+        try {
+            engine.addVariable(variable);
+        }
+        catch (err) {
+            errorExit(err instanceof Error ? err.message : String(err));
+        }
+        await persistCore(core);
+        await persistEngine(engine);
+        printLine(newId);
+    });
+    vars.command("bind <symbol>")
+        .description("Register a premise-bound variable whose truth value derives from another premise")
+        .requiredOption("--premiseId <premise_id>", "ID of the premise to bind")
+        .option("--id <variable_id>", "Explicit variable ID (default: generated UUID)")
+        .action(async (symbol, opts) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        const newId = opts.id ?? randomUUID();
+        try {
+            engine.bindVariableToPremise({
+                id: newId,
+                argumentId,
+                argumentVersion: version,
+                symbol,
+                boundPremiseId: opts.premiseId,
+                boundArgumentId: argumentId,
+                boundArgumentVersion: version,
+            });
+        }
+        catch (err) {
+            errorExit(err instanceof Error ? err.message : String(err));
+        }
+        await persistEngine(engine);
+        printLine(newId);
+    });
+    vars.command("list")
+        .description("List all variables")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const engine = await hydrateEngine(argumentId, version);
+        const variables = engine.getVariables();
+        if (opts.json) {
+            printJson(variables);
+        }
+        else {
+            for (const v of variables) {
+                const typed = v;
+                let binding = "";
+                if (isClaimBound(typed)) {
+                    const cv = typed;
+                    binding = ` (claim: ${cv.claimId}@${cv.claimVersion})`;
+                }
+                else if (isPremiseBound(typed)) {
+                    const pv = typed;
+                    binding = ` (bound to premise: ${pv.boundPremiseId})`;
+                }
+                printLine(`${v.id} | ${v.symbol}${binding}`);
+            }
+        }
+    });
+    vars.command("show <variable_id>")
+        .description("Show a single variable")
+        .option("--json", "Output as JSON")
+        .action(async (variableId, opts) => {
+        const engine = await hydrateEngine(argumentId, version);
+        const variable = engine
+            .getVariables()
+            .find((v) => v.id === variableId);
+        if (!variable)
+            errorExit(`Variable "${variableId}" not found.`);
+        if (opts.json) {
+            printJson(variable);
+        }
+        else {
+            printLine(`${variable.id} | ${variable.symbol}`);
+        }
+    });
+    vars.command("update <variable_id>")
+        .description("Update a variable symbol")
+        .option("--symbol <new_symbol>", "New symbol")
+        .action(async (variableId, opts) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        if (!engine.getVariables().some((v) => v.id === variableId)) {
+            errorExit(`Variable "${variableId}" not found.`);
+        }
+        if (opts.symbol !== undefined) {
+            try {
+                engine.updateVariable(variableId, {
+                    symbol: opts.symbol,
+                });
+            }
+            catch (err) {
+                errorExit(err instanceof Error ? err.message : String(err));
+            }
+        }
+        await persistEngine(engine);
+        printLine("success");
+    });
+    vars.command("delete <variable_id>")
+        .description("Remove a variable (cascade-deletes referencing expressions)")
+        .action(async (variableId) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        if (!engine.getVariables().some((v) => v.id === variableId)) {
+            errorExit(`Variable "${variableId}" not found.`);
+        }
+        engine.removeVariable(variableId);
+        await persistEngine(engine);
+        printLine("success");
+    });
+    vars.command("list-unused")
+        .description("List variables not referenced by any expression")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const engine = await hydrateEngine(argumentId, version);
+        const variables = engine.getVariables();
+        const referenced = engine.collectReferencedVariables();
+        const referencedIds = new Set(referenced.variableIds);
+        const unused = variables.filter((v) => !referencedIds.has(v.id));
+        if (opts.json) {
+            printJson(unused);
+        }
+        else {
+            for (const v of unused) {
+                printLine(`${v.id} | ${v.symbol}`);
+            }
+        }
+    });
+    vars.command("delete-unused")
+        .description("Delete all variables not referenced by any expression")
+        .option("--confirm", "Skip confirmation prompt")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        const variables = engine.getVariables();
+        const referenced = engine.collectReferencedVariables();
+        const referencedIds = new Set(referenced.variableIds);
+        const unused = variables.filter((v) => !referencedIds.has(v.id));
+        if (unused.length === 0) {
+            if (opts.json) {
+                printJson({ deleted: 0, deletedIds: [] });
+            }
+            else {
+                printLine("0 variable(s) deleted");
+            }
+            return;
+        }
+        if (!opts.confirm) {
+            await requireConfirmation(`Delete ${unused.length} unused variable(s)?`);
+        }
+        for (const v of unused) {
+            engine.removeVariable(v.id);
+        }
+        await persistEngine(engine);
+        if (opts.json) {
+            printJson({
+                deleted: unused.length,
+                deletedIds: unused.map((v) => v.id),
+            });
+        }
+        else {
+            printLine(`${unused.length} variable(s) deleted`);
+        }
+    });
+}
+//# sourceMappingURL=variables.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../src/cli/commands/variables.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EACH,aAAa,EACb,mBAAmB,EACnB,WAAW,EACX,aAAa,GAChB,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,EACH,YAAY,EACZ,cAAc,GAEjB,MAAM,6BAA6B,CAAA;AAEpC,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,wBAAwB,CACpC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,YAAY;SACpB,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,iCAAiC,CAAC,CAAA;IAEnD,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;SAC1B,WAAW,CAAC,uCAAuC,CAAC;SACpD,MAAM,CACH,oBAAoB,EACpB,gDAAgD,CACnD;SACA,MAAM,CAAC,KAAK,EAAE,MAAc,EAAE,IAAqB,EAAE,EAAE;QACpD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QAE7D,8CAA8C;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7B,EAAE,EAAE,UAAU,EAAE;YAChB,KAAK,EAAE,MAAM;SAC4B,CAAC,CAAA;QAC9C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAE5B,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,EAAE,CAAA;QACrC,MAAM,QAAQ,GAAG;YACb,EAAE,EAAE,KAAK;YACT,UAAU;YACV,eAAe,EAAE,OAAO;YACxB,MAAM;YACN,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,YAAY,EAAE,CAAC;SAClB,CAAA;QAED,IAAI,CAAC;YACD,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAChC,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,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,KAAK,CAAC,CAAA;IACpB,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;SACxB,WAAW,CACR,kFAAkF,CACrF;SACA,cAAc,CAAC,0BAA0B,EAAE,2BAA2B,CAAC;SACvE,MAAM,CACH,oBAAoB,EACpB,gDAAgD,CACnD;SACA,MAAM,CACH,KAAK,EACD,MAAc,EACd,IAAwC,EAC1C,EAAE;QACA,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;QAErC,IAAI,CAAC;YACD,MAAM,CAAC,qBAAqB,CAAC;gBACzB,EAAE,EAAE,KAAK;gBACT,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,MAAM;gBACN,cAAc,EAAE,IAAI,CAAC,SAAS;gBAC9B,eAAe,EAAE,UAAU;gBAC3B,oBAAoB,EAAE,OAAO;aAChC,CAAC,CAAA;QACN,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,CACJ,CAAA;IAEL,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,oBAAoB,CAAC;SACjC,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,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QAEvC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,SAAS,CAAC,CAAA;QACxB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;gBACxD,IAAI,OAAO,GAAG,EAAE,CAAA;gBAChB,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;oBACtB,MAAM,EAAE,GAAG,KAAK,CAAA;oBAChB,OAAO,GAAG,YAAY,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,YAAY,GAAG,CAAA;gBAC1D,CAAC;qBAAM,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC/B,MAAM,EAAE,GAAG,KAAK,CAAA;oBAChB,OAAO,GAAG,uBAAuB,EAAE,CAAC,cAAc,GAAG,CAAA;gBACzD,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,wBAAwB,CAAC;SACrC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,IAAwB,EAAE,EAAE;QAC3D,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,QAAQ,GAAG,MAAM;aAClB,YAAY,EAAE;aACd,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAA;QACrC,IAAI,CAAC,QAAQ;YAAE,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QAC/D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,QAAQ,CAAC,CAAA;QACvB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,GAAG,QAAQ,CAAC,EAAE,MAAM,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;QACpD,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,0BAA0B,CAAC;SACvC,MAAM,CAAC,uBAAuB,EAAE,YAAY,CAAC;SAC7C,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,IAAyB,EAAE,EAAE;QAC5D,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,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,CAAC;YAC1D,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC;gBACD,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE;oBAC9B,MAAM,EAAE,IAAI,CAAC,MAAM;iBACtB,CAAC,CAAA;YACN,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;YAC/D,CAAC;QACL,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CACR,6DAA6D,CAChE;SACA,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,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,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,CAAC;YAC1D,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QAED,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAA;QACjC,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;SACtB,WAAW,CAAC,iDAAiD,CAAC;SAC9D,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,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,UAAU,GAAG,MAAM,CAAC,0BAA0B,EAAE,CAAA;QACtD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;QACrD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAEhE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;QACrB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACrB,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;YACtC,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;SACxB,WAAW,CAAC,uDAAuD,CAAC;SACpE,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAA2C,EAAE,EAAE;QAC1D,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,UAAU,GAAG,MAAM,CAAC,0BAA0B,EAAE,CAAA;QACtD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;QACrD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAEhE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAA;YAC7C,CAAC;iBAAM,CAAC;gBACJ,SAAS,CAAC,uBAAuB,CAAC,CAAA;YACtC,CAAC;YACD,OAAM;QACV,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CACrB,UAAU,MAAM,CAAC,MAAM,sBAAsB,CAChD,CAAA;QACL,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACrB,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAC/B,CAAC;QACD,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAE3B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC;gBACN,OAAO,EAAE,MAAM,CAAC,MAAM;gBACtB,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtC,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,GAAG,MAAM,CAAC,MAAM,sBAAsB,CAAC,CAAA;QACrD,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}

package/dist/cli/commands/version-show.d.ts

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

package/dist/cli/commands/version-show.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version-show.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/version-show.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAKnC,wBAAgB,0BAA0B,CACtC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CA2BN"}

package/dist/cli/commands/version-show.js

@@ -0,0 +1,31 @@
+import { Command } from "commander";
+import { printJson, printLine } from "../output.js";
+import { readArgumentMeta } from "../storage/arguments.js";
+import { readVersionMeta } from "../storage/arguments.js";
+export function registerVersionShowCommand(versionedCmd, argumentId, version) {
+    versionedCmd
+        .command("show")
+        .description("Show metadata for this argument version")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const [argMeta, vMeta] = await Promise.all([
+            readArgumentMeta(argumentId),
+            readVersionMeta(argumentId, version),
+        ]);
+        if (opts.json) {
+            printJson({ ...argMeta, ...vMeta });
+        }
+        else {
+            printLine(`id:          ${argMeta.id}`);
+            printLine(`title:       ${argMeta.title}`);
+            printLine(`description: ${argMeta.description ?? ""}`);
+            printLine(`version:     ${vMeta.version}`);
+            printLine(`created:     ${vMeta.createdAt.toLocaleString()}`);
+            printLine(`published:   ${vMeta.published}`);
+            if (vMeta.publishedAt !== undefined) {
+                printLine(`publishedAt: ${vMeta.publishedAt.toLocaleString()}`);
+            }
+        }
+    });
+}
+//# sourceMappingURL=version-show.js.map

package/dist/cli/commands/version-show.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version-show.js","sourceRoot":"","sources":["../../../src/cli/commands/version-show.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAEzD,MAAM,UAAU,0BAA0B,CACtC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,yCAAyC,CAAC;SACtD,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACvC,gBAAgB,CAAC,UAAU,CAAC;YAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;SACvC,CAAC,CAAA;QAEF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,gBAAgB,OAAO,CAAC,EAAE,EAAE,CAAC,CAAA;YACvC,SAAS,CAAC,gBAAgB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAA;YAC1C,SAAS,CAAC,gBAAgB,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC,CAAA;YACtD,SAAS,CAAC,gBAAgB,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YAC1C,SAAS,CAAC,gBAAgB,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC,CAAA;YAC7D,SAAS,CAAC,gBAAgB,KAAK,CAAC,SAAS,EAAE,CAAC,CAAA;YAC5C,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBAClC,SAAS,CACL,gBAAgB,KAAK,CAAC,WAAW,CAAC,cAAc,EAAE,EAAE,CACvD,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}

package/dist/cli/config.d.ts

@@ -0,0 +1,8 @@
+export declare function getStateDir(): string;
+export declare function getArgumentsDir(): string;
+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 getLogsDir(): string;
+//# sourceMappingURL=config.d.ts.map

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

@@ -0,0 +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;AAED,wBAAgB,UAAU,IAAI,MAAM,CAEnC"}

package/dist/cli/config.js

@@ -0,0 +1,24 @@
+import os from "node:os";
+import path from "node:path";
+export function getStateDir() {
+    return (process.env.PROPOSIT_HOME ?? path.join(os.homedir(), ".proposit-core"));
+}
+export function getArgumentsDir() {
+    return path.join(getStateDir(), "arguments");
+}
+export function getArgumentDir(argumentId) {
+    return path.join(getArgumentsDir(), argumentId);
+}
+export function getVersionDir(argumentId, version) {
+    return path.join(getArgumentDir(argumentId), String(version));
+}
+export function getPremisesDir(argumentId, version) {
+    return path.join(getVersionDir(argumentId, version), "premises");
+}
+export function getPremiseDir(argumentId, version, premiseId) {
+    return path.join(getPremisesDir(argumentId, version), premiseId);
+}
+export function getLogsDir() {
+    return path.join(getStateDir(), "logs");
+}
+//# sourceMappingURL=config.js.map

package/dist/cli/config.js.map

@@ -0,0 +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;AAED,MAAM,UAAU,UAAU;IACtB,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,MAAM,CAAC,CAAA;AAC3C,CAAC"}

package/dist/cli/engine.d.ts

@@ -0,0 +1,19 @@
+import { ArgumentEngine } from "../lib/core/argument-engine.js";
+import { PropositCore } from "../lib/core/proposit-core.js";
+export declare function hydratePropositCore(): Promise<PropositCore>;
+export declare function persistCore(core: PropositCore): Promise<void>;
+/**
+ * Builds a fully-hydrated ArgumentEngine from the on-disk state for the
+ * given argument ID and version number.
+ *
+ * Uses `ArgumentEngine.fromSnapshot()` to restore the engine, which
+ * correctly suppresses auto-variable creation during premise restoration.
+ */
+export declare function hydrateEngine(argumentId: string, version: number, core?: PropositCore): Promise<ArgumentEngine>;
+/**
+ * Persists a fully-hydrated ArgumentEngine to disk, writing all metadata,
+ * variables, roles, and premise data. This is the logical inverse of
+ * `hydrateEngine()`.
+ */
+export declare function persistEngine(engine: ArgumentEngine): Promise<void>;
+//# sourceMappingURL=engine.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AACA,OAAO,EACH,cAAc,EAEjB,MAAM,gCAAgC,CAAA;AAGvC,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAmC3D,wBAAsB,mBAAmB,IAAI,OAAO,CAAC,YAAY,CAAC,CAgBjE;AAED,wBAAsB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAOnE;AAED;;;;;;GAMG;AACH,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,YAAY,GACpB,OAAO,CAAC,cAAc,CAAC,CAiHzB;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CA2CzE"}