@angriff36/manifest 2.18.0

package/packages/cli/dist/commands/config.js

@@ -0,0 +1,172 @@
+/**
+ * manifest config
+ *
+ * Inspection and validation surface for manifest.config.{yaml,yml,ts,js}.
+ *
+ * Subcommands:
+ *   - validate         JSON-schema validate the build config (yaml)
+ *   - print-defaults   Print the canonical defaults snapshot
+ *   - inspect          Print the effective config = defaults + user overrides
+ *                      (alias: print-effective)
+ *
+ * The effective config output is deterministic and key-sorted so downstream
+ * repos can snapshot it in CI and detect drift.
+ */
+import chalk from 'chalk';
+import { getActiveConfigPath, loadAllConfigs, } from '../utils/config.js';
+import { validateConfig, formatDiagnostic, } from '../utils/config-validate.js';
+/**
+ * Lazy load the canonical defaults snapshot from the main package. The
+ * defaults live in src/manifest/projections/nextjs/defaults.ts and are
+ * re-exported from @angriff36/manifest/projections/nextjs.
+ */
+async function loadDefaultsSnapshot() {
+    const mod = await import('@angriff36/manifest/projections/nextjs');
+    return mod.getManifestDefaultsSnapshot();
+}
+/**
+ * Stable, key-sorted JSON. The output is consumed by `git diff` in CI
+ * snapshot workflows, so any reordering would create false positives.
+ */
+function stableStringify(value) {
+    return JSON.stringify(value, sortKeys, 2);
+}
+function sortKeys(_key, value) {
+    if (value && typeof value === 'object' && !Array.isArray(value)) {
+        return Object.keys(value)
+            .sort()
+            .reduce((acc, k) => {
+            acc[k] = value[k];
+            return acc;
+        }, {});
+    }
+    return value;
+}
+// ============================================================================
+// Subcommand: validate
+// ============================================================================
+export async function configValidateCommand(options = {}) {
+    const cwd = options.cwd ?? process.cwd();
+    const activePath = await getActiveConfigPath(cwd);
+    const { build } = await loadAllConfigs(cwd);
+    // Validate only the YAML-shaped portion. The TS runtime config is loaded
+    // structurally by config.ts; its build sub-block is merged in below.
+    const result = await validateConfig(build);
+    if (options.json) {
+        process.stdout.write(JSON.stringify({
+            configPath: activePath,
+            ok: result.ok,
+            diagnostics: result.diagnostics,
+        }, null, 2) + '\n');
+        if (!result.ok)
+            process.exitCode = 1;
+        return;
+    }
+    if (!activePath) {
+        console.log(chalk.gray('No manifest.config.* file found — defaults apply.'));
+    }
+    else {
+        console.log(chalk.gray(`Config: ${activePath}`));
+    }
+    if (result.ok) {
+        console.log(chalk.green('Config is valid.'));
+        return;
+    }
+    console.error(chalk.red(`Config has ${result.diagnostics.length} violation(s):`));
+    for (const d of result.diagnostics) {
+        console.error(chalk.red(formatDiagnostic(d)));
+    }
+    process.exitCode = 1;
+}
+// ============================================================================
+// Subcommand: print-defaults
+// ============================================================================
+export async function configPrintDefaultsCommand(options = {}) {
+    const snapshot = await loadDefaultsSnapshot();
+    if (options.json) {
+        process.stdout.write(stableStringify(snapshot) + '\n');
+        return;
+    }
+    console.log(chalk.bold('Manifest projection defaults'));
+    console.log(chalk.gray('(Source of truth: src/manifest/projections/nextjs/defaults.ts)'));
+    console.log('');
+    console.log(stableStringify(snapshot));
+}
+// ============================================================================
+// Subcommand: inspect (alias: print-effective)
+// ============================================================================
+/**
+ * Merge defaults under user-provided projection options. Only keys that
+ * exist as user overrides win; unset keys fall through to defaults. This
+ * mirrors the per-key fall-through in NextJsProjection.normalizeOptions.
+ */
+function mergeNextJsOptions(defaults, user) {
+    if (!user)
+        return { ...defaults };
+    const out = { ...defaults };
+    for (const [k, v] of Object.entries(user)) {
+        if (v === undefined)
+            continue;
+        // Nested objects (dispatcher, concreteCommandRoutes, tenantProvider)
+        // are merged one level deep — every other key is a primitive.
+        if (v && typeof v === 'object' && !Array.isArray(v) &&
+            defaults[k] && typeof defaults[k] === 'object' && !Array.isArray(defaults[k])) {
+            out[k] = mergeNextJsOptions(defaults[k], v);
+        }
+        else {
+            out[k] = v;
+        }
+    }
+    return out;
+}
+export async function configInspectCommand(options = {}) {
+    const cwd = options.cwd ?? process.cwd();
+    const activePath = await getActiveConfigPath(cwd);
+    const { build } = await loadAllConfigs(cwd);
+    const snapshot = await loadDefaultsSnapshot();
+    const userNextJsOptions = build.projections?.nextjs?.options;
+    const userRoutesOptions = build.projections?.routes?.options;
+    // Nested defaults inlined under nextjs options so the merge picks them
+    // up at the right level (the dispatcher block is a sibling of authProvider,
+    // not a top-level key).
+    const nextjsDefaults = {
+        ...snapshot.nextjs,
+        tenantProvider: snapshot.tenantProvider,
+        dispatcher: snapshot.dispatcher,
+        concreteCommandRoutes: snapshot.concreteCommandRoutes,
+    };
+    const effective = {
+        configPath: activePath,
+        build: {
+            src: build.src ?? '**/*.manifest',
+            output: build.output ?? 'ir/',
+            ...(build.prismaSchema ? { prismaSchema: build.prismaSchema } : {}),
+        },
+        projections: {
+            nextjs: {
+                output: build.projections?.nextjs?.output ?? 'generated/',
+                options: mergeNextJsOptions(nextjsDefaults, userNextJsOptions),
+            },
+            routes: {
+                output: build.projections?.routes?.output
+                    ?? 'generated/',
+                options: mergeNextJsOptions(snapshot.routes, userRoutesOptions),
+            },
+        },
+    };
+    if (options.json !== false) {
+        // Default to JSON for inspect — the output is meant for CI snapshots.
+        process.stdout.write(stableStringify(effective) + '\n');
+        return;
+    }
+    console.log(chalk.bold('Effective Manifest configuration'));
+    if (activePath) {
+        console.log(chalk.gray(`Source: ${activePath}`));
+    }
+    else {
+        console.log(chalk.gray('Source: defaults only (no config file found)'));
+    }
+    console.log('');
+    console.log(stableStringify(effective));
+}
+//# sourceMappingURL=config.js.map

