design-constraint-validator 1.1.0 → 2.1.0

package/cli/config-schema.d.ts

@@ -4,16 +4,19 @@ export declare const WcagRuleSchema: z.ZodObject<{
     background: z.ZodString;
     ratio: z.ZodOptional<z.ZodNumber>;
     description: z.ZodOptional<z.ZodString>;
+    backdrop: z.ZodOptional<z.ZodString>;
 }, "strip", 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 ConstraintsSchema: z.ZodObject<{
     wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -21,16 +24,19 @@ export declare const ConstraintsSchema: z.ZodObject<{
         background: z.ZodString;
         ratio: z.ZodOptional<z.ZodNumber>;
         description: z.ZodOptional<z.ZodString>;
+        backdrop: z.ZodOptional<z.ZodString>;
     }, "strip", 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<{
@@ -38,16 +44,19 @@ export declare const ConstraintsSchema: z.ZodObject<{
         background: z.ZodString;
         ratio: z.ZodOptional<z.ZodNumber>;
         description: z.ZodOptional<z.ZodString>;
+        backdrop: z.ZodOptional<z.ZodString>;
     }, "strip", 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">>;
 }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
     wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -55,16 +64,19 @@ export declare const ConstraintsSchema: z.ZodObject<{
         background: z.ZodString;
         ratio: z.ZodOptional<z.ZodNumber>;
         description: z.ZodOptional<z.ZodString>;
+        backdrop: z.ZodOptional<z.ZodString>;
     }, "strip", 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">>;
 }, z.ZodTypeAny, "passthrough">>;
 export declare const DcvConfigSchema: z.ZodObject<{
@@ -75,16 +87,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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<{
@@ -92,16 +107,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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">>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -109,16 +127,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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">>;
     }, z.ZodTypeAny, "passthrough">>>;
 }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
@@ -129,16 +150,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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<{
@@ -146,16 +170,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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">>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -163,16 +190,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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">>;
     }, z.ZodTypeAny, "passthrough">>>;
 }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
@@ -183,16 +213,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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<{
@@ -200,16 +233,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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">>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         wcag: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -217,16 +253,19 @@ export declare const DcvConfigSchema: z.ZodObject<{
             background: z.ZodString;
             ratio: z.ZodOptional<z.ZodNumber>;
             description: z.ZodOptional<z.ZodString>;
+            backdrop: z.ZodOptional<z.ZodString>;
         }, "strip", 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">>;
     }, z.ZodTypeAny, "passthrough">>>;
 }, z.ZodTypeAny, "passthrough">>;

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;AAExB,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;EAMzB,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,CAO3F"}

package/cli/config-schema.js

