@proposit/proposit-core 0.8.9

package/dist/cli/engine.js

@@ -0,0 +1,173 @@
+import fs from "node:fs/promises";
+import { ArgumentEngine, } from "../lib/core/argument-engine.js";
+import { ClaimLibrary } from "../lib/core/claim-library.js";
+import { PropositCore } from "../lib/core/proposit-core.js";
+import { isClaimBound } from "../lib/schemata/index.js";
+import { getPremisesDir } from "./config.js";
+import { readArgumentMeta, readVersionMeta, writeArgumentMeta, writeVersionMeta, } from "./storage/arguments.js";
+import { readClaimLibrary, readSourceLibrary, readClaimSourceLibrary, readForkLibrary, writeClaimLibrary, writeSourceLibrary, writeClaimSourceLibrary, writeForkLibrary, } from "./storage/libraries.js";
+import { listPremiseIds, readPremiseData, readPremiseMeta, writePremiseData, writePremiseMeta, } from "./storage/premises.js";
+import { readRoles, writeRoles } from "./storage/roles.js";
+import { readVariables, writeVariables } from "./storage/variables.js";
+export async function hydratePropositCore() {
+    const [claimLibrary, sourceLibrary, forkLibrary] = await Promise.all([
+        readClaimLibrary(),
+        readSourceLibrary(),
+        readForkLibrary(),
+    ]);
+    const claimSourceLibrary = await readClaimSourceLibrary(claimLibrary, sourceLibrary);
+    return new PropositCore({
+        claimLibrary,
+        sourceLibrary,
+        claimSourceLibrary,
+        forkLibrary,
+    });
+}
+export async function persistCore(core) {
+    await Promise.all([
+        writeClaimLibrary(core.claims),
+        writeSourceLibrary(core.sources),
+        writeClaimSourceLibrary(core.claimSources),
+        writeForkLibrary(core.forks),
+    ]);
+}
+/**
+ * Builds a fully-hydrated ArgumentEngine from the on-disk state for the
+ * given argument ID and version number.
+ *
+ * Uses `ArgumentEngine.fromSnapshot()` to restore the engine, which
+ * correctly suppresses auto-variable creation during premise restoration.
+ */
+export async function hydrateEngine(argumentId, version, core) {
+    const [argMeta, versionMeta, allVariables, roles, premiseIds] = await Promise.all([
+        readArgumentMeta(argumentId),
+        readVersionMeta(argumentId, version),
+        readVariables(argumentId, version),
+        readRoles(argumentId, version),
+        listPremiseIds(argumentId, version),
+    ]);
+    const argument = {
+        ...argMeta,
+        ...versionMeta,
+    };
+    const resolvedCore = core ?? (await hydratePropositCore());
+    // Placeholder claim generation for backward compatibility.
+    // Arguments created before library persistence was implemented have
+    // variables referencing claims that don't exist in the library.
+    let claimLibrary = resolvedCore.claims;
+    const missingClaims = [];
+    for (const variable of allVariables) {
+        if (isClaimBound(variable) &&
+            !claimLibrary.get(variable.claimId, variable.claimVersion)) {
+            missingClaims.push({
+                id: variable.claimId,
+                version: variable.claimVersion,
+            });
+        }
+    }
+    if (missingClaims.length > 0) {
+        const snapshot = claimLibrary.snapshot();
+        for (const missing of missingClaims) {
+            snapshot.claims.push({
+                id: missing.id,
+                version: missing.version,
+                frozen: true,
+                checksum: "",
+            });
+        }
+        claimLibrary = ClaimLibrary.fromSnapshot(snapshot);
+    }
+    // Grammar config used for the CLI: enforce rules but auto-normalize.
+    const cliGrammarConfig = {
+        enforceFormulaBetweenOperators: true,
+        autoNormalize: true,
+    };
+    // Build premise snapshots from disk data
+    const premiseSnapshots = [];
+    for (const premiseId of premiseIds) {
+        const [meta, data] = await Promise.all([
+            readPremiseMeta(argumentId, version, premiseId),
+            readPremiseData(argumentId, version, premiseId),
+        ]);
+        const { id: _id, ...premiseExtras } = meta;
+        premiseSnapshots.push({
+            premise: {
+                id: premiseId,
+                argumentId,
+                argumentVersion: version,
+                ...premiseExtras,
+            },
+            rootExpressionId: data.rootExpressionId,
+            expressions: {
+                expressions: data.expressions.map((e) => ({
+                    ...e,
+                    premiseId,
+                    argumentVersion: version,
+                })),
+                config: {
+                    grammarConfig: cliGrammarConfig,
+                },
+            },
+            config: {
+                grammarConfig: cliGrammarConfig,
+            },
+        });
+    }
+    // Build full engine snapshot
+    const engineSnapshot = {
+        argument,
+        variables: {
+            variables: allVariables.map((v) => ({
+                ...v,
+                argumentVersion: version,
+            })),
+        },
+        premises: premiseSnapshots,
+        conclusionPremiseId: roles.conclusionPremiseId,
+        config: {
+            grammarConfig: cliGrammarConfig,
+        },
+    };
+    // Use fromSnapshot which correctly handles restoringFromSnapshot flag,
+    // preventing auto-variable creation during premise restoration.
+    const engine = ArgumentEngine.fromSnapshot(engineSnapshot, claimLibrary, resolvedCore.sources, resolvedCore.claimSources, undefined, "ignore");
+    return engine;
+}
+/**
+ * Persists a fully-hydrated ArgumentEngine to disk, writing all metadata,
+ * variables, roles, and premise data. This is the logical inverse of
+ * `hydrateEngine()`.
+ */
+export async function persistEngine(engine) {
+    const arg = engine.getArgument();
+    const { id } = arg;
+    const argRecord = arg;
+    await writeArgumentMeta({
+        id,
+        title: argRecord.title,
+        description: argRecord.description,
+    });
+    await writeVersionMeta(id, {
+        version: arg.version,
+        createdAt: argRecord.createdAt,
+        published: argRecord.published,
+    });
+    const variables = engine.getVariables();
+    await writeVariables(id, arg.version, variables);
+    await writeRoles(id, arg.version, engine.getRoleState());
+    await fs.mkdir(getPremisesDir(id, arg.version), { recursive: true });
+    for (const pm of engine.listPremises()) {
+        const data = pm.toPremiseData();
+        const { id: premiseId, argumentId: _a, argumentVersion: _av, checksum: _c, descendantChecksum: _dc, combinedChecksum: _cc, ...premiseMeta } = data;
+        await writePremiseMeta(id, arg.version, {
+            id: data.id,
+            ...premiseMeta,
+        });
+        await writePremiseData(id, arg.version, data.id, {
+            rootExpressionId: pm.getRootExpressionId(),
+            variables: [...pm.getReferencedVariableIds()].sort(),
+            expressions: pm.getExpressions(),
+        });
+    }
+}
+//# sourceMappingURL=engine.js.map

