@oml/cli 0.7.0

package/README.md

@@ -0,0 +1,75 @@
+# OML CLI
+
+`@oml/cli` is the command-line interface for linting, compiling, reasoning over, rendering, and validating OML workspaces.
+
+## Package Layout
+
+- [package.json](./package.json) - package manifest and published CLI entry
+- [bin/cli.js](./bin/cli.js) - executable entrypoint used by the published `oml` command
+- [src/main.ts](./src/main.ts) - TypeScript entrypoint
+- [src/cli.ts](./src/cli.ts) - command registration and top-level CLI wiring
+- [src/commands](./src/commands) - `lint`, `compile`, `reason`, `render`, and `validate` command implementations
+- [src/backend](./src/backend) - shared RDF/reasoning and markdown execution support
+
+## Instructions
+
+Use the public npm registry for `@oml/*` packages:
+
+```ini
+registry=https://registry.npmjs.org/
+@oml:registry=https://registry.npmjs.org/
+```
+
+From the repo:
+
+```bash
+node ./packages/cli/bin/cli.js --help
+```
+
+When installed, the command name is `oml`.
+
+### Quick Start
+
+```bash
+# Lint the current workspace
+node ./packages/cli/bin/cli.js lint
+
+# Compile RDF output
+node ./packages/cli/bin/cli.js compile -w . -owl build/owl
+
+# Check consistency only
+node ./packages/cli/bin/cli.js reason -w . -owl build/owl --check-only
+
+# Render markdown to static HTML
+node ./packages/cli/bin/cli.js render -w . -md src/md -web build/web -owl build/owl
+```
+
+### Commands
+
+- `login`
+  Runs GitHub device-flow sign-in, stores a local beta session, and validates it against the whitelist.
+- `logout`
+  Removes the local beta sign-in session.
+- `whoami`
+  Prints the current beta sign-in session and whether it is authorized.
+- `lint [file] [-w <workspace>]`
+  Validates one file, or the current workspace when no file is given.
+- `compile [-w <workspace>] [-owl <dir>] [-f <ttl|trig|nt|nq|n3>] [--clean] [--only] [--pretty]`
+  Compiles OML to RDF.
+- `reason [-w <workspace>] [-owl <dir>] [-f <ttl|trig|nt|nq|n3>] [--clean] [--only] [--pretty] [--check-only] [-u <true|false>] [-e <true|false>] [-p <true|false>]`
+  Runs consistency checking and, unless `--check-only` is used, generates entailments.
+- `render [-w <workspace>] -md <dir> -web <dir> [-owl <dir>] [-f <ttl|trig|nt|nq|n3>] [-c <model-uri>] [--clean] [--only] [--pretty] [-u <true|false>] [-e <true|false>] [-p <true|false>]`
+  Runs the compile/reason pipeline, then renders markdown to static HTML.
+- `validate -md <dir> [-w <workspace>] [-owl <dir>] [-f <ttl|trig|nt|nq|n3>] [--clean] [--only] [--pretty] [-u <true|false>] [-e <true|false>] [-p <true|false>]`
+  Validates markdown table-editor SHACL blocks against their context models.
+
+### Notes
+
+- The CLI currently requires a beta sign-in session for operational commands. Run `oml login` first.
+- GitHub device-flow login requires `OML_AUTH_GITHUB_CLIENT_ID`, unless you embed `DEFAULT_GITHUB_CLIENT_ID` in [`src/auth.ts`](./src/auth.ts).
+- CLI beta authorization uses the same whitelist semantics as the extension. Configure the whitelist endpoint with `OML_AUTH_WHITELIST_URL`.
+- The CLI currently depends on `@oml/reasoner@^0.1.0`.
+- `reason` runs ontology consistency checks in dependency order.
+- `render` runs the compile/reason pipeline unless `--only` is provided, then renders markdown, resolves `workspace:/` links, executes markdown blocks, and copies referenced non-markdown assets.
+- If the reasoner reports an inconsistent ontology, the CLI exits with code `1` and prints the raw JSON result returned by the reasoner.
+- When installed from npm, the CLI checks the npm registry for newer `@oml/cli` releases and prints `npm install -g @oml/cli@latest` when an update is available. Set `OML_NO_UPDATE_NOTIFIER=1` to disable the check.

package/bin/cli.js

