@proposit/proposit-core 0.8.9

package/dist/cli/output/diff-renderer.js

@@ -0,0 +1,89 @@
+import { printLine } from "../output.js";
+export function isDiffEmpty(diff) {
+    return (diff.argument.changes.length === 0 &&
+        diff.variables.added.length === 0 &&
+        diff.variables.removed.length === 0 &&
+        diff.variables.modified.length === 0 &&
+        diff.premises.added.length === 0 &&
+        diff.premises.removed.length === 0 &&
+        diff.premises.modified.length === 0 &&
+        diff.roles.conclusion.before === diff.roles.conclusion.after);
+}
+function formatValue(value) {
+    if (value === undefined)
+        return "undefined";
+    if (value === null)
+        return "null";
+    return JSON.stringify(value);
+}
+function renderFieldChanges(changes, indent) {
+    for (const change of changes) {
+        printLine(`${indent}${change.field}: ${formatValue(change.before)} → ${formatValue(change.after)}`);
+    }
+}
+function renderEntitySetDiff(diff, indent) {
+    for (const item of diff.added) {
+        printLine(`${indent}+ ${item.id} (added)`);
+    }
+    for (const item of diff.removed) {
+        printLine(`${indent}- ${item.id} (removed)`);
+    }
+    for (const mod of diff.modified) {
+        printLine(`${indent}~ ${mod.before.id}:`);
+        renderFieldChanges(mod.changes, indent + "  ");
+    }
+}
+function renderPremiseModified(mod, indent) {
+    printLine(`${indent}~ ${mod.before.id}:`);
+    renderFieldChanges(mod.changes, indent + "  ");
+    const exprDiff = mod.expressions;
+    const hasExprChanges = exprDiff.added.length > 0 ||
+        exprDiff.removed.length > 0 ||
+        exprDiff.modified.length > 0;
+    if (hasExprChanges) {
+        printLine(`${indent}  Expressions:`);
+        renderEntitySetDiff(exprDiff, indent + "    ");
+    }
+}
+export function renderDiff(diff) {
+    if (isDiffEmpty(diff)) {
+        printLine("No differences.");
+        return;
+    }
+    // Argument section
+    if (diff.argument.changes.length > 0) {
+        printLine("Argument:");
+        renderFieldChanges(diff.argument.changes, "  ");
+    }
+    // Variables section
+    const hasVarChanges = diff.variables.added.length > 0 ||
+        diff.variables.removed.length > 0 ||
+        diff.variables.modified.length > 0;
+    if (hasVarChanges) {
+        printLine("Variables:");
+        renderEntitySetDiff(diff.variables, "  ");
+    }
+    // Premises section
+    const hasPremiseChanges = diff.premises.added.length > 0 ||
+        diff.premises.removed.length > 0 ||
+        diff.premises.modified.length > 0;
+    if (hasPremiseChanges) {
+        printLine("Premises:");
+        for (const item of diff.premises.added) {
+            printLine(`  + ${item.id} (added)`);
+        }
+        for (const item of diff.premises.removed) {
+            printLine(`  - ${item.id} (removed)`);
+        }
+        for (const mod of diff.premises.modified) {
+            renderPremiseModified(mod, "  ");
+        }
+    }
+    // Roles section
+    const conclusionChanged = diff.roles.conclusion.before !== diff.roles.conclusion.after;
+    if (conclusionChanged) {
+        printLine("Roles:");
+        printLine(`  conclusion: ${formatValue(diff.roles.conclusion.before)} → ${formatValue(diff.roles.conclusion.after)}`);
+    }
+}
+//# sourceMappingURL=diff-renderer.js.map

