@oml/cli 0.19.3 → 0.20.0

package/out/commands/reason.js

@@ -1,5 +1,5 @@
 // Copyright (c) 2026 Modelware. All rights reserved.
-import { checkConsistency } from '@oml/reasoner';
+import { checkConsistency, checkConsistencyBatch } from '@oml/reasoner';
 import chalk from 'chalk';
 import * as fs from 'node:fs/promises';
 import * as os from 'node:os';
@@ -9,14 +9,7 @@ import { failCli } from '../cli-error.js';
 import { formatDuration } from '../util.js';
 import { printLintDiagnostics } from './lint.js';
 import { restPost } from './server/rest.js';
-const OWL_IMPORTS_IRI = '<http://www.w3.org/2002/07/owl#imports>';
-function normalizeRdfFormat(value) {
-    const normalized = String(value ?? 'ttl').trim().toLowerCase();
-    if (normalized === 'trig' || normalized === 'nt' || normalized === 'nq' || normalized === 'n3') {
-        return normalized;
-    }
-    return 'ttl';
-}
+/** Add a blank line between top-level statements for ttl/trig readability. */
 function prettyPrintRdf(serialized, format) {
     if (format !== 'ttl' && format !== 'trig') {
         return serialized;
@@ -24,9 +17,8 @@ function prettyPrintRdf(serialized, format) {
     const lines = serialized.split('\n');
     const out = [];
     for (let i = 0; i < lines.length; i += 1) {
-        const line = lines[i];
-        out.push(line);
-        if (line.trim().endsWith('.')) {
+        out.push(lines[i]);
+        if (lines[i].trim().endsWith('.')) {
             const next = lines[i + 1];
             if (next !== undefined && next.trim().length > 0) {
                 out.push('');
@@ -35,210 +27,233 @@ function prettyPrintRdf(serialized, format) {
     }
     return out.join('\n');
 }
-function extractImports(serialized) {
-    const imports = new Set();
-    const statementPattern = /(?:<http:\/\/www\.w3\.org\/2002\/07\/owl#imports>|owl:imports)\s+([^;.]*)[;.]/gms;
-    let statementMatch;
-    while ((statementMatch = statementPattern.exec(serialized)) !== null) {
-        const tail = statementMatch[1] ?? '';
-        const iriPattern = /<([^>]+)>/g;
-        let iriMatch;
-        while ((iriMatch = iriPattern.exec(tail)) !== null) {
-            const iri = iriMatch[1]?.trim();
-            if (iri) {
-                imports.add(iri);
-            }
-        }
-    }
-    // Handle compact single-line N-Triples cases defensively.
-    if (imports.size === 0 && serialized.includes(OWL_IMPORTS_IRI)) {
-        const linePattern = /<http:\/\/www\.w3\.org\/2002\/07\/owl#imports>\s+<([^>]+)>/g;
-        let lineMatch;
-        while ((lineMatch = linePattern.exec(serialized)) !== null) {
-            const iri = lineMatch[1]?.trim();
-            if (iri) {
-                imports.add(iri);
-            }
-        }
-    }
-    return Array.from(imports);
+function resolveEntailmentsPath(uri) {
+    const trimmed = uri.trim();
+    return trimmed.startsWith('file://') ? fileURLToPath(trimmed) : trimmed;
 }
 function sortFilesLeafToRoot(files) {
-    const filesByOntologyIri = new Map();
-    for (const file of files) {
-        filesByOntologyIri.set(file.ontologyIri, file);
-    }
-    const importsByOntologyIri = new Map();
-    for (const file of files) {
-        importsByOntologyIri.set(file.ontologyIri, extractImports(file.content));
-    }
+    const byPath = new Map(files.map(f => [f.path, f]));
     const sorted = [];
     const state = new Map();
-    const sortedRoots = [...filesByOntologyIri.keys()].sort((a, b) => a.localeCompare(b));
-    const visit = (ontologyIri) => {
-        const current = state.get(ontologyIri) ?? 0;
-        if (current === 2) {
-            return;
-        }
-        if (current === 1) {
+    const visit = (p) => {
+        if ((state.get(p) ?? 0) !== 0)
             return;
+        state.set(p, 1);
+        for (const imp of byPath.get(p)?.imports ?? []) {
+            visit(imp);
         }
-        state.set(ontologyIri, 1);
-        for (const importedIri of importsByOntologyIri.get(ontologyIri) ?? []) {
-            if (filesByOntologyIri.has(importedIri)) {
-                visit(importedIri);
-            }
-        }
-        state.set(ontologyIri, 2);
-        const file = filesByOntologyIri.get(ontologyIri);
-        if (file) {
-            sorted.push(file);
-        }
+        state.set(p, 2);
+        const f = byPath.get(p);
+        if (f)
+            sorted.push(f);
     };
-    for (const ontologyIri of sortedRoots) {
-        visit(ontologyIri);
-    }
+    for (const p of [...byPath.keys()].sort())
+        visit(p);
     return sorted;
 }
-function resolveEntailmentsPath(uri) {
-    const trimmed = uri.trim();
-    if (trimmed.startsWith('file://')) {
-        return fileURLToPath(trimmed);
+function collectClosure(start, byPath, into) {
+    const stack = [start];
+    while (stack.length > 0) {
+        const p = stack.pop();
+        if (into.has(p))
+            continue;
+        into.add(p);
+        for (const imp of byPath.get(p)?.imports ?? [])
+            stack.push(imp);
     }
-    return trimmed;
 }
-function ontologyIriToTempPath(ontologyIri, format) {
-    try {
-        const iri = new URL(ontologyIri);
-        const rawPath = iri.pathname.replace(/\/+$/, '');
-        const segments = rawPath.split('/').filter(Boolean);
-        const stem = segments.at(-1) || 'index';
-        const dirSegs = iri.host ? [iri.host, ...segments.slice(0, -1)] : segments.slice(0, -1);
-        return dirSegs.length > 0 ? path.join(...dirSegs, `${stem}.${format}`) : `${stem}.${format}`;
+function closureFiles(start, byPath) {
+    const seen = new Set();
+    collectClosure(start, byPath, seen);
+    const result = [];
+    for (const p of seen) {
+        const f = byPath.get(p);
+        if (f)
+            result.push(f);
     }
-    catch {
-        return ontologyIri.replace(/[^a-zA-Z0-9_/-]/g, '_') + '.' + format;
+    return result;
+}
+/**
+ * Files imported by no other file (maximal nodes of the import graph).
+ * Checking only these establishes consistency of every file: OWL-DL
+ * consistency is monotonic, so a consistent import closure proves every
+ * imported (subset) ontology is consistent too. The roots' closures cover
+ * every file, so this is sufficient — and far cheaper than reasoning each
+ * file's closure independently.
+ */
+function computeConsistencyRoots(files) {
+    const byPath = new Map(files.map(f => [f.path, f]));
+    const imported = new Set();
+    for (const f of files) {
+        for (const imp of f.imports)
+            imported.add(imp);
     }
+    const roots = files.filter(f => !imported.has(f.path));
+    // Guard against import cycles whose component is imported by nobody outside
+    // it: make sure every file is in some root's closure, else add it directly.
+    const covered = new Set();
+    for (const root of roots)
+        collectClosure(root.path, byPath, covered);
+    const uncovered = files.filter(f => !covered.has(f.path));
+    return sortFilesLeafToRoot([...roots, ...uncovered]);
 }
-function modelUriToRelativePath(modelUri) {
-    const trimmed = (modelUri ?? '').trim();
-    if (trimmed.startsWith('file://')) {
-        const absolute = fileURLToPath(trimmed);
-        const relative = path.relative(process.cwd(), absolute);
-        return relative.length > 0 ? relative : path.basename(absolute);
+function resolveTimeout(opts) {
+    return typeof opts.timeout === 'number' && Number.isFinite(opts.timeout) && opts.timeout > 0
+        ? Math.floor(opts.timeout)
+        : 120000;
+}
+/**
+ * A root's import closure is inconsistent. Reason its closure file-by-file,
+ * leaf-to-root, to find the first file whose own closure is inconsistent —
+ * the precise point where the inconsistency is introduced.
+ */
+async function localizeInconsistency(root, byPath, workDir, opts) {
+    const closure = sortFilesLeafToRoot(closureFiles(root.path, byPath));
+    for (const file of closure) {
+        const result = await checkConsistency({
+            input: path.join(workDir, file.path),
+            inputRoot: workDir,
+            explanations: opts.explanation === true,
+            uniqueNamesAssumption: opts.uniqueNamesAssumption !== false,
+            checkOnly: true,
+            profile: false,
+            timeout: resolveTimeout(opts),
+        });
+        if (!result.consistent) {
+            return { file, result: result };
+        }
     }
-    return trimmed;
+    return undefined;
 }
 export const reasonAction = async (opts) => {
     const startedAt = Date.now();
-    const outputFormat = normalizeRdfFormat(opts.format);
+    const persistDir = typeof opts.owl === 'string' && opts.owl.trim().length > 0
+        ? path.resolve(opts.owl.trim())
+        : undefined;
+    const format = opts.format ?? 'ttl';
     const pretty = opts.pretty === true;
-    const assertions = await restPost('/v0/assertions', { format: outputFormat, pretty }, opts.authToken);
-    if (!assertions.success) {
+    // Always reason inside a private temp dir and only promote it to the user's
+    // output directory on full success, so a failed/inconsistent run never leaves
+    // partial or internally-inconsistent artifacts behind in persistDir.
+    const workDir = await fs.mkdtemp(path.join(os.tmpdir(), 'oml-reason-'));
+    const exported = await restPost('/v0/export', { owl: workDir, format, pretty }, opts.authToken);
+    if (!exported.success) {
+        await fs.rm(workDir, { recursive: true, force: true });
         printLintDiagnostics({
             success: false,
-            filesChecked: Number(assertions.filesChecked ?? 0),
-            errors: Number(assertions.errors ?? 0),
-            warnings: Number(assertions.warnings ?? 0),
-            problems: assertions.problems,
+            filesChecked: Number(exported.filesChecked ?? 0),
+            errors: Number(exported.errors ?? 0),
+            warnings: Number(exported.warnings ?? 0),
+            problems: exported.problems,
         });
-        const summary = assertions.error?.trim() || 'reason failed.';
-        failCli(chalk.red(summary));
+        failCli(chalk.red(exported.error?.trim() || 'reason failed.'));
     }
     printLintDiagnostics({
         success: true,
-        filesChecked: Number(assertions.filesChecked ?? 0),
-        errors: Number(assertions.errors ?? 0),
-        warnings: Number(assertions.warnings ?? 0),
-        problems: assertions.problems,
+        filesChecked: Number(exported.filesChecked ?? 0),
+        errors: Number(exported.errors ?? 0),
+        warnings: Number(exported.warnings ?? 0),
+        problems: exported.problems,
     });
-    if (assertions.files.length === 0) {
+    if (exported.files.length === 0) {
+        await fs.rm(workDir, { recursive: true, force: true });
         console.log(chalk.yellow(`No .oml files found under ${path.resolve('.')}.`));
         return;
     }
-    const outputDir = typeof opts.owl === 'string' && opts.owl.trim().length > 0
-        ? path.resolve(opts.owl.trim())
-        : undefined;
-    const tempRoot = await fs.mkdtemp(path.join(os.tmpdir(), 'oml-reason-cli-'));
-    if (outputDir) {
-        await fs.rm(outputDir, { recursive: true, force: true, maxRetries: 3, retryDelay: 100 });
-    }
-    const orderedFiles = sortFilesLeafToRoot(assertions.files);
+    const byPath = new Map(exported.files.map(f => [f.path, f]));
+    // Check-only runs reason just the import-graph roots (consistency is
+    // monotonic, so the roots' closures prove every file consistent). Persisting
+    // entailments needs per-file output, so it still reasons every file.
+    const checkOnly = persistDir === undefined;
+    const targets = checkOnly
+        ? computeConsistencyRoots(exported.files)
+        : sortFilesLeafToRoot(exported.files);
     let firstInconsistent;
     let firstFailure;
     let entailmentsProduced = 0;
     try {
-        for (const file of orderedFiles) {
-            const target = path.join(tempRoot, ontologyIriToTempPath(file.ontologyIri, outputFormat));
-            await fs.mkdir(path.dirname(target), { recursive: true });
-            await fs.writeFile(target, prettyPrintRdf(file.content, outputFormat), 'utf-8');
-        }
-        for (const file of orderedFiles) {
-            const target = path.join(tempRoot, ontologyIriToTempPath(file.ontologyIri, outputFormat));
-            try {
-                const result = await checkConsistency({
-                    input: target,
-                    inputRoot: tempRoot,
-                    explanations: opts.explanation === true,
-                    uniqueNamesAssumption: opts.uniqueNamesAssumption !== false,
-                    checkOnly: outputDir === undefined,
-                    profile: opts.profile === true,
-                    timeout: typeof opts.timeout === 'number' && Number.isFinite(opts.timeout) && opts.timeout > 0
-                        ? Math.floor(opts.timeout)
-                        : 120000,
-                });
-                if (!result.consistent) {
-                    firstInconsistent = {
-                        file,
-                        result: result,
-                    };
+        // Reason all targets in a single reasoner process: one JVM and one shared
+        // parse cache for the whole batch, instead of spawning a process and
+        // re-parsing every import closure per file.
+        const batchResults = await checkConsistencyBatch({
+            inputs: targets.map(f => path.join(workDir, f.path)),
+            inputRoot: workDir,
+            // Skip tracing on the batch scan; explanations are produced during
+            // localization on the culprit file instead.
+            explanations: false,
+            uniqueNamesAssumption: opts.uniqueNamesAssumption !== false,
+            checkOnly,
+            // Hoist shared entailments when persisting; targets are already
+            // ordered leaf-to-root, which hoisting requires. Ignored for
+            // check-only runs (no entailments are materialized).
+            hoist: opts.hoist === true && !checkOnly,
+            profile: opts.profile === true,
+            timeout: Math.max(opts.timeout ?? 0, 1800000),
+        });
+        const resultByInput = new Map(batchResults.map(r => [r.input, r]));
+        // Walk targets in leaf-to-root order so the first problem reported is the
+        // earliest (most-imported) point of failure or inconsistency.
+        for (const file of targets) {
+            const input = path.join(workDir, file.path);
+            const result = resultByInput.get(input);
+            if (!result) {
+                firstFailure = { path: file.path, error: 'Reasoner produced no result for this file.' };
+                break;
+            }
+            if (typeof result.error === 'string' && result.error.length > 0) {
+                firstFailure = { path: file.path, error: result.error };
+                break;
+            }
+            if (!result.consistent) {
+                firstInconsistent = checkOnly
+                    ? (await localizeInconsistency(file, byPath, workDir, opts))
+                        ?? { file, result: result }
+                    : { file, result: result };
+                break;
+            }
+            if (persistDir) {
+                if (typeof result.entailmentsUri !== 'string' || result.entailmentsUri.trim().length === 0) {
+                    firstFailure = { path: file.path, error: 'Reasoner returned a consistent result but did not provide entailments URI.' };
                     break;
                 }
-                if (outputDir) {
-                    if (typeof result.entailmentsUri !== 'string' || result.entailmentsUri.trim().length === 0) {
-                        throw new Error('Reasoner returned a consistent result but did not provide entailments URI.');
-                    }
-                    if (pretty) {
-                        const entailmentsPath = resolveEntailmentsPath(result.entailmentsUri);
-                        const entailmentsContent = await fs.readFile(entailmentsPath, 'utf-8');
-                        await fs.writeFile(entailmentsPath, prettyPrintRdf(entailmentsContent, outputFormat), 'utf-8');
-                    }
-                    entailmentsProduced += 1;
+                if (pretty) {
+                    const entailmentsPath = resolveEntailmentsPath(result.entailmentsUri);
+                    const entailmentsContent = await fs.readFile(entailmentsPath, 'utf-8');
+                    await fs.writeFile(entailmentsPath, prettyPrintRdf(entailmentsContent, format), 'utf-8');
                 }
+                entailmentsProduced += 1;
             }
-            catch (error) {
-                firstFailure = {
-                    modelUri: file.modelUri,
-                    error: error instanceof Error ? error.message : String(error),
-                };
-                break;
-            }
+        }
+        // Promote temp output to the user's directory only on a fully successful run.
+        if (persistDir && !firstFailure && !firstInconsistent) {
+            await fs.rm(persistDir, { recursive: true, force: true, maxRetries: 3, retryDelay: 100 });
+            await fs.mkdir(persistDir, { recursive: true });
+            await fs.cp(workDir, persistDir, { recursive: true, force: true });
         }
     }
+    catch (error) {
+        firstFailure = firstFailure ?? {
+            path: '(batch)',
+            error: error instanceof Error ? error.message : String(error),
+        };
+    }
     finally {
-        if (outputDir && !firstFailure && !firstInconsistent) {
-            await fs.mkdir(outputDir, { recursive: true });
-            await fs.cp(tempRoot, outputDir, { recursive: true, force: true });
-        }
-        await fs.rm(tempRoot, { recursive: true, force: true });
+        await fs.rm(workDir, { recursive: true, force: true });
     }
     if (firstFailure) {
-        const modelUri = String(firstFailure.modelUri ?? '').trim() || '<workspace>';
-        failCli(chalk.red(`reason failed: ${modelUri}: ${firstFailure.error}`));
+        failCli(chalk.red(`reason failed: ${firstFailure.path}: ${firstFailure.error}`));
     }
     if (firstInconsistent) {
-        const where = modelUriToRelativePath(firstInconsistent.file.modelUri)
-            || firstInconsistent.file.ontologyIri.trim()
-            || '<unknown>';
+        const where = firstInconsistent.file.path;
         if (opts.explanation === true) {
             failCli(chalk.red(`Inconsistency found in: ${where}\n${JSON.stringify(firstInconsistent.result, null, 2)}`));
         }
         failCli(chalk.red(`Inconsistency found in: ${where}`));
     }
-    if (outputDir) {
-        console.log(chalk.green(`reason: ${assertions.files.length} ontology file(s) reasoned in ${path.relative(process.cwd(), outputDir) || outputDir} (${entailmentsProduced} entailment artifact file(s) written) [${formatDuration(Date.now() - startedAt)}]`));
+    if (persistDir) {
+        console.log(chalk.green(`reason: ${exported.files.length} ontology file(s) reasoned in ${path.relative(process.cwd(), persistDir) || persistDir} (${entailmentsProduced} entailment artifact file(s) written) [${formatDuration(Date.now() - startedAt)}]`));
         return;
     }
-    console.log(chalk.green(`reason: ${assertions.files.length} ontology file(s) checked [${formatDuration(Date.now() - startedAt)}]`));
+    console.log(chalk.green(`reason: ${exported.files.length} ontology file(s) checked via ${targets.length} import root(s) [${formatDuration(Date.now() - startedAt)}]`));
 };
 //# sourceMappingURL=reason.js.map

package/out/commands/reason.js.map

@@ -1 +1 @@
-{"version":3,"file":"reason.js","sourceRoot":"","sources":["../../src/commands/reason.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,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;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAsC,MAAM,WAAW,CAAC;AACrF,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AA8B5C,MAAM,eAAe,GAAG,yCAAyC,CAAC;AAElE,SAAS,kBAAkB,CAAC,KAAyB;IACjD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC/D,IAAI,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7F,OAAO,UAAU,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,UAAkB,EAAE,MAAiB;IACzD,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACxC,OAAO,UAAU,CAAC;IACtB,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,cAAc,CAAC,UAAkB;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,gBAAgB,GAAG,kFAAkF,CAAC;IAC5G,IAAI,cAAsC,CAAC;IAC3C,OAAO,CAAC,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,YAAY,CAAC;QAChC,IAAI,QAAgC,CAAC;QACrC,OAAO,CAAC,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YAChC,IAAI,GAAG,EAAE,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,CAAC;QACL,CAAC;IACL,CAAC;IACD,0DAA0D;IAC1D,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC7D,MAAM,WAAW,GAAG,6DAA6D,CAAC;QAClF,IAAI,SAAiC,CAAC;QACtC,OAAO,CAAC,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACzD,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACjC,IAAI,GAAG,EAAE,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,mBAAmB,CACxB,KAAiC;IAEjC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA8C,CAAC;IACjF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,MAAM,GAA+B,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,MAAM,WAAW,GAAG,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,CAAC,WAAmB,EAAQ,EAAE;QACxC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YAChB,OAAO;QACX,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YAChB,OAAO;QACX,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC1B,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;YACpE,IAAI,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;gBACtC,KAAK,CAAC,WAAW,CAAC,CAAC;YACvB,CAAC;QACL,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,IAAI,EAAE,CAAC;YACP,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,WAAW,EAAE,CAAC;QACpC,KAAK,CAAC,WAAW,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAW;IACvC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAmB,EAAE,MAAiB;IACjE,IAAI,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC;QACxC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC;IACjG,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,WAAW,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,GAAG,GAAG,GAAG,MAAM,CAAC;IACvE,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,QAA4B;IACxD,MAAM,OAAO,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACxC,IAAI,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,CAAC;QACxD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,EAAE,IAAmB,EAAiB,EAAE;IACrE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;IACpC,MAAM,UAAU,GAAG,MAAM,QAAQ,CAC7B,gBAAgB,EAChB,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAA6B,EAC3D,IAAI,CAAC,SAAS,CACjB,CAAC;IACF,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;QACtB,oBAAoB,CAAC;YACjB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,YAAY,IAAI,CAAC,CAAC;YAClD,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,CAAC;YACtC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,CAAC;YAC1C,QAAQ,EAAE,UAAU,CAAC,QAAQ;SACV,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,gBAAgB,CAAC;QAC7D,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,oBAAoB,CAAC;QACjB,OAAO,EAAE,IAAI;QACb,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,YAAY,IAAI,CAAC,CAAC;QAClD,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,CAAC;QACtC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,CAAC;QAC1C,QAAQ,EAAE,UAAU,CAAC,QAAQ;KACV,CAAC,CAAC;IACzB,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,6BAA6B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7E,OAAO;IACX,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QACxE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC7E,IAAI,SAAS,EAAE,CAAC;QACZ,MAAM,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,YAAY,GAAG,mBAAmB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3D,IAAI,iBAA4G,CAAC;IACjH,IAAI,YAA6D,CAAC;IAClE,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;YAC1F,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1D,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;QACpF,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;YAC1F,IAAI,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC;oBAClC,KAAK,EAAE,MAAM;oBACb,SAAS,EAAE,QAAQ;oBACnB,YAAY,EAAE,IAAI,CAAC,WAAW,KAAK,IAAI;oBACvC,qBAAqB,EAAE,IAAI,CAAC,qBAAqB,KAAK,KAAK;oBAC3D,SAAS,EAAE,SAAS,KAAK,SAAS;oBAClC,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI;oBAC9B,OAAO,EAAE,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC;wBAC1F,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;wBAC1B,CAAC,CAAC,MAAO;iBAChB,CAAC,CAAC;gBACH,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;oBACrB,iBAAiB,GAAG;wBAChB,IAAI;wBACJ,MAAM,EAAE,MAA4C;qBACvD,CAAC;oBACF,MAAM;gBACV,CAAC;gBACD,IAAI,SAAS,EAAE,CAAC;oBACZ,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACzF,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;oBAClG,CAAC;oBACD,IAAI,MAAM,EAAE,CAAC;wBACT,MAAM,eAAe,GAAG,sBAAsB,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;wBACtE,MAAM,kBAAkB,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;wBACvE,MAAM,EAAE,CAAC,SAAS,CAAC,eAAe,EAAE,cAAc,CAAC,kBAAkB,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;oBACnG,CAAC;oBACD,mBAAmB,IAAI,CAAC,CAAC;gBAC7B,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,YAAY,GAAG;oBACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;iBAChE,CAAC;gBACF,MAAM;YACV,CAAC;QACL,CAAC;IACL,CAAC;YAAS,CAAC;QACP,IAAI,SAAS,IAAI,CAAC,YAAY,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACnD,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/C,MAAM,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,aAAa,CAAC;QAC7E,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,QAAQ,KAAK,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,iBAAiB,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,sBAAsB,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;eAC9D,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE;eACzC,WAAW,CAAC;QACnB,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YAC5B,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,2BAA2B,KAAK,KAAK,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjH,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACZ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CACnB,WAAW,UAAU,CAAC,KAAK,CAAC,MAAM,iCAAiC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,IAAI,SAAS,KAAK,mBAAmB,0CAA0C,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,CACrO,CAAC,CAAC;QACH,OAAO;IACX,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,UAAU,CAAC,KAAK,CAAC,MAAM,8BAA8B,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;AACxI,CAAC,CAAC"}
+{"version":3,"file":"reason.js","sourceRoot":"","sources":["../../src/commands/reason.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACxE,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;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAoB,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AA8B5C,8EAA8E;AAC9E,SAAS,cAAc,CAAC,UAAkB,EAAE,MAAc;IACtD,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACxC,OAAO,UAAU,CAAC;IACtB,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAW;IACvC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,OAAO,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAC5E,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAmB;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC9B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO;QACtC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;YAC7C,KAAK,CAAC,GAAG,CAAC,CAAC;QACf,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,KAAa,EAAE,MAA+B,EAAE,IAAiB;IACrF,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAY,CAAC;QAChC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,MAA+B;IAChE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAAC,KAAmB;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACvD,4EAA4E;IAC5E,4EAA4E;IAC5E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,OAAO,mBAAmB,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB;IACvC,OAAO,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC;QACxF,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QAC1B,CAAC,CAAC,MAAO,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,qBAAqB,CAChC,IAAgB,EAChB,MAA+B,EAC/B,OAAe,EACf,IAAmB;IAEnB,MAAM,OAAO,GAAG,mBAAmB,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC;YAClC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;YACpC,SAAS,EAAE,OAAO;YAClB,YAAY,EAAE,IAAI,CAAC,WAAW,KAAK,IAAI;YACvC,qBAAqB,EAAE,IAAI,CAAC,qBAAqB,KAAK,KAAK;YAC3D,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC;SAChC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAA4C,EAAE,CAAC;QAC1E,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,EAAE,IAAmB,EAAiB,EAAE;IACrE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QACzE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;IACpC,4EAA4E;IAC5E,8EAA8E;IAC9E,qEAAqE;IACrE,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAC3B,YAAY,EACZ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAA6B,EAC3D,IAAI,CAAC,SAAS,CACjB,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,oBAAoB,CAAC;YACjB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,CAAC;YAChD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;YACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAC;YACxC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;SAC9B,CAAC,CAAC;QACH,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,gBAAgB,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,oBAAoB,CAAC;QACjB,OAAO,EAAE,IAAI;QACb,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,CAAC;QAChD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;QACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAC;QACxC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC9B,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,6BAA6B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7E,OAAO;IACX,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,qEAAqE;IACrE,6EAA6E;IAC7E,qEAAqE;IACrE,MAAM,SAAS,GAAG,UAAU,KAAK,SAAS,CAAC;IAC3C,MAAM,OAAO,GAAG,SAAS;QACrB,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC;QACzC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,iBAAoF,CAAC;IACzF,IAAI,YAAyD,CAAC;IAC9D,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC;QACD,0EAA0E;QAC1E,qEAAqE;QACrE,4CAA4C;QAC5C,MAAM,YAAY,GAAG,MAAM,qBAAqB,CAAC;YAC7C,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACpD,SAAS,EAAE,OAAO;YAClB,mEAAmE;YACnE,4CAA4C;YAC5C,YAAY,EAAE,KAAK;YACnB,qBAAqB,EAAE,IAAI,CAAC,qBAAqB,KAAK,KAAK;YAC3D,SAAS;YACT,gEAAgE;YAChE,6DAA6D;YAC7D,qDAAqD;YACrD,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS;YACxC,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI;YAC9B,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,OAAS,CAAC;SAClD,CAAC,CAAC;QACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnE,0EAA0E;QAC1E,8DAA8D;QAC9D,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,YAAY,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,4CAA4C,EAAE,CAAC;gBACxF,MAAM;YACV,CAAC;YACD,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9D,YAAY,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;gBACxD,MAAM;YACV,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;gBACrB,iBAAiB,GAAG,SAAS;oBACzB,CAAC,CAAC,CAAC,MAAM,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;2BACrD,EAAE,IAAI,EAAE,MAAM,EAAE,MAA4C,EAAE;oBACrE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAA4C,EAAE,CAAC;gBACrE,MAAM;YACV,CAAC;YACD,IAAI,UAAU,EAAE,CAAC;gBACb,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACzF,YAAY,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,4EAA4E,EAAE,CAAC;oBACxH,MAAM;gBACV,CAAC;gBACD,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,eAAe,GAAG,sBAAsB,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;oBACtE,MAAM,kBAAkB,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;oBACvE,MAAM,EAAE,CAAC,SAAS,CAAC,eAAe,EAAE,cAAc,CAAC,kBAAkB,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC7F,CAAC;gBACD,mBAAmB,IAAI,CAAC,CAAC;YAC7B,CAAC;QACL,CAAC;QACD,8EAA8E;QAC9E,IAAI,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACpD,MAAM,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;YAC1F,MAAM,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAChD,MAAM,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,YAAY,GAAG,YAAY,IAAI;YAC3B,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAChE,CAAC;IACN,CAAC;YAAS,CAAC;QACP,MAAM,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,iBAAiB,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1C,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YAC5B,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,2BAA2B,KAAK,KAAK,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjH,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACb,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CACnB,WAAW,QAAQ,CAAC,KAAK,CAAC,MAAM,iCAAiC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,UAAU,CAAC,IAAI,UAAU,KAAK,mBAAmB,0CAA0C,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,CACrO,CAAC,CAAC;QACH,OAAO;IACX,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,QAAQ,CAAC,KAAK,CAAC,MAAM,iCAAiC,OAAO,CAAC,MAAM,oBAAoB,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3K,CAAC,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
     "name": "@oml/cli",
     "description": "The cli specific package",
-    "version": "0.19.3",
+    "version": "0.20.0",
     "type": "module",
     "engines": {
         "node": ">=20.10.0",
@@ -22,8 +22,8 @@
     },
     "dependencies": {
         "@oml/platform": "^0.8.0",
-        "@oml/reasoner": "^0.3.0",
-        "@oml/server": "0.19.3",
+        "@oml/reasoner": "^0.4.0",
+        "@oml/server": "0.20.0",
         "chalk": "~5.3.0",
         "chevrotain": "11.1.2",
         "commander": "~11.1.0",

package/src/cli.ts

@@ -168,16 +168,15 @@ export async function runCli(argv: string[] = process.argv): Promise<void> {
             try {
                 const authToken = resolveServerRequestToken();
                 const cliOpts = args[0] as Record<string, unknown> | undefined ?? {};
-                const wsSettings = await readWorkspaceSettings(process.cwd());
-                const md = cliOpts['md'] ?? wsSettings.defaults?.render?.md;
-                const web = cliOpts['web'] ?? wsSettings.defaults?.render?.web;
+                const md = cliOpts['md'];
+                const web = cliOpts['web'];
                 if (!md) {
-                    throw new CliExitError('Missing required option: -m, --md <input-folder>. Provide it on the command line or set defaults.render.md in .oml/settings.yml.');
+                    throw new CliExitError('Missing required option: -m, --md <input-folder>. Provide it on the command line or set defaults.render in .oml/settings.yml.');
                 }
                 if (!web) {
-                    throw new CliExitError('Missing required option: -b, --web <output-folder>. Provide it on the command line or set defaults.render.web in .oml/settings.yml.');
+                    throw new CliExitError('Missing required option: -b, --web <output-folder>. Provide it on the command line or set defaults.render in .oml/settings.yml.');
                 }
-                const context = cliOpts['context'] ?? wsSettings.defaults?.render?.context;
+                const context = cliOpts['context'];
                 await renderAction({ md, web, context, authToken } as Parameters<typeof renderAction>[0]);
                 done();
             } catch (err) {
@@ -197,10 +196,9 @@ export async function runCli(argv: string[] = process.argv): Promise<void> {
             try {
                 const authToken = resolveServerRequestToken();
                 const cliOpts = args[0] as Record<string, unknown> | undefined ?? {};
-                const wsSettings = await readWorkspaceSettings(process.cwd());
-                const owl = cliOpts['owl'] ?? wsSettings.defaults?.build?.owl;
+                const owl = cliOpts['owl'];
                 if (!owl) {
-                    throw new CliExitError('Missing required option: -o, --owl <dir>. Provide it on the command line or set defaults.build.owl in .oml/settings.yml.');
+                    throw new CliExitError('Missing required option: -o, --owl <dir>. Provide it on the command line or set defaults.export in .oml/settings.yml.');
                 }
                 await exportAction({
                     ...cliOpts,
@@ -236,22 +234,28 @@ export async function runCli(argv: string[] = process.argv): Promise<void> {
 
     program
         .command('reason')
-        .option('-o, --owl <dir>', 'persist assertions/entailments to folder (default: check-only with no persistence)')
+        .option('-o, --owl [dir]', 'persist assertions/entailments to folder; pass -o without a value to use build/owl (omit entirely for a fast check-only run)')
         .option('-f, --format <ext>', 'RDF format extension: ttl, trig, nt, nq, or n3', 'ttl')
         .option('--pretty', 'pretty-print Turtle/TriG output with blank lines between top-level blocks (only when --owl is provided)')
         .option('-u, --unique-names-assumption [value]', 'enable or disable the unique names assumption', parseBooleanOption, true)
         .option('-e, --explanation [value]', 'enable or disable inconsistency explanations', parseBooleanOption, false)
-        .description('run workspace consistency checks (or persist entailments with --owl)')
+        .option('-t, --hoist', 'store each entailment once in the lowest importing graph (entailment graphs import their imports\' entailment graphs); shrinks output but each file requires its import closure to be loaded (only with --owl)')
+        .description('run workspace consistency checks (fast check-only by default; persist entailments with --owl)')
         .action(async (opts) => {
             const done = trackCommand('oml-reason');
             try {
                 const { reasonAction } = await import('./commands/reason.js');
                 const authToken = resolveServerRequestToken();
                 const cliOpts = opts as Record<string, unknown>;
-                const wsSettings = await readWorkspaceSettings(process.cwd());
-                const owl = cliOpts['owl'] ?? wsSettings.defaults?.build?.owl;
-                if (!owl) {
-                    throw new CliExitError('Missing required option: -o, --owl <dir>. Provide it on the command line or set defaults.build.owl in .oml/settings.yml.');
+                const owlOpt = cliOpts['owl'];
+                // No -o flag => fast check-only (reasons only import-graph roots).
+                // -o without a value => persist to build/owl.
+                // -o <dir> => persist to <dir>.
+                let owl: string | undefined;
+                if (owlOpt === true) {
+                    owl = 'build/owl';
+                } else if (typeof owlOpt === 'string' && owlOpt.trim().length > 0) {
+                    owl = owlOpt;
                 }
                 await reasonAction({ ...cliOpts, owl, authToken } as Parameters<typeof reasonAction>[0]);
                 done();
@@ -297,10 +301,47 @@ export async function runCli(argv: string[] = process.argv): Promise<void> {
         await assertServerRunning();
     });
 
-    await program.parseAsync(argv);
+    await program.parseAsync(await applyWorkspaceDefaults(argv));
     await updateCheck;
 }
 
+/** Commands whose `defaults.<command>` param line is applied before command-line arguments. */
+const DEFAULTABLE_COMMANDS = new Set(['lint', 'render', 'export', 'codegen', 'reason', 'validate']);
+
+/**
+ * Inject `defaults.<command>` from .oml/settings.yml as argv tokens placed right after the
+ * subcommand name (before the user's arguments). Commander resolves a repeated option to its
+ * last occurrence, so any option the user passes on the command line overrides the same option
+ * from the defaults line while the remaining defaults still apply.
+ */
+async function applyWorkspaceDefaults(argv: string[]): Promise<string[]> {
+    const commandIndex = argv.findIndex((token, i) => i >= 2 && DEFAULTABLE_COMMANDS.has(token));
+    if (commandIndex === -1) {
+        return argv;
+    }
+    const settings = await readWorkspaceSettings(process.cwd());
+    const line = settings.defaults?.[argv[commandIndex]];
+    if (typeof line !== 'string' || line.trim().length === 0) {
+        return argv;
+    }
+    const tokens = tokenizeParams(line);
+    if (tokens.length === 0) {
+        return argv;
+    }
+    return [...argv.slice(0, commandIndex + 1), ...tokens, ...argv.slice(commandIndex + 1)];
+}
+
+/** Split a default param line into argv tokens, honoring single/double quotes around values. */
+function tokenizeParams(line: string): string[] {
+    const tokens: string[] = [];
+    const pattern = /"([^"]*)"|'([^']*)'|(\S+)/g;
+    let match: RegExpExecArray | null;
+    while ((match = pattern.exec(line)) !== null) {
+        tokens.push(match[1] ?? match[2] ?? match[3]);
+    }
+    return tokens;
+}
+
 function assertNoMalformedShortFlags(argv: string[]): void {
     // Enforce explicit short-flag syntax (`-m value`) and long flags (`--md`).
     // This prevents accidental typos like `-md`, which Commander interprets as `-m d`.