package/dist/cli/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,EACH,cAAc,GAEjB,MAAM,gCAAgC,CAAA;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAM3D,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAEvD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,cAAc,EACd,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GACnB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAEtE,MAAM,CAAC,KAAK,UAAU,mBAAmB;IACrC,MAAM,CAAC,YAAY,EAAE,aAAa,EAAE,WAAW,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACjE,gBAAgB,EAAE;QAClB,iBAAiB,EAAE;QACnB,eAAe,EAAE;KACpB,CAAC,CAAA;IACF,MAAM,kBAAkB,GAAG,MAAM,sBAAsB,CACnD,YAAY,EACZ,aAAa,CAChB,CAAA;IACD,OAAO,IAAI,YAAY,CAAC;QACpB,YAAY;QACZ,aAAa;QACb,kBAAkB;QAClB,WAAW;KACd,CAAC,CAAA;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAkB;IAChD,MAAM,OAAO,CAAC,GAAG,CAAC;QACd,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9B,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC;QAChC,uBAAuB,CAAC,IAAI,CAAC,YAAY,CAAC;QAC1C,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;KAC/B,CAAC,CAAA;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe,EACf,IAAmB;IAEnB,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,GACzD,MAAM,OAAO,CAAC,GAAG,CAAC;QACd,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;QACpC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;QAClC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;QAC9B,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;KACtC,CAAC,CAAA;IAEN,MAAM,QAAQ,GAAqC;QAC/C,GAAG,OAAO;QACV,GAAG,WAAW;KACjB,CAAA;IAED,MAAM,YAAY,GAAG,IAAI,IAAI,CAAC,MAAM,mBAAmB,EAAE,CAAC,CAAA;IAE1D,2DAA2D;IAC3D,oEAAoE;IACpE,gEAAgE;IAChE,IAAI,YAAY,GAAG,YAAY,CAAC,MAAM,CAAA;IACtC,MAAM,aAAa,GAAsC,EAAE,CAAA;IAC3D,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QAClC,IACI,YAAY,CAAC,QAAQ,CAAC;YACtB,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,EAC5D,CAAC;YACC,aAAa,CAAC,IAAI,CAAC;gBACf,EAAE,EAAE,QAAQ,CAAC,OAAO;gBACpB,OAAO,EAAE,QAAQ,CAAC,YAAY;aACjC,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACxC,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;YAClC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBACjB,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,EAAE;aACqB,CAAC,CAAA;QAC1C,CAAC;QACD,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IACtD,CAAC;IAED,qEAAqE;IACrE,MAAM,gBAAgB,GAAG;QACrB,8BAA8B,EAAE,IAAI;QACpC,aAAa,EAAE,IAAI;KACtB,CAAA;IAED,yCAAyC;IACzC,MAAM,gBAAgB,GAA6B,EAAE,CAAA;IACrD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,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,aAAa,EAAE,GAAG,IAAI,CAAA;QAC1C,gBAAgB,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE;gBACL,EAAE,EAAE,SAAS;gBACb,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,GAAG,aAAa;aACnB;YACD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,WAAW,EAAE;gBACT,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,GAAG,CAAC;oBACJ,SAAS;oBACT,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAmC;gBACrC,MAAM,EAAE;oBACJ,aAAa,EAAE,gBAAgB;iBAClC;aACJ;YACD,MAAM,EAAE;gBACJ,aAAa,EAAE,gBAAgB;aAClC;SACJ,CAAC,CAAA;IACN,CAAC;IAED,6BAA6B;IAC7B,MAAM,cAAc,GAA4B;QAC5C,QAAQ;QACR,SAAS,EAAE;YACP,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAChC,GAAG,CAAC;gBACJ,eAAe,EAAE,OAAO;aAC3B,CAAC,CAAC;SACN;QACD,QAAQ,EAAE,gBAAgB;QAC1B,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,MAAM,EAAE;YACJ,aAAa,EAAE,gBAAgB;SAClC;KACJ,CAAA;IAED,uEAAuE;IACvE,gEAAgE;IAChE,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CACtC,cAAc,EACd,YAAY,EACZ,YAAY,CAAC,OAAO,EACpB,YAAY,CAAC,YAAY,EACzB,SAAS,EACT,QAAQ,CACX,CAAA;IAED,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAAsB;IACtD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;IAChC,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAA;IAElB,MAAM,SAAS,GAAG,GAA8B,CAAA;IAChD,MAAM,iBAAiB,CAAC;QACpB,EAAE;QACF,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,WAAW,EAAE,SAAS,CAAC,WAAW;KACjB,CAAC,CAAA;IACtB,MAAM,gBAAgB,CAAC,EAAE,EAAE;QACvB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;KACN,CAAC,CAAA;IAE7B,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACvC,MAAM,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;IAEhD,MAAM,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAA;IAExD,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACpE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;QAC/B,MAAM,EACF,EAAE,EAAE,SAAS,EACb,UAAU,EAAE,EAAE,EACd,eAAe,EAAE,GAAG,EACpB,QAAQ,EAAE,EAAE,EACZ,kBAAkB,EAAE,GAAG,EACvB,gBAAgB,EAAE,GAAG,EACrB,GAAG,WAAW,EACjB,GAAG,IAA+B,CAAA;QACnC,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE;YACpC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,GAAG,WAAW;SAC0B,CAAC,CAAA;QAC7C,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE;YAC7C,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;IACN,CAAC;AACL,CAAC"}