@@ -3,7 +3,8 @@ export const WcagRuleSchema = z.object({
     foreground: z.string(),
     background: z.string(),
     ratio: z.number().positive().optional(),
-    description: z.string().optional()
+    description: z.string().optional(),
+    backdrop: z.string().optional()
 });
 export const ConstraintsSchema = z.object({
     wcag: z.array(WcagRuleSchema).optional()
@@ -15,7 +16,8 @@ export const DcvConfigSchema = z.object({
 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

@@ -4,7 +4,8 @@ export const WcagRuleSchema = z.object({
   foreground: z.string(),
   background: z.string(),
   ratio: z.number().positive().optional(),
-  description: z.string().optional()
+  description: z.string().optional(),
+  backdrop: z.string().optional()
 });
 
 export const ConstraintsSchema = z.object({
@@ -21,7 +22,8 @@ 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,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;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,CA8F9E;AAMD;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,aAAa,GAAG,IAAI,CAyDxG;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,CAyC9G"}

package/cli/constraint-registry.js

@@ -18,6 +18,16 @@ import { WcagContrastPlugin } from '../core/constraints/wcag.js';
 import { ThresholdPlugin } from '../core/constraints/threshold.js';
 import { CrossAxisPlugin } from '../core/constraints/cross-axis.js';
 import { loadCrossAxisRules } from './cross-axis-loader.js';
+// Built-in default constraint rules. Shared by attachConstraints (to register
+// plugins) and collectReferencedIds (to compute coverage) so the two never drift.
+export const DEFAULT_WCAG_PAIRS = [
+    { 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' },
+];
+export const DEFAULT_THRESHOLDS = [
+    { id: 'control.size.min', op: '>=', valuePx: 44, where: 'Touch target (WCAG / Apple HIG)' },
+];
 // ============================================================================
 // Discovery
 // ============================================================================
@@ -132,42 +142,13 @@ export function attachConstraints(engine, sources, opts) {
             switch (source.type) {
                 case 'builtin-wcag': {
                     if (source.enabled) {
-                        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));
+                        engine.use(WcagContrastPlugin(DEFAULT_WCAG_PAIRS));
                     }
                     break;
                 }
                 case 'builtin-threshold': {
                     if (source.enabled) {
-                        const defaultThresholds = [
-                            {
-                                id: 'control.size.min',
-                                op: '>=',
-                                valuePx: 44,
-                                where: 'Touch target (WCAG / Apple HIG)',
-                            },
-                        ];
-                        engine.use(ThresholdPlugin(defaultThresholds, 'threshold'));
+                        engine.use(ThresholdPlugin(DEFAULT_THRESHOLDS, 'threshold'));
                     }
                     break;
                 }
@@ -223,3 +204,55 @@ export function setupConstraints(engine, discoveryOpts, attachOpts) {
     attachConstraints(engine, sources, attachOpts);
     return sources;
 }
+/**
+ * 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 function collectReferencedIds(sources) {
+    const ids = new Set();
+    let coverageKnown = true;
+    const addOrders = (orders) => {
+        for (const [a, , b] of orders) {
+            ids.add(a);
+            ids.add(b);
+        }
+    };
+    for (const source of sources) {
+        switch (source.type) {
+            case 'builtin-wcag':
+                for (const p of DEFAULT_WCAG_PAIRS) {
+                    ids.add(p.fg);
+                    ids.add(p.bg);
+                }
+                break;
+            case 'builtin-threshold':
+                for (const t of DEFAULT_THRESHOLDS)
+                    ids.add(t.id);
+                break;
+            case 'config-wcag':
+                for (const r of source.rules) {
+                    ids.add(r.fg);
+                    ids.add(r.bg);
+                }
+                break;
+            case 'custom-threshold':
+                for (const r of source.rules)
+                    ids.add(r.id);
+                break;
+            case 'order-file':
+            case 'lightness-file':
+                addOrders(source.orders);
+                break;
+            case 'cross-axis-file':
+                coverageKnown = false;
+                break;
+        }
+    }
+    return { ids, coverageKnown };
+}

package/cli/constraint-registry.ts

@@ -69,6 +69,18 @@ export type AttachOptions = {
   crossAxisDebug?: boolean;
 };
 
+// Built-in default constraint rules. Shared by attachConstraints (to register
+// plugins) and collectReferencedIds (to compute coverage) so the two never drift.
+export const DEFAULT_WCAG_PAIRS: WcagRule[] = [
+  { 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' },
+];
+
+export const DEFAULT_THRESHOLDS: ThresholdRule[] = [
+  { id: 'control.size.min', op: '>=', valuePx: 44, where: 'Touch target (WCAG / Apple HIG)' },
+];
+
 // ============================================================================
 // Discovery
 // ============================================================================
@@ -200,43 +212,14 @@ export function attachConstraints(engine: Engine, sources: ConstraintSource[], o
       switch (source.type) {
         case 'builtin-wcag': {
           if (source.enabled) {
-            const defaultWcagPairs: WcagRule[] = [
-              {
-                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));
+            engine.use(WcagContrastPlugin(DEFAULT_WCAG_PAIRS));
           }
           break;
         }
 
         case 'builtin-threshold': {
           if (source.enabled) {
-            const defaultThresholds: ThresholdRule[] = [
-              {
-                id: 'control.size.min',
-                op: '>=',
-                valuePx: 44,
-                where: 'Touch target (WCAG / Apple HIG)',
-              },
-            ];
-            engine.use(ThresholdPlugin(defaultThresholds, 'threshold'));
+            engine.use(ThresholdPlugin(DEFAULT_THRESHOLDS, 'threshold'));
           }
           break;
         }
@@ -302,3 +285,56 @@ export function setupConstraints(
   attachConstraints(engine, sources, attachOpts);
   return sources;
 }
+
+/**
+ * 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 function collectReferencedIds(sources: ConstraintSource[]): { ids: Set<string>; coverageKnown: boolean } {
+  const ids = new Set<string>();
+  let coverageKnown = true;
+  const addOrders = (orders: OrderRule[]) => {
+    for (const [a, , b] of orders) {
+      ids.add(a);
+      ids.add(b);
+    }
+  };
+
+  for (const source of sources) {
+    switch (source.type) {
+      case 'builtin-wcag':
+        for (const p of DEFAULT_WCAG_PAIRS) {
+          ids.add(p.fg);
+          ids.add(p.bg);
+        }
+        break;
+      case 'builtin-threshold':
+        for (const t of DEFAULT_THRESHOLDS) ids.add(t.id);
+        break;
+      case 'config-wcag':
+        for (const r of source.rules) {
+          ids.add(r.fg);
+          ids.add(r.bg);
+        }
+        break;
+      case 'custom-threshold':
+        for (const r of source.rules) ids.add(r.id);
+        break;
+      case 'order-file':
+      case 'lightness-file':
+        addOrders(source.orders);
+        break;
+      case 'cross-axis-file':
+        coverageKnown = false;
+        break;
+    }
+  }
+
+  return { ids, coverageKnown };
+}