package/packages/cli/dist/commands/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/commands/config.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACL,mBAAmB,EACnB,cAAc,GAEf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,cAAc,EACd,gBAAgB,GACjB,MAAM,6BAA6B,CAAC;AAOrC;;;;GAIG;AACH,KAAK,UAAU,oBAAoB;IACjC,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,wCAAwC,CAAC,CAAC;IACnE,OAAO,GAAG,CAAC,2BAA2B,EAAE,CAAC;AAC3C,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAc;IAC5C,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC;aACjD,IAAI,EAAE;aACN,MAAM,CAA0B,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC1C,GAAG,CAAC,CAAC,CAAC,GAAI,KAAiC,CAAC,CAAC,CAAC,CAAC;YAC/C,OAAO,GAAG,CAAC;QACb,CAAC,EAAE,EAAE,CAAC,CAAC;IACX,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,UAAgC,EAAE;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAClD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;IAE5C,yEAAyE;IACzE,qEAAqE;IACrE,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC;IAE3C,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,IAAI,CAAC,SAAS,CACZ;YACE,UAAU,EAAE,UAAU;YACtB,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC,EACD,IAAI,EACJ,CAAC,CACF,GAAG,IAAI,CACT,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC,CAAC;IAC/E,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAC7C,OAAO;IACT,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,WAAW,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC;IAClF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACvB,CAAC;AAED,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,UAAgC,EAAE;IAElC,MAAM,QAAQ,GAAG,MAAM,oBAAoB,EAAE,CAAC;IAC9C,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC;QACvD,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC,CAAC;IAC1F,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,+EAA+E;AAC/E,+CAA+C;AAC/C,+EAA+E;AAE/E;;;;GAIG;AACH,SAAS,kBAAkB,CACzB,QAAiC,EACjC,IAAyC;IAEzC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,GAAG,QAAQ,EAAE,CAAC;IAClC,MAAM,GAAG,GAA4B,EAAE,GAAG,QAAQ,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,qEAAqE;QACrE,8DAA8D;QAC9D,IACE,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAC/C,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC7E,CAAC;YACD,GAAG,CAAC,CAAC,CAAC,GAAG,kBAAkB,CACzB,QAAQ,CAAC,CAAC,CAA4B,EACtC,CAA4B,CAC7B,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAqBD,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,UAAgC,EAAE;IAC3E,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAClD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,oBAAoB,EAAE,CAAC;IAE9C,MAAM,iBAAiB,GAAG,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,OAExC,CAAC;IACd,MAAM,iBAAiB,GAAI,KAAK,CAAC,WAC0B,EAAE,MAAM,EAAE,OAExD,CAAC;IAEd,uEAAuE;IACvE,4EAA4E;IAC5E,wBAAwB;IACxB,MAAM,cAAc,GAA4B;QAC9C,GAAG,QAAQ,CAAC,MAAM;QAClB,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB;KACtD,CAAC;IAEF,MAAM,SAAS,GAAoB;QACjC,UAAU,EAAE,UAAU;QACtB,KAAK,EAAE;YACL,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,eAAe;YACjC,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,KAAK;YAC7B,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpE;QACD,WAAW,EAAE;YACX,MAAM,EAAE;gBACN,MAAM,EAAE,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,IAAI,YAAY;gBACzD,OAAO,EAAE,kBAAkB,CAAC,cAAc,EAAE,iBAAiB,CAAC;aAC/D;YACD,MAAM,EAAE;gBACN,MAAM,EAAG,KAAK,CAAC,WAA+D,EAAE,MAAM,EAAE,MAAM;uBACzF,YAAY;gBACjB,OAAO,EAAE,kBAAkB,CAAC,QAAQ,CAAC,MAAiC,EAAE,iBAAiB,CAAC;aAC3F;SACF;KACF,CAAC;IAEF,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3B,sEAAsE;QACtE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC;QACxD,OAAO;IACT,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC,CAAC;IAC5D,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;AAC1C,CAAC"}

