@proposit/proposit-core 0.8.9

package/dist/cli/commands/premises.js

@@ -0,0 +1,261 @@
+import { randomUUID } from "node:crypto";
+import { Command } from "commander";
+import { PremiseEngine } from "../../lib/core/premise-engine.js";
+import { VariableManager } from "../../lib/core/variable-manager.js";
+import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
+import { readArgumentMeta, readVersionMeta } from "../storage/arguments.js";
+import { deletePremiseDir, listPremiseIds, premiseExists, readPremiseData, readPremiseMeta, writePremiseMeta, } from "../storage/premises.js";
+import { hydrateEngine, persistEngine } from "../engine.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")
+        .option("--symbol <symbol>", "Symbol for the auto-created premise-bound variable")
+        .action(async (opts) => {
+        await assertNotPublished(argumentId, version);
+        const engine = await hydrateEngine(argumentId, version);
+        const id = randomUUID();
+        const extras = {};
+        if (opts.title)
+            extras.title = opts.title;
+        try {
+            engine.createPremiseWithId(id, extras, opts.symbol);
+        }
+        catch (err) {
+            errorExit(err instanceof Error ? err.message : String(err));
+        }
+        await persistEngine(engine);
+        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 PremiseEngine for display string
+            const { id: _id, ...premiseExtras } = meta;
+            const vm = new VariableManager();
+            for (const v of allVariables) {
+                vm.addVariable({ ...v, argumentVersion: version });
+            }
+            const pm = new PremiseEngine({
+                id: pid,
+                argumentId: argument.id,
+                argumentVersion: version,
+                ...premiseExtras,
+            }, { argument, variables: vm });
+            // 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,
+                        premiseId: pid,
+                        argumentVersion: version,
+                    });
+                    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,
+                            premiseId: pid,
+                            argumentVersion: version,
+                        });
+                        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, pm } of results) {
+                const display = pm.toDisplayString() || "(empty)";
+                const title = meta.title ?? "(untitled)";
+                const premiseType = pm.isInference()
+                    ? "inference"
+                    : "constraint";
+                printLine(`${meta.id} | ${premiseType} | ${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}"?`);
+        }
+        const engine = await hydrateEngine(argumentId, version);
+        try {
+            engine.removePremise(premiseId);
+        }
+        catch (err) {
+            errorExit(err instanceof Error ? err.message : String(err));
+        }
+        await persistEngine(engine);
+        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) {
+            delete meta.title;
+        }
+        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 {
+            const rootExpr = data.rootExpressionId
+                ? data.expressions.find((e) => e.id === data.rootExpressionId)
+                : undefined;
+            const premiseType = rootExpr?.type === "operator" &&
+                (rootExpr.operator === "implies" ||
+                    rootExpr.operator === "iff")
+                ? "inference"
+                : "constraint";
+            printLine(`id:           ${meta.id}`);
+            printLine(`title:        ${meta.title ?? "(untitled)"}`);
+            printLine(`type:         ${premiseType}`);
+            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 { id: _id, ...renderPremiseExtras } = meta;
+        const renderVm = new VariableManager();
+        for (const v of allVariables) {
+            renderVm.addVariable({ ...v, argumentVersion: version });
+        }
+        const pm = new PremiseEngine({
+            id: premiseId,
+            argumentId: argument.id,
+            argumentVersion: version,
+            ...renderPremiseExtras,
+        }, { argument, variables: renderVm });
+        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,
+                    premiseId: premiseId,
+                    argumentVersion: version,
+                });
+                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,
+                        premiseId: premiseId,
+                        argumentVersion: version,
+                    });
+                    added.add(expr.id);
+                    remaining.splice(i, 1);
+                    progress = true;
+                }
+            }
+        }
+        printLine(pm.toDisplayString());
+    });
+}
+//# sourceMappingURL=premises.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AAGpE,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,eAAe,EACf,eAAe,EACf,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CACxB,UAAkB,EAClB,OAAe;IAEf,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACvC,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;KACvC,CAAC,CAAA;IACF,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AACnC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,iBAAiB,CAAC,CAAA;IAEnC,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,sBAAsB,CAAC;SACnC,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;SAC3D,MAAM,CACH,mBAAmB,EACnB,oDAAoD,CACvD;SACA,MAAM,CAAC,KAAK,EAAE,IAAyC,EAAE,EAAE;QACxD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,IAAI,IAAI,CAAC,KAAK;YAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAEzC,IAAI,CAAC;YACD,MAAM,CAAC,mBAAmB,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACvD,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,EAAE,CAAC,CAAA;IACjB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,mBAAmB,CAAC;SAChC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAE5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACzB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;gBACzC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;aAC5C,CAAC,CAAA;YAEF,uDAAuD;YACvD,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;YAC1C,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAA;YAChC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC3B,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;YACtD,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;gBACI,EAAE,EAAE,GAAG;gBACP,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,eAAe,EAAE,OAAO;gBACxB,GAAG,aAAa;aACH,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAC9B,CAAA;YAED,4BAA4B;YAC5B,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;YACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;YAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACzB,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,GAAG;wBACd,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC1B,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,GAAG,IAAI,CAAA;YACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACtC,QAAQ,GAAG,KAAK,CAAA;gBAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;oBACzB,IACI,IAAI,CAAC,QAAQ,KAAK,IAAI;wBACtB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAC1B,CAAC;wBACC,EAAE,CAAC,aAAa,CAAC;4BACb,GAAG,IAAI;4BACP,SAAS,EAAE,GAAG;4BACd,eAAe,EAAE,OAAO;yBAC3B,CAAC,CAAA;wBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;wBACtB,QAAQ,GAAG,IAAI,CAAA;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;YAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;QAC7B,CAAC,CAAC,CACL,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,IAAI;gBACP,GAAG,IAAI;aACV,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,OAAO,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,YAAY,CAAA;gBACxC,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE;oBAChC,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,YAAY,CAAA;gBAClB,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,WAAW,MAAM,OAAO,MAAM,KAAK,EAAE,CACxD,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAA2B,EAAE,EAAE;QAC7D,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;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,mBAAmB,SAAS,IAAI,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,IAAI,CAAC;YACD,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;QACnC,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,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QACtD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC;SAC1C,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;SAC3C,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IAA8C,EAChD,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,SAAS,CACL,qDAAqD,CACxD,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;QACD,MAAM,IAAI,GAAG,MAAM,eAAe,CAC9B,UAAU,EACV,OAAO,EACP,SAAS,CACZ,CAAA;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,KAAK,CAAA;QACrB,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAC3B,CAAC;QACD,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QACjD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,uBAAuB,CAAC;SACpC,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,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QACF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;QACnC,CAAC;aAAM,CAAC;YACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB;gBAClC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,CACxC;gBACH,CAAC,CAAC,SAAS,CAAA;YACf,MAAM,WAAW,GACb,QAAQ,EAAE,IAAI,KAAK,UAAU;gBAC7B,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS;oBAC5B,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;gBAC5B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,YAAY,CAAA;YACtB,SAAS,CAAC,iBAAiB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACrC,SAAS,CAAC,iBAAiB,IAAI,CAAC,KAAK,IAAI,YAAY,EAAE,CAAC,CAAA;YACxD,SAAS,CAAC,iBAAiB,WAAW,EAAE,CAAC,CAAA;YACzC,SAAS,CAAC,iBAAiB,IAAI,CAAC,gBAAgB,IAAI,QAAQ,EAAE,CAAC,CAAA;YAC/D,SAAS,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,iBAAiB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAA;QACzD,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,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,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAA;QAChD,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAA;QACtC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;YACI,EAAE,EAAE,SAAS;YACb,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,eAAe,EAAE,OAAO;YACxB,GAAG,mBAAmB;SACT,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CACpC,CAAA;QAED,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,EAAE,CAAC,aAAa,CAAC;oBACb,GAAG,IAAI;oBACP,SAAS,EAAE,SAAS;oBACpB,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAA;gBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACrD,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,SAAS;wBACpB,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtB,QAAQ,GAAG,IAAI,CAAA;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;QAED,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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