package/dist/cli/output/diff-renderer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-renderer.js","sourceRoot":"","sources":["../../../src/cli/output/diff-renderer.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,MAAM,UAAU,WAAW,CAAC,IAAuB;IAC/C,OAAO,CACH,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAChC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAC/D,CAAA;AACL,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IAC/B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,WAAW,CAAA;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IACjC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,SAAS,kBAAkB,CAAC,OAA2B,EAAE,MAAc;IACnE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,SAAS,CACL,GAAG,MAAM,GAAG,MAAM,CAAC,KAAK,KAAK,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC3F,CAAA;IACL,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CACxB,IAA2B,EAC3B,MAAc;IAEd,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5B,SAAS,CAAC,GAAG,MAAM,KAAK,IAAI,CAAC,EAAE,UAAU,CAAC,CAAA;IAC9C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9B,SAAS,CAAC,GAAG,MAAM,KAAK,IAAI,CAAC,EAAE,YAAY,CAAC,CAAA;IAChD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,SAAS,CAAC,GAAG,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAA;QACzC,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC,CAAA;IAClD,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAqB,EAAE,MAAc;IAChE,SAAS,CAAC,GAAG,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAA;IACzC,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC,CAAA;IAC9C,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAA;IAChC,MAAM,cAAc,GAChB,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACzB,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAC3B,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;IAChC,IAAI,cAAc,EAAE,CAAC;QACjB,SAAS,CAAC,GAAG,MAAM,gBAAgB,CAAC,CAAA;QACpC,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,CAAA;IAClD,CAAC;AACL,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAuB;IAC9C,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACpB,SAAS,CAAC,iBAAiB,CAAC,CAAA;QAC5B,OAAM;IACV,CAAC;IAED,mBAAmB;IACnB,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,SAAS,CAAC,WAAW,CAAC,CAAA;QACtB,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IACnD,CAAC;IAED,oBAAoB;IACpB,MAAM,aAAa,GACf,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;IACtC,IAAI,aAAa,EAAE,CAAC;QAChB,SAAS,CAAC,YAAY,CAAC,CAAA;QACvB,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAC7C,CAAC;IAED,mBAAmB;IACnB,MAAM,iBAAiB,GACnB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAChC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;IACrC,IAAI,iBAAiB,EAAE,CAAC;QACpB,SAAS,CAAC,WAAW,CAAC,CAAA;QACtB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACrC,SAAS,CAAC,OAAO,IAAI,CAAC,EAAE,UAAU,CAAC,CAAA;QACvC,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YACvC,SAAS,CAAC,OAAO,IAAI,CAAC,EAAE,YAAY,CAAC,CAAA;QACzC,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACvC,qBAAqB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QACpC,CAAC;IACL,CAAC;IAED,gBAAgB;IAChB,MAAM,iBAAiB,GACnB,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAA;IAChE,IAAI,iBAAiB,EAAE,CAAC;QACpB,SAAS,CAAC,QAAQ,CAAC,CAAA;QACnB,SAAS,CACL,iBAAiB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAC7G,CAAA;IACL,CAAC;AACL,CAAC"}

package/dist/cli/output.d.ts

@@ -0,0 +1,6 @@
+export declare function printJson(value: unknown): void;
+export declare function printLine(text: string): void;
+export declare function printWarning(message: string): void;
+export declare function errorExit(message: string, code?: number): never;
+export declare function requireConfirmation(prompt: string): Promise<void>;
+//# sourceMappingURL=output.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAGA,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAE9C;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAE5C;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAElD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,KAAK,CAG1D;AAED,wBAAsB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAwBvE"}

package/dist/cli/output.js

@@ -0,0 +1,41 @@
+import readline from "node:readline";
+import fs from "node:fs";
+export function printJson(value) {
+    process.stdout.write(JSON.stringify(value, null, 2) + "\n");
+}
+export function printLine(text) {
+    process.stdout.write(text + "\n");
+}
+export function printWarning(message) {
+    process.stderr.write(message + "\n");
+}
+export function errorExit(message, code = 1) {
+    process.stderr.write(message + "\n");
+    process.exit(code);
+}
+export async function requireConfirmation(prompt) {
+    // Open /dev/tty directly so piped stdin doesn't interfere
+    let input;
+    try {
+        input = fs.createReadStream("/dev/tty");
+    }
+    catch {
+        input = process.stdin;
+    }
+    const rl = readline.createInterface({ input, output: process.stderr });
+    process.stderr.write(`${prompt} (type "confirm" to proceed): `);
+    await new Promise((resolve) => {
+        rl.once("line", (line) => {
+            rl.close();
+            if (input !== process.stdin && "destroy" in input) {
+                ;
+                input.destroy();
+            }
+            if (line.trim() !== "confirm") {
+                errorExit("Aborted.");
+            }
+            resolve();
+        });
+    });
+}
+//# sourceMappingURL=output.js.map

