@kumori/kdsl 0.0.14 → 0.0.16

package/dist/mod/init/main.js

@@ -0,0 +1,66 @@
+import { Maybe } from "@kumori/kdsl-lsp/util/maybe.js";
+import { mkdir, writeFile } from "fs/promises";
+import { URI } from "langium";
+import { NodeFileSystem } from "langium/node";
+import { LocateModuleManifest, MOD_FILE, } from "@kumori/kdsl-lsp/module/locator.js";
+import path from "path";
+export default { Register };
+export function Register(cmd, log) {
+    const c = cmd
+        .command("init")
+        .summary(Summary)
+        .argument("<name>", "module name (e.g., kumori.systems/my-module)")
+        .argument("<version>", "module version - defaults to 0.0.1")
+        .argument("[path]", "location to create the module under - defaults to the current directory")
+        .argument("[cacheLocation]", "location to store cached modules - default to .kumori/mod")
+        .description(Description)
+        .helpOption(true)
+        .action(Action(log));
+    return c;
+}
+const Summary = `initializes a new kumori module`;
+export const Description = `
+Initializes a new Kumori module, which effectively means to create a new
+kumori.mod.json file or overwrite it in case it already exists.
+It is required to provide a name and a version for the module and optionally
+a location path where the new module is going to be initialized.
+
+    kdsl mod init kumori.systems/my-module
+
+You could as well provide a custom location for the module's local cache,
+where all the dependencies will be downloaded. By default, the cache location
+is set to ".kumori/mod" under the module location.
+
+    kdsl mod init kumori.systems/my-module ./my-module
+
+`.trim();
+export function Action(log) {
+    return async (...args) => {
+        await NewModule(log, process.cwd(), ...args);
+    };
+}
+export const NewModule = async (log, cwd, ...[name, version, location, cacheLocation]) => {
+    const fs = NodeFileSystem.fileSystemProvider();
+    location = location ?? cwd;
+    if (!path.isAbsolute(location)) {
+        location = path.join(cwd, location);
+    }
+    const uri = await LocateModuleManifest(fs, URI.file(location));
+    if (Maybe.isSome(uri) && uri.value.fsPath === location) {
+        log.error(`error: module ${location} already exists`);
+        process.exit(1);
+    }
+    const manifest = {
+        spec: "kumori/module/v1",
+        kumori: "0.0.1",
+        version: version,
+        module: name,
+        cacheLocation: cacheLocation,
+        requires: [],
+    };
+    const file = path.join(location, MOD_FILE);
+    await mkdir(location, { recursive: true });
+    await writeFile(file, JSON.stringify(manifest, null, 4));
+    log.info(`creating new ${MOD_FILE}: module ${name}`);
+};
+//# sourceMappingURL=main.js.map

package/dist/mod/init/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../../src/mod/init/main.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,gCAAgC,CAAA;AACtD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAE7C,OAAO,EACL,oBAAoB,EACpB,QAAQ,GACT,MAAM,oCAAoC,CAAA;AAC3C,OAAO,IAAI,MAAM,MAAM,CAAA;AAIvB,eAAe,EAAE,QAAQ,EAAE,CAAA;AAC3B,MAAM,UAAU,QAAQ,CAAC,GAAY,EAAE,GAAc;IACnD,MAAM,CAAC,GAAG,GAAG;SACV,OAAO,CAAC,MAAM,CAAC;SACf,OAAO,CAAC,OAAO,CAAC;SAChB,QAAQ,CAAC,QAAQ,EAAE,8CAA8C,CAAC;SAClE,QAAQ,CAAC,WAAW,EAAE,oCAAoC,CAAC;SAC3D,QAAQ,CACP,QAAQ,EACR,yEAAyE,CAC1E;SACA,QAAQ,CACP,iBAAiB,EACjB,2DAA2D,CAC5D;SACA,WAAW,CAAC,WAAW,CAAC;SACxB,UAAU,CAAC,IAAI,CAAC;SAChB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IACtB,OAAO,CAAC,CAAA;AACV,CAAC;AAED,MAAM,OAAO,GAAG,iCAAiC,CAAA;AACjD,MAAM,CAAC,MAAM,WAAW,GAAG;;;;;;;;;;;;;;CAc1B,CAAC,IAAI,EAAE,CAAA;AAGR,MAAM,UAAU,MAAM,CAAC,GAAc;IACnC,OAAO,KAAK,EAAE,GAAG,IAAI,EAAE,EAAE;QACvB,MAAM,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,CAAA;IAC9C,CAAC,CAAA;AACH,CAAC;AAGD,MAAM,CAAC,MAAM,SAAS,GAAG,KAAK,EAC5B,GAAc,EACd,GAAW,EACX,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAS,EACnD,EAAE;IACF,MAAM,EAAE,GAAG,cAAc,CAAC,kBAAkB,EAAE,CAAA;IAE9C,QAAQ,GAAG,QAAQ,IAAI,GAAG,CAAA;IAC1B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;IACrC,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,oBAAoB,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;IAC9D,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACvD,GAAG,CAAC,KAAK,CAAC,iBAAiB,QAAQ,iBAAiB,CAAC,CAAA;QACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACjB,CAAC;IAED,MAAM,QAAQ,GAAmB;QAC/B,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,IAAI;QACZ,aAAa,EAAE,aAAa;QAC5B,QAAQ,EAAE,EAAE;KACb,CAAA;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC1C,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC1C,MAAM,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IACxD,GAAG,CAAC,IAAI,CAAC,gBAAgB,QAAQ,YAAY,IAAI,EAAE,CAAC,CAAA;AACtD,CAAC,CAAA"}