package/dist/cli/commands/render.js

@@ -0,0 +1,109 @@
+import { Command } from "commander";
+import { hydrateEngine, hydratePropositCore } from "../engine.js";
+import { isClaimBound, isPremiseBound } from "../../lib/schemata/index.js";
+import { printLine } from "../output.js";
+function extrasString(obj, fields) {
+    const parts = [];
+    for (const field of fields) {
+        const val = obj[field];
+        if (typeof val === "string" && val.length > 0) {
+            parts.push(`${field}: ${val}`);
+        }
+    }
+    return parts.length > 0 ? ` | ${parts.join(" | ")}` : "";
+}
+export function registerRenderCommand(versionedCmd, argumentId, version) {
+    versionedCmd
+        .command("render")
+        .description("Render all premises as logical expression strings")
+        .action(async () => {
+        const core = await hydratePropositCore();
+        const engine = await hydrateEngine(argumentId, version, core);
+        const arg = engine.getArgument();
+        const roles = engine.getRoleState();
+        const conclusionId = roles.conclusionPremiseId;
+        // Argument header
+        const argTitle = typeof arg.title === "string" ? arg.title : "(untitled)";
+        const argDesc = typeof arg.description === "string"
+            ? ` — ${arg.description}`
+            : "";
+        printLine(`Argument: ${argTitle}${argDesc}`);
+        printLine("");
+        // Premises
+        printLine("Premises:");
+        const all = engine.listPremises();
+        const sorted = [
+            ...all.filter((pm) => pm.getId() === conclusionId),
+            ...all.filter((pm) => pm.getId() !== conclusionId),
+        ];
+        for (const pm of sorted) {
+            const id = pm.getId();
+            const marker = id === conclusionId ? "*" : " ";
+            const display = pm.toDisplayString() || "(empty)";
+            const premiseData = pm.toPremiseData();
+            const title = typeof premiseData.title === "string"
+                ? ` | ${premiseData.title}`
+                : "";
+            printLine(`  ${marker} ${display}${title}`);
+        }
+        // Variables
+        const variables = engine.getVariables();
+        if (variables.length > 0) {
+            printLine("");
+            printLine("Variables:");
+            for (const v of variables) {
+                const typed = v;
+                let binding = "";
+                if (isClaimBound(typed)) {
+                    const claim = core.claims.get(typed.claimId, typed.claimVersion);
+                    if (claim) {
+                        const claimExtras = claim;
+                        const claimTitle = typeof claimExtras.title === "string"
+                            ? claimExtras.title
+                            : `${typed.claimId}@${typed.claimVersion}`;
+                        binding = ` → ${claimTitle}`;
+                    }
+                }
+                else if (isPremiseBound(typed)) {
+                    binding = ` → premise:${typed.boundPremiseId}`;
+                }
+                printLine(`  ${v.symbol}${binding}`);
+            }
+        }
+        // Claims — only those referenced by this argument's variables
+        const referencedClaims = variables
+            .map((v) => v)
+            .filter(isClaimBound)
+            .map((v) => core.claims.get(v.claimId, v.claimVersion))
+            .filter((c) => c !== undefined);
+        if (referencedClaims.length > 0) {
+            printLine("");
+            printLine("Claims:");
+            for (const claim of referencedClaims) {
+                const extras = claim;
+                const frozen = claim.frozen ? " [frozen]" : "";
+                const meta = extrasString(extras, ["title", "body"]);
+                printLine(`  ${claim.id}@${claim.version}${frozen}${meta}`);
+            }
+        }
+        // Sources — only those associated with referenced claims
+        const referencedClaimKeys = new Set(referencedClaims.map((c) => `${c.id}@${c.version}`));
+        const allAssocs = core.claimSources.getAll();
+        const referencedSourceKeys = new Set(allAssocs
+            .filter((a) => referencedClaimKeys.has(`${a.claimId}@${a.claimVersion}`))
+            .map((a) => `${a.sourceId}@${a.sourceVersion}`));
+        const referencedSources = core.sources
+            .getAll()
+            .filter((s) => referencedSourceKeys.has(`${s.id}@${s.version}`));
+        if (referencedSources.length > 0) {
+            printLine("");
+            printLine("Sources:");
+            for (const source of referencedSources) {
+                const extras = source;
+                const meta = extrasString(extras, ["text"]);
+                printLine(`  ${source.id}@${source.version}${meta}`);
+            }
+        }
+    });
+}
+//# sourceMappingURL=render.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../../src/cli/commands/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AAE1E,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,SAAS,YAAY,CAAC,GAA4B,EAAE,MAAgB;IAChE,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAA;QACtB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,GAAG,EAAE,CAAC,CAAA;QAClC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;AAC5D,CAAC;AAED,MAAM,UAAU,qBAAqB,CACjC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CAAC,KAAK,IAAI,EAAE;QACf,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QAC7D,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAA6B,CAAA;QAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACnC,MAAM,YAAY,GAAG,KAAK,CAAC,mBAAmB,CAAA;QAE9C,kBAAkB;QAClB,MAAM,QAAQ,GACV,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAA;QAC5D,MAAM,OAAO,GACT,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;YAC/B,CAAC,CAAC,MAAM,GAAG,CAAC,WAAW,EAAE;YACzB,CAAC,CAAC,EAAE,CAAA;QACZ,SAAS,CAAC,aAAa,QAAQ,GAAG,OAAO,EAAE,CAAC,CAAA;QAC5C,SAAS,CAAC,EAAE,CAAC,CAAA;QAEb,WAAW;QACX,SAAS,CAAC,WAAW,CAAC,CAAA;QACtB,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACjC,MAAM,MAAM,GAAG;YACX,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,YAAY,CAAC;YAClD,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,YAAY,CAAC;SACrD,CAAA;QAED,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;YACrB,MAAM,MAAM,GAAG,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAA;YAC9C,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;YACjD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAGnC,CAAA;YACD,MAAM,KAAK,GACP,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ;gBACjC,CAAC,CAAC,MAAM,WAAW,CAAC,KAAK,EAAE;gBAC3B,CAAC,CAAC,EAAE,CAAA;YACZ,SAAS,CAAC,KAAK,MAAM,IAAI,OAAO,GAAG,KAAK,EAAE,CAAC,CAAA;QAC/C,CAAC;QAED,YAAY;QACZ,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,SAAS,CAAC,EAAE,CAAC,CAAA;YACb,SAAS,CAAC,YAAY,CAAC,CAAA;YACvB,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,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CACzB,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;oBACD,IAAI,KAAK,EAAE,CAAC;wBACR,MAAM,WAAW,GAAG,KAAgC,CAAA;wBACpD,MAAM,UAAU,GACZ,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ;4BACjC,CAAC,CAAC,WAAW,CAAC,KAAK;4BACnB,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE,CAAA;wBAClD,OAAO,GAAG,MAAM,UAAU,EAAE,CAAA;oBAChC,CAAC;gBACL,CAAC;qBAAM,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC/B,OAAO,GAAG,cAAc,KAAK,CAAC,cAAc,EAAE,CAAA;gBAClD,CAAC;gBACD,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC,CAAA;YACxC,CAAC;QACL,CAAC;QAED,8DAA8D;QAC9D,MAAM,gBAAgB,GAAG,SAAS;aAC7B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAA0C,CAAC;aACtD,MAAM,CAAC,YAAY,CAAC;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;QACnC,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,SAAS,CAAC,EAAE,CAAC,CAAA;YACb,SAAS,CAAC,SAAS,CAAC,CAAA;YACpB,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;gBACnC,MAAM,MAAM,GAAG,KAAgC,CAAA;gBAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC9C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;gBACpD,SAAS,CAAC,KAAK,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC,CAAA;YAC/D,CAAC;QACL,CAAC;QAED,yDAAyD;QACzD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAC/B,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CACtD,CAAA;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAA;QAC5C,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAChC,SAAS;aACJ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACV,mBAAmB,CAAC,GAAG,CACnB,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,YAAY,EAAE,CACnC,CACJ;aACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC,CACtD,CAAA;QACD,MAAM,iBAAiB,GAAG,IAAI,CAAC,OAAO;aACjC,MAAM,EAAE;aACR,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QACpE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,SAAS,CAAC,EAAE,CAAC,CAAA;YACb,SAAS,CAAC,UAAU,CAAC,CAAA;YACrB,KAAK,MAAM,MAAM,IAAI,iBAAiB,EAAE,CAAC;gBACrC,MAAM,MAAM,GAAG,MAAiC,CAAA;gBAChD,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;gBAC3C,SAAS,CAAC,KAAK,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,GAAG,IAAI,EAAE,CAAC,CAAA;YACxD,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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

