@oml/cli 0.7.0

package/out/cli.js

@@ -0,0 +1,132 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+import { OmlLanguageMetaData } from '@oml/language';
+import chalk from 'chalk';
+import { Command } from 'commander';
+import * as fs from 'node:fs/promises';
+import * as path from 'node:path';
+import * as url from 'node:url';
+import { OmlCliAuthService } from './auth.js';
+import { compileAction } from './commands/compile.js';
+import { lintAction } from './commands/lint.js';
+import { renderAction } from './commands/render.js';
+import { notifyIfCliUpdateAvailable } from './update.js';
+import { validateAction } from './commands/validate.js';
+const __dirname = url.fileURLToPath(new URL('.', import.meta.url));
+export async function runCli(argv = process.argv) {
+    const packagePath = path.resolve(__dirname, '..', 'package.json');
+    const packageContent = await fs.readFile(packagePath, 'utf-8');
+    const packageJson = JSON.parse(packageContent);
+    const updateCheck = notifyIfCliUpdateAvailable(packageJson.version);
+    const program = new Command();
+    program.version(packageJson.version);
+    const authService = new OmlCliAuthService();
+    program
+        .command('login')
+        .description('run GitHub device-flow sign-in for CLI authorization checks')
+        .action(async () => {
+        await authService.login({});
+    });
+    program
+        .command('logout')
+        .description('remove the local beta sign-in session')
+        .action(async () => {
+        await authService.logout();
+    });
+    program
+        .command('whoami')
+        .description('print the current beta sign-in session and authorization state')
+        .action(async () => {
+        await authService.whoami();
+    });
+    const fileExtensions = OmlLanguageMetaData.fileExtensions.join(', ');
+    program
+        .command('lint')
+        .argument('[file]', `source file (possible file extensions: ${fileExtensions})`)
+        .option('-w, --workspace <dir>', 'workspace root used to resolve cross-file references', '.')
+        .description('lints OML files and prints any syntax or validation errors')
+        .action(lintAction);
+    program
+        .command('render')
+        .option('-w, --workspace <workspace-folder>', 'workspace root used to resolve workspace:/ links (default: current directory)')
+        .requiredOption('-md, --md <input-folder>', 'folder containing markdown files to render')
+        .requiredOption('-web, --web <output-folder>', 'folder where rendered static site files are written')
+        .option('-owl, --owl <dir>', 'folder where compiled RDF and entailment files are written')
+        .option('-f, --format <ext>', 'RDF format extension for compile/reason output: ttl, trig, nt, nq, or n3', 'ttl')
+        .option('-c, --context <model-uri>', 'default model URI/path used for markdown files without contextUri; also enables wikilink template page generation')
+        .option('--clean', 'remove output folders before rebuilding')
+        .option('--only', 'skip reason/compile/lint and render from the existing owl output folder')
+        .option('--pretty', 'pretty-print Turtle/TriG output with blank lines between top-level blocks')
+        .option('-u, --unique-names-assumption [value]', 'enable or disable the unique names assumption', parseBooleanOption, true)
+        .option('-e, --explanations [value]', 'enable or disable inconsistency explanations', parseBooleanOption, true)
+        .option('-p, --profile [value]', 'include phase timings in the reasoner result', parseBooleanOption, false)
+        .description('reason the workspace, then render markdown files under the selected markdown folder to static html and copy referenced non-markdown assets')
+        .action(renderAction);
+    program
+        .command('compile')
+        .option('-w, --workspace <dir>', 'workspace root used to resolve and compile OML files', '.')
+        .option('-owl, --owl <dir>', 'folder where compiled RDF files are written')
+        .option('-f, --format <ext>', 'RDF format extension: ttl, trig, nt, nq, or n3', 'ttl')
+        .option('--clean', 'remove output folder before compiling')
+        .option('--only', 'skip lint and compile from the current workspace state')
+        .option('--pretty', 'pretty-print Turtle/TriG output with blank lines between top-level blocks')
+        .description('compile OML files to RDF and write them to an output folder')
+        .action(compileAction);
+    program
+        .command('reason')
+        .option('-w, --workspace <dir>', 'workspace root used to resolve and compile OML files', '.')
+        .option('-owl, --owl <dir>', 'folder where compiled RDF and entailment files are written')
+        .option('-f, --format <ext>', 'RDF format extension for compile output: ttl, trig, nt, nq, or n3', 'ttl')
+        .option('--clean', 'remove output folder before compiling')
+        .option('--only', 'skip compile/lint and reason from the existing owl output folder')
+        .option('--pretty', 'pretty-print Turtle/TriG output with blank lines between top-level blocks')
+        .option('-c, --check-only', 'only check consistency; skip entailment materialization and file output')
+        .option('-u, --unique-names-assumption [value]', 'enable or disable the unique names assumption', parseBooleanOption, true)
+        .option('-e, --explanations [value]', 'enable or disable inconsistency explanations', parseBooleanOption, true)
+        .option('-p, --profile [value]', 'include phase timings in the reasoner result', parseBooleanOption, false)
+        .description('compile OML files, then run consistency checking for every ontology in dependency order')
+        .action(async (opts) => {
+        const { reasonAction } = await import('./commands/reason.js');
+        await reasonAction(opts);
+    });
+    program
+        .command('validate')
+        .requiredOption('-md, --md <input-folder>', 'folder containing markdown files to validate recursively')
+        .option('-w, --workspace <dir>', 'workspace root used to resolve and compile OML files', '.')
+        .option('-owl, --owl <dir>', 'folder where compiled RDF and entailment files are written')
+        .option('-f, --format <ext>', 'RDF format extension for compile output: ttl, trig, nt, nq, or n3', 'ttl')
+        .option('--clean', 'remove output folder before compiling')
+        .option('--only', 'skip compile/lint and reason from the existing owl output folder')
+        .option('--pretty', 'pretty-print Turtle/TriG output with blank lines between top-level blocks')
+        .option('-u, --unique-names-assumption [value]', 'enable or disable the unique names assumption', parseBooleanOption, true)
+        .option('-e, --explanations [value]', 'enable or disable inconsistency explanations', parseBooleanOption, true)
+        .option('-p, --profile [value]', 'include phase timings in the reasoner result', parseBooleanOption, false)
+        .description('compile and reason the workspace, then validate nested markdown table-editor SHACL blocks against their context models')
+        .action(validateAction);
+    program.hook('preAction', async (_thisCommand, actionCommand) => {
+        if (actionCommand.name() === 'login' || actionCommand.name() === 'logout' || actionCommand.name() === 'whoami') {
+            return;
+        }
+        await authService.ensureAuthenticated('OML CLI');
+    });
+    await program.parseAsync(argv);
+    await updateCheck;
+}
+function parseBooleanOption(value) {
+    if (typeof value === 'boolean') {
+        return value;
+    }
+    const normalized = value.trim().toLowerCase();
+    if (normalized === 'true') {
+        return true;
+    }
+    if (normalized === 'false') {
+        return false;
+    }
+    throw new Error(`Expected a boolean value, received '${value}'.`);
+}
+process.on('unhandledRejection', (error) => {
+    const message = error instanceof Error ? error.message : String(error);
+    console.error(chalk.red(message));
+    process.exit(1);
+});
+//# sourceMappingURL=cli.js.map

