design-constraint-validator 1.0.0

package/cli/config.d.ts

@@ -0,0 +1,4 @@
+import { type Result } from './result.js';
+import type { DcvConfig } from './types.js';
+export declare function loadConfig(configPath?: string): Result<DcvConfig, string>;
+//# sourceMappingURL=config.d.ts.map

package/cli/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["config.ts"],"names":[],"mappings":"AAEA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,wBAAgB,UAAU,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CA6BzE"}

package/cli/config.js

@@ -0,0 +1,37 @@
+import { readFileSync, existsSync } from 'node:fs';
+import { validateConfig } from './config-schema.js';
+import { ok, err } from './result.js';
+export function loadConfig(configPath) {
+    const candidates = configPath ? [configPath] : [
+        'dcv.config.json',
+        'dcv.config.js',
+        '.dcvrc.json',
+        'package.json'
+    ];
+    for (const p of candidates) {
+        if (!existsSync(p))
+            continue;
+        try {
+            const rawTxt = readFileSync(p, 'utf8');
+            let raw = JSON.parse(rawTxt);
+            if (p === 'package.json' && raw && typeof raw === 'object') {
+                const pkg = raw;
+                if ('dcv' in pkg) {
+                    raw = pkg.dcv;
+                }
+                else {
+                    continue; // No dcv config in package.json
+                }
+            }
+            const { value, errors } = validateConfig(raw);
+            if (errors)
+                return err(`Config validation failed in ${p}:\n  - ${errors.join('\n  - ')}`);
+            return ok(value);
+        }
+        catch (e) {
+            const msg = e instanceof Error ? e.message : String(e);
+            return err(`Failed reading config ${p}: ${msg}`);
+        }
+    }
+    return ok({});
+}

package/cli/config.ts

@@ -0,0 +1,35 @@
+import { readFileSync, existsSync } from 'node:fs';
+import { validateConfig } from './config-schema.js';
+import { ok, err, type Result } from './result.js';
+import type { DcvConfig } from './types.js';
+
+export function loadConfig(configPath?: string): Result<DcvConfig, string> {
+  const candidates = configPath ? [configPath] : [
+    'dcv.config.json',
+    'dcv.config.js',
+    '.dcvrc.json',
+    'package.json'
+  ];
+  for (const p of candidates) {
+    if (!existsSync(p)) continue;
+    try {
+      const rawTxt = readFileSync(p, 'utf8');
+      let raw: unknown = JSON.parse(rawTxt);
+      if (p === 'package.json' && raw && typeof raw === 'object') {
+        const pkg = raw as Record<string, unknown>;
+        if ('dcv' in pkg) {
+          raw = pkg.dcv;
+        } else {
+          continue; // No dcv config in package.json
+        }
+      }
+      const { value, errors } = validateConfig(raw);
+      if (errors) return err(`Config validation failed in ${p}:\n  - ${errors.join('\n  - ')}`);
+      return ok(value!);
+    } catch (e) {
+      const msg = e instanceof Error ? e.message : String(e);
+      return err(`Failed reading config ${p}: ${msg}`);
+    }
+  }
+  return ok({});
+}

package/cli/dcv.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=dcv.d.ts.map

package/cli/dcv.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dcv.d.ts","sourceRoot":"","sources":["dcv.ts"],"names":[],"mappings":""}

package/cli/dcv.js