package/dist/cli/commands/repair.js

@@ -0,0 +1,53 @@
+import { Command } from "commander";
+import { hydrateEngine, persistEngine } from "../engine.js";
+import { listPremiseIds } from "../storage/premises.js";
+import { readPremiseData } from "../storage/premises.js";
+import { printJson, printLine } from "../output.js";
+export function registerRepairCommand(versionedCmd, argumentId, version) {
+    versionedCmd
+        .command("repair")
+        .description("Repair argument grammar (e.g., insert formula buffers between nested operators)")
+        .option("--dry-run", "Report what would be repaired without modifying data")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        // Count expressions on disk before repair
+        const premiseIds = await listPremiseIds(argumentId, version);
+        let diskExprCount = 0;
+        for (const pid of premiseIds) {
+            const data = await readPremiseData(argumentId, version, pid);
+            diskExprCount += data.expressions.length;
+        }
+        // Hydrate engine — fromSnapshot with autoNormalize: true
+        // auto-inserts formula buffers between nested operators
+        const engine = await hydrateEngine(argumentId, version);
+        // Count expressions after auto-normalization
+        let engineExprCount = 0;
+        for (const pm of engine.listPremises()) {
+            engineExprCount += pm.getExpressions().length;
+        }
+        const inserted = engineExprCount - diskExprCount;
+        if (opts.json) {
+            printJson({
+                repaired: !opts.dryRun && inserted > 0,
+                formulaBuffersInserted: inserted,
+                expressionsBefore: diskExprCount,
+                expressionsAfter: engineExprCount,
+            });
+            if (opts.dryRun || inserted === 0)
+                return;
+            await persistEngine(engine);
+            return;
+        }
+        if (inserted === 0) {
+            printLine("No repairs needed");
+            return;
+        }
+        if (opts.dryRun) {
+            printLine(`Would insert ${inserted} formula buffer(s)`);
+            return;
+        }
+        await persistEngine(engine);
+        printLine(`Repaired: inserted ${inserted} formula buffer(s)`);
+    });
+}
+//# sourceMappingURL=repair.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"repair.js","sourceRoot":"","sources":["../../../src/cli/commands/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACxD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAEnD,MAAM,UAAU,qBAAqB,CACjC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CACR,iFAAiF,CACpF;SACA,MAAM,CACH,WAAW,EACX,sDAAsD,CACzD;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAA0C,EAAE,EAAE;QACzD,0CAA0C;QAC1C,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC5D,IAAI,aAAa,GAAG,CAAC,CAAA;QACrB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;YAC5D,aAAa,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAA;QAC5C,CAAC;QAED,yDAAyD;QACzD,wDAAwD;QACxD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,6CAA6C;QAC7C,IAAI,eAAe,GAAG,CAAC,CAAA;QACvB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;YACrC,eAAe,IAAI,EAAE,CAAC,cAAc,EAAE,CAAC,MAAM,CAAA;QACjD,CAAC;QAED,MAAM,QAAQ,GAAG,eAAe,GAAG,aAAa,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC;gBACN,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAC;gBACtC,sBAAsB,EAAE,QAAQ;gBAChC,iBAAiB,EAAE,aAAa;gBAChC,gBAAgB,EAAE,eAAe;aACpC,CAAC,CAAA;YACF,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,KAAK,CAAC;gBAAE,OAAM;YACzC,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;YAC3B,OAAM;QACV,CAAC;QAED,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YACjB,SAAS,CAAC,mBAAmB,CAAC,CAAA;YAC9B,OAAM;QACV,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,SAAS,CAAC,gBAAgB,QAAQ,oBAAoB,CAAC,CAAA;YACvD,OAAM;QACV,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,sBAAsB,QAAQ,oBAAoB,CAAC,CAAA;IACjE,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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