@@ -0,0 +1,6 @@
+#!/usr/bin/env node
+
+// Copyright (c) 2026 Modelware. All rights reserved.
+
+import { runCli } from '../out/cli.js';
+void runCli();

package/out/auth.d.ts

@@ -0,0 +1,25 @@
+type Provider = 'github';
+type StoredSession = {
+    provider: Provider;
+    userId: string;
+    userLabel?: string;
+    signedInAt: string;
+};
+type LoginOptions = {};
+type AuthStatus = {
+    session: StoredSession;
+    authorized: boolean;
+};
+export declare class OmlCliAuthService {
+    private whitelistCache;
+    private whitelistCacheTime;
+    login(options: LoginOptions): Promise<void>;
+    logout(): Promise<void>;
+    whoami(): Promise<void>;
+    ensureAuthenticated(operationName: string): Promise<AuthStatus>;
+    private isAuthorized;
+    private fetchWhitelist;
+    private clearWhitelistCache;
+    private authenticate;
+}
+export {};

package/out/auth.js

@@ -0,0 +1,253 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+import chalk from 'chalk';
+import * as fs from 'node:fs/promises';
+import * as os from 'node:os';
+import * as path from 'node:path';
+const DEFAULT_WHITELIST_URL = 'https://www.modelware.io/oml-code/auth/permissions.json';
+const CACHE_DURATION_MS = 5 * 60 * 1000;
+const GITHUB_DEVICE_CODE_URL = 'https://github.com/login/device/code';
+const GITHUB_TOKEN_URL = 'https://github.com/login/oauth/access_token';
+const GITHUB_USER_URL = 'https://api.github.com/user';
+const DEFAULT_GITHUB_CLIENT_ID = 'Ov23liQkHYczdOAvHp5P';
+export class OmlCliAuthService {
+    constructor() {
+        this.whitelistCache = null;
+        this.whitelistCacheTime = 0;
+    }
+    async login(options) {
+        const session = await this.authenticate();
+        const authorized = await this.isAuthorized(session);
+        if (!authorized) {
+            throw new Error('Sign in succeeded, but this account is not authorized.');
+        }
+        await writeSession(session);
+        const summary = session.userLabel ? `${session.userLabel} (${session.userId})` : session.userId;
+        console.error(chalk.green(`Signed in as ${summary} via ${session.provider}.`));
+    }
+    async logout() {
+        await deleteSession();
+        this.clearWhitelistCache();
+        console.error(chalk.green('Signed out.'));
+    }
+    async whoami() {
+        const session = await readSession();
+        if (!session) {
+            console.error(chalk.yellow('Not signed in.'));
+            return;
+        }
+        const authorized = await this.isAuthorized(session);
+        console.error(`Provider: ${session.provider}`);
+        console.error(`User ID: ${session.userId}`);
+        console.error(`User label: ${session.userLabel ?? '(not set)'}`);
+        console.error(`Signed in at: ${session.signedInAt}`);
+        console.error(`Authorized: ${authorized ? 'yes' : 'no'}`);
+    }
+    async ensureAuthenticated(operationName) {
+        const session = await readSession();
+        if (!session) {
+            throw new Error(`${operationName} requires authentication. Run 'oml login' first.`);
+        }
+        const authorized = await this.isAuthorized(session);
+        if (!authorized) {
+            throw new Error(`${operationName} requires authorization. Your account is not authorized.`);
+        }
+        return { session, authorized };
+    }
+    async isAuthorized(session) {
+        const whitelist = await this.fetchWhitelist();
+        if (!whitelist) {
+            return true;
+        }
+        const userId = session.userId.toLowerCase();
+        return whitelist.has(userId);
+    }
+    async fetchWhitelist() {
+        const whitelistUrl = process.env.OML_AUTH_WHITELIST_URL ?? DEFAULT_WHITELIST_URL;
+        if (!whitelistUrl) {
+            return null;
+        }
+        const now = Date.now();
+        if (this.whitelistCache && (now - this.whitelistCacheTime) < CACHE_DURATION_MS) {
+            return this.whitelistCache;
+        }
+        try {
+            const response = await fetch(whitelistUrl);
+            if (!response.ok) {
+                throw new Error(`HTTP ${response.status}: ${response.statusText}`);
+            }
+            const data = await response.json();
+            const userList = extractWhitelistEntries(data);
+            this.whitelistCache = new Set(userList.map((id) => String(id).toLowerCase()));
+            this.whitelistCacheTime = now;
+            return this.whitelistCache;
+        }
+        catch (error) {
+            console.error(chalk.yellow(`OML: Could not verify authorization. ${error instanceof Error ? error.message : String(error)}`));
+            return null;
+        }
+    }
+    clearWhitelistCache() {
+        this.whitelistCache = null;
+        this.whitelistCacheTime = 0;
+    }
+    async authenticate() {
+        return authenticateWithGitHub();
+    }
+}
+function extractWhitelistEntries(data) {
+    if (Array.isArray(data)) {
+        return data.map((value) => String(value));
+    }
+    if (typeof data === 'object' && data !== null) {
+        const record = data;
+        if (Array.isArray(record.allowedUsers)) {
+            return record.allowedUsers.map((value) => String(value));
+        }
+        if (Array.isArray(record.users)) {
+            return record.users.map((value) => String(value));
+        }
+    }
+    throw new Error('Invalid whitelist format. Expected array or object with "allowedUsers" or "users" property.');
+}
+async function readSession() {
+    try {
+        const content = await fs.readFile(getSessionPath(), 'utf-8');
+        const data = JSON.parse(content);
+        if (!data.userId || !data.provider || !data.signedInAt) {
+            return undefined;
+        }
+        if (data.provider !== 'github' && data.provider !== 'microsoft') {
+            return undefined;
+        }
+        return {
+            provider: data.provider,
+            userId: data.userId,
+            userLabel: data.userLabel,
+            signedInAt: data.signedInAt
+        };
+    }
+    catch {
+        return undefined;
+    }
+}
+async function writeSession(session) {
+    const sessionPath = getSessionPath();
+    await fs.mkdir(path.dirname(sessionPath), { recursive: true });
+    await fs.writeFile(sessionPath, `${JSON.stringify(session, null, 2)}\n`, 'utf-8');
+}
+async function deleteSession() {
+    try {
+        await fs.unlink(getSessionPath());
+    }
+    catch (error) {
+        if (error.code !== 'ENOENT') {
+            throw error;
+        }
+    }
+}
+function getSessionPath() {
+    return path.join(os.homedir(), '.oml', 'auth.json');
+}
+async function authenticateWithGitHub() {
+    const clientId = resolveClientId();
+    const params = new URLSearchParams({
+        client_id: clientId,
+        scope: 'read:user'
+    });
+    const response = await fetch(GITHUB_DEVICE_CODE_URL, {
+        method: 'POST',
+        headers: {
+            accept: 'application/json',
+            'content-type': 'application/x-www-form-urlencoded'
+        },
+        body: params
+    });
+    if (!response.ok) {
+        throw new Error(`GitHub device authorization failed: HTTP ${response.status} ${response.statusText}`);
+    }
+    const device = await response.json();
+    if (!device.device_code || !device.user_code || !device.verification_uri) {
+        throw new Error('GitHub device authorization response was incomplete.');
+    }
+    printDeviceFlowInstructions('GitHub', device.verification_uri, device.user_code);
+    const token = await pollForGitHubAccessToken(clientId, device);
+    const userResponse = await fetch(GITHUB_USER_URL, {
+        headers: {
+            accept: 'application/vnd.github+json',
+            authorization: `Bearer ${token}`
+        }
+    });
+    if (!userResponse.ok) {
+        throw new Error(`GitHub user lookup failed: HTTP ${userResponse.status} ${userResponse.statusText}`);
+    }
+    const user = await userResponse.json();
+    if (!user.login) {
+        throw new Error('GitHub user lookup did not return a login name.');
+    }
+    return {
+        provider: 'github',
+        userId: user.login,
+        userLabel: user.login,
+        signedInAt: new Date().toISOString()
+    };
+}
+function printDeviceFlowInstructions(providerName, verificationUri, userCode) {
+    console.error(chalk.cyan(`${providerName} sign-in required.`));
+    console.error(`Open: ${verificationUri}`);
+    console.error(`Code: ${userCode}`);
+}
+async function pollForGitHubAccessToken(clientId, device) {
+    const deviceCode = device.device_code;
+    if (!deviceCode) {
+        throw new Error('GitHub device authorization response was incomplete.');
+    }
+    let intervalSeconds = Math.max(1, device.interval ?? 5);
+    while (true) {
+        await delay(intervalSeconds * 1000);
+        const params = new URLSearchParams({
+            client_id: clientId,
+            device_code: deviceCode,
+            grant_type: 'urn:ietf:params:oauth:grant-type:device_code'
+        });
+        const response = await fetch(GITHUB_TOKEN_URL, {
+            method: 'POST',
+            headers: {
+                accept: 'application/json',
+                'content-type': 'application/x-www-form-urlencoded'
+            },
+            body: params
+        });
+        if (!response.ok) {
+            throw new Error(`GitHub token exchange failed: HTTP ${response.status} ${response.statusText}`);
+        }
+        const token = await response.json();
+        if (token.access_token) {
+            return token.access_token;
+        }
+        if (token.error === 'authorization_pending') {
+            continue;
+        }
+        if (token.error === 'slow_down') {
+            intervalSeconds += 5;
+            continue;
+        }
+        if (token.error === 'expired_token') {
+            throw new Error('GitHub device code expired before authorization completed.');
+        }
+        if (token.error === 'access_denied') {
+            throw new Error('GitHub sign-in was denied.');
+        }
+        throw new Error(token.error_description ?? token.error ?? 'GitHub sign-in failed.');
+    }
+}
+function resolveClientId() {
+    const configured = process.env.OML_AUTH_GITHUB_CLIENT_ID?.trim() || DEFAULT_GITHUB_CLIENT_ID;
+    if (configured) {
+        return configured;
+    }
+    throw new Error('GitHub login is not configured. Set OML_AUTH_GITHUB_CLIENT_ID or embed DEFAULT_GITHUB_CLIENT_ID in packages/cli/src/auth.ts.');
+}
+function delay(ms) {
+    return new Promise((resolve) => setTimeout(resolve, ms));
+}
+//# sourceMappingURL=auth.js.map