@@ -0,0 +1,86 @@
+#!/usr/bin/env node
+// Clean minimal DCV CLI entrypoint
+import yargs from 'yargs/yargs';
+import { hideBin } from 'yargs/helpers';
+import { spawnSync } from 'node:child_process';
+import { createRequire } from 'module';
+import path from 'node:path';
+import { setCommand, buildCommand, validateCommand, graphCommand, whyCommand, patchCommand, patchApplyCommand } from './commands/index.js';
+// Early intercept: experimental graph diff helper
+(() => {
+    const args = process.argv.slice(2);
+    if (args[0] === 'graph' && args[1] === 'diff') {
+        const pass = args.slice(2);
+        const require = createRequire(import.meta.url);
+        const tsx = (() => { try {
+            return require.resolve('tsx/dist/cli.mjs');
+        }
+        catch {
+            return path.resolve('node_modules/tsx/dist/cli.mjs');
+        } })();
+        const r = spawnSync(process.execPath, [tsx, path.resolve('scripts/graph-diff.ts'), ...pass], { stdio: 'inherit', env: process.env });
+        process.exit(r.status ?? 0);
+    }
+})();
+const cli = yargs(hideBin(process.argv))
+    .scriptName('dcv')
+    .parserConfiguration({ 'camel-case-expansion': false })
+    .option('quiet', { type: 'boolean' });
+cli.command('set <expressions..>', 'Set token values', y => y
+    .positional('expressions', { type: 'string', array: true })
+    .option('dry-run', { type: 'boolean', default: false })
+    .option('write', { type: 'boolean' })
+    .option('json', { type: 'string' })
+    .option('unset', { type: 'array', string: true })
+    .option('format', { type: 'string', choices: ['json', 'css', 'js'], default: 'json' })
+    .option('output', { type: 'string' })
+    .option('theme', { type: 'string' })
+    .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }), a => setCommand(a));
+cli.command('build', 'Build token outputs', y => y
+    .option('format', { type: 'string', choices: ['css', 'json', 'js'], default: 'css' })
+    .option('all-formats', { type: 'boolean', default: false })
+    .option('output', { type: 'string' })
+    .option('mapper', { type: 'string' })
+    .option('theme', { type: 'string' })
+    .option('dry-run', { type: 'boolean', default: false })
+    .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }), a => buildCommand(a));
+cli.command('validate', 'Validate constraints', y => y
+    .option('fail-on', { type: 'string', choices: ['off', 'warn', 'error'], default: 'error' })
+    .option('summary', { type: 'string', choices: ['none', 'table', 'json'], default: 'none' })
+    .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' })
+    .option('breakpoint', { type: 'string' })
+    .option('all-breakpoints', { type: 'boolean' })
+    .option('perf', { type: 'boolean', describe: 'Print timing info' })
+    .option('budget-total-ms', { type: 'number', describe: 'Fail if total validation exceeds this (ms)' })
+    .option('budget-per-bp-ms', { type: 'number', describe: 'Fail if any single breakpoint exceeds this (ms)' }), a => validateCommand(a));
+cli.command('graph', 'Generate dependency / constraint graph', y => y
+    .option('format', { type: 'string', choices: ['json', 'mermaid', 'dot', 'svg', 'png'], default: 'json' })
+    .option('bundle', { type: 'boolean', describe: 'When used with --hasse export mermaid+dot (+image if svg/png requested)' })
+    .option('hasse', { type: 'string' })
+    .option('filter-prefix', { type: 'string' })
+    .option('exclude-prefix', { type: 'string' })
+    .option('only-violations', { type: 'boolean' })
+    .option('highlight-violations', { type: 'boolean' })
+    .option('label-violations', { type: 'boolean' })
+    .option('label-truncate', { type: 'number', default: 0 })
+    .option('min-severity', { type: 'string', choices: ['warn', 'error'], default: 'warn' })
+    .option('focus', { type: 'string' })
+    .option('radius', { type: 'number', default: 1 })
+    .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }), a => graphCommand(a));
+cli.command('why <tokenId>', 'Explain token provenance', y => y
+    .positional('tokenId', { type: 'string', demandOption: true })
+    .option('format', { type: 'string', choices: ['json', 'table'], default: 'json' })
+    .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }), a => whyCommand(a));
+cli.command('patch', 'Export patch (diff) from overrides', y => y
+    .option('overrides', { type: 'string', describe: 'Path or inline JSON of flat overrides' })
+    .option('format', { type: 'string', choices: ['json', 'css', 'js'], default: 'json' })
+    .option('output', { type: 'string' })
+    .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }), a => patchCommand(a));
+cli.command('patch:apply <patch>', 'Apply patch document to tokens', y => y
+    .positional('patch', { type: 'string', demandOption: true })
+    .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' })
+    .option('output', { type: 'string', describe: 'Write updated tokens to this file' })
+    .option('dry-run', { type: 'boolean', default: false }), a => patchApplyCommand(a));
+cli.help().alias('h', 'help').strict().wrap(cli.terminalWidth());
+cli.parse();
+// EOF

