@polintpro/proposit-core 0.1.1 → 0.1.2

package/dist/cli/commands/arguments.js

@@ -0,0 +1,118 @@
+import { randomUUID } from "node:crypto";
+import fs from "node:fs/promises";
+import path from "node:path";
+import { Command } from "commander";
+import { getVersionDir } from "../config.js";
+import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
+import { copyVersionDir, deleteArgumentDir, deleteVersionDir, latestVersionNumber, listArgumentIds, listVersionNumbers, readArgumentMeta, readVersionMeta, writeArgumentMeta, writeVersionMeta, } from "../storage/arguments.js";
+import { writeVariables } from "../storage/variables.js";
+import { writeRoles } from "../storage/roles.js";
+import { getPremisesDir } from "../config.js";
+export function registerArgumentCommands(program) {
+    const args = program.command("arguments").description("Manage arguments");
+    args.command("create <title> <description>")
+        .description("Create a new argument")
+        .action(async (title, description) => {
+        const id = randomUUID();
+        const createdAt = Date.now();
+        await writeArgumentMeta({ id, title, description });
+        await writeVersionMeta(id, {
+            version: 0,
+            createdAt,
+            published: false,
+        });
+        await writeVariables(id, 0, []);
+        await writeRoles(id, 0, { supportingPremiseIds: [] });
+        await fs.mkdir(getPremisesDir(id, 0), { recursive: true });
+        printLine(id);
+    });
+    args.command("list")
+        .description("List all arguments")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const ids = await listArgumentIds();
+        const items = await Promise.all(ids.map(async (id) => {
+            const meta = await readArgumentMeta(id);
+            const versions = await listVersionNumbers(id);
+            const latestV = versions[versions.length - 1] ?? 0;
+            const vMeta = await readVersionMeta(id, latestV);
+            return { meta, vMeta };
+        }));
+        // Sort newest first by createdAt
+        items.sort((a, b) => b.vMeta.createdAt - a.vMeta.createdAt);
+        if (opts.json) {
+            printJson(items.map(({ meta, vMeta }) => ({
+                id: meta.id,
+                title: meta.title,
+                description: meta.description,
+                latestVersion: vMeta.version,
+                latestCreatedAt: vMeta.createdAt,
+                latestPublished: vMeta.published,
+            })));
+        }
+        else {
+            for (const { meta, vMeta } of items) {
+                printLine(`${meta.id} | ${meta.title} (created ${new Date(vMeta.createdAt).toLocaleString()})`);
+            }
+        }
+    });
+    args.command("delete <argument_id>")
+        .description("Delete an argument or its latest version")
+        .option("--confirm", "Skip confirmation prompt")
+        .option("--all", "Delete all versions")
+        .action(async (argumentId, opts) => {
+        if (!opts.confirm) {
+            await requireConfirmation(`Delete argument "${argumentId}"?`);
+        }
+        const versions = await listVersionNumbers(argumentId);
+        if (versions.length === 0) {
+            errorExit(`Argument "${argumentId}" not found.`);
+        }
+        let deleted = 0;
+        if (opts.all || versions.length === 1) {
+            deleted = versions.length;
+            await deleteArgumentDir(argumentId);
+        }
+        else {
+            const latest = versions[versions.length - 1];
+            await deleteVersionDir(argumentId, latest);
+            deleted = 1;
+        }
+        printLine(`${deleted} argument(s) deleted`);
+    });
+    args.command("publish <argument_id>")
+        .description("Publish the latest version and prepare a new draft")
+        .action(async (argumentId) => {
+        const V = await latestVersionNumber(argumentId);
+        const vMeta = await readVersionMeta(argumentId, V);
+        if (vMeta.published) {
+            errorExit(`Version ${V} of argument "${argumentId}" is already published.`);
+        }
+        // Mark old version as published
+        await writeVersionMeta(argumentId, {
+            ...vMeta,
+            published: true,
+            publishedAt: Date.now(),
+        });
+        // Copy to new version
+        const newV = V + 1;
+        await copyVersionDir(argumentId, V, newV);
+        // Overwrite new version's meta
+        await writeVersionMeta(argumentId, {
+            version: newV,
+            createdAt: Date.now(),
+            published: false,
+        });
+        // Remove publishedAt from the new version's meta file if it was copied
+        const newMetaPath = path.join(getVersionDir(argumentId, newV), "meta.json");
+        const newMeta = await readVersionMeta(argumentId, newV);
+        const cleanMeta = {
+            version: newMeta.version,
+            createdAt: newMeta.createdAt,
+            published: false,
+        };
+        await fs.writeFile(newMetaPath, JSON.stringify(cleanMeta, null, 2));
+        printLine(`Version ${V} published, draft version ${newV} prepared`);
+    });
+}
+//# sourceMappingURL=arguments.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/cli/commands/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAE7C,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAA;IAEzE,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;SACvC,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,KAAK,EAAE,KAAa,EAAE,WAAmB,EAAE,EAAE;QACjD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAE5B,MAAM,iBAAiB,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAA;QACnD,MAAM,gBAAgB,CAAC,EAAE,EAAE;YACvB,OAAO,EAAE,CAAC;YACV,SAAS;YACT,SAAS,EAAE,KAAK;SACnB,CAAC,CAAA;QACF,MAAM,cAAc,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAC/B,MAAM,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,CAAC,CAAA;QACrD,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAE1D,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CAAC,CAAA;IAEN,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,GAAG,GAAG,MAAM,eAAe,EAAE,CAAA;QACnC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAC3B,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,EAAE,CAAC,CAAA;YACvC,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,EAAE,CAAC,CAAA;YAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;YAClD,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;YAChD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QAC1B,CAAC,CAAC,CACL,CAAA;QACD,iCAAiC;QACjC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QAE3D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC5B,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,aAAa,EAAE,KAAK,CAAC,OAAO;gBAC5B,eAAe,EAAE,KAAK,CAAC,SAAS;gBAChC,eAAe,EAAE,KAAK,CAAC,SAAS;aACnC,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;gBAClC,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,cAAc,EAAE,GAAG,CACvF,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,0CAA0C,CAAC;SACvD,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC;SACtC,MAAM,CACH,KAAK,EACD,UAAkB,EAClB,IAA0C,EAC5C,EAAE;QACA,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CACrB,oBAAoB,UAAU,IAAI,CACrC,CAAA;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAA;QACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,IAAI,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAA;YACzB,MAAM,iBAAiB,CAAC,UAAU,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACJ,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YAC5C,MAAM,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YAC1C,OAAO,GAAG,CAAC,CAAA;QACf,CAAC;QAED,SAAS,CAAC,GAAG,OAAO,sBAAsB,CAAC,CAAA;IAC/C,CAAC,CACJ,CAAA;IAEL,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;SAChC,WAAW,CAAC,oDAAoD,CAAC;SACjE,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,MAAM,mBAAmB,CAAC,UAAU,CAAC,CAAA;QAC/C,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;QAElD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAClB,SAAS,CACL,WAAW,CAAC,iBAAiB,UAAU,yBAAyB,CACnE,CAAA;QACL,CAAC;QAED,gCAAgC;QAChC,MAAM,gBAAgB,CAAC,UAAU,EAAE;YAC/B,GAAG,KAAK;YACR,SAAS,EAAE,IAAI;YACf,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;SAC1B,CAAC,CAAA;QAEF,sBAAsB;QACtB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;QAClB,MAAM,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;QAEzC,+BAA+B;QAC/B,MAAM,gBAAgB,CAAC,UAAU,EAAE;YAC/B,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,SAAS,EAAE,KAAK;SACnB,CAAC,CAAA;QAEF,uEAAuE;QACvE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CACzB,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,EAC/B,WAAW,CACd,CAAA;QACD,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;QACvD,MAAM,SAAS,GAA4B;YACvC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,SAAS,EAAE,KAAK;SACnB,CAAA;QACD,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QAEnE,SAAS,CAAC,WAAW,CAAC,6BAA6B,IAAI,WAAW,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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