package/dist/cli/output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.js","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,eAAe,CAAA;AACpC,OAAO,EAAE,MAAM,SAAS,CAAA;AAExB,MAAM,UAAU,SAAS,CAAC,KAAc;IACpC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;AAC/D,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAY;IAClC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,CAAA;AACrC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAe;IACxC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAe,EAAE,IAAI,GAAG,CAAC;IAC/C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAA;IACpC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACtB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,MAAc;IACpD,0DAA0D;IAC1D,IAAI,KAA4B,CAAA;IAChC,IAAI,CAAC;QACD,KAAK,GAAG,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAA;IAC3C,CAAC;IAAC,MAAM,CAAC;QACL,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;IACzB,CAAC;IAED,MAAM,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IACtE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,gCAAgC,CAAC,CAAA;IAE/D,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QAChC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACrB,EAAE,CAAC,KAAK,EAAE,CAAA;YACV,IAAI,KAAK,KAAK,OAAO,CAAC,KAAK,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;gBAChD,CAAC;gBAAC,KAAuB,CAAC,OAAO,EAAE,CAAA;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBAC5B,SAAS,CAAC,UAAU,CAAC,CAAA;YACzB,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC,CAAC,CAAA;IACN,CAAC,CAAC,CAAA;AACN,CAAC"}

package/dist/cli/router.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Returns true when argv[2] is a named top-level command (not a UUID).
+ */
+export declare function isNamedCommand(argv: string[]): boolean;
+/**
+ * Resolves an argument_version string to a concrete version number.
+ *
+ * Accepts:
+ *   - A non-negative integer string → validates existence, returns it
+ *   - "latest"         → max version number found in the argument directory
+ *   - "last-published" → highest published version; exits 1 if none
+ */
+export declare function resolveVersion(argumentId: string, versionArg: string): Promise<number>;
+//# sourceMappingURL=router.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"router.d.ts","sourceRoot":"","sources":["../../src/cli/router.ts"],"names":[],"mappings":"AAgBA;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAItD;AAED;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAChC,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,CAAC,CAgCjB"}

package/dist/cli/router.js

@@ -0,0 +1,59 @@
+import { listVersionNumbers, readVersionMeta } from "./storage/arguments.js";
+import { errorExit } from "./output.js";
+const NAMED_COMMANDS = new Set([
+    "help",
+    "--help",
+    "-h",
+    "version",
+    "--version",
+    "-V",
+    "arguments",
+    "claims",
+    "diff",
+    "sources",
+]);
+/**
+ * Returns true when argv[2] is a named top-level command (not a UUID).
+ */
+export function isNamedCommand(argv) {
+    const first = argv[2];
+    if (first === undefined)
+        return true;
+    return NAMED_COMMANDS.has(first);
+}
+/**
+ * Resolves an argument_version string to a concrete version number.
+ *
+ * Accepts:
+ *   - A non-negative integer string → validates existence, returns it
+ *   - "latest"         → max version number found in the argument directory
+ *   - "last-published" → highest published version; exits 1 if none
+ */
+export async function resolveVersion(argumentId, versionArg) {
+    const versions = await listVersionNumbers(argumentId);
+    if (versions.length === 0) {
+        errorExit(`No versions found for argument "${argumentId}".`);
+    }
+    if (versionArg === "latest") {
+        return versions[versions.length - 1];
+    }
+    if (versionArg === "last-published") {
+        // Check from highest to lowest
+        for (let i = versions.length - 1; i >= 0; i--) {
+            const v = versions[i];
+            const meta = await readVersionMeta(argumentId, v);
+            if (meta.published)
+                return v;
+        }
+        errorExit(`Argument "${argumentId}" has no published versions.`);
+    }
+    const parsed = Number(versionArg);
+    if (!Number.isInteger(parsed) || parsed < 0) {
+        errorExit(`Invalid version "${versionArg}". Use a non-negative integer, "latest", or "last-published".`);
+    }
+    if (!versions.includes(parsed)) {
+        errorExit(`Version ${parsed} does not exist for argument "${argumentId}".`);
+    }
+    return parsed;
+}
+//# sourceMappingURL=router.js.map