package/dist/cli/import.d.ts

@@ -0,0 +1,22 @@
+import { ArgumentEngine } from "../lib/core/argument-engine.js";
+import { ClaimLibrary } from "../lib/core/claim-library.js";
+import { ClaimSourceLibrary } from "../lib/core/claim-source-library.js";
+import { SourceLibrary } from "../lib/core/source-library.js";
+/**
+ * Parses a YAML string representing a logical argument and returns a
+ * fully hydrated ArgumentEngine.
+ *
+ * Variables are implicitly declared by their usage in formula strings.
+ * Premises without an explicit `role` default to `"supporting"`.
+ * At most one premise may have `role: "conclusion"`.
+ *
+ * @throws On YAML parse errors, schema validation failures, formula
+ *   parse errors, nested implies/iff operators, or multiple conclusions.
+ */
+export declare function importArgumentFromYaml(yamlString: string): {
+    engine: ArgumentEngine;
+    claimLibrary: ClaimLibrary;
+    sourceLibrary: SourceLibrary;
+    claimSourceLibrary: ClaimSourceLibrary;
+};
+//# sourceMappingURL=import.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["../../src/cli/import.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AAqM7D;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,MAAM,GAAG;IACxD,MAAM,EAAE,cAAc,CAAA;IACtB,YAAY,EAAE,YAAY,CAAA;IAC1B,aAAa,EAAE,aAAa,CAAA;IAC5B,kBAAkB,EAAE,kBAAkB,CAAA;CACzC,CAmHA"}