package/dist/mod/jsonschema/gen/main.d.ts

@@ -0,0 +1,11 @@
+import { ILogLayer } from "loglayer";
+import { CommanderActionParams } from "../../../util.js";
+import { Command } from "@commander-js/extra-typings";
+declare const _default: {
+    Register: typeof Register;
+};
+export default _default;
+export declare function Register(cmd: Command, log: ILogLayer): Command<[string, string, string, string, string], {}, {}>;
+export declare const Description: string;
+export type Exec = CommanderActionParams<ReturnType<typeof Register>>;
+export declare function Action(log: ILogLayer): Exec;

package/dist/mod/jsonschema/gen/main.js

@@ -0,0 +1,288 @@
+var __addDisposableResource = (this && this.__addDisposableResource) || function (env, value, async) {
+    if (value !== null && value !== void 0) {
+        if (typeof value !== "object" && typeof value !== "function") throw new TypeError("Object expected.");
+        var dispose, inner;
+        if (async) {
+            if (!Symbol.asyncDispose) throw new TypeError("Symbol.asyncDispose is not defined.");
+            dispose = value[Symbol.asyncDispose];
+        }
+        if (dispose === void 0) {
+            if (!Symbol.dispose) throw new TypeError("Symbol.dispose is not defined.");
+            dispose = value[Symbol.dispose];
+            if (async) inner = dispose;
+        }
+        if (typeof dispose !== "function") throw new TypeError("Object not disposable.");
+        if (inner) dispose = function() { try { inner.call(this); } catch (e) { return Promise.reject(e); } };
+        env.stack.push({ value: value, dispose: dispose, async: async });
+    }
+    else if (async) {
+        env.stack.push({ async: true });
+    }
+    return value;
+};
+var __disposeResources = (this && this.__disposeResources) || (function (SuppressedError) {
+    return function (env) {
+        function fail(e) {
+            env.error = env.hasError ? new SuppressedError(e, env.error, "An error was suppressed during disposal.") : e;
+            env.hasError = true;
+        }
+        var r, s = 0;
+        function next() {
+            while (r = env.stack.pop()) {
+                try {
+                    if (!r.async && s === 1) return s = 0, env.stack.push(r), Promise.resolve().then(next);
+                    if (r.dispose) {
+                        var result = r.dispose.call(r.value);
+                        if (r.async) return s |= 2, Promise.resolve(result).then(next, function(e) { fail(e); return next(); });
+                    }
+                    else s |= 1;
+                }
+                catch (e) {
+                    fail(e);
+                }
+            }
+            if (s === 1) return env.hasError ? Promise.reject(env.error) : Promise.resolve();
+            if (env.hasError) throw env.error;
+        }
+        return next();
+    };
+})(typeof SuppressedError === "function" ? SuppressedError : function (error, suppressed, message) {
+    var e = new Error(message);
+    return e.name = "SuppressedError", e.error = error, e.suppressed = suppressed, e;
+});
+import { Ajv } from "ajv";
+import { readFile } from "node:fs/promises";
+import { GetSchema, LocateModule } from "../get/main.js";
+import { DefaultErrHandler } from "../../../util/err-handler.js";
+import { createKumoriServices } from "@kumori/kdsl-lsp/language/kumori.js";
+import { NodeFileSystem } from "langium/node";
+import { Result } from "@kumori/kdsl-lsp/util/result.js";
+import { ModuleContext } from "@kumori/kdsl-lsp/module/context.js";
+import { Check } from "../../../check/main.js";
+import { URI } from "langium";
+import { MkdirTemp } from "@kumori/kdsl-lsp/util/tmp.js";
+import assert from "node:assert";
+import path from "node:path";
+import fs from "node:fs/promises";
+import { MOD_FILE } from "@kumori/kdsl-lsp/module/locator.js";
+import { z } from "zod";
+export default { Register };
+export function Register(cmd, log) {
+    const c = cmd
+        .command("gen")
+        .summary(Summary)
+        .description(Description)
+        .argument("<target>", `Unique path of the kmodule where the artifact is defined. Accepts remote targets (e.g., "github.com/MyOrg/component@v1.2.3") or local paths (e.g. "/abs/path/to/module", "../rel/path/to/module").`)
+        .argument("<package-path>", `Relative path to the package that contains the artifact (e.g., "internal/service"). For artifacts in the module's root package, use ".".`)
+        .argument("<artifact-name>", `Name of the target artifact (e.g., "ExampleService").`)
+        .argument("<output-module-name>", `Name of the generated module (e.g., "example.com/my-org/module").`)
+        .argument("<json>", `Path to JSON file (TODO: use '-' to read from stdin).`)
+        .helpOption(true)
+        .action(Action(log));
+    return c;
+}
+// TODO: flag to build or generate module source files
+const Summary = `generate deployments from an artifact jsonschema`;
+export const Description = `
+Creates a new Kumori DSL module and initializes a deployment definition within 
+it, structured according to a provided JSON Schema. This command is designed to 
+streamline the creation of new kmodules that consume or instantiate artifacts 
+whose configuration and resource requirements are already defined by a schema.
+`.trim();
+export function Action(log) {
+    return async (module, pkg, artifact, _outputName, data) => {
+        const env_1 = { stack: [], error: void 0, hasError: false };
+        try {
+            const svcs = createKumoriServices(NodeFileSystem).Kumori;
+            const ErrHandler = (v) => DefaultErrHandler(log, v);
+            const loc = ErrHandler(await LocateModule(module));
+            const _fs = svcs.shared.workspace.FileSystemProvider;
+            const ctx = ErrHandler(Result.mapErr(await ModuleContext(_fs, URI.file(loc.fsPath)), (err) => [
+                err,
+            ]));
+            // The module has been located, it has been downloaded and its context
+            // initialized. Now, let's download its dependencies.
+            ErrHandler(await Check(log, svcs, ctx));
+            // The module and its dependencies are now available. Get me the schema!
+            const Schema = ErrHandler(await GetSchema(svcs, ctx, pkg, artifact));
+            // TODO: interactive user input instead of file
+            // Parse the given file as JSON
+            const rawData = await readFile(data);
+            const Data = JSON.parse(rawData.toString("utf8"));
+            // Ajv is a library that will help us validate the incoming JSON file
+            // against the requested artifact's JSON Schema
+            const ajv = new Ajv({
+                validateSchema: false,
+                allErrors: true,
+                strict: false,
+            });
+            const v = ajv.compile(Schema);
+            const result = v(Data);
+            if (!result) {
+                const errs = v.errors ?? [];
+                errs.sort((a, b) => {
+                    const schema = a.schemaPath.localeCompare(b.schemaPath);
+                    if (schema != 0)
+                        return schema;
+                    const path = a.instancePath.localeCompare(b.instancePath);
+                    return path;
+                });
+                console.log(JSON.stringify(v.errors, null, 4));
+                process.exit(1);
+            }
+            // TODO: if loc.$type is:
+            // - local:  include the module under vendor
+            // - remote: just include the dependency
+            const dependency = (() => {
+                switch (loc.$type) {
+                    case "local":
+                        return { target: ctx.Current.Manifest.module, version: "0.0.0" };
+                    case "remote":
+                        return {
+                            target: ctx.Current.Manifest.module,
+                            version: loc.query.Version,
+                        };
+                }
+            })();
+            // We will write everything first in a temporary directory and
+            // then move it to the current location
+            // Write kumori.mod.json
+            const tmp = __addDisposableResource(env_1, await MkdirTemp(), true);
+            const manifest = {
+                spec: "kumori/module/v1",
+                kumori: "0.0.1",
+                version: "0.0.1",
+                module: _outputName,
+                requires: [dependency],
+            };
+            const manifestFile = path.join(tmp.Path, MOD_FILE);
+            await fs.writeFile(manifestFile, JSON.stringify(manifest, null, 4));
+            // Write main.kumori
+            const imports = [
+                { Alias: "ImportAlias0", Path: path.join(dependency.target, pkg) },
+            ];
+            const deploymentParts = [];
+            const indent = 0;
+            const write = (str) => deploymentParts.push(str);
+            write("deployment {");
+            write("\n" + TAB);
+            write(`name       "${_outputName}"`);
+            write("\n" + TAB);
+            write(`artifact   ImportAlias0.${artifact}`);
+            write("\n" + TAB);
+            write(`resilience 0`);
+            write("\n" + TAB);
+            write(KumoriJSONToKumoriSyntax({ imports }, Data, indent + 1));
+            write("}\n");
+            const deploymentData = [
+                "import (\n" +
+                    imports.map((s) => `${TAB}${s.Alias} "${s.Path}"`).join("\n") +
+                    "\n)\n\n",
+            ]
+                .concat(deploymentParts)
+                .join("");
+            await fs.writeFile(path.join(tmp.Path, "main.kumori"), deploymentData);
+            await fs.cp(tmp.Path, ".", { recursive: true });
+        }
+        catch (e_1) {
+            env_1.error = e_1;
+            env_1.hasError = true;
+        }
+        finally {
+            const result_1 = __disposeResources(env_1);
+            if (result_1)
+                await result_1;
+        }
+    };
+}
+const kdslNamedType = z.object({
+    $kdsl: z.object({
+        NamedType: z.object({ Import: z.string(), Name: z.string() }),
+    }),
+    inner: z.any(),
+});
+const TAB = "    ";
+/**
+ *
+ * @param ctx List of imports
+ * @param data Input file as JSON
+ * @param indent
+ * @returns
+ */
+function KumoriJSONToKumoriSyntax(ctx, data, indent = 0) {
+    const child = {
+        ...ctx,
+        parts: [],
+        skipScope: true,
+    };
+    KumoriJSONToKumoriSyntaxInternal(child, data, indent);
+    return child.parts.join("");
+}
+/**
+ * Parses each object and primitive from the input file (as a JSON)
+ * and writes the corresponding output in Kumori syntax
+ * @param ctx
+ * @param data Input file as JSON
+ * @param indent
+ * @returns
+ */
+function KumoriJSONToKumoriSyntaxInternal(ctx, data, indent = 0) {
+    const write = (str) => ctx.parts.push(str);
+    // Process primitive values
+    switch (typeof data) {
+        case "number":
+            write(data.toString());
+            return;
+        case "string":
+            write(`"${data}"`);
+            return;
+        case "boolean":
+            write(data ? "true" : "false");
+            return;
+    }
+    // Only objects beyond this point
+    assert(typeof data === "object");
+    assert(data !== null);
+    const subCtx = { ...ctx, skipScope: false };
+    // Process special object definitions
+    const named = kdslNamedType.safeParse(data);
+    if (named.success) {
+        let existing = ctx.imports.find((imprt) => imprt.Path === named.data.$kdsl.NamedType.Import);
+        if (!existing) {
+            ctx.imports.push({
+                Path: named.data.$kdsl.NamedType.Import,
+                Alias: "ImportAlias" + ctx.imports.length,
+            });
+        }
+        existing = ctx.imports.find((imprt) => imprt.Path === named.data.$kdsl.NamedType.Import);
+        assert(existing);
+        write(`${existing.Alias}.${named.data.$kdsl.NamedType.Name}(`);
+        KumoriJSONToKumoriSyntaxInternal(subCtx, named.data.inner, indent);
+        write(")");
+        return;
+    }
+    // Process generic objects
+    const entries = Object.entries(data);
+    if (!ctx.skipScope) {
+        write(`{`);
+        if (entries.length) {
+            write(`\n${TAB.repeat(indent)}`);
+        }
+    }
+    while (entries.length > 0) {
+        const [key, value] = entries.pop();
+        write(`${key} `);
+        KumoriJSONToKumoriSyntaxInternal(subCtx, value, indent + 1);
+        if (entries.length) {
+            write(`\n${TAB.repeat(indent)}`);
+        }
+        else {
+            write(`\n${TAB.repeat(indent - 1)}`);
+        }
+    }
+    if (!ctx.skipScope) {
+        write(`}`);
+    }
+    return;
+}
+//# sourceMappingURL=main.js.map