package/dist/cli/router.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"router.js","sourceRoot":"","sources":["../../src/cli/router.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEvC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC3B,MAAM;IACN,QAAQ;IACR,IAAI;IACJ,SAAS;IACT,WAAW;IACX,IAAI;IACJ,WAAW;IACX,QAAQ;IACR,MAAM;IACN,SAAS;CACZ,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACpC,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACpC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAA;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,SAAS,CAAC,mCAAmC,UAAU,IAAI,CAAC,CAAA;IAChE,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACxC,CAAC;IAED,IAAI,UAAU,KAAK,gBAAgB,EAAE,CAAC;QAClC,+BAA+B;QAC/B,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;YACrB,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;YACjD,IAAI,IAAI,CAAC,SAAS;gBAAE,OAAO,CAAC,CAAA;QAChC,CAAC;QACD,SAAS,CAAC,aAAa,UAAU,8BAA8B,CAAC,CAAA;IACpE,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACjC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,SAAS,CACL,oBAAoB,UAAU,+DAA+D,CAChG,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,SAAS,CACL,WAAW,MAAM,iCAAiC,UAAU,IAAI,CACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}

package/dist/cli/schemata.d.ts

@@ -0,0 +1,74 @@
+import Type, { type Static } from "typebox";
+export declare const CliArgumentMetaSchema: Type.TObject<{
+    id: Type.TString;
+    title: Type.TString;
+    description: Type.TOptional<Type.TString>;
+}>;
+export type TCliArgumentMeta = Static<typeof CliArgumentMetaSchema>;
+export declare const CliArgumentVersionMetaSchema: Type.TObject<{
+    version: Type.TNumber;
+    createdAt: import("../index.js").TDateType;
+    published: Type.TBoolean;
+    publishedAt: Type.TOptional<import("../index.js").TDateType>;
+}>;
+export type TCliArgumentVersionMeta = Static<typeof CliArgumentVersionMetaSchema>;
+export declare const CliArgumentSchema: Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    checksum: Type.TOptional<Type.TString>;
+    descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    combinedChecksum: Type.TOptional<Type.TString>;
+    title: Type.TString;
+    description: Type.TOptional<Type.TString>;
+    createdAt: import("../index.js").TDateType;
+    published: Type.TBoolean;
+    publishedAt: Type.TOptional<import("../index.js").TDateType>;
+}>;
+export type TCliArgument = Static<typeof CliArgumentSchema>;
+export declare const CliPremiseMetaSchema: Type.TObject<{
+    id: Type.TString;
+    title: Type.TOptional<Type.TString>;
+}>;
+export type TCliPremiseMeta = Static<typeof CliPremiseMetaSchema>;
+export declare const CliPremiseDataSchema: Type.TObject<{
+    rootExpressionId: Type.TOptional<Type.TString>;
+    variables: Type.TArray<Type.TString>;
+    expressions: Type.TArray<Type.TUnion<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TOptional<Type.TString>;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TOptional<Type.TString>;
+        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        combinedChecksum: Type.TOptional<Type.TString>;
+        type: Type.TLiteral<"variable">;
+        variableId: Type.TString;
+    }>, Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TOptional<Type.TString>;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TOptional<Type.TString>;
+        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        combinedChecksum: Type.TOptional<Type.TString>;
+        type: Type.TLiteral<"operator">;
+        operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    }>, Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TOptional<Type.TString>;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TOptional<Type.TString>;
+        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        combinedChecksum: Type.TOptional<Type.TString>;
+        type: Type.TLiteral<"formula">;
+    }>]>>;
+}>;
+export type TCliPremiseData = Static<typeof CliPremiseDataSchema>;
+//# sourceMappingURL=schemata.d.ts.map

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

@@ -0,0 +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;;;;;;;;;;;EAW5B,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;AAmCjE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAc/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA"}

package/dist/cli/schemata.js