package/out/auth.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"auth.js","sourceRoot":"","sources":["../src/auth.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,MAAM,qBAAqB,GAAG,yDAAyD,CAAC;AACxF,MAAM,iBAAiB,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AACxC,MAAM,sBAAsB,GAAG,sCAAsC,CAAC;AACtE,MAAM,gBAAgB,GAAG,6CAA6C,CAAC;AACvE,MAAM,eAAe,GAAG,6BAA6B,CAAC;AACtD,MAAM,wBAAwB,GAAG,sBAAsB,CAAC;AAmBxD,MAAM,OAAO,iBAAiB;IAA9B;QACY,mBAAc,GAAuB,IAAI,CAAC;QAC1C,uBAAkB,GAAG,CAAC,CAAC;IA+FnC,CAAC;IA7FG,KAAK,CAAC,KAAK,CAAC,OAAqB;QAC7B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;QAE1C,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC9E,CAAC;QAED,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QAChG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,OAAO,QAAQ,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,KAAK,CAAC,MAAM;QACR,MAAM,aAAa,EAAE,CAAC;QACtB,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC3B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,MAAM;QACR,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC;YAC9C,OAAO;QACX,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,KAAK,CAAC,aAAa,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC/C,OAAO,CAAC,KAAK,CAAC,YAAY,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5C,OAAO,CAAC,KAAK,CAAC,eAAe,OAAO,CAAC,SAAS,IAAI,WAAW,EAAE,CAAC,CAAC;QACjE,OAAO,CAAC,KAAK,CAAC,iBAAiB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;QACrD,OAAO,CAAC,KAAK,CAAC,eAAe,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,KAAK,CAAC,mBAAmB,CAAC,aAAqB;QAC3C,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,GAAG,aAAa,kDAAkD,CAAC,CAAC;QACxF,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,GAAG,aAAa,0DAA0D,CAAC,CAAC;QAChG,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACnC,CAAC;IAEO,KAAK,CAAC,YAAY,CAAC,OAAsB;QAC7C,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,cAAc,EAAE,CAAC;QAC9C,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAEO,KAAK,CAAC,cAAc;QACxB,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,sBAAsB,IAAI,qBAAqB,CAAC;QACjF,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,cAAc,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,iBAAiB,EAAE,CAAC;YAC7E,OAAO,IAAI,CAAC,cAAc,CAAC;QAC/B,CAAC;QAED,IAAI,CAAC;YACD,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC;YAC3C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,QAAQ,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;YACvE,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,CAAC,cAAc,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YAC9E,IAAI,CAAC,kBAAkB,GAAG,GAAG,CAAC;YAC9B,OAAO,IAAI,CAAC,cAAc,CAAC;QAC/B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CACtB,wCAAwC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACnG,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IAEO,mBAAmB;QACvB,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;QAC3B,IAAI,CAAC,kBAAkB,GAAG,CAAC,CAAC;IAChC,CAAC;IAEO,KAAK,CAAC,YAAY;QACtB,OAAO,sBAAsB,EAAE,CAAC;IACpC,CAAC;CACJ;AAED,SAAS,uBAAuB,CAAC,IAAa;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAmD,CAAC;QACnE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YACrC,OAAO,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACtD,CAAC;IACL,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,6FAA6F,CAAC,CAAC;AACnH,CAAC;AAED,KAAK,UAAU,WAAW;IACtB,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,cAAc,EAAE,EAAE,OAAO,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA2B,CAAC;QAC3D,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrD,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;YAC9D,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC9B,CAAC;IACN,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,OAAsB;IAC9C,MAAM,WAAW,GAAG,cAAc,EAAE,CAAC;IACrC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACtF,CAAC;AAED,KAAK,UAAU,aAAa;IACxB,IAAI,CAAC;QACD,MAAM,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,MAAM,KAAK,CAAC;QAChB,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,cAAc;IACnB,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AACxD,CAAC;AAED,KAAK,UAAU,sBAAsB;IACjC,MAAM,QAAQ,GAAG,eAAe,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,KAAK,EAAE,WAAW;KACrB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,sBAAsB,EAAE;QACjD,MAAM,EAAE,MAAM;QACd,OAAO,EAAE;YACL,MAAM,EAAE,kBAAkB;YAC1B,cAAc,EAAE,mCAAmC;SACtD;QACD,IAAI,EAAE,MAAM;KACf,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,4CAA4C,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAA8B,CAAC;IACjE,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC5E,CAAC;IAED,2BAA2B,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,MAAM,wBAAwB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,MAAM,KAAK,CAAC,eAAe,EAAE;QAC9C,OAAO,EAAE;YACL,MAAM,EAAE,6BAA6B;YACrC,aAAa,EAAE,UAAU,KAAK,EAAE;SACnC;KACJ,CAAC,CAAC;IACH,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,mCAAmC,YAAY,CAAC,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,EAAwB,CAAC;IAC7D,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACvE,CAAC;IAED,OAAO;QACH,QAAQ,EAAE,QAAQ;QAClB,MAAM,EAAE,IAAI,CAAC,KAAK;QAClB,SAAS,EAAE,IAAI,CAAC,KAAK;QACrB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACvC,CAAC;AACN,CAAC;AAED,SAAS,2BAA2B,CAAC,YAAoB,EAAE,eAAuB,EAAE,QAAgB;IAChG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,oBAAoB,CAAC,CAAC,CAAC;IAC/D,OAAO,CAAC,KAAK,CAAC,SAAS,eAAe,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,KAAK,CAAC,SAAS,QAAQ,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,KAAK,UAAU,wBAAwB,CAAC,QAAgB,EAAE,MAAgC;IACtF,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC;IACtC,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;IACxD,OAAO,IAAI,EAAE,CAAC;QACV,MAAM,KAAK,CAAC,eAAe,GAAG,IAAK,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC;YAC/B,SAAS,EAAE,QAAQ;YACnB,WAAW,EAAE,UAAU;YACvB,UAAU,EAAE,8CAA8C;SAC7D,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,gBAAgB,EAAE;YAC3C,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACL,MAAM,EAAE,kBAAkB;gBAC1B,cAAc,EAAE,mCAAmC;aACtD;YACD,IAAI,EAAE,MAAM;SACf,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,sCAAsC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;QACpG,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAyB,CAAC;QAC3D,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC,YAAY,CAAC;QAC9B,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,uBAAuB,EAAE,CAAC;YAC1C,SAAS;QACb,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC9B,eAAe,IAAI,CAAC,CAAC;YACrB,SAAS;QACb,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAClD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,KAAK,IAAI,wBAAwB,CAAC,CAAC;IACxF,CAAC;AACL,CAAC;AAED,SAAS,eAAe;IACpB,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,yBAAyB,EAAE,IAAI,EAAE,IAAI,wBAAwB,CAAC;IAC7F,IAAI,UAAU,EAAE,CAAC;QACb,OAAO,UAAU,CAAC;IACtB,CAAC;IACD,MAAM,IAAI,KAAK,CACX,8HAA8H,CACjI,CAAC;AACN,CAAC;AAED,SAAS,KAAK,CAAC,EAAU;IACrB,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AAC7D,CAAC"}