package/packages/cli/dist/commands/coverage.d.ts

@@ -0,0 +1,55 @@
+/**
+ * manifest coverage
+ *
+ * Analyzes conformance and unit test results to report which commands, guards,
+ * policies, and constraint branches have been exercised. Produces a coverage
+ * summary with uncovered paths highlighted.
+ *
+ * Integrates with the governance audit suite to enforce minimum coverage
+ * thresholds via --min-coverage and --strict.
+ *
+ * Coverage categories:
+ *   commands     — Entity.command pairs defined in IR
+ *   guards       — Per-command guard expressions
+ *   policies     — Named authorization policies
+ *   constraints  — Constraint branches (by code + severity)
+ */
+export interface CoverablePath {
+    category: 'command' | 'guard' | 'policy' | 'constraint';
+    id: string;
+    entity?: string;
+    detail?: string;
+    covered: boolean;
+}
+export interface CoverageSummary {
+    total: number;
+    covered: number;
+    uncovered: number;
+    percentage: number;
+}
+export interface CoverageCategory {
+    name: string;
+    summary: CoverageSummary;
+    paths: CoverablePath[];
+}
+export interface CoverageResult {
+    overall: CoverageSummary;
+    categories: CoverageCategory[];
+    uncoveredPaths: CoverablePath[];
+}
+export interface CoverageOptions {
+    /** Path to compiled IR JSON file. */
+    ir?: string;
+    /** Source .manifest file to compile (alternative to --ir). */
+    source?: string;
+    /** Root directory to scan for test files. */
+    root?: string;
+    /** Output format. */
+    format?: 'text' | 'json';
+    /** Minimum overall coverage percentage to pass. */
+    minCoverage?: number;
+    /** Exit non-zero when below threshold. */
+    strict?: boolean;
+}
+export declare function coverageCommand(options?: CoverageOptions): Promise<CoverageResult>;
+//# sourceMappingURL=coverage.d.ts.map

package/packages/cli/dist/commands/coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/commands/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAmGH,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,YAAY,CAAC;IACxD,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,eAAe,CAAC;IACzB,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,cAAc,EAAE,aAAa,EAAE,CAAC;CACjC;AAMD,MAAM,WAAW,eAAe;IAC9B,qCAAqC;IACrC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,8DAA8D;IAC9D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6CAA6C;IAC7C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qBAAqB;IACrB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,mDAAmD;IACnD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,0CAA0C;IAC1C,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAyUD,wBAAsB,eAAe,CACnC,OAAO,GAAE,eAAoB,GAC5B,OAAO,CAAC,cAAc,CAAC,CA+CzB"}