package/dist/cli/import.js

@@ -0,0 +1,242 @@
+import { randomUUID } from "node:crypto";
+import yaml from "js-yaml";
+import { Value } from "typebox/value";
+import { CoreYamlArgumentSchema } from "../lib/schemata/import.js";
+import { parseFormula } from "../lib/core/parser/formula.js";
+import { ArgumentEngine } from "../lib/core/argument-engine.js";
+import { ClaimLibrary } from "../lib/core/claim-library.js";
+import { ClaimSourceLibrary } from "../lib/core/claim-source-library.js";
+import { SourceLibrary } from "../lib/core/source-library.js";
+import { POSITION_INITIAL } from "../lib/utils/position.js";
+/**
+ * Validates that `implies` and `iff` nodes appear only at the AST root.
+ * Throws if an implication/biconditional is nested inside another operator.
+ */
+function validateRootOnly(ast, isRoot, premiseIndex, premiseTitle) {
+    if (!isRoot && (ast.type === "implies" || ast.type === "iff")) {
+        const label = premiseTitle
+            ? `premise "${premiseTitle}" (index ${premiseIndex})`
+            : `premise at index ${premiseIndex}`;
+        throw new Error(`${ast.type === "implies" ? "Implication (\u2192)" : "Biconditional (\u2194)"} operator must be at the root of a formula, but found nested in ${label}.`);
+    }
+    switch (ast.type) {
+        case "variable":
+            break;
+        case "not":
+            validateRootOnly(ast.operand, false, premiseIndex, premiseTitle);
+            break;
+        case "and":
+        case "or":
+            for (const operand of ast.operands) {
+                validateRootOnly(operand, false, premiseIndex, premiseTitle);
+            }
+            break;
+        case "implies":
+        case "iff":
+            validateRootOnly(ast.left, false, premiseIndex, premiseTitle);
+            validateRootOnly(ast.right, false, premiseIndex, premiseTitle);
+            break;
+    }
+}
+/** Recursively collects all variable names from a formula AST. */
+function collectVariableNames(ast, names) {
+    switch (ast.type) {
+        case "variable":
+            names.add(ast.name);
+            break;
+        case "not":
+            collectVariableNames(ast.operand, names);
+            break;
+        case "and":
+        case "or":
+            for (const operand of ast.operands) {
+                collectVariableNames(operand, names);
+            }
+            break;
+        case "implies":
+        case "iff":
+            collectVariableNames(ast.left, names);
+            collectVariableNames(ast.right, names);
+            break;
+    }
+}
+/**
+ * Converts a formula AST into internal expression objects and adds them
+ * to the premise manager. Returns the root expression ID.
+ */
+function buildExpressions(ast, parentId, position, argumentId, argumentVersion, premiseId, variablesByName, addExpression) {
+    const id = randomUUID();
+    switch (ast.type) {
+        case "variable": {
+            const variable = variablesByName.get(ast.name);
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                premiseId,
+                type: "variable",
+                variableId: variable.id,
+                parentId,
+                position,
+            });
+            return id;
+        }
+        case "not": {
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                premiseId,
+                type: "operator",
+                operator: "not",
+                parentId,
+                position,
+            });
+            buildExpressions(ast.operand, id, 0, argumentId, argumentVersion, premiseId, variablesByName, addExpression);
+            return id;
+        }
+        case "and":
+        case "or": {
+            // Non-not operators cannot be direct children of operators.
+            // When this node has an operator parent, insert a formula wrapper.
+            let effectiveParentId = parentId;
+            if (parentId !== null) {
+                const formulaId = randomUUID();
+                addExpression({
+                    id: formulaId,
+                    argumentId,
+                    argumentVersion,
+                    premiseId,
+                    type: "formula",
+                    parentId,
+                    position,
+                });
+                effectiveParentId = formulaId;
+            }
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                premiseId,
+                type: "operator",
+                operator: ast.type,
+                parentId: effectiveParentId,
+                position: effectiveParentId !== parentId ? 0 : position,
+            });
+            for (let i = 0; i < ast.operands.length; i++) {
+                buildExpressions(ast.operands[i], id, i, argumentId, argumentVersion, premiseId, variablesByName, addExpression);
+            }
+            return id;
+        }
+        case "implies":
+        case "iff": {
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                premiseId,
+                type: "operator",
+                operator: ast.type,
+                parentId,
+                position,
+            });
+            buildExpressions(ast.left, id, 0, argumentId, argumentVersion, premiseId, variablesByName, addExpression);
+            buildExpressions(ast.right, id, 1, argumentId, argumentVersion, premiseId, variablesByName, addExpression);
+            return id;
+        }
+    }
+}
+/**
+ * Parses a YAML string representing a logical argument and returns a
+ * fully hydrated ArgumentEngine.
+ *
+ * Variables are implicitly declared by their usage in formula strings.
+ * Premises without an explicit `role` default to `"supporting"`.
+ * At most one premise may have `role: "conclusion"`.
+ *
+ * @throws On YAML parse errors, schema validation failures, formula
+ *   parse errors, nested implies/iff operators, or multiple conclusions.
+ */
+export function importArgumentFromYaml(yamlString) {
+    const raw = yaml.load(yamlString);
+    const input = Value.Parse(CoreYamlArgumentSchema, raw);
+    // Parse all formulas and validate root-only constraint
+    const parsedFormulas = [];
+    for (let i = 0; i < input.premises.length; i++) {
+        const premise = input.premises[i];
+        let ast;
+        try {
+            ast = parseFormula(premise.formula);
+        }
+        catch (error) {
+            const label = premise.metadata?.title
+                ? `premise "${premise.metadata.title}" (index ${i})`
+                : `premise at index ${i}`;
+            const msg = error instanceof Error ? error.message : String(error);
+            throw new Error(`Failed to parse formula for ${label}: ${msg}`);
+        }
+        validateRootOnly(ast, true, i, premise.metadata?.title);
+        parsedFormulas.push(ast);
+    }
+    // Validate conclusion count
+    const conclusionIndices = input.premises
+        .map((p, i) => (p.role === "conclusion" ? i : -1))
+        .filter((i) => i !== -1);
+    if (conclusionIndices.length > 1) {
+        throw new Error(`Multiple premises designated as conclusion (indices ${conclusionIndices.join(", ")}). Only one conclusion is allowed.`);
+    }
+    // Collect all variable names across all formulas
+    const allVariableNames = new Set();
+    for (const ast of parsedFormulas) {
+        collectVariableNames(ast, allVariableNames);
+    }
+    // Build the argument
+    const argumentId = randomUUID();
+    const argument = {
+        id: argumentId,
+        version: 0,
+        title: input.metadata.title,
+        ...(input.metadata.description !== undefined
+            ? { description: input.metadata.description }
+            : {}),
+        createdAt: new Date(),
+        published: false,
+    };
+    const claimLibrary = new ClaimLibrary();
+    const defaultClaim = claimLibrary.create({ id: randomUUID() });
+    const sourceLibrary = new SourceLibrary();
+    const claimSourceLibrary = new ClaimSourceLibrary(claimLibrary, sourceLibrary);
+    const engine = new ArgumentEngine(argument, claimLibrary, sourceLibrary, claimSourceLibrary);
+    // Create variables
+    const variablesByName = new Map();
+    for (const name of [...allVariableNames].sort()) {
+        const variable = {
+            id: randomUUID(),
+            argumentId,
+            argumentVersion: 0,
+            symbol: name,
+            claimId: defaultClaim.id,
+            claimVersion: defaultClaim.version,
+        };
+        variablesByName.set(name, variable);
+    }
+    // Register all variables with the engine (shared across all premises)
+    for (const variable of variablesByName.values()) {
+        engine.addVariable(variable);
+    }
+    // Create premises and build expression trees
+    for (let i = 0; i < input.premises.length; i++) {
+        const premiseDef = input.premises[i];
+        const { result: pm } = engine.createPremise(premiseDef.metadata ? { ...premiseDef.metadata } : undefined);
+        // Build expression tree from parsed AST
+        buildExpressions(parsedFormulas[i], null, POSITION_INITIAL, argumentId, 0, pm.getId(), variablesByName, (expr) => pm.addExpression(expr));
+        // Assign conclusion role; supporting is derived from expression type
+        const role = premiseDef.role ?? "supporting";
+        if (role === "conclusion") {
+            engine.setConclusionPremise(pm.getId());
+        }
+        // Non-conclusion inference premises are automatically supporting
+    }
+    return { engine, claimLibrary, sourceLibrary, claimSourceLibrary };
+}
+//# sourceMappingURL=import.js.map