package/cli/dcv.ts

@@ -0,0 +1,107 @@
+#!/usr/bin/env node
+// Clean minimal DCV CLI entrypoint
+import yargs from 'yargs/yargs';
+import { hideBin } from 'yargs/helpers';
+import { spawnSync } from 'node:child_process';
+import { createRequire } from 'module';
+import path from 'node:path';
+import { type SetOptions, type BuildOptions, type ValidateOptions, type GraphOptions, type WhyOptions, type PatchOptions, type PatchApplyOptions } from './types.js';
+import { setCommand, buildCommand, validateCommand, graphCommand, whyCommand, patchCommand, patchApplyCommand } from './commands/index.js';
+
+// Early intercept: experimental graph diff helper
+(() => {
+  const args = process.argv.slice(2);
+  if (args[0] === 'graph' && args[1] === 'diff') {
+    const pass = args.slice(2);
+    const require = createRequire(import.meta.url);
+    const tsx = (() => { try { return require.resolve('tsx/dist/cli.mjs'); } catch { return path.resolve('node_modules/tsx/dist/cli.mjs'); }})();
+    const r = spawnSync(process.execPath, [tsx, path.resolve('scripts/graph-diff.ts'), ...pass], { stdio: 'inherit', env: process.env });
+    process.exit(r.status ?? 0);
+  }
+})();
+
+const cli = yargs(hideBin(process.argv))
+  .scriptName('dcv')
+  .parserConfiguration({ 'camel-case-expansion': false })
+  .option('quiet', { type: 'boolean' });
+
+cli.command<SetOptions>('set <expressions..>', 'Set token values', y => y
+  .positional('expressions', { type: 'string', array: true })
+  .option('dry-run', { type: 'boolean', default: false })
+  .option('write', { type: 'boolean' })
+  .option('json', { type: 'string' })
+  .option('unset', { type: 'array', string: true })
+  .option('format', { type: 'string', choices: ['json','css','js'], default: 'json' })
+  .option('output', { type: 'string' })
+  .option('theme', { type: 'string' })
+  .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }),
+  a => setCommand(a)
+);
+
+cli.command<BuildOptions>('build', 'Build token outputs', y => y
+  .option('format', { type: 'string', choices: ['css','json','js'], default: 'css' })
+  .option('all-formats', { type: 'boolean', default: false })
+  .option('output', { type: 'string' })
+  .option('mapper', { type: 'string' })
+  .option('theme', { type: 'string' })
+  .option('dry-run', { type: 'boolean', default: false })
+  .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }),
+  a => buildCommand(a)
+);
+
+cli.command<ValidateOptions>('validate', 'Validate constraints', y => y
+  .option('fail-on', { type: 'string', choices: ['off','warn','error'], default: 'error' })
+  .option('summary', { type: 'string', choices: ['none','table','json'], default: 'none' })
+  .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' })
+  .option('breakpoint', { type: 'string' })
+  .option('all-breakpoints', { type: 'boolean' })
+  .option('perf', { type: 'boolean', describe: 'Print timing info' })
+  .option('budget-total-ms', { type: 'number', describe: 'Fail if total validation exceeds this (ms)' })
+  .option('budget-per-bp-ms', { type: 'number', describe: 'Fail if any single breakpoint exceeds this (ms)' }),
+  a => validateCommand(a)
+);
+
+cli.command<GraphOptions>('graph', 'Generate dependency / constraint graph', y => y
+  .option('format', { type: 'string', choices: ['json','mermaid','dot','svg','png'], default: 'json' })
+  .option('bundle', { type: 'boolean', describe: 'When used with --hasse export mermaid+dot (+image if svg/png requested)' })
+  .option('hasse', { type: 'string' })
+  .option('filter-prefix', { type: 'string' })
+  .option('exclude-prefix', { type: 'string' })
+  .option('only-violations', { type: 'boolean' })
+  .option('highlight-violations', { type: 'boolean' })
+  .option('label-violations', { type: 'boolean' })
+  .option('label-truncate', { type: 'number', default: 0 })
+  .option('min-severity', { type: 'string', choices: ['warn','error'], default: 'warn' })
+  .option('focus', { type: 'string' })
+  .option('radius', { type: 'number', default: 1 })
+  .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }),
+  a => graphCommand(a)
+);
+
+cli.command<WhyOptions>('why <tokenId>', 'Explain token provenance', y => y
+  .positional('tokenId', { type: 'string', demandOption: true })
+  .option('format', { type: 'string', choices: ['json','table'], default: 'json' })
+  .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }),
+  a => whyCommand(a)
+);
+
+cli.command<PatchOptions>('patch', 'Export patch (diff) from overrides', y => y
+  .option('overrides', { type: 'string', describe: 'Path or inline JSON of flat overrides' })
+  .option('format', { type: 'string', choices: ['json','css','js'], default: 'json' })
+  .option('output', { type: 'string' })
+  .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' }),
+  a => patchCommand(a)
+);
+
+cli.command<PatchApplyOptions>('patch:apply <patch>', 'Apply patch document to tokens', y => y
+  .positional('patch', { type: 'string', demandOption: true })
+  .option('tokens', { type: 'string', default: 'tokens/tokens.example.json' })
+  .option('output', { type: 'string', describe: 'Write updated tokens to this file' })
+  .option('dry-run', { type: 'boolean', default: false }),
+  a => patchApplyCommand(a)
+);
+
+cli.help().alias('h','help').strict().wrap(cli.terminalWidth());
+cli.parse();
+
+// EOF