package/dist/mod/jsonschema/gen/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../../../src/mod/jsonschema/gen/main.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAA;AAEzB,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAG3C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAA;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAA;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAA;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAA;AAKxD,OAAO,MAAM,MAAM,aAAa,CAAA;AAChC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAA;AAC7D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,eAAe,EAAE,QAAQ,EAAE,CAAA;AAC3B,MAAM,UAAU,QAAQ,CAAC,GAAY,EAAE,GAAc;IACnD,MAAM,CAAC,GAAG,GAAG;SACV,OAAO,CAAC,KAAK,CAAC;SACd,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,WAAW,CAAC;SACxB,QAAQ,CACP,UAAU,EACV,oMAAoM,CACrM;SACA,QAAQ,CACP,gBAAgB,EAChB,0IAA0I,CAC3I;SACA,QAAQ,CACP,iBAAiB,EACjB,uDAAuD,CACxD;SACA,QAAQ,CACP,sBAAsB,EACtB,mEAAmE,CACpE;SACA,QAAQ,CAAC,QAAQ,EAAE,uDAAuD,CAAC;SAC3E,UAAU,CAAC,IAAI,CAAC;SAChB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IACtB,OAAO,CAAC,CAAA;AACV,CAAC;AAED,sDAAsD;AAEtD,MAAM,OAAO,GAAG,kDAAkD,CAAA;AAClE,MAAM,CAAC,MAAM,WAAW,GAAG;;;;;CAK1B,CAAC,IAAI,EAAE,CAAA;AAGR,MAAM,UAAU,MAAM,CAAC,GAAc;IACnC,OAAO,KAAK,EACV,MAAc,EACd,GAAW,EACX,QAAgB,EAChB,WAAmB,EACnB,IAAY,EACZ,EAAE;;;YACF,MAAM,IAAI,GAAG,oBAAoB,CAAC,cAAc,CAAC,CAAC,MAAM,CAAA;YACxD,MAAM,UAAU,GAAG,CAAI,CAAsB,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YAC3E,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA;YAElD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,kBAAkB,CAAA;YACpD,MAAM,GAAG,GAAG,UAAU,CACpB,MAAM,CAAC,MAAM,CAAC,MAAM,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;gBACrE,GAAG;aACJ,CAAC,CACH,CAAA;YAED,sEAAsE;YACtE,qDAAqD;YACrD,UAAU,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;YAEvC,wEAAwE;YACxE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAA;YAEpE,+CAA+C;YAE/C,+BAA+B;YAC/B,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAA;YACpC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;YAEjD,qEAAqE;YACrE,+CAA+C;YAC/C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC;gBAClB,cAAc,EAAE,KAAK;gBACrB,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,KAAK;aACd,CAAC,CAAA;YACF,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;YACtB,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAA;gBAC3B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBACjB,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;oBACvD,IAAI,MAAM,IAAI,CAAC;wBAAE,OAAO,MAAM,CAAA;oBAE9B,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAA;oBACzD,OAAO,IAAI,CAAA;gBACb,CAAC,CAAC,CAAA;gBACF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;gBAC9C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACjB,CAAC;YAED,yBAAyB;YACzB,4CAA4C;YAC5C,wCAAwC;YAExC,MAAM,UAAU,GAA2B,CAAC,GAAG,EAAE;gBAC/C,QAAQ,GAAG,CAAC,KAAK,EAAE,CAAC;oBAClB,KAAK,OAAO;wBACV,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAA;oBAClE,KAAK,QAAQ;wBACX,OAAO;4BACL,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;4BACnC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO;yBAC3B,CAAA;gBACL,CAAC;YACH,CAAC,CAAC,EAAE,CAAA;YAEJ,8DAA8D;YAC9D,uCAAuC;YACvC,wBAAwB;YACxB,MAAY,GAAG,kCAAG,MAAM,SAAS,EAAE,OAAA,CAAA;YACnC,MAAM,QAAQ,GAAmB;gBAC/B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,OAAO;gBAChB,MAAM,EAAE,WAAW;gBACnB,QAAQ,EAAE,CAAC,UAAU,CAAC;aACvB,CAAA;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YAClD,MAAM,EAAE,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;YAEnE,oBAAoB;YACpB,MAAM,OAAO,GAAa;gBACxB,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE;aACnE,CAAA;YACD,MAAM,eAAe,GAAa,EAAE,CAAA;YAEpC,MAAM,MAAM,GAAG,CAAC,CAAA;YAChB,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACxD,KAAK,CAAC,cAAc,CAAC,CAAA;YACrB,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,CAAA;YACjB,KAAK,CAAC,eAAe,WAAW,GAAG,CAAC,CAAA;YACpC,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,CAAA;YACjB,KAAK,CAAC,2BAA2B,QAAQ,EAAE,CAAC,CAAA;YAC5C,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,CAAA;YACjB,KAAK,CAAC,cAAc,CAAC,CAAA;YACrB,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,CAAA;YACjB,KAAK,CAAC,wBAAwB,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;YAC9D,KAAK,CAAC,KAAK,CAAC,CAAA;YAEZ,MAAM,cAAc,GAAG;gBACrB,YAAY;oBACV,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC7D,SAAS;aACZ;iBACE,MAAM,CAAC,eAAe,CAAC;iBACvB,IAAI,CAAC,EAAE,CAAC,CAAA;YAEX,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,cAAc,CAAC,CAAA;YACtE,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;;;;;;;;;;;KAChD,CAAA;AACH,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;QACd,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;KAC9D,CAAC;IACF,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE;CACf,CAAC,CAAA;AAEF,MAAM,GAAG,GAAG,MAAM,CAAA;AAelB;;;;;;GAMG;AACH,SAAS,wBAAwB,CAC/B,GAAgC,EAChC,IAAa,EACb,MAAM,GAAG,CAAC;IAEV,MAAM,KAAK,GAAwC;QACjD,GAAG,GAAG;QACN,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,IAAI;KAChB,CAAA;IACD,gCAAgC,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IACrD,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAC7B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gCAAgC,CACvC,GAAwC,EACxC,IAAa,EACb,MAAM,GAAG,CAAC;IAEV,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAElD,2BAA2B;IAC3B,QAAQ,OAAO,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;YACtB,OAAM;QACR,KAAK,QAAQ;YACX,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,CAAA;YAClB,OAAM;QACR,KAAK,SAAS;YACZ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YAC9B,OAAM;IACV,CAAC;IAED,iCAAiC;IACjC,MAAM,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAA;IAChC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;IAErB,MAAM,MAAM,GAAG,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;IAE3C,qCAAqC;IACrC,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IAC3C,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,IAAI,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAC7B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAC5D,CAAA;QACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM;gBACvC,KAAK,EAAE,aAAa,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM;aAC1C,CAAC,CAAA;QACJ,CAAC;QACD,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CACzB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAC5D,CAAA;QACD,MAAM,CAAC,QAAQ,CAAC,CAAA;QAEhB,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,CAAA;QAC9D,gCAAgC,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QAClE,KAAK,CAAC,GAAG,CAAC,CAAA;QACV,OAAM;IACR,CAAC;IAED,0BAA0B;IAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACpC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;QACnB,KAAK,CAAC,GAAG,CAAC,CAAA;QACV,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACnB,KAAK,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAClC,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,GAAG,EAAG,CAAA;QACnC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,CAAA;QAChB,gCAAgC,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;QAC3D,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACnB,KAAK,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAClC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;QACnB,KAAK,CAAC,GAAG,CAAC,CAAA;IACZ,CAAC;IACD,OAAM;AACR,CAAC"}