package/dist/cli/commands/expressions.js

@@ -0,0 +1,240 @@
+import { randomUUID } from "node:crypto";
+import { Command } from "commander";
+import { hydrateEngine } from "../engine.js";
+import { errorExit, printJson, printLine } from "../output.js";
+import { readVersionMeta } from "../storage/arguments.js";
+import { premiseExists, readPremiseData, writePremiseData, } from "../storage/premises.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.`);
+    }
+}
+function typeSpecificInfo(expr) {
+    if (expr.type === "variable")
+        return `variableId=${expr.variableId}`;
+    if (expr.type === "operator")
+        return `operator=${expr.operator}`;
+    return "";
+}
+export function registerExpressionCommands(versionedCmd, argumentId, version) {
+    const exprs = versionedCmd
+        .command("expressions")
+        .description("Manage premise expressions");
+    exprs
+        .command("create <premise_id>")
+        .description("Add an expression to a premise")
+        .requiredOption("--type <type>", "Expression type: variable, operator, formula")
+        .option("--id <id>", "Expression ID (default: generated UUID)")
+        .option("--parent-id <parent_id>", "Parent expression ID (omit for root)")
+        .option("--position <n>", "Position among siblings")
+        .option("--variable-id <variable_id>", "Variable ID (for type=variable)")
+        .option("--operator <op>", "Operator (for type=operator): not,and,or,implies,iff")
+        .action(async (premiseId, opts) => {
+        await assertNotPublished(argumentId, version);
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        const engine = await hydrateEngine(argumentId, version);
+        const pm = engine.getPremise(premiseId);
+        if (!pm)
+            errorExit(`Premise "${premiseId}" not found in engine.`);
+        const id = opts.id ?? randomUUID();
+        const parentId = opts.parentId ?? null;
+        const position = opts.position !== undefined ? Number(opts.position) : null;
+        let expression;
+        if (opts.type === "variable") {
+            if (!opts.variableId)
+                errorExit("--variable-id is required for type=variable");
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                parentId,
+                position,
+                type: "variable",
+                variableId: opts.variableId,
+            };
+        }
+        else if (opts.type === "operator") {
+            if (!opts.operator)
+                errorExit("--operator is required for type=operator");
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                parentId,
+                position,
+                type: "operator",
+                operator: opts.operator,
+            };
+        }
+        else if (opts.type === "formula") {
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                parentId,
+                position,
+                type: "formula",
+            };
+        }
+        else {
+            errorExit(`Unknown type "${opts.type}". Use variable, operator, or formula.`);
+        }
+        try {
+            pm.addExpression(expression);
+        }
+        catch (e) {
+            errorExit(e instanceof Error
+                ? e.message
+                : "Failed to add expression.");
+        }
+        await writePremiseData(argumentId, version, premiseId, pm.toData());
+        printLine(id);
+    });
+    exprs
+        .command("insert <premise_id>")
+        .description("Insert an expression, wrapping existing nodes")
+        .requiredOption("--type <type>", "Expression type: variable, operator, formula")
+        .option("--id <id>", "Expression ID (default: generated UUID)")
+        .option("--parent-id <parent_id>", "Parent expression ID")
+        .option("--position <n>", "Position among siblings")
+        .option("--variable-id <variable_id>", "Variable ID (for type=variable)")
+        .option("--operator <op>", "Operator (for type=operator)")
+        .option("--left-node-id <id>", "Left node to wrap")
+        .option("--right-node-id <id>", "Right node to wrap")
+        .action(async (premiseId, opts) => {
+        await assertNotPublished(argumentId, version);
+        if (!opts.leftNodeId && !opts.rightNodeId) {
+            errorExit("At least one of --left-node-id or --right-node-id is required.");
+        }
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        const engine = await hydrateEngine(argumentId, version);
+        const pm = engine.getPremise(premiseId);
+        if (!pm)
+            errorExit(`Premise "${premiseId}" not found in engine.`);
+        const id = opts.id ?? randomUUID();
+        const parentId = opts.parentId ?? null;
+        const position = opts.position !== undefined ? Number(opts.position) : null;
+        let expression;
+        if (opts.type === "variable") {
+            if (!opts.variableId)
+                errorExit("--variable-id is required for type=variable");
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                parentId,
+                position,
+                type: "variable",
+                variableId: opts.variableId,
+            };
+        }
+        else if (opts.type === "operator") {
+            if (!opts.operator)
+                errorExit("--operator is required for type=operator");
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                parentId,
+                position,
+                type: "operator",
+                operator: opts.operator,
+            };
+        }
+        else if (opts.type === "formula") {
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                parentId,
+                position,
+                type: "formula",
+            };
+        }
+        else {
+            errorExit(`Unknown type "${opts.type}".`);
+        }
+        try {
+            pm.insertExpression(expression, opts.leftNodeId, opts.rightNodeId);
+        }
+        catch (e) {
+            errorExit(e instanceof Error
+                ? e.message
+                : "Failed to insert expression.");
+        }
+        await writePremiseData(argumentId, version, premiseId, pm.toData());
+        printLine(id);
+    });
+    exprs
+        .command("delete <premise_id> <expression_id>")
+        .description("Remove an expression and its subtree")
+        .action(async (premiseId, expressionId) => {
+        await assertNotPublished(argumentId, version);
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        const engine = await hydrateEngine(argumentId, version);
+        const pm = engine.getPremise(premiseId);
+        if (!pm)
+            errorExit(`Premise "${premiseId}" not found in engine.`);
+        const removed = pm.removeExpression(expressionId);
+        if (!removed)
+            errorExit(`Expression "${expressionId}" not found.`);
+        await writePremiseData(argumentId, version, premiseId, pm.toData());
+        printLine("success");
+    });
+    exprs
+        .command("list <premise_id>")
+        .description("List all expressions in a premise")
+        .option("--json", "Output as JSON")
+        .action(async (premiseId, opts) => {
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        const data = await readPremiseData(argumentId, version, premiseId);
+        const sorted = [...data.expressions].sort((a, b) => a.id.localeCompare(b.id));
+        if (opts.json) {
+            printJson(sorted);
+        }
+        else {
+            for (const expr of sorted) {
+                const extra = typeSpecificInfo(expr);
+                printLine(`${expr.id} | ${expr.type} | parent=${expr.parentId ?? "null"} | position=${expr.position ?? "null"}${extra ? ` | ${extra}` : ""}`);
+            }
+        }
+    });
+    exprs
+        .command("show <premise_id> <expression_id>")
+        .description("Show a single expression")
+        .option("--json", "Output as JSON")
+        .action(async (premiseId, expressionId, opts) => {
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        const data = await readPremiseData(argumentId, version, premiseId);
+        const expr = data.expressions.find((e) => e.id === expressionId);
+        if (!expr)
+            errorExit(`Expression "${expressionId}" not found.`);
+        if (opts.json) {
+            printJson(expr);
+        }
+        else {
+            printLine(`id:         ${expr.id}`);
+            printLine(`type:       ${expr.type}`);
+            printLine(`parentId:   ${expr.parentId ?? "null"}`);
+            printLine(`position:   ${expr.position ?? "null"}`);
+            if (expr.type === "variable") {
+                printLine(`variableId: ${expr.variableId}`);
+            }
+            if (expr.type === "operator") {
+                printLine(`operator:   ${expr.operator}`);
+            }
+        }
+    });
+}
+//# sourceMappingURL=expressions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/cli/commands/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAKnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,EACH,aAAa,EACb,eAAe,EACf,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAE/B,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,SAAS,gBAAgB,CAAC,IAA8B;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,cAAc,IAAI,CAAC,UAAU,EAAE,CAAA;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,YAAY,IAAI,CAAC,QAAQ,EAAE,CAAA;IAChE,OAAO,EAAE,CAAA;AACb,CAAC;AAED,MAAM,UAAU,0BAA0B,CACtC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,KAAK,GAAG,YAAY;SACrB,OAAO,CAAC,aAAa,CAAC;SACtB,WAAW,CAAC,4BAA4B,CAAC,CAAA;IAE9C,KAAK;SACA,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,gCAAgC,CAAC;SAC7C,cAAc,CACX,eAAe,EACf,8CAA8C,CACjD;SACA,MAAM,CAAC,WAAW,EAAE,yCAAyC,CAAC;SAC9D,MAAM,CACH,yBAAyB,EACzB,sCAAsC,CACzC;SACA,MAAM,CAAC,gBAAgB,EAAE,yBAAyB,CAAC;SACnD,MAAM,CACH,6BAA6B,EAC7B,iCAAiC,CACpC;SACA,MAAM,CACH,iBAAiB,EACjB,sDAAsD,CACzD;SACA,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IAOC,EACH,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YACH,SAAS,CAAC,YAAY,SAAS,wBAAwB,CAAC,CAAA;QAE5D,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,EAAE,CAAA;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAA;QACtC,MAAM,QAAQ,GACV,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QAE9D,IAAI,UAAoC,CAAA;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,UAAU;gBAChB,SAAS,CAAC,6CAA6C,CAAC,CAAA;YAC5D,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC9B,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,QAAQ;gBACd,SAAS,CAAC,0CAA0C,CAAC,CAAA;YACzD,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI,CAAC,QAAgC;aAClD,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,SAAS;aAClB,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,SAAS,CACL,iBAAiB,IAAI,CAAC,IAAI,wCAAwC,CACrE,CAAA;QACL,CAAC;QAED,IAAI,CAAC;YACD,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,SAAS,CACL,CAAC,YAAY,KAAK;gBACd,CAAC,CAAC,CAAC,CAAC,OAAO;gBACX,CAAC,CAAC,2BAA2B,CACpC,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,CAClB,UAAU,EACV,OAAO,EACP,SAAS,EACT,EAAE,CAAC,MAAM,EAAE,CACd,CAAA;QACD,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CACJ,CAAA;IAEL,KAAK;SACA,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,+CAA+C,CAAC;SAC5D,cAAc,CACX,eAAe,EACf,8CAA8C,CACjD;SACA,MAAM,CAAC,WAAW,EAAE,yCAAyC,CAAC;SAC9D,MAAM,CAAC,yBAAyB,EAAE,sBAAsB,CAAC;SACzD,MAAM,CAAC,gBAAgB,EAAE,yBAAyB,CAAC;SACnD,MAAM,CACH,6BAA6B,EAC7B,iCAAiC,CACpC;SACA,MAAM,CAAC,iBAAiB,EAAE,8BAA8B,CAAC;SACzD,MAAM,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;SAClD,MAAM,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;SACpD,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IASC,EACH,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,SAAS,CACL,gEAAgE,CACnE,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YACH,SAAS,CAAC,YAAY,SAAS,wBAAwB,CAAC,CAAA;QAE5D,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,EAAE,CAAA;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAA;QACtC,MAAM,QAAQ,GACV,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QAE9D,IAAI,UAAoC,CAAA;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,UAAU;gBAChB,SAAS,CAAC,6CAA6C,CAAC,CAAA;YAC5D,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC9B,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,QAAQ;gBACd,SAAS,CAAC,0CAA0C,CAAC,CAAA;YACzD,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI,CAAC,QAAgC;aAClD,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,SAAS;aAClB,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,iBAAiB,IAAI,CAAC,IAAI,IAAI,CAAC,CAAA;QAC7C,CAAC;QAED,IAAI,CAAC;YACD,EAAE,CAAC,gBAAgB,CACf,UAAU,EACV,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,WAAW,CACnB,CAAA;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,SAAS,CACL,CAAC,YAAY,KAAK;gBACd,CAAC,CAAC,CAAC,CAAC,OAAO;gBACX,CAAC,CAAC,8BAA8B,CACvC,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,CAClB,UAAU,EACV,OAAO,EACP,SAAS,EACT,EAAE,CAAC,MAAM,EAAE,CACd,CAAA;QACD,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CACJ,CAAA;IAEL,KAAK;SACA,OAAO,CAAC,qCAAqC,CAAC;SAC9C,WAAW,CAAC,sCAAsC,CAAC;SACnD,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,YAAoB,EAAE,EAAE;QACtD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAS,CAAC,YAAY,SAAS,wBAAwB,CAAC,CAAA;QAEjE,MAAM,OAAO,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAA;QACjD,IAAI,CAAC,OAAO;YAAE,SAAS,CAAC,eAAe,YAAY,cAAc,CAAC,CAAA;QAElE,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAA;QACnE,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,KAAK;SACA,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAAwB,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QAClE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/C,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAC3B,CAAA;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;QACrB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;gBACpC,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,aAAa,IAAI,CAAC,QAAQ,IAAI,MAAM,eAAe,IAAI,CAAC,QAAQ,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACrI,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,KAAK;SACA,OAAO,CAAC,mCAAmC,CAAC;SAC5C,WAAW,CAAC,0BAA0B,CAAC;SACvC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,YAAoB,EACpB,IAAwB,EAC1B,EAAE;QACA,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,eAAe,CAC9B,UAAU,EACV,OAAO,EACP,SAAS,CACZ,CAAA;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,IAAI;YAAE,SAAS,CAAC,eAAe,YAAY,cAAc,CAAC,CAAA;QAC/D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,eAAe,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACnC,SAAS,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;YACrC,SAAS,CAAC,eAAe,IAAI,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,eAAe,IAAI,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC,CAAA;YACnD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,SAAS,CAAC,eAAe,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;YAC/C,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,SAAS,CAAC,eAAe,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;YAC7C,CAAC;QACL,CAAC;IACL,CAAC,CACJ,CAAA;AACT,CAAC"}

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