package/cli/engine-helpers.d.ts

@@ -0,0 +1,8 @@
+import { type TokenNode } from '../core/flatten.js';
+import { Engine } from '../core/engine.js';
+import { loadTokensWithBreakpoint, type Breakpoint } from '../core/breakpoints.js';
+import type { DcvConfig } from './types.js';
+export declare function createEngine(tokensRoot: TokenNode, config?: DcvConfig): Engine;
+export declare function createValidationEngine(tokensRoot: TokenNode, bp: Breakpoint | undefined, config: DcvConfig): Engine;
+export { loadTokensWithBreakpoint };
+//# sourceMappingURL=engine-helpers.d.ts.map

package/cli/engine-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine-helpers.d.ts","sourceRoot":"","sources":["engine-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,KAAK,SAAS,EAAkB,MAAM,oBAAoB,CAAC;AACnF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAI3C,OAAO,EAA8B,wBAAwB,EAAE,KAAK,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAC/G,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,wBAAgB,YAAY,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,GAAE,SAAc,GAAG,MAAM,CA8BlF;AAED,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,GAAG,SAAS,EAAE,MAAM,EAAE,SAAS,GAAG,MAAM,CAkBnH;AAED,OAAO,EAAE,wBAAwB,EAAE,CAAC"}

package/cli/engine-helpers.js