package/out/backend/backend-types.d.ts

@@ -0,0 +1,19 @@
+import type { MdExecuteBlocksParams, MdExecuteBlocksResult } from '@oml/markdown';
+export interface ValidateSummary {
+    filesChecked: number;
+    warnings: number;
+}
+export interface MarkdownRenderResult {
+    renderedHtml: string;
+    contextUri?: string;
+}
+export interface CliBackendOptions {
+    owlOutputRoot?: string;
+    rdfFormat?: string;
+}
+export interface CliBackend {
+    validate(fileName: string | undefined, workspaceRoot: string): Promise<ValidateSummary>;
+    renderMarkdown(markdown: string): Promise<MarkdownRenderResult>;
+    executeMarkdownBlocks(params: MdExecuteBlocksParams, workspaceRoot: string): Promise<MdExecuteBlocksResult>;
+    dispose(): Promise<void>;
+}

package/out/backend/backend-types.js

@@ -0,0 +1,3 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+export {};
+//# sourceMappingURL=backend-types.js.map

package/out/backend/backend-types.js.map

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

package/out/backend/create-backend.d.ts

@@ -0,0 +1,2 @@
+import type { CliBackend, CliBackendOptions } from './backend-types.js';
+export declare function createBackend(options?: CliBackendOptions): CliBackend;