@@ -0,0 +1,89 @@
+import Type, {} from "typebox";
+import { CoreLogicalOperatorType } from "../lib/schemata/propositional.js";
+import { EncodableDate, Nullable, UUID } from "../lib/schemata/shared.js";
+// ---------------------------------------------------------------------------
+// Argument meta (stored in arguments/<id>/meta.json)
+// Flat fields: { id, title, description? }
+// ---------------------------------------------------------------------------
+export const CliArgumentMetaSchema = Type.Object({
+    id: UUID,
+    title: Type.String(),
+    description: Type.Optional(Type.String()),
+}, { additionalProperties: Type.String() });
+// ---------------------------------------------------------------------------
+// Version meta (stored in arguments/<id>/<version>/meta.json)
+// { version, createdAt, published, publishedAt? }
+// ---------------------------------------------------------------------------
+export const CliArgumentVersionMetaSchema = Type.Object({
+    version: Type.Number(),
+    createdAt: EncodableDate,
+    published: Type.Boolean(),
+    publishedAt: Type.Optional(EncodableDate),
+});
+// ---------------------------------------------------------------------------
+// Full CLI argument (core identity + CLI-specific flat fields)
+// Uses optional checksum for backward-compatible disk reads.
+// ---------------------------------------------------------------------------
+export const CliArgumentSchema = Type.Object({
+    id: UUID,
+    version: Type.Number(),
+    checksum: Type.Optional(Type.String()),
+    descendantChecksum: Type.Optional(Nullable(Type.String())),
+    combinedChecksum: Type.Optional(Type.String()),
+    title: Type.String(),
+    description: Type.Optional(Type.String()),
+    createdAt: EncodableDate,
+    published: Type.Boolean(),
+    publishedAt: Type.Optional(EncodableDate),
+});
+// ---------------------------------------------------------------------------
+// Premise meta (stored in premises/<id>/meta.json)
+// Flat fields: { id, title? }
+// ---------------------------------------------------------------------------
+export const CliPremiseMetaSchema = Type.Object({
+    id: UUID,
+    title: Type.Optional(Type.String()),
+}, { additionalProperties: Type.String() });
+// ---------------------------------------------------------------------------
+// CLI expression schema — optional checksum for backward-compatible disk reads
+// ---------------------------------------------------------------------------
+const CliBaseExpressionSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    premiseId: Type.Optional(UUID),
+    parentId: Nullable(UUID),
+    position: Type.Number(),
+    checksum: Type.Optional(Type.String()),
+    descendantChecksum: Type.Optional(Nullable(Type.String())),
+    combinedChecksum: Type.Optional(Type.String()),
+});
+const CliExpressionSchema = Type.Union([
+    Type.Interface([CliBaseExpressionSchema], {
+        type: Type.Literal("variable"),
+        variableId: UUID,
+    }),
+    Type.Interface([CliBaseExpressionSchema], {
+        type: Type.Literal("operator"),
+        operator: CoreLogicalOperatorType,
+    }),
+    Type.Interface([CliBaseExpressionSchema], {
+        type: Type.Literal("formula"),
+    }),
+]);
+// ---------------------------------------------------------------------------
+// Premise data (stored in premises/<id>/data.json)
+// { rootExpressionId?, variables, expressions }
+// ---------------------------------------------------------------------------
+export const CliPremiseDataSchema = Type.Object({
+    rootExpressionId: Type.Optional(Type.String({
+        description: "ID of the root expression, if the premise has expressions.",
+    })),
+    variables: Type.Array(UUID, {
+        description: "IDs of all variables referenced in this premise.",
+    }),
+    expressions: Type.Array(CliExpressionSchema, {
+        description: "All expressions in this premise. The root has a null parentId.",
+    }),
+});
+//# sourceMappingURL=schemata.js.map

package/dist/cli/schemata.js.map

@@ -0,0 +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,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,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;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACjD,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"}

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