@@ -0,0 +1,70 @@
+import { flattenTokens } from '../core/flatten.js';
+import { Engine } from '../core/engine.js';
+import { MonotonicPlugin, parseSize as parseSizePx } from '../core/constraints/monotonic.js';
+import { MonotonicLightness } from '../core/constraints/monotonic-lightness.js';
+import { WcagContrastPlugin } from '../core/constraints/wcag.js';
+import { loadOrders as loadOrdersBP, loadTokensWithBreakpoint } from '../core/breakpoints.js';
+export function createEngine(tokensRoot, config = {}) {
+    const { flat, edges } = flattenTokens(tokensRoot);
+    const init = {};
+    for (const [id, token] of Object.entries(flat))
+        init[id] = token.value;
+    const engine = new Engine(init, edges);
+    function loadOrders(path) {
+        try {
+            // eslint-disable-next-line @typescript-eslint/no-require-imports
+            return JSON.parse(require('node:fs').readFileSync(path, 'utf8')).order;
+        }
+        catch {
+            return [];
+        }
+    }
+    const typOrders = loadOrders('themes/typography.order.json');
+    const spacingOrders = loadOrders('themes/spacing.order.json');
+    const layoutOrders = loadOrders('themes/layout.order.json');
+    const colorOrders = loadOrders('themes/color.order.json');
+    if (typOrders.length)
+        engine.use(MonotonicPlugin(typOrders, parseSizePx, 'monotonic-typography'));
+    if (spacingOrders.length)
+        engine.use(MonotonicPlugin(spacingOrders, parseSizePx, 'monotonic-spacing'));
+    if (layoutOrders.length)
+        engine.use(MonotonicPlugin(layoutOrders, parseSizePx, 'monotonic-layout'));
+    if (colorOrders.length)
+        engine.use(MonotonicLightness(colorOrders));
+    if (config.constraints?.wcag) {
+        const wcagRules = config.constraints.wcag.map((r) => ({ fg: r.foreground, bg: r.background, min: r.ratio || 4.5, where: r.description || 'Unknown' }));
+        engine.use(WcagContrastPlugin(wcagRules));
+    }
+    const defaultWcagPairs = [
+        { fg: 'color.role.text.default', bg: 'color.role.bg.surface', min: 4.5, where: 'Body text on surface' },
+        { fg: 'color.role.accent.default', bg: 'color.role.bg.surface', min: 3.0, where: 'Accent on surface' },
+        { fg: 'color.role.focus.ring', bg: 'color.role.bg.surface', min: 3.0, where: 'Focus ring on surface', backdrop: '#ffffff' }
+    ];
+    engine.use(WcagContrastPlugin(defaultWcagPairs));
+    return engine;
+}
+export function createValidationEngine(tokensRoot, bp, config) {
+    const { flat, edges } = flattenTokens(tokensRoot);
+    const init = {};
+    for (const t of Object.values(flat))
+        init[t.id] = t.value;
+    const engine = new Engine(init, edges);
+    const typ = loadOrdersBP('typography', bp);
+    const spc = loadOrdersBP('spacing', bp);
+    const lay = loadOrdersBP('layout', bp);
+    const col = loadOrdersBP('color', bp);
+    if (typ.length)
+        engine.use(MonotonicPlugin(typ, parseSizePx, 'monotonic-typography'));
+    if (spc.length)
+        engine.use(MonotonicPlugin(spc, parseSizePx, 'monotonic-spacing'));
+    if (lay.length)
+        engine.use(MonotonicPlugin(lay, parseSizePx, 'monotonic-layout'));
+    if (col.length)
+        engine.use(MonotonicLightness(col));
+    if (config.constraints?.wcag) {
+        const wcagRules = config.constraints.wcag.map((rule) => ({ fg: rule.foreground, bg: rule.background, min: rule.ratio || 4.5, where: rule.description || 'Unknown' }));
+        engine.use(WcagContrastPlugin(wcagRules));
+    }
+    return engine;
+}
+export { loadTokensWithBreakpoint };

package/cli/engine-helpers.ts

