@proposit/proposit-core 0.8.9

package/dist/cli/commands/arguments.js

@@ -0,0 +1,187 @@
+import { randomUUID } from "node:crypto";
+import fs from "node:fs/promises";
+import path from "node:path";
+import { Command } from "commander";
+import { importArgumentFromYaml } from "../import.js";
+import { getVersionDir } from "../config.js";
+import { hydratePropositCore, hydrateEngine, persistEngine, persistCore, } from "../engine.js";
+import { ClaimLibrary } from "../../lib/core/claim-library.js";
+import { SourceLibrary } from "../../lib/core/source-library.js";
+import { ClaimSourceLibrary } from "../../lib/core/claim-source-library.js";
+import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
+import { copyVersionDir, deleteArgumentDir, deleteVersionDir, latestVersionNumber, listArgumentIds, listVersionNumbers, readArgumentMeta, readVersionMeta, writeArgumentMeta, writeVersionMeta, } from "../storage/arguments.js";
+import { writeVariables } from "../storage/variables.js";
+import { writeRoles } from "../storage/roles.js";
+import { getPremisesDir } from "../config.js";
+import { registerParseCommand } from "./parse.js";
+export function registerArgumentCommands(program) {
+    const args = program.command("arguments").description("Manage arguments");
+    args.command("create <title> <description>")
+        .description("Create a new argument")
+        .action(async (title, description) => {
+        const id = randomUUID();
+        const createdAt = new Date();
+        await writeArgumentMeta({ id, title, description });
+        await writeVersionMeta(id, {
+            version: 0,
+            createdAt,
+            published: false,
+        });
+        await writeVariables(id, 0, []);
+        await writeRoles(id, 0, {});
+        await fs.mkdir(getPremisesDir(id, 0), { recursive: true });
+        printLine(id);
+    });
+    args.command("import <yaml_file>")
+        .description("Import an argument from a YAML file")
+        .action(async (yamlFile) => {
+        const filePath = path.resolve(yamlFile);
+        let content;
+        try {
+            content = await fs.readFile(filePath, "utf-8");
+        }
+        catch {
+            errorExit(`Cannot read file: ${filePath}`);
+        }
+        let result;
+        try {
+            result = importArgumentFromYaml(content);
+        }
+        catch (error) {
+            errorExit(error instanceof Error ? error.message : String(error));
+        }
+        // Merge new libraries into existing global libraries
+        const existing = await hydratePropositCore();
+        const mergedClaims = ClaimLibrary.fromSnapshot({
+            claims: [
+                ...existing.claims.snapshot().claims,
+                ...result.claimLibrary.snapshot().claims,
+            ],
+        });
+        const mergedSources = SourceLibrary.fromSnapshot({
+            sources: [
+                ...existing.sources.snapshot().sources,
+                ...result.sourceLibrary.snapshot().sources,
+            ],
+        });
+        const _mergedAssocs = ClaimSourceLibrary.fromSnapshot({
+            claimSourceAssociations: [
+                ...existing.claimSources.snapshot()
+                    .claimSourceAssociations,
+                ...result.claimSourceLibrary.snapshot()
+                    .claimSourceAssociations,
+            ],
+        }, mergedClaims, mergedSources);
+        await persistEngine(result.engine);
+        await persistCore(existing);
+        printLine(result.engine.getArgument().id);
+    });
+    args.command("list")
+        .description("List all arguments")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const ids = await listArgumentIds();
+        const items = await Promise.all(ids.map(async (id) => {
+            const meta = await readArgumentMeta(id);
+            const versions = await listVersionNumbers(id);
+            const latestV = versions[versions.length - 1] ?? 0;
+            const vMeta = await readVersionMeta(id, latestV);
+            return { meta, vMeta };
+        }));
+        // Sort newest first by createdAt
+        items.sort((a, b) => b.vMeta.createdAt.getTime() - a.vMeta.createdAt.getTime());
+        if (opts.json) {
+            printJson(items.map(({ meta, vMeta }) => ({
+                id: meta.id,
+                title: meta.title,
+                description: meta.description,
+                latestVersion: vMeta.version,
+                latestCreatedAt: vMeta.createdAt,
+                latestPublished: vMeta.published,
+            })));
+        }
+        else {
+            for (const { meta, vMeta } of items) {
+                printLine(`${meta.id} | ${meta.title} (created ${vMeta.createdAt.toLocaleString()})`);
+            }
+        }
+    });
+    args.command("delete <argument_id>")
+        .description("Delete an argument or its latest version")
+        .option("--confirm", "Skip confirmation prompt")
+        .option("--all", "Delete all versions")
+        .action(async (argumentId, opts) => {
+        if (!opts.confirm) {
+            await requireConfirmation(`Delete argument "${argumentId}"?`);
+        }
+        const versions = await listVersionNumbers(argumentId);
+        if (versions.length === 0) {
+            errorExit(`Argument "${argumentId}" not found.`);
+        }
+        let deleted = 0;
+        if (opts.all || versions.length === 1) {
+            deleted = versions.length;
+            await deleteArgumentDir(argumentId);
+        }
+        else {
+            const latest = versions[versions.length - 1];
+            await deleteVersionDir(argumentId, latest);
+            deleted = 1;
+        }
+        printLine(`${deleted} argument(s) deleted`);
+    });
+    args.command("publish <argument_id>")
+        .description("Publish the latest version and prepare a new draft")
+        .action(async (argumentId) => {
+        const V = await latestVersionNumber(argumentId);
+        const vMeta = await readVersionMeta(argumentId, V);
+        if (vMeta.published) {
+            errorExit(`Version ${V} of argument "${argumentId}" is already published.`);
+        }
+        // Mark old version as published
+        await writeVersionMeta(argumentId, {
+            ...vMeta,
+            published: true,
+            publishedAt: new Date(),
+        });
+        // Copy to new version
+        const newV = V + 1;
+        await copyVersionDir(argumentId, V, newV);
+        // Overwrite new version's meta
+        await writeVersionMeta(argumentId, {
+            version: newV,
+            createdAt: new Date(),
+            published: false,
+        });
+        // Remove publishedAt from the new version's meta file if it was copied
+        const newMetaPath = path.join(getVersionDir(argumentId, newV), "meta.json");
+        const newMeta = await readVersionMeta(argumentId, newV);
+        const cleanMeta = {
+            version: newMeta.version,
+            createdAt: newMeta.createdAt,
+            published: false,
+        };
+        await fs.writeFile(newMetaPath, JSON.stringify(cleanMeta, null, 2));
+        printLine(`Version ${V} published, draft version ${newV} prepared`);
+    });
+    args.command("fork <argument_id>")
+        .description("Fork an argument (creates an independent copy)")
+        .action(async (argumentId) => {
+        const core = await hydratePropositCore();
+        const engine = await hydrateEngine(argumentId, await latestVersionNumber(argumentId), core);
+        core.arguments.register(engine);
+        const newArgumentId = randomUUID();
+        let result;
+        try {
+            result = core.forkArgument(argumentId, newArgumentId);
+        }
+        catch (err) {
+            errorExit(err instanceof Error ? err.message : String(err));
+        }
+        await persistEngine(result.engine);
+        await persistCore(core);
+        printLine(newArgumentId);
+    });
+    registerParseCommand(args);
+}
+//# sourceMappingURL=arguments.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/cli/commands/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EACH,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,WAAW,GACd,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAA;AAEjD,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAA;IAEzE,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;SACvC,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,KAAK,EAAE,KAAa,EAAE,WAAmB,EAAE,EAAE;QACjD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QAE5B,MAAM,iBAAiB,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAA;QACnD,MAAM,gBAAgB,CAAC,EAAE,EAAE;YACvB,OAAO,EAAE,CAAC;YACV,SAAS;YACT,SAAS,EAAE,KAAK;SACnB,CAAC,CAAA;QACF,MAAM,cAAc,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAC/B,MAAM,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAC3B,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAE1D,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,qCAAqC,CAAC;SAClD,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,EAAE;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;QACvC,IAAI,OAAe,CAAA;QACnB,IAAI,CAAC;YACD,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QAClD,CAAC;QAAC,MAAM,CAAC;YACL,SAAS,CAAC,qBAAqB,QAAQ,EAAE,CAAC,CAAA;QAC9C,CAAC;QAED,IAAI,MAAiD,CAAA;QACrD,IAAI,CAAC;YACD,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAA;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QAED,qDAAqD;QACrD,MAAM,QAAQ,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAC5C,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC;YAC3C,MAAM,EAAE;gBACJ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,MAAM;gBACpC,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,MAAM;aAC3C;SACJ,CAAC,CAAA;QACF,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC;YAC7C,OAAO,EAAE;gBACL,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO;gBACtC,GAAG,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,OAAO;aAC7C;SACJ,CAAC,CAAA;QACF,MAAM,aAAa,GAAG,kBAAkB,CAAC,YAAY,CACjD;YACI,uBAAuB,EAAE;gBACrB,GAAG,QAAQ,CAAC,YAAY,CAAC,QAAQ,EAAE;qBAC9B,uBAAuB;gBAC5B,GAAG,MAAM,CAAC,kBAAkB,CAAC,QAAQ,EAAE;qBAClC,uBAAuB;aAC/B;SACJ,EACD,YAAY,EACZ,aAAa,CAChB,CAAA;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAClC,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC3B,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,oBAAoB,CAAC;SACjC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,GAAG,GAAG,MAAM,eAAe,EAAE,CAAA;QACnC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAC3B,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,EAAE,CAAC,CAAA;YACvC,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,EAAE,CAAC,CAAA;YAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;YAClD,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;YAChD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QAC1B,CAAC,CAAC,CACL,CAAA;QACD,iCAAiC;QACjC,KAAK,CAAC,IAAI,CACN,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACL,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAChE,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC5B,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,aAAa,EAAE,KAAK,CAAC,OAAO;gBAC5B,eAAe,EAAE,KAAK,CAAC,SAAS;gBAChC,eAAe,EAAE,KAAK,CAAC,SAAS;aACnC,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;gBAClC,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,KAAK,aAAa,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE,GAAG,CAC7E,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,0CAA0C,CAAC;SACvD,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC;SACtC,MAAM,CACH,KAAK,EACD,UAAkB,EAClB,IAA0C,EAC5C,EAAE;QACA,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CACrB,oBAAoB,UAAU,IAAI,CACrC,CAAA;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAA;QACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,IAAI,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAA;YACzB,MAAM,iBAAiB,CAAC,UAAU,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACJ,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YAC5C,MAAM,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YAC1C,OAAO,GAAG,CAAC,CAAA;QACf,CAAC;QAED,SAAS,CAAC,GAAG,OAAO,sBAAsB,CAAC,CAAA;IAC/C,CAAC,CACJ,CAAA;IAEL,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;SAChC,WAAW,CAAC,oDAAoD,CAAC;SACjE,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,MAAM,mBAAmB,CAAC,UAAU,CAAC,CAAA;QAC/C,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;QAElD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAClB,SAAS,CACL,WAAW,CAAC,iBAAiB,UAAU,yBAAyB,CACnE,CAAA;QACL,CAAC;QAED,gCAAgC;QAChC,MAAM,gBAAgB,CAAC,UAAU,EAAE;YAC/B,GAAG,KAAK;YACR,SAAS,EAAE,IAAI;YACf,WAAW,EAAE,IAAI,IAAI,EAAE;SAC1B,CAAC,CAAA;QAEF,sBAAsB;QACtB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;QAClB,MAAM,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;QAEzC,+BAA+B;QAC/B,MAAM,gBAAgB,CAAC,UAAU,EAAE;YAC/B,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,IAAI,IAAI,EAAE;YACrB,SAAS,EAAE,KAAK;SACnB,CAAC,CAAA;QAEF,uEAAuE;QACvE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CACzB,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,EAC/B,WAAW,CACd,CAAA;QACD,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;QACvD,MAAM,SAAS,GAA4B;YACvC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,SAAS,EAAE,KAAK;SACnB,CAAA;QACD,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QAEnE,SAAS,CAAC,WAAW,CAAC,6BAA6B,IAAI,WAAW,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAC9B,UAAU,EACV,MAAM,mBAAmB,CAAC,UAAU,CAAC,EACrC,IAAI,CACP,CAAA;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAE/B,MAAM,aAAa,GAAG,UAAU,EAAE,CAAA;QAClC,IAAI,MAAM,CAAA;QACV,IAAI,CAAC;YACD,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,aAAa,CAAC,CAAA;QACzD,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,MAAM,CAAC,CAAA;QAClC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,aAAa,CAAC,CAAA;IAC5B,CAAC,CAAC,CAAA;IAEN,oBAAoB,CAAC,IAAI,CAAC,CAAA;AAC9B,CAAC"}

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

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

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

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

