design-constraint-validator 2.0.1 → 2.2.0

package/cli/config-schema.d.ts

@@ -4,232 +4,237 @@ export declare const WcagRuleSchema: z.ZodObject<{
     background: z.ZodString;
     ratio: z.ZodOptional<z.ZodNumber>;
     description: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
+    backdrop: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
     foreground: string;
     background: string;
     description?: string | undefined;
     ratio?: number | undefined;
+    backdrop?: string | undefined;
 }, {
     foreground: string;
     background: string;
     description?: string | undefined;
     ratio?: number | undefined;
+    backdrop?: string | undefined;
+}>;
+export declare const ThresholdRuleSchema: z.ZodObject<{
+    id: z.ZodString;
+    op: z.ZodEnum<["<=", ">="]>;
+    valuePx: z.ZodNumber;
+    where: z.ZodOptional<z.ZodString>;
+    level: z.ZodOptional<z.ZodEnum<["error", "warn"]>>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    op: "<=" | ">=";
+    valuePx: number;
+    where?: string | undefined;
+    level?: "error" | "warn" | undefined;
+}, {
+    id: string;
+    op: "<=" | ">=";
+    valuePx: number;
+    where?: string | undefined;
+    level?: "error" | "warn" | undefined;
 }>;
 export declare const ConstraintsSchema: z.ZodObject<{
+    enableBuiltInWcagDefaults: z.ZodOptional<z.ZodBoolean>;
+    enableBuiltInThreshold: z.ZodOptional<z.ZodBoolean>;
     wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
         foreground: z.ZodString;
         background: z.ZodString;
         ratio: z.ZodOptional<z.ZodNumber>;
         description: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
+        backdrop: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
         foreground: string;
         background: string;
         description?: string | undefined;
         ratio?: number | undefined;
+        backdrop?: string | undefined;
     }, {
         foreground: string;
         background: string;
         description?: string | undefined;
         ratio?: number | undefined;
+        backdrop?: string | undefined;
     }>, "many">>;
-}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-    wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        foreground: z.ZodString;
-        background: z.ZodString;
-        ratio: z.ZodOptional<z.ZodNumber>;
-        description: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        foreground: string;
-        background: string;
-        description?: string | undefined;
-        ratio?: number | undefined;
+    thresholds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        op: z.ZodEnum<["<=", ">="]>;
+        valuePx: z.ZodNumber;
+        where: z.ZodOptional<z.ZodString>;
+        level: z.ZodOptional<z.ZodEnum<["error", "warn"]>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        op: "<=" | ">=";
+        valuePx: number;
+        where?: string | undefined;
+        level?: "error" | "warn" | undefined;
     }, {
-        foreground: string;
-        background: string;
-        description?: string | undefined;
-        ratio?: number | undefined;
+        id: string;
+        op: "<=" | ">=";
+        valuePx: number;
+        where?: string | undefined;
+        level?: "error" | "warn" | undefined;
     }>, "many">>;