@@ -0,0 +1,3 @@
+import { Command } from "commander";
+export declare function registerMetaCommands(program: Command): void;
+//# sourceMappingURL=meta.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"meta.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/meta.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAMnC,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAQ3D"}

package/dist/cli/commands/meta.js

@@ -0,0 +1,14 @@
+import { Command } from "commander";
+import { createRequire } from "node:module";
+import { printLine } from "../output.js";
+const require = createRequire(import.meta.url);
+export function registerMetaCommands(program) {
+    program
+        .command("version")
+        .description("Print the current package version")
+        .action(() => {
+        const pkg = require("../../../package.json");
+        printLine(pkg.version);
+    });
+}
+//# sourceMappingURL=meta.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"meta.js","sourceRoot":"","sources":["../../../src/cli/commands/meta.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAE9C,MAAM,UAAU,oBAAoB,CAAC,OAAgB;IACjD,OAAO;SACF,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CAAC,GAAG,EAAE;QACT,MAAM,GAAG,GAAG,OAAO,CAAC,uBAAuB,CAAwB,CAAA;QACnE,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IAC1B,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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

package/dist/cli/commands/premises.js

@@ -0,0 +1,214 @@
+import { randomUUID } from "node:crypto";
+import { Command } from "commander";
+import { PremiseManager } from "../../lib/core/PremiseManager.js";
+import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
+import { readArgumentMeta, readVersionMeta } from "../storage/arguments.js";
+import { deletePremiseDir, listPremiseIds, premiseExists, readPremiseData, readPremiseMeta, writePremiseData, writePremiseMeta, } from "../storage/premises.js";
+import { readRoles, writeRoles } from "../storage/roles.js";
+import { readVariables } from "../storage/variables.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.`);
+    }
+}
+async function buildArgument(argumentId, version) {
+    const [argMeta, vMeta] = await Promise.all([
+        readArgumentMeta(argumentId),
+        readVersionMeta(argumentId, version),
+    ]);
+    return { ...argMeta, ...vMeta };
+}
+export function registerPremiseCommands(versionedCmd, argumentId, version) {
+    const premises = versionedCmd
+        .command("premises")
+        .description("Manage premises");
+    premises
+        .command("create")
+        .description("Create a new premise")
+        .option("--title <title>", "Optional title for the premise")
+        .action(async (opts) => {
+        await assertNotPublished(argumentId, version);
+        const id = randomUUID();
+        await writePremiseMeta(argumentId, version, {
+            id,
+            title: opts.title,
+        });
+        await writePremiseData(argumentId, version, id, {
+            variables: [],
+            expressions: [],
+            type: "constraint",
+        });
+        printLine(id);
+    });
+    premises
+        .command("list")
+        .description("List all premises")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const argument = await buildArgument(argumentId, version);
+        const allVariables = await readVariables(argumentId, version);
+        const premiseIds = await listPremiseIds(argumentId, version);
+        const results = await Promise.all(premiseIds.map(async (pid) => {
+            const [meta, data] = await Promise.all([
+                readPremiseMeta(argumentId, version, pid),
+                readPremiseData(argumentId, version, pid),
+            ]);
+            // Hydrate a temporary PremiseManager for display string
+            const pm = new PremiseManager(pid, argument, meta.title);
+            for (const v of allVariables)
+                pm.addVariable(v);
+            // Add expressions BFS-order
+            const remaining = [...data.expressions];
+            const added = new Set();
+            for (let i = remaining.length - 1; i >= 0; i--) {
+                const expr = remaining[i];
+                if (expr.parentId === null) {
+                    pm.addExpression(expr);
+                    added.add(expr.id);
+                    remaining.splice(i, 1);
+                }
+            }
+            let progress = true;
+            while (remaining.length > 0 && progress) {
+                progress = false;
+                for (let i = remaining.length - 1; i >= 0; i--) {
+                    const expr = remaining[i];
+                    if (expr.parentId !== null &&
+                        added.has(expr.parentId)) {
+                        pm.addExpression(expr);
+                        added.add(expr.id);
+                        remaining.splice(i, 1);
+                        progress = true;
+                    }
+                }
+            }
+            return { meta, data, pm };
+        }));
+        if (opts.json) {
+            printJson(results.map(({ meta, data }) => ({
+                ...meta,
+                ...data,
+            })));
+        }
+        else {
+            for (const { meta, data, pm } of results) {
+                const display = pm.toDisplayString() || "(empty)";
+                const title = meta.title ?? "(untitled)";
+                printLine(`${meta.id} | ${data.type} | ${display} | ${title}`);
+            }
+        }
+    });
+    premises
+        .command("delete <premise_id>")
+        .description("Delete a premise")
+        .option("--confirm", "Skip confirmation prompt")
+        .action(async (premiseId, opts) => {
+        await assertNotPublished(argumentId, version);
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        if (!opts.confirm) {
+            await requireConfirmation(`Delete premise "${premiseId}"?`);
+        }
+        // Clean up roles
+        const roles = await readRoles(argumentId, version);
+        const updated = { ...roles };
+        if (roles.conclusionPremiseId === premiseId) {
+            updated.conclusionPremiseId = undefined;
+        }
+        updated.supportingPremiseIds = roles.supportingPremiseIds.filter((id) => id !== premiseId);
+        await writeRoles(argumentId, version, updated);
+        await deletePremiseDir(argumentId, version, premiseId);
+        printLine("success");
+    });
+    premises
+        .command("update <premise_id>")
+        .description("Update premise metadata")
+        .option("--title <new_title>", "New title")
+        .option("--clear-title", "Remove the title")
+        .action(async (premiseId, opts) => {
+        await assertNotPublished(argumentId, version);
+        if (opts.title !== undefined && opts.clearTitle) {
+            errorExit("--title and --clear-title cannot both be specified.");
+        }
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        const meta = await readPremiseMeta(argumentId, version, premiseId);
+        if (opts.clearTitle) {
+            meta.title = undefined;
+        }
+        else if (opts.title !== undefined) {
+            meta.title = opts.title;
+        }
+        await writePremiseMeta(argumentId, version, meta);
+        printLine("success");
+    });
+    premises
+        .command("show <premise_id>")
+        .description("Show a single premise")
+        .option("--json", "Output as JSON")
+        .action(async (premiseId, opts) => {
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        const [meta, data] = await Promise.all([
+            readPremiseMeta(argumentId, version, premiseId),
+            readPremiseData(argumentId, version, premiseId),
+        ]);
+        if (opts.json) {
+            printJson({ ...meta, ...data });
+        }
+        else {
+            printLine(`id:           ${meta.id}`);
+            printLine(`title:        ${meta.title ?? "(untitled)"}`);
+            printLine(`type:         ${data.type}`);
+            printLine(`root expr id: ${data.rootExpressionId ?? "(none)"}`);
+            printLine(`variables:    ${data.variables.length}`);
+            printLine(`expressions:  ${data.expressions.length}`);
+        }
+    });
+    premises
+        .command("render <premise_id>")
+        .description("Render the premise as a logical expression string")
+        .action(async (premiseId) => {
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" not found.`);
+        }
+        const argument = await buildArgument(argumentId, version);
+        const allVariables = await readVariables(argumentId, version);
+        const [meta, data] = await Promise.all([
+            readPremiseMeta(argumentId, version, premiseId),
+            readPremiseData(argumentId, version, premiseId),
+        ]);
+        const pm = new PremiseManager(premiseId, argument, meta.title);
+        for (const v of allVariables)
+            pm.addVariable(v);
+        const remaining = [...data.expressions];
+        const added = new Set();
+        for (let i = remaining.length - 1; i >= 0; i--) {
+            const expr = remaining[i];
+            if (expr.parentId === null) {
+                pm.addExpression(expr);
+                added.add(expr.id);
+                remaining.splice(i, 1);
+            }
+        }
+        let progress = true;
+        while (remaining.length > 0 && progress) {
+            progress = false;
+            for (let i = remaining.length - 1; i >= 0; i--) {
+                const expr = remaining[i];
+                if (expr.parentId !== null && added.has(expr.parentId)) {
+                    pm.addExpression(expr);
+                    added.add(expr.id);
+                    remaining.splice(i, 1);
+                    progress = true;
+                }
+            }
+        }
+        printLine(pm.toDisplayString());
+    });
+}
+//# sourceMappingURL=premises.js.map