package/dist/mod/jsonschema/get/kdslschema.d.ts

@@ -0,0 +1,28 @@
+export type KDSLSchemaV1 = {
+    $schema: "https://json-schema.org/draft/2020-12/schema";
+    $spec: "kumori/schema/v1";
+    $id: string;
+} & KDSLSchemaV1Item;
+export type KDSLSchemaV1Item = {} | {
+    type: "string";
+} | {
+    type: "number";
+} | {
+    type: "boolean";
+} | {
+    type: "null";
+} | {
+    type: "array";
+    items?: KDSLSchemaV1Item | KDSLSchemaV1Item[];
+} | {
+    type: "object";
+    properties?: {
+        [k: string]: KDSLSchemaV1Item;
+    };
+    required?: string[];
+    additionalProperties?: KDSLSchemaV1Item;
+} | {
+    const: string | number | boolean;
+} | {
+    oneOf: KDSLSchemaV1Item[];
+};

package/dist/mod/jsonschema/get/kdslschema.js

@@ -0,0 +1,3 @@
+export {};
+// TODO: Include more JSON Schema keywords like enum, anyOf, allOf, as necessary
+//# sourceMappingURL=kdslschema.js.map

package/dist/mod/jsonschema/get/kdslschema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kdslschema.js","sourceRoot":"","sources":["../../../../src/mod/jsonschema/get/kdslschema.ts"],"names":[],"mappings":";AAgCA,gFAAgF"}