package/packages/cli/dist/commands/coverage.js

@@ -0,0 +1,343 @@
+/**
+ * manifest coverage
+ *
+ * Analyzes conformance and unit test results to report which commands, guards,
+ * policies, and constraint branches have been exercised. Produces a coverage
+ * summary with uncovered paths highlighted.
+ *
+ * Integrates with the governance audit suite to enforce minimum coverage
+ * thresholds via --min-coverage and --strict.
+ *
+ * Coverage categories:
+ *   commands     — Entity.command pairs defined in IR
+ *   guards       — Per-command guard expressions
+ *   policies     — Named authorization policies
+ *   constraints  — Constraint branches (by code + severity)
+ */
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { glob } from 'glob';
+import chalk from 'chalk';
+/* ------------------------------------------------------------------ */
+/*  IR loading                                                         */
+/* ------------------------------------------------------------------ */
+async function loadIR(irPath) {
+    const raw = await fs.readFile(irPath, 'utf-8');
+    return JSON.parse(raw);
+}
+async function compileSourceToIR(sourcePath) {
+    // Dynamic import to keep the CLI lightweight when IR is pre-compiled.
+    const { compileToIR } = await import('@angriff36/manifest/ir-compiler');
+    const source = await fs.readFile(sourcePath, 'utf-8');
+    const { ir, diagnostics } = await compileToIR(source);
+    if (!ir) {
+        const errors = diagnostics
+            .filter((d) => d.severity === 'error')
+            .map((d) => d.message)
+            .join('; ');
+        throw new Error(`Compilation failed: ${errors}`);
+    }
+    return ir;
+}
+/* ------------------------------------------------------------------ */
+/*  Extract coverable paths from IR                                    */
+/* ------------------------------------------------------------------ */
+function extractPaths(ir) {
+    const paths = [];
+    // Commands
+    for (const cmd of ir.commands) {
+        const entity = cmd.entity ?? '__global__';
+        paths.push({
+            category: 'command',
+            id: `${entity}.${cmd.name}`,
+            entity,
+            covered: false,
+        });
+        // Guards (per-command, indexed)
+        for (let i = 0; i < cmd.guards.length; i++) {
+            paths.push({
+                category: 'guard',
+                id: `${entity}.${cmd.name}:guard[${i}]`,
+                entity,
+                detail: `guard index ${i} on ${entity}.${cmd.name}`,
+                covered: false,
+            });
+        }
+        // Command-level constraints
+        if (cmd.constraints) {
+            for (const c of cmd.constraints) {
+                const severity = c.severity ?? 'block';
+                paths.push({
+                    category: 'constraint',
+                    id: `${entity}.${cmd.name}:constraint:${c.code}(${severity})`,
+                    entity,
+                    detail: `${c.code} [${severity}] on command ${entity}.${cmd.name}`,
+                    covered: false,
+                });
+            }
+        }
+    }
+    // Entity-level constraints
+    for (const ent of ir.entities) {
+        for (const c of ent.constraints) {
+            const severity = c.severity ?? 'block';
+            paths.push({
+                category: 'constraint',
+                id: `${ent.name}:constraint:${c.code}(${severity})`,
+                entity: ent.name,
+                detail: `${c.code} [${severity}] on entity ${ent.name}`,
+                covered: false,
+            });
+        }
+    }
+    // Policies
+    for (const pol of ir.policies) {
+        paths.push({
+            category: 'policy',
+            id: `policy:${pol.name}`,
+            entity: pol.entity,
+            detail: `${pol.action} policy "${pol.name}"`,
+            covered: false,
+        });
+    }
+    return paths;
+}
+/* ------------------------------------------------------------------ */
+/*  Scan test evidence                                                 */
+/* ------------------------------------------------------------------ */
+const RESULTS_GLOBS = ['**/conformance/expected/*.results.json'];
+const TEST_GLOBS = [
+    '**/*.test.ts',
+    '**/*.test.tsx',
+    '**/*.test.js',
+    '**/conformance/**/*.json',
+    '**/harness/**/*.json',
+];
+const IGNORED_DIRS = [
+    'node_modules/**',
+    'dist/**',
+    'dist-app/**',
+    '.next/**',
+    '.turbo/**',
+    '.tmp/**',
+];
+async function loadResultsFiles(root) {
+    const results = [];
+    for (const pattern of RESULTS_GLOBS) {
+        const matches = await glob(pattern, { cwd: root, absolute: true, ignore: IGNORED_DIRS });
+        for (const f of matches) {
+            try {
+                const raw = await fs.readFile(f, 'utf-8');
+                results.push(JSON.parse(raw));
+            }
+            catch {
+                // skip unreadable
+            }
+        }
+    }
+    return results;
+}
+async function collectTestCorpus(root) {
+    const files = new Set();
+    for (const pattern of TEST_GLOBS) {
+        const matches = await glob(pattern, { cwd: root, absolute: true, ignore: IGNORED_DIRS });
+        for (const f of matches)
+            files.add(f);
+    }
+    const buffers = [];
+    for (const file of files) {
+        try {
+            buffers.push(await fs.readFile(file, 'utf-8'));
+        }
+        catch {
+            // skip unreadable
+        }
+    }
+    return buffers.join('\n');
+}
+/* ------------------------------------------------------------------ */
+/*  Coverage resolution                                                */
+/* ------------------------------------------------------------------ */
+function markCoverage(paths, resultsFiles, testCorpus) {
+    // Build lookup sets from conformance results
+    const exercisedCommands = new Set();
+    const exercisedGuards = new Set();
+    const exercisedPolicies = new Set();
+    const exercisedConstraints = new Set();
+    for (const rf of resultsFiles) {
+        for (const tc of rf.testCases) {
+            if (tc.command) {
+                const entity = tc.command.entityName ?? tc.entity ?? '__global__';
+                const cmdId = `${entity}.${tc.command.name}`;
+                exercisedCommands.add(cmdId);
+                // Guard exercised if test expects guard failure
+                if (tc.expectedGuardFailure) {
+                    exercisedGuards.add(`${cmdId}:guard[${tc.expectedGuardFailure.index}]`);
+                }
+                // If test expects success on a guarded command, guard[0] is implicitly
+                // exercised (the passing path). Mark all guard indices we can infer.
+                if (tc.expectedResult?.success) {
+                    // The passing path exercises guard evaluation. We mark guard[0]
+                    // because at minimum the first guard must have been evaluated.
+                    exercisedGuards.add(`${cmdId}:guard[0]`);
+                }
+                // Policy exercised if test expects policy denial
+                if (tc.expectedPolicyDenial) {
+                    exercisedPolicies.add(`policy:${tc.expectedPolicyDenial.policyName}`);
+                }
+                if (tc.expectedResult?.deniedBy) {
+                    exercisedPolicies.add(`policy:${tc.expectedResult.deniedBy}`);
+                }
+            }
+            // Constraint failures
+            if (tc.expectedConstraintFailures) {
+                for (const cf of tc.expectedConstraintFailures) {
+                    // Match by constraint name prefix — severity suffix handled below
+                    exercisedConstraints.add(cf.constraintName);
+                }
+            }
+        }
+    }
+    // Mark coverage on each path
+    for (const p of paths) {
+        switch (p.category) {
+            case 'command':
+                // Covered if exercised by conformance results OR referenced in test corpus
+                p.covered = exercisedCommands.has(p.id) || testCorpus.includes(p.id);
+                break;
+            case 'guard':
+                // Covered if a test exercises this exact guard index OR referenced in tests
+                p.covered = exercisedGuards.has(p.id) || testCorpus.includes(p.id);
+                break;
+            case 'policy':
+                // Covered if a test exercises this policy (denial or passing path)
+                p.covered = exercisedPolicies.has(p.id) || testCorpus.includes(p.id);
+                break;
+            case 'constraint': {
+                // Covered if a test exercises this constraint code OR referenced in tests
+                const code = p.id.split(':constraint:')[1]?.split('(')[0] ?? '';
+                p.covered =
+                    exercisedConstraints.has(code) ||
+                        testCorpus.includes(code) ||
+                        testCorpus.includes(p.id);
+                break;
+            }
+        }
+    }
+}
+/* ------------------------------------------------------------------ */
+/*  Summary computation                                                */
+/* ------------------------------------------------------------------ */
+function computeSummary(paths) {
+    const total = paths.length;
+    const covered = paths.filter((p) => p.covered).length;
+    return {
+        total,
+        covered,
+        uncovered: total - covered,
+        percentage: total === 0 ? 100 : Math.round((covered / total) * 10000) / 100,
+    };
+}
+function buildResult(paths) {
+    const categoryNames = [
+        'command',
+        'guard',
+        'policy',
+        'constraint',
+    ];
+    const categories = categoryNames.map((name) => {
+        const catPaths = paths.filter((p) => p.category === name);
+        return {
+            name,
+            summary: computeSummary(catPaths),
+            paths: catPaths,
+        };
+    });
+    return {
+        overall: computeSummary(paths),
+        categories,
+        uncoveredPaths: paths.filter((p) => !p.covered),
+    };
+}
+/* ------------------------------------------------------------------ */
+/*  Text output formatting                                             */
+/* ------------------------------------------------------------------ */
+function formatText(result) {
+    console.log(chalk.bold('\nManifest Coverage Report'));
+    console.log('═'.repeat(50));
+    for (const cat of result.categories) {
+        if (cat.summary.total === 0)
+            continue;
+        const pctColor = cat.summary.percentage >= 80
+            ? chalk.green
+            : cat.summary.percentage >= 50
+                ? chalk.yellow
+                : chalk.red;
+        console.log(`\n${chalk.bold(cat.name)} — ${pctColor(`${cat.summary.percentage}%`)} ` +
+            `(${cat.summary.covered}/${cat.summary.total})`);
+        const uncovered = cat.paths.filter((p) => !p.covered);
+        if (uncovered.length > 0) {
+            for (const p of uncovered) {
+                console.log(`  ${chalk.red('✗')} ${p.id}${p.detail ? chalk.gray(` — ${p.detail}`) : ''}`);
+            }
+        }
+        else {
+            console.log(`  ${chalk.green('All paths covered')}`);
+        }
+    }
+    console.log('\n' + '═'.repeat(50));
+    const overallColor = result.overall.percentage >= 80
+        ? chalk.green
+        : result.overall.percentage >= 50
+            ? chalk.yellow
+            : chalk.red;
+    console.log(chalk.bold('Overall: ') +
+        overallColor(`${result.overall.percentage}%`) +
+        ` (${result.overall.covered}/${result.overall.total} paths covered)`);
+}
+/* ------------------------------------------------------------------ */
+/*  Public command                                                     */
+/* ------------------------------------------------------------------ */
+export async function coverageCommand(options = {}) {
+    const root = path.resolve(process.cwd(), options.root ?? '.');
+    // Resolve IR
+    let ir;
+    if (options.ir) {
+        ir = await loadIR(path.resolve(process.cwd(), options.ir));
+    }
+    else if (options.source) {
+        ir = await compileSourceToIR(path.resolve(process.cwd(), options.source));
+    }
+    else {
+        // Auto-detect: look for *.ir.json under root
+        const candidates = await glob('**/*.ir.json', {
+            cwd: root,
+            absolute: true,
+            ignore: ['node_modules/**', 'dist/**', '.next/**', '.turbo/**'],
+        });
+        if (candidates.length === 0) {
+            throw new Error('No IR file found. Supply --ir <path> or --source <manifest-file>.');
+        }
+        ir = await loadIR(candidates[0]);
+    }
+    // Extract coverable paths from IR
+    const paths = extractPaths(ir);
+    // Scan evidence
+    const [resultsFiles, testCorpus] = await Promise.all([
+        loadResultsFiles(root),
+        collectTestCorpus(root),
+    ]);
+    // Resolve coverage
+    markCoverage(paths, resultsFiles, testCorpus);
+    // Build result
+    const result = buildResult(paths);
+    // Output
+    if (options.format === 'json') {
+        console.log(JSON.stringify(result, null, 2));
+    }
+    else {
+        formatText(result);
+    }
+    return result;
+}
+//# sourceMappingURL=coverage.js.map