package/out/backend/create-backend.js

@@ -0,0 +1,6 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+import { DirectBackend } from './direct-backend.js';
+export function createBackend(options = {}) {
+    return new DirectBackend(options);
+}
+//# sourceMappingURL=create-backend.js.map

package/out/backend/create-backend.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-backend.js","sourceRoot":"","sources":["../../src/backend/create-backend.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD,MAAM,UAAU,aAAa,CAAC,UAA6B,EAAE;IACzD,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC"}

package/out/backend/direct-backend.d.ts

@@ -0,0 +1,17 @@
+import { type MdExecuteBlocksParams, type MdExecuteBlocksResult } from '@oml/markdown';
+import type { CliBackend, CliBackendOptions, MarkdownRenderResult, ValidateSummary } from './backend-types.js';
+export declare class DirectBackend implements CliBackend {
+    private readonly markdownRuntime;
+    private readonly owlOutputRoot?;
+    private readonly rdfFormat;
+    private servicesBundle?;
+    private initializedWorkspaceRoot?;
+    private loadedDatasetKey?;
+    constructor(options?: CliBackendOptions);
+    validate(fileName: string | undefined, workspaceRoot: string): Promise<ValidateSummary>;
+    renderMarkdown(markdown: string): Promise<MarkdownRenderResult>;
+    executeMarkdownBlocks(params: MdExecuteBlocksParams, workspaceRoot: string): Promise<MdExecuteBlocksResult>;
+    dispose(): Promise<void>;
+    private ensureServices;
+    private ensurePreparedDataset;
+}