-}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-    wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        foreground: z.ZodString;
-        background: z.ZodString;
-        ratio: z.ZodOptional<z.ZodNumber>;
-        description: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
+}, "strict", z.ZodTypeAny, {
+    enableBuiltInWcagDefaults?: boolean | undefined;
+    enableBuiltInThreshold?: boolean | undefined;
+    wcag?: {
         foreground: string;
         background: string;
         description?: string | undefined;
         ratio?: number | undefined;
-    }, {
+        backdrop?: string | undefined;
+    }[] | undefined;
+    thresholds?: {
+        id: string;
+        op: "<=" | ">=";
+        valuePx: number;
+        where?: string | undefined;
+        level?: "error" | "warn" | undefined;
+    }[] | undefined;
+}, {
+    enableBuiltInWcagDefaults?: boolean | undefined;
+    enableBuiltInThreshold?: boolean | undefined;
+    wcag?: {
         foreground: string;
         background: string;
         description?: string | undefined;
         ratio?: number | undefined;
-    }>, "many">>;
-}, z.ZodTypeAny, "passthrough">>;
+        backdrop?: string | undefined;
+    }[] | undefined;
+    thresholds?: {
+        id: string;
+        op: "<=" | ">=";
+        valuePx: number;
+        where?: string | undefined;
+        level?: "error" | "warn" | undefined;
+    }[] | undefined;
+}>;
 export declare const DcvConfigSchema: z.ZodObject<{
+    $schema: z.ZodOptional<z.ZodString>;
     version: z.ZodOptional<z.ZodString>;
     constraints: z.ZodOptional<z.ZodObject<{
+        enableBuiltInWcagDefaults: z.ZodOptional<z.ZodBoolean>;
+        enableBuiltInThreshold: z.ZodOptional<z.ZodBoolean>;
         wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
             foreground: z.ZodString;
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
+            backdrop: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
             foreground: string;
             background: string;
             description?: string | undefined;
             ratio?: number | undefined;
+            backdrop?: string | undefined;
         }, {
             foreground: string;
             background: string;
             description?: string | undefined;
             ratio?: number | undefined;
+            backdrop?: string | undefined;
         }>, "many">>;
-    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-        wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            foreground: z.ZodString;
-            background: z.ZodString;
-            ratio: z.ZodOptional<z.ZodNumber>;
-            description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
+        thresholds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            op: z.ZodEnum<["<=", ">="]>;
+            valuePx: z.ZodNumber;
+            where: z.ZodOptional<z.ZodString>;
+            level: z.ZodOptional<z.ZodEnum<["error", "warn"]>>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            op: "<=" | ">=";
+            valuePx: number;
+            where?: string | undefined;
+            level?: "error" | "warn" | undefined;
         }, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
+            id: string;
+            op: "<=" | ">=";
+            valuePx: number;
+            where?: string | undefined;
+            level?: "error" | "warn" | undefined;
         }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            foreground: z.ZodString;
