@proposit/proposit-core 0.8.9

package/dist/cli/commands/expressions.js

@@ -0,0 +1,344 @@
+import { randomUUID } from "node:crypto";
+import { Command } from "commander";
+import { POSITION_INITIAL } from "../../lib/utils/position.js";
+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("--before <sibling_id>", "Insert before this sibling expression")
+        .option("--after <sibling_id>", "Insert after this sibling expression")
+        .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)
+            : POSITION_INITIAL;
+        let expression;
+        if (opts.type === "variable") {
+            if (!opts.variableId)
+                errorExit("--variable-id is required for type=variable");
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                premiseId,
+                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,
+                premiseId,
+                parentId,
+                position,
+                type: "operator",
+                operator: opts.operator,
+            };
+        }
+        else if (opts.type === "formula") {
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                premiseId,
+                parentId,
+                position,
+                type: "formula",
+            };
+        }
+        else {
+            errorExit(`Unknown type "${opts.type}". Use variable, operator, or formula.`);
+        }
+        const hasBefore = opts.before !== undefined;
+        const hasAfter = opts.after !== undefined;
+        const hasPosition = opts.position !== undefined;
+        if ((hasBefore || hasAfter) && hasPosition) {
+            errorExit("Cannot combine --before/--after with --position.");
+        }
+        if (hasBefore && hasAfter) {
+            errorExit("Cannot combine --before and --after.");
+        }
+        try {
+            if (hasBefore) {
+                const { position: _p, ...exprWithoutPosition } = expression;
+                pm.addExpressionRelative(opts.before, "before", exprWithoutPosition);
+            }
+            else if (hasAfter) {
+                const { position: _p, ...exprWithoutPosition } = expression;
+                pm.addExpressionRelative(opts.after, "after", exprWithoutPosition);
+            }
+            else if (hasPosition) {
+                pm.addExpression(expression);
+            }
+            else {
+                const { position: _p, ...exprWithoutPosition } = expression;
+                pm.appendExpression(parentId, exprWithoutPosition);
+            }
+        }
+        catch (e) {
+            errorExit(e instanceof Error
+                ? e.message
+                : "Failed to add expression.");
+        }
+        await writePremiseData(argumentId, version, premiseId, {
+            rootExpressionId: pm.getRootExpressionId(),
+            variables: [...pm.getReferencedVariableIds()].sort(),
+            expressions: pm.getExpressions(),
+        });
+        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)
+            : POSITION_INITIAL;
+        let expression;
+        if (opts.type === "variable") {
+            if (!opts.variableId)
+                errorExit("--variable-id is required for type=variable");
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                premiseId,
+                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,
+                premiseId,
+                parentId,
+                position,
+                type: "operator",
+                operator: opts.operator,
+            };
+        }
+        else if (opts.type === "formula") {
+            expression = {
+                id,
+                argumentId,
+                argumentVersion: version,
+                premiseId,
+                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, {
+            rootExpressionId: pm.getRootExpressionId(),
+            variables: [...pm.getReferencedVariableIds()].sort(),
+            expressions: pm.getExpressions(),
+        });
+        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 { result: removed } = pm.removeExpression(expressionId, true);
+        if (!removed)
+            errorExit(`Expression "${expressionId}" not found.`);
+        await writePremiseData(argumentId, version, premiseId, {
+            rootExpressionId: pm.getRootExpressionId(),
+            variables: [...pm.getReferencedVariableIds()].sort(),
+            expressions: pm.getExpressions(),
+        });
+        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}${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}`);
+            if (expr.type === "variable") {
+                printLine(`variableId: ${expr.variableId}`);
+            }
+            if (expr.type === "operator") {
+                printLine(`operator:   ${expr.operator}`);
+            }
+        }
+    });
+    exprs
+        .command("toggle-negation <premise_id> <expression_id>")
+        .description("Toggle negation on an expression (wrap in NOT or unwrap)")
+        .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.`);
+        try {
+            pm.toggleNegation(expressionId);
+        }
+        catch (e) {
+            errorExit(e instanceof Error
+                ? e.message
+                : "Failed to toggle negation.");
+        }
+        await writePremiseData(argumentId, version, premiseId, {
+            rootExpressionId: pm.getRootExpressionId(),
+            variables: [...pm.getReferencedVariableIds()].sort(),
+            expressions: pm.getExpressions(),
+        });
+        printLine("success");
+    });
+    exprs
+        .command("change-operator <premise_id> <expression_id> <new_operator>")
+        .description("Change the operator type of an operator expression")
+        .option("--source-child-id <id>", "Source child ID for split behavior")
+        .option("--target-child-id <id>", "Target child ID for split behavior")
+        .action(async (premiseId, expressionId, newOperator, 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.`);
+        try {
+            pm.changeOperator(expressionId, newOperator, opts.sourceChildId, opts.targetChildId);
+        }
+        catch (e) {
+            errorExit(e instanceof Error
+                ? e.message
+                : "Failed to change operator.");
+        }
+        await writePremiseData(argumentId, version, premiseId, {
+            rootExpressionId: pm.getRootExpressionId(),
+            variables: [...pm.getReferencedVariableIds()].sort(),
+            expressions: pm.getExpressions(),
+        });
+        printLine("success");
+    });
+}
+//# 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;AAGnC,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,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,IAIzB;IACG,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,uBAAuB,EACvB,uCAAuC,CAC1C;SACA,MAAM,CAAC,sBAAsB,EAAE,sCAAsC,CAAC;SACtE,MAAM,CACH,6BAA6B,EAC7B,iCAAiC,CACpC;SACA,MAAM,CACH,iBAAiB,EACjB,sDAAsD,CACzD;SACA,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IASC,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;YACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YACvB,CAAC,CAAC,gBAAgB,CAAA;QAE1B,IAAI,UAA4B,CAAA;QAChC,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,SAAS;gBACT,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,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI,CAAC,QAAoC;aACtD,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,SAAS;gBACT,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,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAA;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAA;QACzC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAA;QAE/C,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC,IAAI,WAAW,EAAE,CAAC;YACzC,SAAS,CACL,kDAAkD,CACrD,CAAA;QACL,CAAC;QACD,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACxB,SAAS,CAAC,sCAAsC,CAAC,CAAA;QACrD,CAAC;QAED,IAAI,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACZ,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,mBAAmB,EAAE,GAC1C,UAAU,CAAA;gBACd,EAAE,CAAC,qBAAqB,CACpB,IAAI,CAAC,MAAO,EACZ,QAAQ,EACR,mBAAmB,CACtB,CAAA;YACL,CAAC;iBAAM,IAAI,QAAQ,EAAE,CAAC;gBAClB,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,mBAAmB,EAAE,GAC1C,UAAU,CAAA;gBACd,EAAE,CAAC,qBAAqB,CACpB,IAAI,CAAC,KAAM,EACX,OAAO,EACP,mBAAmB,CACtB,CAAA;YACL,CAAC;iBAAM,IAAI,WAAW,EAAE,CAAC;gBACrB,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;YAChC,CAAC;iBAAM,CAAC;gBACJ,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,mBAAmB,EAAE,GAC1C,UAAU,CAAA;gBACd,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAA;YACtD,CAAC;QACL,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,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE;YACnD,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;QACF,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;YACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YACvB,CAAC,CAAC,gBAAgB,CAAA;QAE1B,IAAI,UAA4B,CAAA;QAChC,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,SAAS;gBACT,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,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI,CAAC,QAAoC;aACtD,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,SAAS;gBACT,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,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE;YACnD,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;QACF,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,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;QACnE,IAAI,CAAC,OAAO;YAAE,SAAS,CAAC,eAAe,YAAY,cAAc,CAAC,CAAA;QAElE,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE;YACnD,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;QACF,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,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3H,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,EAAE,CAAC,CAAA;YACzC,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;IAEL,KAAK;SACA,OAAO,CAAC,8CAA8C,CAAC;SACvD,WAAW,CAAC,0DAA0D,CAAC;SACvE,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,IAAI,CAAC;YACD,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC,CAAA;QACnC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,SAAS,CACL,CAAC,YAAY,KAAK;gBACd,CAAC,CAAC,CAAC,CAAC,OAAO;gBACX,CAAC,CAAC,4BAA4B,CACrC,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE;YACnD,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;QACF,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,KAAK;SACA,OAAO,CAAC,6DAA6D,CAAC;SACtE,WAAW,CAAC,oDAAoD,CAAC;SACjE,MAAM,CAAC,wBAAwB,EAAE,oCAAoC,CAAC;SACtE,MAAM,CAAC,wBAAwB,EAAE,oCAAoC,CAAC;SACtE,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,YAAoB,EACpB,WAAmB,EACnB,IAGC,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,IAAI,CAAC;YACD,EAAE,CAAC,cAAc,CACb,YAAY,EACZ,WAAuC,EACvC,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,aAAa,CACrB,CAAA;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,SAAS,CACL,CAAC,YAAY,KAAK;gBACd,CAAC,CAAC,CAAC,CAAC,OAAO;gBACX,CAAC,CAAC,4BAA4B,CACrC,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE;YACnD,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;QACF,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;AACT,CAAC"}

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

@@ -0,0 +1,13 @@
+import { Command } from "commander";
+import type { TCoreArgumentEvaluationResult, TCorePremiseEvaluationResult } from "../../lib/types/evaluation.js";
+import type { ArgumentEngine } from "../../lib/core/argument-engine.js";
+import type { PropositCore } from "../../lib/core/proposit-core.js";
+interface TEvaluationOverlay {
+    result: TCoreArgumentEvaluationResult;
+    premiseResults: Map<string, TCorePremiseEvaluationResult>;
+    operatorAssignments: Record<string, string>;
+}
+export declare function buildDotGraph(engine: ArgumentEngine, core: PropositCore, overlay?: TEvaluationOverlay): string;
+export declare function registerGraphCommand(versionedCmd: Command, argumentId: string, version: number): void;
+export {};
+//# sourceMappingURL=graph.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,OAAO,KAAK,EACR,6BAA6B,EAC7B,4BAA4B,EAE/B,MAAM,+BAA+B,CAAA;AAEtC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAmEnE,UAAU,kBAAkB;IACxB,MAAM,EAAE,6BAA6B,CAAA;IACrC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAA;IACzD,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC9C;AAED,wBAAgB,aAAa,CACzB,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE,YAAY,EAClB,OAAO,CAAC,EAAE,kBAAkB,GAC7B,MAAM,CA4SR;AAED,wBAAgB,oBAAoB,CAChC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CA8FN"}