package/dist/cli/import.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/cli/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,IAAI,MAAM,SAAS,CAAA;AAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAKlE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAE3D;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,YAAoB,EACpB,YAAgC;IAEhC,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,YAAY;YACtB,CAAC,CAAC,YAAY,YAAY,YAAY,YAAY,GAAG;YACrD,CAAC,CAAC,oBAAoB,YAAY,EAAE,CAAA;QACxC,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,wBAAwB,mEAAmE,KAAK,GAAG,CAC3J,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC7D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC9D,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,eAAmE,EACnE,aAA+C;IAE/C,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YAC/C,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,4DAA4D;YAC5D,mEAAmE;YACnE,IAAI,iBAAiB,GAAG,QAAQ,CAAA;YAChC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpB,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;gBAC9B,aAAa,CAAC;oBACV,EAAE,EAAE,SAAS;oBACb,UAAU;oBACV,eAAe;oBACf,SAAS;oBACT,IAAI,EAAE,SAAS;oBACf,QAAQ;oBACR,QAAQ;iBACX,CAAC,CAAA;gBACF,iBAAiB,GAAG,SAAS,CAAA;YACjC,CAAC;YACD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,iBAAiB;gBAC3B,QAAQ,EAAE,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;aAC1D,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IAMrD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACjC,MAAM,KAAK,GAAsB,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;IAEzE,uDAAuD;IACvD,MAAM,cAAc,GAAkB,EAAE,CAAA;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,GAAgB,CAAA;QACpB,IAAI,CAAC;YACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACvC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;gBACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;gBACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;YAC7B,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,KAAK,GAAG,EAAE,CAAC,CAAA;QACnE,CAAC;QACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACvD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC;IAED,4BAA4B;IAC5B,MAAM,iBAAiB,GAAG,KAAK,CAAC,QAAQ;SACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,uDAAuD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAC1H,CAAA;IACL,CAAC;IAED,iDAAiD;IACjD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;IAC/C,CAAC;IAED,qBAAqB;IACrB,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;IAC/B,MAAM,QAAQ,GAAG;QACb,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;QAC3B,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACT,SAAS,EAAE,IAAI,IAAI,EAAE;QACrB,SAAS,EAAE,KAAK;KACnB,CAAA;IAED,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAA;IACvC,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC,CAAA;IAC9D,MAAM,aAAa,GAAG,IAAI,aAAa,EAAE,CAAA;IACzC,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,CAC7C,YAAY,EACZ,aAAa,CAChB,CAAA;IACD,MAAM,MAAM,GAAG,IAAI,cAAc,CAC7B,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,kBAAkB,CACrB,CAAA;IAED,mBAAmB;IACnB,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;IACH,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAA0C;YACpD,EAAE,EAAE,UAAU,EAAE;YAChB,UAAU;YACV,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,YAAY,CAAC,EAAE;YACxB,YAAY,EAAE,YAAY,CAAC,OAAO;SACrC,CAAA;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACvC,CAAC;IAED,sEAAsE;IACtE,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;IAChC,CAAC;IAED,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,aAAa,CACvC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAA;QAED,wCAAwC;QACxC,gBAAgB,CACZ,cAAc,CAAC,CAAC,CAAC,EACjB,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,CAAC,EACD,EAAE,CAAC,KAAK,EAAE,EACV,eAAe,EACf,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CACnC,CAAA;QAED,qEAAqE;QACrE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;QAC5C,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;QAC3C,CAAC;QACD,iEAAiE;IACrE,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,CAAA;AACtE,CAAC"}