-            background: z.ZodString;
-            ratio: z.ZodOptional<z.ZodNumber>;
-            description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">>>;
-}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-    version: z.ZodOptional<z.ZodString>;
-    constraints: z.ZodOptional<z.ZodObject<{
-        wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            foreground: z.ZodString;
-            background: z.ZodString;
-            ratio: z.ZodOptional<z.ZodNumber>;
-            description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }, {
+    }, "strict", z.ZodTypeAny, {
+        enableBuiltInWcagDefaults?: boolean | undefined;
+        enableBuiltInThreshold?: boolean | undefined;
+        wcag?: {
             foreground: string;
             background: string;
             description?: string | undefined;
             ratio?: number | undefined;
-        }>, "many">>;
-    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-        wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            foreground: z.ZodString;
-            background: z.ZodString;
-            ratio: z.ZodOptional<z.ZodNumber>;
-            description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            foreground: z.ZodString;
-            background: z.ZodString;
-            ratio: z.ZodOptional<z.ZodNumber>;
-            description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">>>;
-}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-    version: z.ZodOptional<z.ZodString>;
-    constraints: z.ZodOptional<z.ZodObject<{
-        wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            foreground: z.ZodString;
-            background: z.ZodString;
-            ratio: z.ZodOptional<z.ZodNumber>;
-            description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }>, "many">>;
-    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-        wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            foreground: z.ZodString;
-            background: z.ZodString;
-            ratio: z.ZodOptional<z.ZodNumber>;
-            description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            foreground: z.ZodString;
-            background: z.ZodString;
-            ratio: z.ZodOptional<z.ZodNumber>;
-            description: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }, {
-            foreground: string;
-            background: string;
-            description?: string | undefined;
-            ratio?: number | undefined;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">>>;
-}, z.ZodTypeAny, "passthrough">>;
+            backdrop?: string | undefined;
+        }[] | undefined;
+        thresholds?: {
+            id: string;
+            op: "<=" | ">=";
+            valuePx: number;
+            where?: string | undefined;
+            level?: "error" | "warn" | undefined;
+        }[] | undefined;
+    }, {
+        enableBuiltInWcagDefaults?: boolean | undefined;
+        enableBuiltInThreshold?: boolean | undefined;
+        wcag?: {
+            foreground: string;
+            background: string;
+            description?: string | undefined;
+            ratio?: number | undefined;
+            backdrop?: string | undefined;
+        }[] | undefined;
+        thresholds?: {
+            id: string;
+            op: "<=" | ">=";
+            valuePx: number;
+            where?: string | undefined;
+            level?: "error" | "warn" | undefined;
+        }[] | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    $schema?: string | undefined;
+    version?: string | undefined;
+    constraints?: {
+        enableBuiltInWcagDefaults?: boolean | undefined;
+        enableBuiltInThreshold?: boolean | undefined;
+        wcag?: {
+            foreground: string;
+            background: string;
+            description?: string | undefined;
+            ratio?: number | undefined;
+            backdrop?: string | undefined;
+        }[] | undefined;
+        thresholds?: {
+            id: string;
+            op: "<=" | ">=";
+            valuePx: number;
+            where?: string | undefined;
+            level?: "error" | "warn" | undefined;
+        }[] | undefined;
+    } | undefined;
+}, {
+    $schema?: string | undefined;
+    version?: string | undefined;
+    constraints?: {
+        enableBuiltInWcagDefaults?: boolean | undefined;
+        enableBuiltInThreshold?: boolean | undefined;
+        wcag?: {
+            foreground: string;
+            background: string;
+            description?: string | undefined;
+            ratio?: number | undefined;
+            backdrop?: string | undefined;
+        }[] | undefined;
+        thresholds?: {
+            id: string;
+            op: "<=" | ">=";
+            valuePx: number;
+            where?: string | undefined;
+            level?: "error" | "warn" | undefined;
+        }[] | undefined;
+    } | undefined;
+}>;
 export type DcvConfigParsed = z.infer<typeof DcvConfigSchema>;
 export declare function validateConfig(raw: unknown): {
     value?: DcvConfigParsed;

package/cli/config-schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config-schema.d.ts","sourceRoot":"","sources":["config-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;EAKzB,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gCAEd,CAAC;AAEjB,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gCAGZ,CAAC;AAEjB,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,GAAG;IAAE,KAAK,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAM3F"}
+{"version":3,"file":"config-schema.d.ts","sourceRoot":"","sources":["config-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAUxB,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;EAMhB,CAAC;AAEZ,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;EAMrB,CAAC;AAEZ,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKnB,CAAC;AAEZ,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMjB,CAAC;AAEZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,GAAG;IAAE,KAAK,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAO3F"}

package/cli/config-schema.js

@@ -1,21 +1,43 @@
 import { z } from 'zod';
+// Schemas are `.strict()` on purpose (TASK-037): a validator must never silently
+// accept a typo'd key, because "the rule never ran" is indistinguishable from
+// "the rule passed" — a false green. A misspelled block (`wcagg`), a typo'd
+// field (`levle`), or an out-of-range bound is rejected loudly, not dropped.
+// WCAG contrast ratios are bounded by the spec to (1:1, 21:1]: 1 means "no
+// contrast required" (a no-op rule) and 21 is the maximum achievable (#000 on
+// #fff). Anything outside that is a config error, not a stricter policy.
 export const WcagRuleSchema = z.object({
     foreground: z.string(),
     background: z.string(),
-    ratio: z.number().positive().optional(),
-    description: z.string().optional()
-});
+    ratio: z.number().finite().gt(1).max(21).optional(),
+    description: z.string().optional(),
+    backdrop: z.string().optional()
+}).strict();
+export const ThresholdRuleSchema = z.object({
+    id: z.string(),
+    op: z.enum(['<=', '>=']),
+    valuePx: z.number().finite().nonnegative(),
+    where: z.string().optional(),
+    level: z.enum(['error', 'warn']).optional()
+}).strict();
 export const ConstraintsSchema = z.object({
-    wcag: z.array(WcagRuleSchema).optional()
-}).passthrough();
+    enableBuiltInWcagDefaults: z.boolean().optional(),
+    enableBuiltInThreshold: z.boolean().optional(),
+    wcag: z.array(WcagRuleSchema).optional(),
+    thresholds: z.array(ThresholdRuleSchema).optional()
+}).strict();
 export const DcvConfigSchema = z.object({
+    // `$schema` is the conventional editor-hint key; allow it so strictness does
+    // not punish a well-formed config, but still reject unknown top-level typos.
+    $schema: z.string().optional(),
     version: z.string().optional(),
     constraints: ConstraintsSchema.optional()
-}).passthrough();
+}).strict();
 export function validateConfig(raw) {
     const res = DcvConfigSchema.safeParse(raw);
     if (!res.success) {
-        return { errors: res.error.errors.map(e => `${e.path.join('.') || '<root>'}: ${e.message}`) };
+        // zod v4 renamed ZodError.errors -> .issues (the .errors getter was removed).
+        return { errors: res.error.issues.map((e) => `${e.path.join('.') || '<root>'}: ${e.message}`) };
     }
     return { value: res.data };
 }