@@ -0,0 +1,9 @@
+import { type TCoreAnalysisFile } from "../../lib/schemata/index.js";
+export declare function resolveAnalysisFilename(filename: string | undefined, argumentId: string, version: number): Promise<string>;
+export declare function nextAnalysisFilename(argumentId: string, version: number): Promise<string>;
+export declare function readAnalysis(argumentId: string, version: number, filename: string): Promise<TCoreAnalysisFile>;
+export declare function writeAnalysis(argumentId: string, version: number, filename: string, data: TCoreAnalysisFile): Promise<void>;
+export declare function listAnalysisFiles(argumentId: string, version: number): Promise<string[]>;
+export declare function deleteAnalysisFile(argumentId: string, version: number, filename: string): Promise<void>;
+export declare function analysisFileExists(argumentId: string, version: number, filename: string): Promise<boolean>;
+//# sourceMappingURL=analysis.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/analysis.ts"],"names":[],"mappings":"AAGA,OAAO,EAEH,KAAK,iBAAiB,EACzB,MAAM,6BAA6B,CAAA;AAUpC,wBAAsB,uBAAuB,CACzC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,CAAC,CAGjB;AA0BD,wBAAsB,oBAAoB,CACtC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,CAAC,CAYjB;AAUD,wBAAsB,YAAY,CAC9B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,OAAO,CAAC,iBAAiB,CAAC,CAW5B;AAED,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,iBAAiB,GACxB,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iBAAiB,CACnC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsBnB;AAED,wBAAsB,kBAAkB,CACpC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC,CAEf;AAED,wBAAsB,kBAAkB,CACpC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,OAAO,CAAC,OAAO,CAAC,CAKlB"}

package/dist/cli/storage/analysis.js