package/dist/mod/jsonschema/get/main.d.ts

@@ -0,0 +1,76 @@
+import { Command } from "@commander-js/extra-typings";
+import { KumoriServices } from "@kumori/kdsl-lsp/language/kumori.js";
+import { ModuleContext } from "@kumori/kdsl-lsp/module/context.js";
+import { Query } from "@kumori/kdsl-lsp/module/query.js";
+import { Result } from "@kumori/kdsl-lsp/util/result.js";
+import { CommanderActionParams } from "../../../util.js";
+import { ILogLayer } from "loglayer";
+import { AstNodeType, TypeSystemError } from "@kumori/kdsl-lsp/language/type-system/type.js";
+import { KDSLSchemaV1Item, KDSLSchemaV1 } from "./kdslschema.js";
+declare const _default: {
+    Register: typeof Register;
+};
+export default _default;
+export declare function Register(cmd: Command, log: ILogLayer): Command<[string, string, string], {}, {}>;
+export declare const Description: string;
+export type Exec = CommanderActionParams<ReturnType<typeof Register>>;
+export declare function Action(log: ILogLayer): Exec;
+/**
+ * Unique path of the kmodule where the artifact is defined. Accepts:
+ *
+ * - Remote targets (e.g., `"github.com/MyOrg/component@v1.2.3"`)
+ * - Local paths (e.g. `"/abs/path/to/module"`, `"../rel/path/to/module"`). **Relative paths MUST start with `'.'`**.
+ */
+type ModuleNameOrPath = string;
+type LocateModuleResult = LocalModule | RemoteModule;
+type LocalModule = {
+    $type: "local";
+    fsPath: string;
+};
+type RemoteModule = {
+    $type: "remote";
+    fsPath: string;
+    query: Query;
+};
+/**
+ * Find the specified module. If it's not a locally-available module, download it
+ * into the global temporary directory
+ * @param module
+ * @returns Result
+ */
+export declare function LocateModule(module: ModuleNameOrPath): Promise<Result<LocateModuleResult, string[]>>;
+/**
+ * Given an artifact, returns its JSON Schema representation
+ * @param svcs
+ * @param ctx
+ * @param pkg
+ * @param artifact
+ * @returns
+ */
+export declare function GetSchema(svcs: KumoriServices, ctx: ModuleContext, pkg: string, artifact: string): Promise<Result<KDSLSchemaV1, string[]>>;
+/**
+ * Provides the JSON Schema representation of the given artifact
+ * @param svcs Kumori Services
+ * @param mod The context of the module
+ * @param node The artifact, as an AST node
+ * @param id Identifier to be used in the schema
+ * @returns JSON Schema
+ */
+export declare function ToJSONSchema(svcs: KumoriServices, mod: ModuleContext, node: AstNodeType, id: string): Promise<Result<KDSLSchemaV1, TypeSystemError[]>>;
+type ToJSONSchemaInternalCtx = {
+    svcs: KumoriServices;
+    mod: ModuleContext;
+};
+/**
+ * Converts a Kumori AST type node into a JSON Schema fragment (`KDSLSchemaV1Item`).
+ *
+ * This function recursively traverses the given `AstNodeType` and produces the
+ * corresponding JSON Schema representation. Each Kumori type maps to a JSON
+ * Schema construct.
+ *
+ * @param ctx   Context providing access to services and the current module
+ * @param type  The Kumori AST type node to translate
+ * @returns     A `Result` containing either the JSON Schema fragment
+ * or a list of `TypeSystemError` if translation failed
+ */
+export declare function ToJSONSchemaInternal(ctx: ToJSONSchemaInternalCtx, type: AstNodeType): Promise<Result<KDSLSchemaV1Item, TypeSystemError[]>>;