package/cli/config-schema.ts

@@ -1,27 +1,51 @@
 import { z } from 'zod';
 
+// Schemas are `.strict()` on purpose (TASK-037): a validator must never silently
+// accept a typo'd key, because "the rule never ran" is indistinguishable from
+// "the rule passed" — a false green. A misspelled block (`wcagg`), a typo'd
+// field (`levle`), or an out-of-range bound is rejected loudly, not dropped.
+
+// WCAG contrast ratios are bounded by the spec to (1:1, 21:1]: 1 means "no
+// contrast required" (a no-op rule) and 21 is the maximum achievable (#000 on
+// #fff). Anything outside that is a config error, not a stricter policy.
 export const WcagRuleSchema = z.object({
   foreground: z.string(),
   background: z.string(),
-  ratio: z.number().positive().optional(),
-  description: z.string().optional()
-});
+  ratio: z.number().finite().gt(1).max(21).optional(),
+  description: z.string().optional(),
+  backdrop: z.string().optional()
+}).strict();
+
+export const ThresholdRuleSchema = z.object({
+  id: z.string(),
+  op: z.enum(['<=', '>=']),
+  valuePx: z.number().finite().nonnegative(),
+  where: z.string().optional(),
+  level: z.enum(['error', 'warn']).optional()
+}).strict();
 
 export const ConstraintsSchema = z.object({
-  wcag: z.array(WcagRuleSchema).optional()
-}).passthrough();
+  enableBuiltInWcagDefaults: z.boolean().optional(),
+  enableBuiltInThreshold: z.boolean().optional(),
+  wcag: z.array(WcagRuleSchema).optional(),
+  thresholds: z.array(ThresholdRuleSchema).optional()
+}).strict();
 
 export const DcvConfigSchema = z.object({
+  // `$schema` is the conventional editor-hint key; allow it so strictness does
+  // not punish a well-formed config, but still reject unknown top-level typos.
+  $schema: z.string().optional(),
   version: z.string().optional(),
   constraints: ConstraintsSchema.optional()
-}).passthrough();
+}).strict();
 
 export type DcvConfigParsed = z.infer<typeof DcvConfigSchema>;
 
 export function validateConfig(raw: unknown): { value?: DcvConfigParsed; errors?: string[] } {
   const res = DcvConfigSchema.safeParse(raw);
   if (!res.success) {
-    return { errors: res.error.errors.map(e => `${e.path.join('.')||'<root>'}: ${e.message}`) };
+    // zod v4 renamed ZodError.errors -> .issues (the .errors getter was removed).
+    return { errors: res.error.issues.map((e) => `${e.path.join('.') || '<root>'}: ${e.message}`) };
   }
   return { value: res.data };
 }

package/cli/config.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["config.ts"],"names":[],"mappings":"AAGA,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,CAkCzE"}

package/cli/config.js

@@ -1,20 +1,26 @@
 import { readFileSync, existsSync } from 'node:fs';