package/dist/cli/commands/claims.js

@@ -0,0 +1,120 @@
+import { randomUUID } from "node:crypto";
+import { Command } from "commander";
+import { hydratePropositCore, persistCore } from "../engine.js";
+import { errorExit, printJson, printLine } from "../output.js";
+export function registerClaimCommands(program) {
+    const claims = program
+        .command("claims")
+        .description("Manage global claim library");
+    claims
+        .command("list")
+        .description("List all claims")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const core = await hydratePropositCore();
+        const all = core.claims.getAll();
+        if (opts.json) {
+            printJson(all);
+        }
+        else {
+            for (const claim of all) {
+                const extras = claim;
+                const frozen = claim.frozen ? " [frozen]" : "";
+                const title = typeof extras.title === "string"
+                    ? ` | ${extras.title}`
+                    : "";
+                printLine(`${claim.id}@${claim.version}${frozen}${title}`);
+            }
+        }
+    });
+    claims
+        .command("show <claim_id>")
+        .description("Show all versions of a claim")
+        .option("--json", "Output as JSON")
+        .action(async (claimId, opts) => {
+        const core = await hydratePropositCore();
+        const versions = core.claims.getVersions(claimId);
+        if (versions.length === 0) {
+            errorExit(`Claim "${claimId}" not found.`);
+        }
+        if (opts.json) {
+            printJson(versions);
+        }
+        else {
+            for (const v of versions) {
+                const extras = v;
+                const frozen = v.frozen ? " [frozen]" : "";
+                printLine(`v${v.version}${frozen}`);
+                if (typeof extras.title === "string") {
+                    printLine(`  title: ${extras.title}`);
+                }
+                if (typeof extras.body === "string") {
+                    printLine(`  body:  ${extras.body}`);
+                }
+            }
+        }
+    });
+    claims
+        .command("add")
+        .description("Create a new claim")
+        .option("--title <title>", "Short title summarizing the claim")
+        .option("--body <body>", "Detailed description of the claim")
+        .action(async (opts) => {
+        const core = await hydratePropositCore();
+        const claim = core.claims.create({
+            id: randomUUID(),
+            ...(opts.title !== undefined ? { title: opts.title } : {}),
+            ...(opts.body !== undefined ? { body: opts.body } : {}),
+        });
+        await persistCore(core);
+        printLine(claim.id);
+    });
+    claims
+        .command("update <claim_id>")
+        .description("Update claim metadata")
+        .option("--title <title>", "New title")
+        .option("--body <body>", "New body")
+        .action(async (claimId, opts) => {
+        const core = await hydratePropositCore();
+        const current = core.claims.getCurrent(claimId);
+        if (!current) {
+            errorExit(`Claim "${claimId}" not found.`);
+        }
+        if (current.frozen) {
+            errorExit(`Claim "${claimId}" version ${current.version} is frozen and cannot be updated.`);
+        }
+        const updates = {};
+        if (opts.title !== undefined)
+            updates.title = opts.title;
+        if (opts.body !== undefined)
+            updates.body = opts.body;
+        if (Object.keys(updates).length === 0) {
+            errorExit("No updates specified. Use --title or --body.");
+        }
+        core.claims.update(claimId, updates);
+        await persistCore(core);
+        printLine("success");
+    });
+    claims
+        .command("freeze <claim_id>")
+        .description("Freeze the current version and create a new mutable version")
+        .action(async (claimId) => {
+        const core = await hydratePropositCore();
+        const current = core.claims.getCurrent(claimId);
+        if (!current) {
+            errorExit(`Claim "${claimId}" not found.`);
+        }
+        let frozen, newVersion;
+        try {
+            const result = core.claims.freeze(claimId);
+            frozen = result.frozen;
+            newVersion = result.current;
+        }
+        catch (error) {
+            errorExit(error instanceof Error ? error.message : String(error));
+        }
+        await persistCore(core);
+        printLine(`Frozen v${frozen.version}, new mutable v${newVersion.version}`);
+    });
+}
+//# sourceMappingURL=claims.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/cli/commands/claims.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,UAAU,qBAAqB,CAAC,OAAgB;IAClD,MAAM,MAAM,GAAG,OAAO;SACjB,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,6BAA6B,CAAC,CAAA;IAE/C,MAAM;SACD,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,iBAAiB,CAAC;SAC9B,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAA;QAChC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,KAAgC,CAAA;gBAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC9C,MAAM,KAAK,GACP,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;oBAC5B,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,EAAE;oBACtB,CAAC,CAAC,EAAE,CAAA;gBACZ,SAAS,CAAC,GAAG,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,GAAG,MAAM,GAAG,KAAK,EAAE,CAAC,CAAA;YAC9D,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,MAAM;SACD,OAAO,CAAC,iBAAiB,CAAC;SAC1B,WAAW,CAAC,8BAA8B,CAAC;SAC3C,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,OAAe,EAAE,IAAwB,EAAE,EAAE;QACxD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;QACjD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,UAAU,OAAO,cAAc,CAAC,CAAA;QAC9C,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,QAAQ,CAAC,CAAA;QACvB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,CAA4B,CAAA;gBAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC1C,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,GAAG,MAAM,EAAE,CAAC,CAAA;gBACnC,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACnC,SAAS,CAAC,YAAY,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;gBACzC,CAAC;gBACD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAClC,SAAS,CAAC,YAAY,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;gBACxC,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,MAAM;SACD,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CAAC,oBAAoB,CAAC;SACjC,MAAM,CAAC,iBAAiB,EAAE,mCAAmC,CAAC;SAC9D,MAAM,CAAC,eAAe,EAAE,mCAAmC,CAAC;SAC5D,MAAM,CAAC,KAAK,EAAE,IAAuC,EAAE,EAAE;QACtD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7B,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACd,CAAC,CAAA;QAC9C,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEN,MAAM;SACD,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,iBAAiB,EAAE,WAAW,CAAC;SACtC,MAAM,CAAC,eAAe,EAAE,UAAU,CAAC;SACnC,MAAM,CACH,KAAK,EACD,OAAe,EACf,IAAuC,EACzC,EAAE;QACA,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,SAAS,CAAC,UAAU,OAAO,cAAc,CAAC,CAAA;QAC9C,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACjB,SAAS,CACL,UAAU,OAAO,aAAa,OAAO,CAAC,OAAO,mCAAmC,CACnF,CAAA;QACL,CAAC;QACD,MAAM,OAAO,GAA4B,EAAE,CAAA;QAC3C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACrD,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,SAAS,CAAC,8CAA8C,CAAC,CAAA;QAC7D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CACd,OAAO,EACP,OAAmD,CACtD,CAAA;QACD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,MAAM;SACD,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CACR,6DAA6D,CAChE;SACA,MAAM,CAAC,KAAK,EAAE,OAAe,EAAE,EAAE;QAC9B,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,SAAS,CAAC,UAAU,OAAO,cAAc,CAAC,CAAA;QAC9C,CAAC;QACD,IAAI,MAAM,EAAE,UAAU,CAAA;QACtB,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YAC1C,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;YACtB,UAAU,GAAG,MAAM,CAAC,OAAO,CAAA;QAC/B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QACD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CACL,WAAW,MAAM,CAAC,OAAO,kBAAkB,UAAU,CAAC,OAAO,EAAE,CAClE,CAAA;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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