package/packages/cli/dist/commands/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../src/commands/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,KAAK,MAAM,OAAO,CAAC;AA4I1B,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,KAAK,UAAU,MAAM,CAAC,MAAc;IAClC,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAO,CAAC;AAC/B,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,UAAkB;IACjD,sEAAsE;IACtE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,iCAAiC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtD,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,MAAM,GAAG,WAAW;aACvB,MAAM,CAAC,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;aAC3D,GAAG,CAAC,CAAC,CAAsB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aAC1C,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,uBAAuB,MAAM,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,EAAQ,CAAC;AAClB,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,SAAS,YAAY,CAAC,EAAM;IAC1B,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,WAAW;IACX,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,YAAY,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,EAAE,EAAE,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE;YAC3B,MAAM;YACN,OAAO,EAAE,KAAK;SACf,CAAC,CAAC;QAEH,gCAAgC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,OAAO;gBACjB,EAAE,EAAE,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG;gBACvC,MAAM;gBACN,MAAM,EAAE,eAAe,CAAC,OAAO,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE;gBACnD,OAAO,EAAE,KAAK;aACf,CAAC,CAAC;QACL,CAAC;QAED,4BAA4B;QAC5B,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YACpB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC;oBACT,QAAQ,EAAE,YAAY;oBACtB,EAAE,EAAE,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,eAAe,CAAC,CAAC,IAAI,IAAI,QAAQ,GAAG;oBAC7D,MAAM;oBACN,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,gBAAgB,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE;oBAClE,OAAO,EAAE,KAAK;iBACf,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,YAAY;gBACtB,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,eAAe,CAAC,CAAC,IAAI,IAAI,QAAQ,GAAG;gBACnD,MAAM,EAAE,GAAG,CAAC,IAAI;gBAChB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,eAAe,GAAG,CAAC,IAAI,EAAE;gBACvD,OAAO,EAAE,KAAK;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,WAAW;IACX,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,QAAQ;YAClB,EAAE,EAAE,UAAU,GAAG,CAAC,IAAI,EAAE;YACxB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,YAAY,GAAG,CAAC,IAAI,GAAG;YAC5C,OAAO,EAAE,KAAK;SACf,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,MAAM,aAAa,GAAG,CAAC,wCAAwC,CAAC,CAAC;AAEjE,MAAM,UAAU,GAAG;IACjB,cAAc;IACd,eAAe;IACf,cAAc;IACd,0BAA0B;IAC1B,sBAAsB;CACvB,CAAC;AAEF,MAAM,YAAY,GAAG;IACnB,iBAAiB;IACjB,SAAS;IACT,aAAa;IACb,UAAU;IACV,WAAW;IACX,SAAS;CACV,CAAC;AAEF,KAAK,UAAU,gBAAgB,CAAC,IAAY;IAC1C,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;QACzF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAgB,CAAC,CAAC;YAC/C,CAAC;YAAC,MAAM,CAAC;gBACP,kBAAkB;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,IAAY;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;QACzF,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,kBAAkB;QACpB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,SAAS,YAAY,CACnB,KAAsB,EACtB,YAA2B,EAC3B,UAAkB;IAElB,6CAA6C;IAC7C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/C,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC9B,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YAC9B,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBACf,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,MAAM,IAAI,YAAY,CAAC;gBAClE,MAAM,KAAK,GAAG,GAAG,MAAM,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;gBAC7C,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAE7B,gDAAgD;gBAChD,IAAI,EAAE,CAAC,oBAAoB,EAAE,CAAC;oBAC5B,eAAe,CAAC,GAAG,CAAC,GAAG,KAAK,UAAU,EAAE,CAAC,oBAAoB,CAAC,KAAK,GAAG,CAAC,CAAC;gBAC1E,CAAC;gBACD,uEAAuE;gBACvE,qEAAqE;gBACrE,IAAI,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,CAAC;oBAC/B,gEAAgE;oBAChE,+DAA+D;oBAC/D,eAAe,CAAC,GAAG,CAAC,GAAG,KAAK,WAAW,CAAC,CAAC;gBAC3C,CAAC;gBAED,iDAAiD;gBACjD,IAAI,EAAE,CAAC,oBAAoB,EAAE,CAAC;oBAC5B,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,oBAAoB,CAAC,UAAU,EAAE,CAAC,CAAC;gBACxE,CAAC;gBACD,IAAI,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,CAAC;oBAChC,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC;YAED,sBAAsB;YACtB,IAAI,EAAE,CAAC,0BAA0B,EAAE,CAAC;gBAClC,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,0BAA0B,EAAE,CAAC;oBAC/C,kEAAkE;oBAClE,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;YACnB,KAAK,SAAS;gBACZ,2EAA2E;gBAC3E,CAAC,CAAC,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrE,MAAM;YAER,KAAK,OAAO;gBACV,4EAA4E;gBAC5E,CAAC,CAAC,OAAO,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACnE,MAAM;YAER,KAAK,QAAQ;gBACX,mEAAmE;gBACnE,CAAC,CAAC,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrE,MAAM;YAER,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,0EAA0E;gBAC1E,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAChE,CAAC,CAAC,OAAO;oBACP,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;wBAC9B,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;wBACzB,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5B,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,SAAS,cAAc,CAAC,KAAsB;IAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACtD,OAAO;QACL,KAAK;QACL,OAAO;QACP,SAAS,EAAE,KAAK,GAAG,OAAO;QAC1B,UAAU,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,GAAG,GAAG;KAC5E,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAsB;IACzC,MAAM,aAAa,GAAqC;QACtD,SAAS;QACT,OAAO;QACP,QAAQ;QACR,YAAY;KACb,CAAC;IAEF,MAAM,UAAU,GAAuB,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAChE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;QAC1D,OAAO;YACL,IAAI;YACJ,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;YACjC,KAAK,EAAE,QAAQ;SAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC;QAC9B,UAAU;QACV,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,SAAS,UAAU,CAAC,MAAsB;IACxC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC,CAAC;IACtD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC;YAAE,SAAS;QAEtC,MAAM,QAAQ,GACZ,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE;YAC1B,CAAC,CAAC,KAAK,CAAC,KAAK;YACb,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE;gBAC5B,CAAC,CAAC,KAAK,CAAC,MAAM;gBACd,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAElB,OAAO,CAAC,GAAG,CACT,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC,GAAG;YACxE,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,GAAG,CAChD,CAAC;QAEF,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnC,MAAM,YAAY,GAChB,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE;QAC7B,CAAC,CAAC,KAAK,CAAC,KAAK;QACb,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE;YAC/B,CAAC,CAAC,KAAK,CAAC,MAAM;YACd,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;IAElB,OAAO,CAAC,GAAG,CACT,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;QACvB,YAAY,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC;QAC7C,KAAK,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,iBAAiB,CACrE,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AAExE,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,UAA2B,EAAE;IAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;IAE9D,aAAa;IACb,IAAI,EAAM,CAAC;IACX,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;QACf,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1B,EAAE,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5E,CAAC;SAAM,CAAC;QACN,6CAA6C;QAC7C,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,cAAc,EAAE;YAC5C,GAAG,EAAE,IAAI;YACT,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,CAAC,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC;SAChE,CAAC,CAAC;QACH,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CACb,mEAAmE,CACpE,CAAC;QACJ,CAAC;QACD,EAAE,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,kCAAkC;IAClC,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAE/B,gBAAgB;IAChB,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACnD,gBAAgB,CAAC,IAAI,CAAC;QACtB,iBAAiB,CAAC,IAAI,CAAC;KACxB,CAAC,CAAC;IAEH,mBAAmB;IACnB,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;IAE9C,eAAe;IACf,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAElC,SAAS;IACT,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,UAAU,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/packages/cli/dist/commands/diagram.d.ts

@@ -0,0 +1,22 @@
+/**
+ * manifest diagram command
+ *
+ * Generates Mermaid diagrams from Manifest IR:
+ *   - ER diagrams (entity-relationship)
+ *   - State machine diagrams (from entity transitions)
+ *   - Sequence diagrams (from command execution flows)
+ *
+ * Accepts .manifest source files or precompiled .ir.json files.
+ * Outputs .mmd files (or optionally markdown-wrapped code blocks).
+ */
+export interface DiagramOptions {
+    output?: string;
+    type?: 'er' | 'state' | 'sequence' | 'all';
+    entity?: string;
+    markdown?: boolean;
+}
+/**
+ * Generate Mermaid diagrams from IR or .manifest source files.
+ */
+export declare function diagramCommand(source: string | undefined, options?: DiagramOptions): Promise<void>;
+//# sourceMappingURL=diagram.d.ts.map

package/packages/cli/dist/commands/diagram.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagram.d.ts","sourceRoot":"","sources":["../../src/commands/diagram.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAuCH,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO,GAAG,UAAU,GAAG,KAAK,CAAC;IAC3C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AA4DD;;GAEG;AACH,wBAAsB,cAAc,CAClC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAyGf"}