package/dist/cli/llm/index.d.ts

@@ -0,0 +1,6 @@
+export type { TLlmCompletionRequest, TLlmProvider, TLlmProviderOptions, } from "./types.js";
+export { createOpenAiProvider, OPENAI_API_KEY_ENV } from "./openai.js";
+import type { TLlmProvider, TLlmProviderOptions } from "./types.js";
+export declare function resolveApiKey(providerName: string, explicit?: string): string;
+export declare function createLlmProvider(name: string, options: TLlmProviderOptions): TLlmProvider;
+//# sourceMappingURL=index.d.ts.map

package/dist/cli/llm/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/llm/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACR,qBAAqB,EACrB,YAAY,EACZ,mBAAmB,GACtB,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAGtE,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAMnE,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAW7E;AAED,wBAAgB,iBAAiB,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,mBAAmB,GAC7B,YAAY,CASd"}

package/dist/cli/llm/index.js

@@ -0,0 +1,26 @@
+export { createOpenAiProvider, OPENAI_API_KEY_ENV } from "./openai.js";
+import { createOpenAiProvider, OPENAI_API_KEY_ENV } from "./openai.js";
+const PROVIDER_ENV_VARS = {
+    openai: OPENAI_API_KEY_ENV,
+};
+export function resolveApiKey(providerName, explicit) {
+    if (explicit)
+        return explicit;
+    const envVar = PROVIDER_ENV_VARS[providerName];
+    if (envVar) {
+        const value = process.env[envVar];
+        if (value)
+            return value;
+    }
+    const envHint = envVar ? ` or set ${envVar}` : "";
+    throw new Error(`No API key provided for "${providerName}". Use --api-key${envHint}.`);
+}
+export function createLlmProvider(name, options) {
+    switch (name) {
+        case "openai":
+            return createOpenAiProvider(options);
+        default:
+            throw new Error(`Unknown LLM provider "${name}". Supported: openai.`);
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/cli/llm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/llm/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAEtE,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAGtE,MAAM,iBAAiB,GAA2B;IAC9C,MAAM,EAAE,kBAAkB;CAC7B,CAAA;AAED,MAAM,UAAU,aAAa,CAAC,YAAoB,EAAE,QAAiB;IACjE,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAA;IAC7B,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAA;IAC9C,IAAI,MAAM,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACjC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAA;IAC3B,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IACjD,MAAM,IAAI,KAAK,CACX,4BAA4B,YAAY,mBAAmB,OAAO,GAAG,CACxE,CAAA;AACL,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC7B,IAAY,EACZ,OAA4B;IAE5B,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,QAAQ;YACT,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAA;QACxC;YACI,MAAM,IAAI,KAAK,CACX,yBAAyB,IAAI,uBAAuB,CACvD,CAAA;IACT,CAAC;AACL,CAAC"}

package/dist/cli/llm/openai.d.ts

@@ -0,0 +1,4 @@
+import type { TLlmProvider, TLlmProviderOptions } from "./types.js";
+export declare const OPENAI_API_KEY_ENV = "OPENAI_API_KEY";
+export declare function createOpenAiProvider(options: TLlmProviderOptions): TLlmProvider;
+//# sourceMappingURL=openai.d.ts.map

package/dist/cli/llm/openai.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"openai.d.ts","sourceRoot":"","sources":["../../../src/cli/llm/openai.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAInE,eAAO,MAAM,kBAAkB,mBAAmB,CAAA;AAElD,wBAAgB,oBAAoB,CAChC,OAAO,EAAE,mBAAmB,GAC7B,YAAY,CAmDd"}

package/dist/cli/llm/openai.js

@@ -0,0 +1,44 @@
+import { getParsingResponseSchema } from "../../lib/parsing/index.js";
+const DEFAULT_MODEL = "gpt-5.4";
+export const OPENAI_API_KEY_ENV = "OPENAI_API_KEY";
+export function createOpenAiProvider(options) {
+    const model = options.model ?? DEFAULT_MODEL;
+    return {
+        async complete(request) {
+            const schema = getParsingResponseSchema(request.responseSchema);
+            const response = await fetch("https://api.openai.com/v1/chat/completions", {
+                method: "POST",
+                headers: {
+                    "Content-Type": "application/json",
+                    Authorization: `Bearer ${options.apiKey}`,
+                },
+                body: JSON.stringify({
+                    model,
+                    messages: [
+                        { role: "system", content: request.systemPrompt },
+                        { role: "user", content: request.userMessage },
+                    ],
+                    response_format: {
+                        type: "json_schema",
+                        json_schema: {
+                            name: "parsed_argument",
+                            strict: false,
+                            schema,
+                        },
+                    },
+                }),
+            });
+            if (!response.ok) {
+                const text = await response.text();
+                throw new Error(`OpenAI API error (${response.status}): ${text}`);
+            }
+            const data = (await response.json());
+            const content = data.choices?.[0]?.message?.content;
+            if (!content) {
+                throw new Error("No content in OpenAI response.");
+            }
+            return JSON.parse(content);
+        },
+    };
+}
+//# sourceMappingURL=openai.js.map

package/dist/cli/llm/openai.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"openai.js","sourceRoot":"","sources":["../../../src/cli/llm/openai.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAGrE,MAAM,aAAa,GAAG,SAAS,CAAA;AAE/B,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAA;AAElD,MAAM,UAAU,oBAAoB,CAChC,OAA4B;IAE5B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,aAAa,CAAA;IAE5C,OAAO;QACH,KAAK,CAAC,QAAQ,CAAC,OAAO;YAClB,MAAM,MAAM,GAAG,wBAAwB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;YAE/D,MAAM,QAAQ,GAAG,MAAM,KAAK,CACxB,4CAA4C,EAC5C;gBACI,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACL,cAAc,EAAE,kBAAkB;oBAClC,aAAa,EAAE,UAAU,OAAO,CAAC,MAAM,EAAE;iBAC5C;gBACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACjB,KAAK;oBACL,QAAQ,EAAE;wBACN,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE;wBACjD,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE;qBACjD;oBACD,eAAe,EAAE;wBACb,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE;4BACT,IAAI,EAAE,iBAAiB;4BACvB,MAAM,EAAE,KAAK;4BACb,MAAM;yBACT;qBACJ;iBACJ,CAAC;aACL,CACJ,CAAA;YAED,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAA;gBAClC,MAAM,IAAI,KAAK,CACX,qBAAqB,QAAQ,CAAC,MAAM,MAAM,IAAI,EAAE,CACnD,CAAA;YACL,CAAC;YAED,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAElC,CAAA;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAA;YACnD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACX,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;YACrD,CAAC;YAED,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAA;QACzD,CAAC;KACJ,CAAA;AACL,CAAC"}

package/dist/cli/llm/types.d.ts

@@ -0,0 +1,14 @@
+import type { TSchema } from "typebox";
+export type TLlmCompletionRequest = {
+    systemPrompt: string;
+    userMessage: string;
+    responseSchema: TSchema;
+};
+export type TLlmProviderOptions = {
+    apiKey: string;
+    model?: string;
+};
+export type TLlmProvider<TResponse = Record<string, unknown>> = {
+    complete(request: TLlmCompletionRequest): Promise<TResponse>;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/cli/llm/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/cli/llm/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAEtC,MAAM,MAAM,qBAAqB,GAAG;IAChC,YAAY,EAAE,MAAM,CAAA;IACpB,WAAW,EAAE,MAAM,CAAA;IACnB,cAAc,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,CAAC,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IAC5D,QAAQ,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;CAC/D,CAAA"}

package/dist/cli/llm/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/cli/llm/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/cli/llm/types.ts"],"names":[],"mappings":""}

package/dist/cli/logging.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Append a structured log entry to the CLI log file.
+ *
+ * Each entry is a single JSON line with a timestamp, event name,
+ * and optional data payload.
+ */
+export declare function cliLog(event: string, data?: Record<string, unknown>): Promise<void>;
+//# sourceMappingURL=logging.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logging.d.ts","sourceRoot":"","sources":["../../src/cli/logging.ts"],"names":[],"mappings":"AAQA;;;;;GAKG;AACH,wBAAsB,MAAM,CACxB,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,OAAO,CAAC,IAAI,CAAC,CASf"}

package/dist/cli/logging.js

@@ -0,0 +1,23 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import { getLogsDir } from "./config.js";
+function logFilePath() {
+    return path.join(getLogsDir(), "cli.jsonl");
+}
+/**
+ * Append a structured log entry to the CLI log file.
+ *
+ * Each entry is a single JSON line with a timestamp, event name,
+ * and optional data payload.
+ */
+export async function cliLog(event, data) {
+    const entry = {
+        timestamp: new Date().toISOString(),
+        event,
+        ...data,
+    };
+    const filePath = logFilePath();
+    await fs.mkdir(path.dirname(filePath), { recursive: true });
+    await fs.appendFile(filePath, JSON.stringify(entry) + "\n");
+}
+//# sourceMappingURL=logging.js.map

package/dist/cli/logging.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"logging.js","sourceRoot":"","sources":["../../src/cli/logging.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,SAAS,WAAW;IAChB,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,WAAW,CAAC,CAAA;AAC/C,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CACxB,KAAa,EACb,IAA8B;IAE9B,MAAM,KAAK,GAAG;QACV,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,KAAK;QACL,GAAG,IAAI;KACV,CAAA;IACD,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAA;IAC9B,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAA;AAC/D,CAAC"}

package/dist/cli/output/diff-renderer.d.ts

@@ -0,0 +1,4 @@
+import type { TCoreArgumentDiff } from "../../lib/types/diff.js";
+export declare function isDiffEmpty(diff: TCoreArgumentDiff): boolean;
+export declare function renderDiff(diff: TCoreArgumentDiff): void;
+//# sourceMappingURL=diff-renderer.d.ts.map

package/dist/cli/output/diff-renderer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-renderer.d.ts","sourceRoot":"","sources":["../../../src/cli/output/diff-renderer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,iBAAiB,EAIpB,MAAM,yBAAyB,CAAA;AAGhC,wBAAgB,WAAW,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAW5D;AA8CD,wBAAgB,UAAU,CAAC,IAAI,EAAE,iBAAiB,GAAG,IAAI,CAiDxD"}