package/out/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAEnE,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,OAAiB,OAAO,CAAC,IAAI;IACtD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAwB,CAAC;IACtE,MAAM,WAAW,GAAG,0BAA0B,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAEpE,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAC9B,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAE5C,OAAO;SACF,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,6DAA6D,CAAC;SAC1E,MAAM,CAAC,KAAK,IAAI,EAAE;QACf,MAAM,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEP,OAAO;SACF,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,uCAAuC,CAAC;SACpD,MAAM,CAAC,KAAK,IAAI,EAAE;QACf,MAAM,WAAW,CAAC,MAAM,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEP,OAAO;SACF,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,gEAAgE,CAAC;SAC7E,MAAM,CAAC,KAAK,IAAI,EAAE;QACf,MAAM,WAAW,CAAC,MAAM,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEP,MAAM,cAAc,GAAG,mBAAmB,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,OAAO;SACF,OAAO,CAAC,MAAM,CAAC;SACf,QAAQ,CAAC,QAAQ,EAAE,0CAA0C,cAAc,GAAG,CAAC;SAC/E,MAAM,CAAC,uBAAuB,EAAE,sDAAsD,EAAE,GAAG,CAAC;SAC5F,WAAW,CAAC,4DAA4D,CAAC;SACzE,MAAM,CAAC,UAAU,CAAC,CAAC;IAExB,OAAO;SACF,OAAO,CAAC,QAAQ,CAAC;SACjB,MAAM,CAAC,oCAAoC,EAAE,+EAA+E,CAAC;SAC7H,cAAc,CAAC,0BAA0B,EAAE,4CAA4C,CAAC;SACxF,cAAc,CAAC,6BAA6B,EAAE,qDAAqD,CAAC;SACpG,MAAM,CAAC,mBAAmB,EAAE,4DAA4D,CAAC;SACzF,MAAM,CAAC,oBAAoB,EAAE,0EAA0E,EAAE,KAAK,CAAC;SAC/G,MAAM,CAAC,2BAA2B,EAAE,mHAAmH,CAAC;SACxJ,MAAM,CAAC,SAAS,EAAE,yCAAyC,CAAC;SAC5D,MAAM,CAAC,QAAQ,EAAE,yEAAyE,CAAC;SAC3F,MAAM,CAAC,UAAU,EAAE,2EAA2E,CAAC;SAC/F,MAAM,CAAC,uCAAuC,EAAE,+CAA+C,EAAE,kBAAkB,EAAE,IAAI,CAAC;SAC1H,MAAM,CAAC,4BAA4B,EAAE,8CAA8C,EAAE,kBAAkB,EAAE,IAAI,CAAC;SAC9G,MAAM,CAAC,uBAAuB,EAAE,8CAA8C,EAAE,kBAAkB,EAAE,KAAK,CAAC;SAC1G,WAAW,CAAC,4IAA4I,CAAC;SACzJ,MAAM,CAAC,YAAY,CAAC,CAAC;IAE1B,OAAO;SACF,OAAO,CAAC,SAAS,CAAC;SAClB,MAAM,CAAC,uBAAuB,EAAE,sDAAsD,EAAE,GAAG,CAAC;SAC5F,MAAM,CAAC,mBAAmB,EAAE,6CAA6C,CAAC;SAC1E,MAAM,CAAC,oBAAoB,EAAE,gDAAgD,EAAE,KAAK,CAAC;SACrF,MAAM,CAAC,SAAS,EAAE,uCAAuC,CAAC;SAC1D,MAAM,CAAC,QAAQ,EAAE,wDAAwD,CAAC;SAC1E,MAAM,CAAC,UAAU,EAAE,2EAA2E,CAAC;SAC/F,WAAW,CAAC,6DAA6D,CAAC;SAC1E,MAAM,CAAC,aAAa,CAAC,CAAC;IAE3B,OAAO;SACF,OAAO,CAAC,QAAQ,CAAC;SACjB,MAAM,CAAC,uBAAuB,EAAE,sDAAsD,EAAE,GAAG,CAAC;SAC5F,MAAM,CAAC,mBAAmB,EAAE,4DAA4D,CAAC;SACzF,MAAM,CAAC,oBAAoB,EAAE,mEAAmE,EAAE,KAAK,CAAC;SACxG,MAAM,CAAC,SAAS,EAAE,uCAAuC,CAAC;SAC1D,MAAM,CAAC,QAAQ,EAAE,kEAAkE,CAAC;SACpF,MAAM,CAAC,UAAU,EAAE,2EAA2E,CAAC;SAC/F,MAAM,CAAC,kBAAkB,EAAE,yEAAyE,CAAC;SACrG,MAAM,CAAC,uCAAuC,EAAE,+CAA+C,EAAE,kBAAkB,EAAE,IAAI,CAAC;SAC1H,MAAM,CAAC,4BAA4B,EAAE,8CAA8C,EAAE,kBAAkB,EAAE,IAAI,CAAC;SAC9G,MAAM,CAAC,uBAAuB,EAAE,8CAA8C,EAAE,kBAAkB,EAAE,KAAK,CAAC;SAC1G,WAAW,CAAC,yFAAyF,CAAC;SACtG,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACnB,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAC9D,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEP,OAAO;SACF,OAAO,CAAC,UAAU,CAAC;SACnB,cAAc,CAAC,0BAA0B,EAAE,0DAA0D,CAAC;SACtG,MAAM,CAAC,uBAAuB,EAAE,sDAAsD,EAAE,GAAG,CAAC;SAC5F,MAAM,CAAC,mBAAmB,EAAE,4DAA4D,CAAC;SACzF,MAAM,CAAC,oBAAoB,EAAE,mEAAmE,EAAE,KAAK,CAAC;SACxG,MAAM,CAAC,SAAS,EAAE,uCAAuC,CAAC;SAC1D,MAAM,CAAC,QAAQ,EAAE,kEAAkE,CAAC;SACpF,MAAM,CAAC,UAAU,EAAE,2EAA2E,CAAC;SAC/F,MAAM,CAAC,uCAAuC,EAAE,+CAA+C,EAAE,kBAAkB,EAAE,IAAI,CAAC;SAC1H,MAAM,CAAC,4BAA4B,EAAE,8CAA8C,EAAE,kBAAkB,EAAE,IAAI,CAAC;SAC9G,MAAM,CAAC,uBAAuB,EAAE,8CAA8C,EAAE,kBAAkB,EAAE,KAAK,CAAC;SAC1G,WAAW,CAAC,wHAAwH,CAAC;SACrI,MAAM,CAAC,cAAc,CAAC,CAAC;IAE5B,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,EAAE;QAC5D,IAAI,aAAa,CAAC,IAAI,EAAE,KAAK,OAAO,IAAI,aAAa,CAAC,IAAI,EAAE,KAAK,QAAQ,IAAI,aAAa,CAAC,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC7G,OAAO;QACX,CAAC;QACD,MAAM,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,WAAW,CAAC;AACtB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAuB;IAC/C,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,uCAAuC,KAAK,IAAI,CAAC,CAAC;AACtE,CAAC;AAED,OAAO,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC,KAAK,EAAE,EAAE;IACvC,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC,CAAC,CAAC"}

package/out/commands/closure.d.ts

@@ -0,0 +1,33 @@
+import type { Quad } from '@rdfjs/types';
+import type { Ontology, VocabularyBundle } from '@oml/language';
+export declare class VocabularyBundleClosureBuilder {
+    private readonly ontologyByNamespace;
+    constructor(ontologyByNamespace: ReadonlyMap<string, Ontology>);
+    buildClosureQuads(bundle: VocabularyBundle): Quad[];
+    private collectBundledVocabularies;
+    private collectClosureMembers;
+    private collectNamedEdges;
+    private transitiveReduce;
+    private rootAtUniversal;
+    private treeify;
+    private bypassIsolate;
+    private reduceChild;
+    private generateClosureAxioms;
+    private serializeAxioms;
+    private createTaxonomy;
+    private cloneTaxonomy;
+    private ensureNode;
+    private addEdge;
+    private childrenOf;
+    private parentsOf;
+    private ancestorsOf;
+    private directParentsOf;
+    private lowestMultiParentChild;
+    private named;
+    private complement;
+    private intersection;
+    private difference;
+    private combine;
+    private memberIri;
+    private importedOntologyNamespace;
+}