@@ -0,0 +1,108 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import Value from "typebox/value";
+import { CoreAnalysisFileSchema, } from "../../lib/schemata/index.js";
+import { getVersionDir } from "../config.js";
+import { errorExit } from "../output.js";
+const RESERVED_FILENAMES = new Set([
+    "meta.json",
+    "variables.json",
+    "roles.json",
+]);
+export async function resolveAnalysisFilename(filename, argumentId, version) {
+    if (filename)
+        return filename;
+    return await latestAnalysisFilename(argumentId, version);
+}
+async function latestAnalysisFilename(argumentId, version) {
+    const existing = await listAnalysisFiles(argumentId, version);
+    const pattern = /^analysis-(\d+)\.json$/;
+    let best;
+    let max = 0;
+    for (const name of existing) {
+        const match = pattern.exec(name);
+        if (match) {
+            const n = parseInt(match[1], 10);
+            if (n > max) {
+                max = n;
+                best = name;
+            }
+        }
+    }
+    if (best)
+        return best;
+    // Fall back to first analysis file found, or error
+    if (existing.length > 0)
+        return existing[existing.length - 1];
+    errorExit("No analysis files found. Run 'analysis create' first.");
+}
+export async function nextAnalysisFilename(argumentId, version) {
+    const existing = await listAnalysisFiles(argumentId, version);
+    const pattern = /^analysis-(\d+)\.json$/;
+    let max = 0;
+    for (const name of existing) {
+        const match = pattern.exec(name);
+        if (match) {
+            const n = parseInt(match[1], 10);
+            if (n > max)
+                max = n;
+        }
+    }
+    return `analysis-${max + 1}.json`;
+}
+function analysisPath(argumentId, version, filename) {
+    return path.join(getVersionDir(argumentId, version), filename);
+}
+export async function readAnalysis(argumentId, version, filename) {
+    const filePath = analysisPath(argumentId, version, filename);
+    const content = await fs.readFile(filePath, "utf-8").catch(() => {
+        errorExit(`Analysis file "${filename}" not found.`);
+    });
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(CoreAnalysisFileSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writeAnalysis(argumentId, version, filename, data) {
+    await fs.writeFile(analysisPath(argumentId, version, filename), JSON.stringify(data, null, 2));
+}
+export async function listAnalysisFiles(argumentId, version) {
+    const dir = getVersionDir(argumentId, version);
+    const entries = await fs
+        .readdir(dir, { withFileTypes: true })
+        .catch(() => []);
+    const results = [];
+    for (const entry of entries) {
+        if (!entry.isFile())
+            continue;
+        if (!entry.name.endsWith(".json"))
+            continue;
+        if (RESERVED_FILENAMES.has(entry.name))
+            continue;
+        const filePath = path.join(dir, entry.name);
+        try {
+            const content = await fs.readFile(filePath, "utf-8");
+            const raw = JSON.parse(content);
+            if (Value.Check(CoreAnalysisFileSchema, raw)) {
+                results.push(entry.name);
+            }
+        }
+        catch {
+            // skip unparseable files
+        }
+    }
+    return results.sort();
+}
+export async function deleteAnalysisFile(argumentId, version, filename) {
+    await fs.rm(analysisPath(argumentId, version, filename), { force: true });
+}
+export async function analysisFileExists(argumentId, version, filename) {
+    return fs
+        .stat(analysisPath(argumentId, version, filename))
+        .then((s) => s.isFile())
+        .catch(() => false);
+}
+//# sourceMappingURL=analysis.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../src/cli/storage/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,KAAK,MAAM,eAAe,CAAA;AACjC,OAAO,EACH,sBAAsB,GAEzB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IAC/B,WAAW;IACX,gBAAgB;IAChB,YAAY;CACf,CAAC,CAAA;AAEF,MAAM,CAAC,KAAK,UAAU,uBAAuB,CACzC,QAA4B,EAC5B,UAAkB,EAClB,OAAe;IAEf,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAA;IAC7B,OAAO,MAAM,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;AAC5D,CAAC;AAED,KAAK,UAAU,sBAAsB,CACjC,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC7D,MAAM,OAAO,GAAG,wBAAwB,CAAA;IACxC,IAAI,IAAwB,CAAA;IAC5B,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,KAAK,EAAE,CAAC;YACR,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAChC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;gBACV,GAAG,GAAG,CAAC,CAAA;gBACP,IAAI,GAAG,IAAI,CAAA;YACf,CAAC;QACL,CAAC;IACL,CAAC;IACD,IAAI,IAAI;QAAE,OAAO,IAAI,CAAA;IACrB,mDAAmD;IACnD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC7D,SAAS,CAAC,uDAAuD,CAAC,CAAA;AACtE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACtC,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC7D,MAAM,OAAO,GAAG,wBAAwB,CAAA;IACxC,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,KAAK,EAAE,CAAC;YACR,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAChC,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAA;QACxB,CAAC;IACL,CAAC;IACD,OAAO,YAAY,GAAG,GAAG,CAAC,OAAO,CAAA;AACrC,CAAC;AAED,SAAS,YAAY,CACjB,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAA;AAClE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;IAC5D,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,kBAAkB,QAAQ,cAAc,CAAC,CAAA;IACvD,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;IACnD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe,EACf,QAAgB,EAChB,IAAuB;IAEvB,MAAM,EAAE,CAAC,SAAS,CACd,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC3C,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACnC,UAAkB,EAClB,OAAe;IAEf,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,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,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;YAAE,SAAQ;QAC7B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAQ;QAC3C,IAAI,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAQ;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;YACpD,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACxC,IAAI,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,yBAAyB;QAC7B,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,EAAE,CAAA;AACzB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,MAAM,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,OAAO,EAAE;SACJ,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;SACjD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACvB,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;AAC3B,CAAC"}

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

@@ -0,0 +1,12 @@
+import { type TCliArgumentMeta, type TCliArgumentVersionMeta } from "../schemata.js";
+export declare function readArgumentMeta(argumentId: string): Promise<TCliArgumentMeta>;
+export declare function writeArgumentMeta(meta: TCliArgumentMeta): Promise<void>;
+export declare function readVersionMeta(argumentId: string, version: number): Promise<TCliArgumentVersionMeta>;
+export declare function writeVersionMeta(argumentId: string, meta: TCliArgumentVersionMeta): Promise<void>;
+export declare function listArgumentIds(): Promise<string[]>;
+export declare function listVersionNumbers(argumentId: string): Promise<number[]>;
+export declare function latestVersionNumber(argumentId: string): Promise<number>;
+export declare function deleteVersionDir(argumentId: string, version: number): Promise<void>;
+export declare function deleteArgumentDir(argumentId: string): Promise<void>;
+export declare function copyVersionDir(argumentId: string, srcVersion: number, destVersion: number): Promise<void>;
+//# sourceMappingURL=arguments.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/arguments.ts"],"names":[],"mappings":"AAGA,OAAO,EAGH,KAAK,gBAAgB,EACrB,KAAK,uBAAuB,EAC/B,MAAM,gBAAgB,CAAA;AAIvB,wBAAsB,gBAAgB,CAClC,UAAU,EAAE,MAAM,GACnB,OAAO,CAAC,gBAAgB,CAAC,CAW3B;AAED,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAO7E;AAED,wBAAsB,eAAe,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,uBAAuB,CAAC,CAWlC;AAED,wBAAsB,gBAAgB,CAClC,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,uBAAuB,GAC9B,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAsB,eAAe,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAQzD;AAED,wBAAsB,kBAAkB,CACpC,UAAU,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CASnB;AAED,wBAAsB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAK7E;AAED,wBAAsB,gBAAgB,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAEzE;AAED,wBAAsB,cAAc,CAChC,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,GACpB,OAAO,CAAC,IAAI,CAAC,CAMf"}

package/dist/cli/storage/arguments.js

@@ -0,0 +1,80 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import { Value } from "typebox/value";
+import { CliArgumentMetaSchema, CliArgumentVersionMetaSchema, } from "../schemata.js";
+import { getArgumentDir, getArgumentsDir, getVersionDir } from "../config.js";
+import { errorExit } from "../output.js";
+export async function readArgumentMeta(argumentId) {
+    const filePath = path.join(getArgumentDir(argumentId), "meta.json");
+    const content = await fs.readFile(filePath, "utf-8").catch(() => {
+        errorExit(`Argument "${argumentId}" not found.`);
+    });
+    const raw = JSON.parse(content);
+    try {
+        return Value.Parse(CliArgumentMetaSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writeArgumentMeta(meta) {
+    const dir = getArgumentDir(meta.id);
+    await fs.mkdir(dir, { recursive: true });
+    await fs.writeFile(path.join(dir, "meta.json"), JSON.stringify(meta, null, 2));
+}
+export async function readVersionMeta(argumentId, version) {
+    const filePath = path.join(getVersionDir(argumentId, version), "meta.json");
+    const content = await fs.readFile(filePath, "utf-8").catch(() => {
+        errorExit(`Version ${version} of argument "${argumentId}" not found.`);
+    });
+    const raw = JSON.parse(content);
+    try {
+        return Value.Decode(CliArgumentVersionMetaSchema, raw);
+    }
+    catch {
+        errorExit(`Invalid or corrupt file: ${filePath}`);
+    }
+}
+export async function writeVersionMeta(argumentId, meta) {
+    const dir = getVersionDir(argumentId, meta.version);
+    await fs.mkdir(dir, { recursive: true });
+    await fs.writeFile(path.join(dir, "meta.json"), JSON.stringify(meta, null, 2));
+}
+export async function listArgumentIds() {
+    const dir = getArgumentsDir();
+    await fs.mkdir(dir, { recursive: true });
+    const entries = await fs.readdir(dir, { withFileTypes: true });
+    return entries
+        .filter((e) => e.isDirectory())
+        .map((e) => e.name)
+        .sort();
+}
+export async function listVersionNumbers(argumentId) {
+    const dir = getArgumentDir(argumentId);
+    const entries = await fs
+        .readdir(dir, { withFileTypes: true })
+        .catch(() => []);
+    return entries
+        .filter((e) => e.isDirectory() && /^\d+$/.test(e.name))
+        .map((e) => Number(e.name))
+        .sort((a, b) => a - b);
+}
+export async function latestVersionNumber(argumentId) {
+    const versions = await listVersionNumbers(argumentId);
+    if (versions.length === 0)
+        errorExit(`No versions found for argument "${argumentId}".`);
+    return versions[versions.length - 1];
+}
+export async function deleteVersionDir(argumentId, version) {
+    await fs.rm(getVersionDir(argumentId, version), {
+        recursive: true,
+        force: true,
+    });
+}
+export async function deleteArgumentDir(argumentId) {
+    await fs.rm(getArgumentDir(argumentId), { recursive: true, force: true });
+}
+export async function copyVersionDir(argumentId, srcVersion, destVersion) {
+    await fs.cp(getVersionDir(argumentId, srcVersion), getVersionDir(argumentId, destVersion), { recursive: true });
+}
+//# sourceMappingURL=arguments.js.map