+import { basename, extname } from 'node:path';
 import { validateConfig } from './config-schema.js';
 import { ok, err } from './result.js';
 export function loadConfig(configPath) {
+    if (configPath && !existsSync(configPath)) {
+        return err(`Config file not found: ${configPath}`);
+    }
     const candidates = configPath ? [configPath] : [
         'dcv.config.json',
-        'dcv.config.js',
         '.dcvrc.json',
         'package.json'
     ];
     for (const p of candidates) {
         if (!existsSync(p))
             continue;
+        if (extname(p) === '.js') {
+            return err(`Unsupported config file ${p}: use JSON config (dcv.config.json, .dcvrc.json, or package.json "dcv").`);
+        }
         try {
             const rawTxt = readFileSync(p, 'utf8');
             let raw = JSON.parse(rawTxt);
-            if (p === 'package.json' && raw && typeof raw === 'object') {
+            if (basename(p) === 'package.json' && raw && typeof raw === 'object') {
                 const pkg = raw;
                 if ('dcv' in pkg) {
                     raw = pkg.dcv;

package/cli/config.ts

@@ -1,21 +1,27 @@
 import { readFileSync, existsSync } from 'node:fs';
+import { basename, extname } from 'node:path';
 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> {
+  if (configPath && !existsSync(configPath)) {
+    return err(`Config file not found: ${configPath}`);
+  }
   const candidates = configPath ? [configPath] : [
     'dcv.config.json',
-    'dcv.config.js',
     '.dcvrc.json',
     'package.json'
   ];
   for (const p of candidates) {
     if (!existsSync(p)) continue;
+    if (extname(p) === '.js') {
+      return err(`Unsupported config file ${p}: use JSON config (dcv.config.json, .dcvrc.json, or package.json "dcv").`);
+    }
     try {
       const rawTxt = readFileSync(p, 'utf8');
       let raw: unknown = JSON.parse(rawTxt);
-      if (p === 'package.json' && raw && typeof raw === 'object') {
+      if (basename(p) === 'package.json' && raw && typeof raw === 'object') {
         const pkg = raw as Record<string, unknown>;
         if ('dcv' in pkg) {
           raw = pkg.dcv;

package/cli/constraint-registry.d.ts

@@ -67,6 +67,8 @@ export type AttachOptions = {
     knownIds: Set<string>;
     crossAxisDebug?: boolean;
 };
+export declare const DEFAULT_WCAG_PAIRS: WcagRule[];
+export declare const DEFAULT_THRESHOLDS: ThresholdRule[];
 /**
  * Discover all constraint sources for a given configuration and breakpoint.
  *
@@ -98,4 +100,18 @@ export declare function attachConstraints(engine: Engine, sources: ConstraintSou
  * @param attachOpts Attachment options
  */
 export declare function setupConstraints(engine: Engine, discoveryOpts: DiscoveryOptions, attachOpts: AttachOptions): ConstraintSource[];
+/**
+ * Collect the token ids referenced by the active constraint sources, plus
+ * whether that coverage is fully enumerable.
+ *
+ * Used to detect the silent-pass case: a token file that validates with zero
+ * errors only because no active constraint references any of its tokens. Cross-
+ * axis rule ids are not enumerated here, so when any cross-axis source is present
+ * `coverageKnown` is false and callers must stay conservative (never claim
+ * "nothing was checked" when they cannot be sure).
+ */
+export declare function collectReferencedIds(sources: ConstraintSource[]): {
+    ids: Set<string>;
+    coverageKnown: boolean;
+};
 //# sourceMappingURL=constraint-registry.d.ts.map

package/cli/constraint-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-registry.d.ts","sourceRoot":"","sources":["constraint-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAY5C,MAAM,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;AAEtD,MAAM,MAAM,QAAQ,GAAG;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,UAAU,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,aAAa,EAAE,CAAA;CAAE,CAAC;AAEzD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,EAAE,CAAC,EAAE,UAAU,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACtB,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B,CAAC;AAMF;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,gBAAgB,GAAG,gBAAgB,EAAE,CA8F9E;AAMD;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,aAAa,GAAG,IAAI,CAsFxG;AAMD;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,gBAAgB,EAC/B,UAAU,EAAE,aAAa,GACxB,gBAAgB,EAAE,CAIpB"}
+{"version":3,"file":"constraint-registry.d.ts","sourceRoot":"","sources":["constraint-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,MAAM,EAAqC,MAAM,mBAAmB,CAAC;AACnF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAsB5C,MAAM,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;AAEtD,MAAM,MAAM,QAAQ,GAAG;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,UAAU,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,aAAa,EAAE,CAAA;CAAE,CAAC;AAEzD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,EAAE,CAAC,EAAE,UAAU,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACtB,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B,CAAC;AAIF,eAAO,MAAM,kBAAkB,EAAE,QAAQ,EAIxC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,aAAa,EAE7C,CAAC;AAMF;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,gBAAgB,GAAG,gBAAgB,EAAE,CAyG9E;AAMD;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,aAAa,GAAG,IAAI,CA4DxG;AAMD;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,gBAAgB,EAC/B,UAAU,EAAE,aAAa,GACxB,gBAAgB,EAAE,CAIpB;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,gBAAgB,EAAE,GAAG;IAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAAE,CAoD9G"}