@@ -0,0 +1,61 @@
+import { flattenTokens, type TokenNode, type FlatToken } from '../core/flatten.js';
+import { Engine } from '../core/engine.js';
+import { MonotonicPlugin, parseSize as parseSizePx } from '../core/constraints/monotonic.js';
+import { MonotonicLightness } from '../core/constraints/monotonic-lightness.js';
+import { WcagContrastPlugin } from '../core/constraints/wcag.js';
+import { loadOrders as loadOrdersBP, loadTokensWithBreakpoint, type Breakpoint } from '../core/breakpoints.js';
+import type { DcvConfig } from './types.js';
+
+export function createEngine(tokensRoot: TokenNode, config: DcvConfig = {}): Engine {
+  const { flat, edges } = flattenTokens(tokensRoot);
+  const init: Record<string, string | number> = {};
+  for (const [id, token] of Object.entries(flat)) init[id] = (token as FlatToken).value;
+  const engine = new Engine(init, edges);
+  function loadOrders(path: string) {
+    try { 
+      // eslint-disable-next-line @typescript-eslint/no-require-imports
+      return JSON.parse(require('node:fs').readFileSync(path, 'utf8')).order as [string, '<='|'>=', string][]; 
+    } catch { return []; }
+  }
+  const typOrders = loadOrders('themes/typography.order.json');
+  const spacingOrders = loadOrders('themes/spacing.order.json');
+  const layoutOrders = loadOrders('themes/layout.order.json');
+  const colorOrders = loadOrders('themes/color.order.json');
+  if (typOrders.length) engine.use(MonotonicPlugin(typOrders, parseSizePx, 'monotonic-typography'));
+  if (spacingOrders.length) engine.use(MonotonicPlugin(spacingOrders, parseSizePx, 'monotonic-spacing'));
+  if (layoutOrders.length) engine.use(MonotonicPlugin(layoutOrders, parseSizePx, 'monotonic-layout'));
+  if (colorOrders.length) engine.use(MonotonicLightness(colorOrders));
+  if (config.constraints?.wcag) {
+    const wcagRules = config.constraints.wcag.map((r: any) => ({ fg: r.foreground, bg: r.background, min: r.ratio || 4.5, where: r.description || 'Unknown' }));
+    engine.use(WcagContrastPlugin(wcagRules));
+  }
+  const defaultWcagPairs = [
+    { fg: 'color.role.text.default', bg: 'color.role.bg.surface', min: 4.5, where: 'Body text on surface' },
+    { fg: 'color.role.accent.default', bg: 'color.role.bg.surface', min: 3.0, where: 'Accent on surface' },
+    { fg: 'color.role.focus.ring', bg: 'color.role.bg.surface', min: 3.0, where: 'Focus ring on surface', backdrop: '#ffffff' }
+  ];
+  engine.use(WcagContrastPlugin(defaultWcagPairs));
+  return engine;
+}
+
+export function createValidationEngine(tokensRoot: TokenNode, bp: Breakpoint | undefined, config: DcvConfig): Engine {
+  const { flat, edges } = flattenTokens(tokensRoot);
+  const init: Record<string, string | number> = {};
+  for (const t of Object.values(flat)) init[(t as FlatToken).id] = (t as FlatToken).value;
+  const engine = new Engine(init, edges);
+  const typ = loadOrdersBP('typography', bp);
+  const spc = loadOrdersBP('spacing', bp);
+  const lay = loadOrdersBP('layout', bp);
+  const col = loadOrdersBP('color', bp);
+  if (typ.length) engine.use(MonotonicPlugin(typ, parseSizePx, 'monotonic-typography'));
+  if (spc.length) engine.use(MonotonicPlugin(spc, parseSizePx, 'monotonic-spacing'));
+  if (lay.length) engine.use(MonotonicPlugin(lay, parseSizePx, 'monotonic-layout'));
+  if (col.length) engine.use(MonotonicLightness(col));
+  if (config.constraints?.wcag) {
+    const wcagRules = config.constraints.wcag.map((rule: any) => ({ fg: rule.foreground, bg: rule.background, min: rule.ratio || 4.5, where: rule.description || 'Unknown' }));
+    engine.use(WcagContrastPlugin(wcagRules));
+  }
+  return engine;
+}
+
+export { loadTokensWithBreakpoint };

package/cli/graph-poset.d.ts

@@ -0,0 +1,9 @@
+import { type Order } from "../core/poset.js";
+export interface OrderFile {
+    $description?: string;
+    order: Order[];
+}
+export declare function loadOrderFile(path: string): OrderFile;
+export declare function generateHasseDiagram(orderPath: string, outputPath: string, format?: 'mermaid' | 'dot'): void;
+export declare function generateAllHasseDiagrams(themesDir?: string, outputDir?: string): void;
+//# sourceMappingURL=graph-poset.d.ts.map