package/out/backend/direct-backend.js

@@ -0,0 +1,97 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+import { createOwlServices } from '@oml/owl';
+import { MarkdownHandlerRegistry, MarkdownPreviewRuntime } from '@oml/markdown';
+import { MarkdownExecutor } from '@oml/markdown';
+import { NodeFileSystem } from 'langium/node';
+import { URI } from 'langium';
+import * as fs from 'node:fs/promises';
+import * as path from 'node:path';
+import { extractDocument } from '../util.js';
+import { loadPreparedDatasetFromOutput, normalizeFormatExtension } from './reasoned-output.js';
+export class DirectBackend {
+    constructor(options = {}) {
+        this.markdownRuntime = new MarkdownPreviewRuntime(new MarkdownHandlerRegistry());
+        this.owlOutputRoot = options.owlOutputRoot ? path.resolve(options.owlOutputRoot) : undefined;
+        this.rdfFormat = normalizeFormatExtension(options.rdfFormat);
+    }
+    async validate(fileName, workspaceRoot) {
+        const services = await this.ensureServices(workspaceRoot);
+        if (fileName) {
+            const document = await extractDocument(fileName, services, undefined);
+            const warnings = (document.diagnostics ?? []).filter((d) => d.severity === 2).length;
+            return { filesChecked: 1, warnings };
+        }
+        const files = await findOmlFiles(workspaceRoot);
+        let warningCount = 0;
+        for (const file of files) {
+            const document = await extractDocument(file, services, undefined);
+            warningCount += (document.diagnostics ?? []).filter((d) => d.severity === 2).length;
+        }
+        return { filesChecked: files.length, warnings: warningCount };
+    }
+    async renderMarkdown(markdown) {
+        const rendered = this.markdownRuntime.prepare(markdown);
+        return {
+            renderedHtml: rendered.renderedHtml,
+            contextUri: rendered.contextUri
+        };
+    }
+    async executeMarkdownBlocks(params, workspaceRoot) {
+        const services = await this.ensureServices(workspaceRoot);
+        await this.ensurePreparedDataset(workspaceRoot, services);
+        const reasoningService = services.reasoning.ReasoningService;
+        const executor = new MarkdownExecutor({
+            ensureContext: (modelUri) => reasoningService.ensureQueryContext(modelUri),
+            resolveContextIri: (modelUri) => reasoningService.getContextIri(modelUri),
+            query: (modelUri, sparql) => reasoningService.getSparqlService().query(modelUri, sparql),
+            construct: (modelUri, sparql) => reasoningService.getSparqlService().construct(modelUri, sparql),
+        });
+        return executor.executeBlocks(params);
+    }
+    async dispose() {
+        this.servicesBundle = undefined;
+        this.initializedWorkspaceRoot = undefined;
+        this.loadedDatasetKey = undefined;
+    }
+    async ensureServices(workspaceRoot) {
+        const resolvedRoot = path.resolve(workspaceRoot);
+        if (!this.servicesBundle || this.initializedWorkspaceRoot !== resolvedRoot) {
+            this.servicesBundle = createOwlServices(NodeFileSystem);
+            this.initializedWorkspaceRoot = resolvedRoot;
+            await this.servicesBundle.Oml.shared.workspace.WorkspaceManager.initializeWorkspace([
+                { uri: URI.file(resolvedRoot).toString(), name: path.basename(resolvedRoot) }
+            ]);
+        }
+        return this.servicesBundle.Oml;
+    }
+    async ensurePreparedDataset(workspaceRoot, services) {
+        if (!this.owlOutputRoot) {
+            throw new Error('CLI markdown execution requires a prepared RDF output folder.');
+        }
+        const datasetKey = `${this.initializedWorkspaceRoot ?? ''}|${this.owlOutputRoot}|${this.rdfFormat}`;
+        if (this.loadedDatasetKey === datasetKey) {
+            return;
+        }
+        const prepared = await loadPreparedDatasetFromOutput(path.resolve(workspaceRoot), this.owlOutputRoot, this.rdfFormat);
+        services.reasoning.ReasoningService.loadPreparedDataset(prepared);
+        this.loadedDatasetKey = datasetKey;
+    }
+}
+async function findOmlFiles(root) {
+    const entries = await fs.readdir(root, { withFileTypes: true });
+    const results = [];
+    for (const entry of entries) {
+        const fullPath = path.join(root, entry.name);
+        if (entry.isDirectory()) {
+            if (entry.name === 'node_modules' || entry.name.startsWith('.')) {
+                continue;
+            }
+            results.push(...await findOmlFiles(fullPath));
+        }
+        else if (entry.isFile() && path.extname(entry.name) === '.oml') {
+            results.push(fullPath);
+        }
+    }
+    return results;
+}
+//# sourceMappingURL=direct-backend.js.map