package/dist/cli/commands/roles.js

@@ -0,0 +1,64 @@
+import { Command } from "commander";
+import { hydrateEngine } from "../engine.js";
+import { errorExit, printJson, printLine } from "../output.js";
+import { readVersionMeta } from "../storage/arguments.js";
+import { premiseExists } from "../storage/premises.js";
+import { readRoles, writeRoles } from "../storage/roles.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 registerRoleCommands(versionedCmd, argumentId, version) {
+    const roles = versionedCmd
+        .command("roles")
+        .description("Manage premise role assignments");
+    roles
+        .command("show")
+        .description("Show current role assignments")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const engine = await hydrateEngine(argumentId, version);
+        const conclusionPremiseId = engine.getRoleState().conclusionPremiseId;
+        const supportingPremiseIds = engine
+            .listSupportingPremises()
+            .map((pm) => pm.getId());
+        if (opts.json) {
+            printJson({ conclusionPremiseId, supportingPremiseIds });
+        }
+        else {
+            printLine(`conclusion: ${conclusionPremiseId ?? "(none)"}`);
+            printLine(`supporting: ${supportingPremiseIds.length > 0 ? supportingPremiseIds.join(", ") : "(none)"}`);
+        }
+    });
+    roles
+        .command("set-conclusion <premise_id>")
+        .description("Set the designated conclusion premise")
+        .action(async (premiseId) => {
+        await assertNotPublished(argumentId, version);
+        if (!(await premiseExists(argumentId, version, premiseId))) {
+            errorExit(`Premise "${premiseId}" does not exist.`);
+        }
+        const state = await readRoles(argumentId, version);
+        await writeRoles(argumentId, version, {
+            ...state,
+            conclusionPremiseId: premiseId,
+        });
+        printLine("success");
+    });
+    roles
+        .command("clear-conclusion")
+        .description("Clear the designated conclusion premise")
+        .action(async () => {
+        await assertNotPublished(argumentId, version);
+        const state = await readRoles(argumentId, version);
+        const { conclusionPremiseId: _removed, ...rest } = state;
+        await writeRoles(argumentId, version, {
+            ...rest,
+            conclusionPremiseId: undefined,
+        });
+        printLine("success");
+    });
+}
+//# sourceMappingURL=roles.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"roles.js","sourceRoot":"","sources":["../../../src/cli/commands/roles.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,SAAS,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAE3D,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,oBAAoB,CAChC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,KAAK,GAAG,YAAY;SACrB,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,iCAAiC,CAAC,CAAA;IAEnD,KAAK;SACA,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,+BAA+B,CAAC;SAC5C,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,mBAAmB,GACrB,MAAM,CAAC,YAAY,EAAE,CAAC,mBAAmB,CAAA;QAC7C,MAAM,oBAAoB,GAAG,MAAM;aAC9B,sBAAsB,EAAE;aACxB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;QAE5B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,CAAC,CAAA;QAC5D,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,eAAe,mBAAmB,IAAI,QAAQ,EAAE,CAAC,CAAA;YAC3D,SAAS,CACL,eAAe,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAChG,CAAA;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,KAAK;SACA,OAAO,CAAC,6BAA6B,CAAC;SACtC,WAAW,CAAC,uCAAuC,CAAC;SACpD,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,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,mBAAmB,CAAC,CAAA;QACvD,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAClD,MAAM,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE;YAClC,GAAG,KAAK;YACR,mBAAmB,EAAE,SAAS;SACjC,CAAC,CAAA;QACF,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,KAAK;SACA,OAAO,CAAC,kBAAkB,CAAC;SAC3B,WAAW,CAAC,yCAAyC,CAAC;SACtD,MAAM,CAAC,KAAK,IAAI,EAAE;QACf,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAClD,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAA;QACxD,MAAM,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE;YAClC,GAAG,IAAI;YACP,mBAAmB,EAAE,SAAS;SACjC,CAAC,CAAA;QACF,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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