package/cli/graph-poset.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-poset.d.ts","sourceRoot":"","sources":["graph-poset.ts"],"names":[],"mappings":"AAEA,OAAO,EAA8E,KAAK,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE1H,MAAM,WAAW,SAAS;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,KAAK,EAAE,CAAC;CAChB;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAKrD;AAED,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAE,SAAS,GAAG,KAAiB,GAAG,IAAI,CAgCvH;AAED,wBAAgB,wBAAwB,CAAC,SAAS,GAAE,MAAiB,EAAE,SAAS,GAAE,MAAsB,GAAG,IAAI,CAuB9G"}

package/cli/graph-poset.js

@@ -0,0 +1,58 @@
+// cli/graph-poset.ts
+import { readFileSync, writeFileSync, mkdirSync, existsSync } from "fs";
+import { buildPoset, transitiveReduction, toMermaidHasse, toDotHasse, validatePoset } from "../core/poset.js";
+export function loadOrderFile(path) {
+    if (!existsSync(path)) {
+        throw new Error(`Order file not found: ${path}`);
+    }
+    return JSON.parse(readFileSync(path, "utf8"));
+}
+export function generateHasseDiagram(orderPath, outputPath, format = 'mermaid') {
+    const orderData = loadOrderFile(orderPath);
+    const { order, $description } = orderData;
+    // Build and validate poset
+    const poset = buildPoset(order);
+    const validation = validatePoset(poset);
+    if (!validation.valid) {
+        console.error("⚠️  Warning: Poset contains cycles:");
+        for (const cycle of validation.cycles || []) {
+            console.error(`   ${cycle.join(" → ")}`);
+        }
+    }
+    // Generate Hasse diagram (transitive reduction)
+    const hasse = transitiveReduction(poset);
+    const title = $description || "Poset Hierarchy";
+    const diagram = format === 'mermaid'
+        ? toMermaidHasse(hasse, { title })
+        : toDotHasse(hasse, { title });
+    // Ensure output directory exists
+    mkdirSync(outputPath.split('/').slice(0, -1).join('/'), { recursive: true });
+    writeFileSync(outputPath, diagram);
+    console.log(`✅ Generated ${format.toUpperCase()} Hasse diagram: ${outputPath}`);
+    if (!validation.valid) {
+        console.log(`⚠️  Note: Diagram shows cycles that should be resolved`);
+    }
+}
+export function generateAllHasseDiagrams(themesDir = "themes", outputDir = "dist/graphs") {
+    const orderFiles = [
+        { file: "typography.order.json", name: "typography" },
+        { file: "spacing.order.json", name: "spacing" }
+    ];
+    mkdirSync(outputDir, { recursive: true });
+    for (const { file, name } of orderFiles) {
+        const orderPath = `${themesDir}/${file}`;
+        if (existsSync(orderPath)) {
+            try {
+                // Generate both Mermaid and DOT formats
+                generateHasseDiagram(orderPath, `${outputDir}/${name}-hasse.mmd`, 'mermaid');
+                generateHasseDiagram(orderPath, `${outputDir}/${name}-hasse.dot`, 'dot');
+            }
+            catch (error) {
+                console.error(`❌ Failed to generate diagram for ${name}:`, error);
+            }
+        }
+        else {
+            console.log(`⏭️  Skipping ${name} (no order file found)`);
+        }
+    }
+}

package/cli/graph-poset.ts