package/dist/cli/commands/diff.js

@@ -0,0 +1,61 @@
+import { Command } from "commander";
+import { diffArguments } from "../../lib/core/diff.js";
+import { hydrateEngine, hydratePropositCore } from "../engine.js";
+import { errorExit, printJson } from "../output.js";
+import { renderDiff } from "../output/diff-renderer.js";
+import { resolveVersion } from "../router.js";
+/**
+ * Parses diff positional args into two (argumentId, versionArg) pairs.
+ *
+ * 3 args: <id> <verA> <verB>       → same argument, two versions
+ * 4 args: <idA> <verA> <idB> <verB> → cross-argument
+ */
+function parseDiffArgs(args) {
+    if (args.length === 3) {
+        return [args[0], args[1], args[0], args[2]];
+    }
+    if (args.length === 4) {
+        return [args[0], args[1], args[2], args[3]];
+    }
+    return errorExit("Usage: proposit-core diff <id> <verA> <verB>\n       proposit-core diff <idA> <verA> <idB> <verB>");
+}
+export function registerDiffCommand(program) {
+    program
+        .command("diff <args...>")
+        .description("Compare two argument versions and show their differences")
+        .option("--json", "Output as JSON")
+        .action(async (args, opts) => {
+        const [idA, verArgA, idB, verArgB] = parseDiffArgs(args);
+        const [versionA, versionB] = await Promise.all([
+            resolveVersion(idA, verArgA),
+            resolveVersion(idB, verArgB),
+        ]);
+        const core = await hydratePropositCore();
+        const [engineA, engineB] = await Promise.all([
+            hydrateEngine(idA, versionA, core),
+            hydrateEngine(idB, versionB, core),
+        ]);
+        // For cross-argument diffs, use PropositCore.diffArguments() which
+        // automatically applies fork-aware entity matching from ForkLibrary.
+        // For same-argument diffs (two versions of the same argument),
+        // ArgumentLibrary can't hold two engines with the same ID, so fall
+        // back to the standalone diffArguments().
+        const isCrossArgument = idA !== idB;
+        let diff;
+        if (isCrossArgument) {
+            core.arguments.register(engineA);
+            core.arguments.register(engineB);
+            diff = core.diffArguments(engineA.getArgument().id, engineB.getArgument().id);
+        }
+        else {
+            diff = diffArguments(engineA, engineB);
+        }
+        if (opts.json) {
+            printJson(diff);
+        }
+        else {
+            renderDiff(diff);
+        }
+    });
+}
+//# sourceMappingURL=diff.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/cli/commands/diff.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAE7C;;;;;GAKG;AACH,SAAS,aAAa,CAClB,IAAc;IAEd,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,SAAS,CACZ,mGAAmG,CACtG,CAAA;AACL,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAgB;IAChD,OAAO;SACF,OAAO,CAAC,gBAAgB,CAAC;SACzB,WAAW,CAAC,0DAA0D,CAAC;SACvE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAc,EAAE,IAAwB,EAAE,EAAE;QACvD,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;QAExD,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC3C,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC;YAC5B,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC;SAC/B,CAAC,CAAA;QAEF,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAExC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACzC,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC;YAClC,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC;SACrC,CAAC,CAAA;QAEF,mEAAmE;QACnE,qEAAqE;QACrE,+DAA+D;QAC/D,mEAAmE;QACnE,0CAA0C;QAC1C,MAAM,eAAe,GAAG,GAAG,KAAK,GAAG,CAAA;QACnC,IAAI,IAAI,CAAA;QACR,IAAI,eAAe,EAAE,CAAC;YAClB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YAChC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YAChC,IAAI,GAAG,IAAI,CAAC,aAAa,CACrB,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE,EACxB,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE,CAC3B,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QAC1C,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,UAAU,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}

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

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

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

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