package/out/backend/direct-backend.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-backend.js","sourceRoot":"","sources":["../../src/backend/direct-backend.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAA0D,MAAM,eAAe,CAAC;AACzG,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,OAAO,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAE/F,MAAM,OAAO,aAAa;IAQtB,YAAY,UAA6B,EAAE;QAP1B,oBAAe,GAAG,IAAI,sBAAsB,CAAC,IAAI,uBAAuB,EAAE,CAAC,CAAC;QAQzF,IAAI,CAAC,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7F,IAAI,CAAC,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACjE,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,QAA4B,EAAE,aAAqB;QAC9D,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;QAE1D,IAAI,QAAQ,EAAE,CAAC;YACX,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;YACrF,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QACzC,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,CAAC;QAChD,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClE,YAAY,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACxF,CAAC;QACD,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;IAClE,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,QAAgB;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACxD,OAAO;YACH,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,UAAU,EAAE,QAAQ,CAAC,UAAU;SAClC,CAAC;IACN,CAAC;IAED,KAAK,CAAC,qBAAqB,CAAC,MAA6B,EAAE,aAAqB;QAC5E,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;QAC1D,MAAM,IAAI,CAAC,qBAAqB,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,gBAAgB,GAAG,QAAQ,CAAC,SAAS,CAAC,gBAAuB,CAAC;QACpE,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC;YAClC,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,QAAQ,CAAC;YAC1E,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,gBAAgB,CAAC,aAAa,CAAC,QAAQ,CAAC;YACzE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC;YACxF,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC;SACnG,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,OAAO;QACT,IAAI,CAAC,cAAc,GAAG,SAAS,CAAC;QAChC,IAAI,CAAC,wBAAwB,GAAG,SAAS,CAAC;QAC1C,IAAI,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACtC,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,aAAqB;QAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,wBAAwB,KAAK,YAAY,EAAE,CAAC;YACzE,IAAI,CAAC,cAAc,GAAG,iBAAiB,CAAC,cAAc,CAAC,CAAC;YACxD,IAAI,CAAC,wBAAwB,GAAG,YAAY,CAAC;YAC7C,MAAM,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,mBAAmB,CAAC;gBAChF,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE;aAChF,CAAC,CAAC;QACP,CAAC;QACD,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;IACnC,CAAC;IAEO,KAAK,CAAC,qBAAqB,CAAC,aAAqB,EAAE,QAAqD;QAC5G,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,IAAI,CAAC,wBAAwB,IAAI,EAAE,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACpG,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,EAAE,CAAC;YACvC,OAAO;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,6BAA6B,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACtH,QAAQ,CAAC,SAAS,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAClE,IAAI,CAAC,gBAAgB,GAAG,UAAU,CAAC;IACvC,CAAC;CACJ;AAED,KAAK,UAAU,YAAY,CAAC,IAAY;IACpC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAChE,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACtB,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9D,SAAS;YACb,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClD,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;YAC/D,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC"}