@@ -0,0 +1,74 @@
+// cli/graph-poset.ts
+import { readFileSync, writeFileSync, mkdirSync, existsSync } from "fs";
+import { buildPoset, transitiveReduction, toMermaidHasse, toDotHasse, validatePoset, type Order } from "../core/poset.js";
+
+export interface OrderFile {
+  $description?: string;
+  order: Order[];
+}
+
+export function loadOrderFile(path: string): OrderFile {
+  if (!existsSync(path)) {
+    throw new Error(`Order file not found: ${path}`);
+  }
+  return JSON.parse(readFileSync(path, "utf8"));
+}
+
+export function generateHasseDiagram(orderPath: string, outputPath: string, format: 'mermaid' | 'dot' = 'mermaid'): void {
+  const orderData = loadOrderFile(orderPath);
+  const { order, $description } = orderData;
+  
+  // Build and validate poset
+  const poset = buildPoset(order);
+  const validation = validatePoset(poset);
+  
+  if (!validation.valid) {
+    console.error("⚠️  Warning: Poset contains cycles:");
+    for (const cycle of validation.cycles || []) {
+      console.error(`   ${cycle.join(" → ")}`);
+    }
+  }
+  
+  // Generate Hasse diagram (transitive reduction)
+  const hasse = transitiveReduction(poset);
+  
+  const title = $description || "Poset Hierarchy";
+  const diagram = format === 'mermaid' 
+    ? toMermaidHasse(hasse, { title })
+    : toDotHasse(hasse, { title });
+  
+  // Ensure output directory exists
+  mkdirSync(outputPath.split('/').slice(0, -1).join('/'), { recursive: true });
+  
+  writeFileSync(outputPath, diagram);
+  console.log(`✅ Generated ${format.toUpperCase()} Hasse diagram: ${outputPath}`);
+  
+  if (!validation.valid) {
+    console.log(`⚠️  Note: Diagram shows cycles that should be resolved`);
+  }
+}
+
+export function generateAllHasseDiagrams(themesDir: string = "themes", outputDir: string = "dist/graphs"): void {
+  const orderFiles = [
+    { file: "typography.order.json", name: "typography" },
+    { file: "spacing.order.json", name: "spacing" }
+  ];
+  
+  mkdirSync(outputDir, { recursive: true });
+  
+  for (const { file, name } of orderFiles) {
+    const orderPath = `${themesDir}/${file}`;
+    
+    if (existsSync(orderPath)) {
+      try {
+        // Generate both Mermaid and DOT formats
+        generateHasseDiagram(orderPath, `${outputDir}/${name}-hasse.mmd`, 'mermaid');
+        generateHasseDiagram(orderPath, `${outputDir}/${name}-hasse.dot`, 'dot');
+      } catch (error) {
+        console.error(`❌ Failed to generate diagram for ${name}:`, error);
+      }
+    } else {
+      console.log(`⏭️  Skipping ${name} (no order file found)`);
+    }
+  }
+}

package/cli/index.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+import './dcv.js';
+//# sourceMappingURL=index.d.ts.map

package/cli/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";AACA,OAAO,UAAU,CAAC"}

package/cli/index.js

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+import './dcv.js';

package/cli/index.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+import './dcv.js';

package/cli/result.d.ts

@@ -0,0 +1,17 @@
+export type Ok<T> = {
+    ok: true;
+    value: T;
+};
+export type Err<E> = {
+    ok: false;
+    error: E;
+};
+export type Result<T, E = Error> = Ok<T> | Err<E>;
+export declare function ok<T>(value: T): Ok<T>;
+export declare function err<E>(error: E): Err<E>;
+export declare function wrap<T>(fn: () => T): Result<T, unknown>;
+export declare function wrapAsync<T>(fn: () => Promise<T>): Promise<Result<T, unknown>>;
+export declare function map<T, U, E>(r: Result<T, E>, f: (v: T) => U): Result<U, E>;
+export declare function chain<T, U, E>(r: Result<T, E>, f: (v: T) => Result<U, E>): Result<U, E>;
+export declare function getOrThrow<T, E>(r: Result<T, E>): T;
+//# sourceMappingURL=result.d.ts.map

package/cli/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["result.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAC7C,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAElD,wBAAgB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAgC;AACtE,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAiC;AAEzE,wBAAgB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAEvD;AAED,wBAAsB,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAEpF;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAE1E;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAEvF;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAGnD"}