package/out/backend/reasoned-output.d.ts

@@ -0,0 +1,38 @@
+import { type OmlServices } from '@oml/language';
+import { type PreparedReasonedModel } from '@oml/owl';
+import { type ConsistencyResult } from '@oml/reasoner';
+import type { LangiumDocument } from 'langium';
+export interface WorkspaceOntologyEntry {
+    modelUri: string;
+    ontology: any;
+    ontologyIri: string;
+    imports: string[];
+    compiledPath: string;
+    entailmentPath: string;
+}
+export interface ReasonWorkspaceOptions {
+    outputRoot: string;
+    format: string;
+    pretty: boolean;
+    explanations: boolean;
+    uniqueNamesAssumption: boolean;
+    checkOnly: boolean;
+    profile: boolean;
+}
+export interface ReasonWorkspaceResult {
+    ontologiesReasoned: number;
+    entailmentsWritten: number;
+}
+export declare class OntologyInconsistencyError extends Error {
+    readonly ontologyIri: string;
+    readonly result: ConsistencyResult;
+    constructor(ontologyIri: string, result: ConsistencyResult);
+}
+export declare function buildWorkspaceDocuments(services: OmlServices, workspaceRoot: string, validate?: boolean): Promise<LangiumDocument[]>;
+export declare function writeCompiledWorkspace(services: OmlServices, workspaceRoot: string, outputRoot: string, format: string, pretty: boolean): Promise<WorkspaceOntologyEntry[]>;
+export declare function collectWorkspaceOntologyEntries(documents: ReadonlyArray<LangiumDocument>, outputRoot: string, format: string): WorkspaceOntologyEntry[];
+export declare function reasonWorkspaceOntologies(entries: ReadonlyArray<WorkspaceOntologyEntry>, options: ReasonWorkspaceOptions): Promise<ReasonWorkspaceResult>;
+export declare function loadPreparedDatasetFromOutput(workspaceRoot: string, outputRoot: string, format: string): Promise<PreparedReasonedModel[]>;
+export declare function normalizeFormatExtension(value: string | undefined): string;
+export declare function resolveOutputPathFromOntologyIriString(ontologyIri: string, format: string): string;
+export declare function normalizeNamespace(value: string | undefined): string | undefined;