@ipation/specbridge 1.2.0 → 1.3.0

package/dist/cli.js

@@ -1,8 +1,8 @@
 #!/usr/bin/env node
 
 // src/cli/index.ts
-import { Command as Command18 } from "commander";
-import chalk16 from "chalk";
+import { Command as Command19 } from "commander";
+import chalk19 from "chalk";
 import { readFileSync as readFileSync2 } from "fs";
 import { fileURLToPath as fileURLToPath4 } from "url";
 import { dirname as dirname5, join as join12 } from "path";
@@ -1345,11 +1345,12 @@ Detected ${patterns.length} pattern(s):
 
 // src/cli/commands/verify.ts
 import { Command as Command3 } from "commander";
-import chalk3 from "chalk";
+import chalk5 from "chalk";
 import ora3 from "ora";
 
 // src/verification/engine.ts
 import { Project as Project2 } from "ts-morph";
+import chalk3 from "chalk";
 
 // src/registry/loader.ts
 import { join as join4 } from "path";
@@ -1382,6 +1383,10 @@ var ConstraintExceptionSchema = z2.object({
   approvedBy: z2.string().optional(),
   expiresAt: z2.string().datetime().optional()
 });
+var ConstraintCheckSchema = z2.object({
+  verifier: z2.string().min(1),
+  params: z2.record(z2.unknown()).optional()
+});
 var ConstraintSchema = z2.object({
   id: z2.string().min(1).regex(/^[a-z0-9-]+$/, "Constraint ID must be lowercase alphanumeric with hyphens"),
   type: ConstraintTypeSchema,
@@ -1389,6 +1394,7 @@ var ConstraintSchema = z2.object({
   severity: SeveritySchema2,
   scope: z2.string().min(1),
   verifier: z2.string().optional(),
+  check: ConstraintCheckSchema.optional(),
   autofix: z2.boolean().optional(),
   exceptions: z2.array(ConstraintExceptionSchema).optional()
 });
@@ -2671,7 +2677,13 @@ function getVerifier(id) {
   const factory = builtinVerifiers[id];
   return factory ? factory() : null;
 }
-function selectVerifierForConstraint(rule, specifiedVerifier) {
+function getVerifierIds() {
+  return Object.keys(builtinVerifiers);
+}
+function selectVerifierForConstraint(rule, specifiedVerifier, check) {
+  if (check?.verifier) {
+    return getVerifier(check.verifier);
+  }
   if (specifiedVerifier) {
     return getVerifier(specifiedVerifier);
   }
@@ -2802,10 +2814,14 @@ var VerificationEngine = class {
         passed: 0,
         failed: 0,
         skipped: 0,
-        duration: Date.now() - startTime
+        duration: Date.now() - startTime,
+        warnings: [],
+        errors: []
       };
     }
     const allViolations = [];
+    const allWarnings = [];
+    const allErrors = [];
     let checked = 0;
     let passed = 0;
     let failed = 0;
@@ -2820,8 +2836,11 @@ var VerificationEngine = class {
       decisions,
       severityFilter,
       cwd,
-      (violations) => {
+      options.reporter,
+      (violations, warnings, errors) => {
         allViolations.push(...violations);
+        allWarnings.push(...warnings);
+        allErrors.push(...errors);
         checked++;
         if (violations.length > 0) {
           failed++;
@@ -2841,7 +2860,9 @@ var VerificationEngine = class {
           passed,
           failed,
           skipped: filesToVerify.length - checked,
-          duration: timeout
+          duration: timeout,
+          warnings: allWarnings,
+          errors: allErrors
         };
       }
     } finally {
@@ -2866,23 +2887,64 @@ var VerificationEngine = class {
       passed,
       failed,
       skipped,
-      duration: Date.now() - startTime
+      duration: Date.now() - startTime,
+      warnings: allWarnings,
+      errors: allErrors
     };
   }
   /**
    * Verify a single file
    */
-  async verifyFile(filePath, decisions, severityFilter, cwd = process.cwd()) {
+  async verifyFile(filePath, decisions, severityFilter, cwd = process.cwd(), reporter) {
     const violations = [];
+    const warnings = [];
+    const errors = [];
     const sourceFile = await this.astCache.get(filePath, this.project);
-    if (!sourceFile) return violations;
+    if (!sourceFile) return { violations, warnings, errors };
     for (const decision of decisions) {
       for (const constraint of decision.constraints) {
         if (!shouldApplyConstraintToFile({ filePath, constraint, cwd, severityFilter })) {
+          if (reporter) {
+            reporter.add({
+              file: filePath,
+              decision,
+              constraint,
+              applied: false,
+              reason: "File does not match scope pattern or severity filter"
+            });
+          }
           continue;
         }
-        const verifier = selectVerifierForConstraint(constraint.rule, constraint.verifier);
+        const verifier = selectVerifierForConstraint(
+          constraint.rule,
+          constraint.verifier,
+          constraint.check
+        );
         if (!verifier) {
+          const requestedVerifier = constraint.check?.verifier || constraint.verifier || "auto-detected";
+          console.warn(
+            chalk3.yellow(
+              `Warning: No verifier found for ${decision.metadata.id}/${constraint.id}
+  Requested: ${requestedVerifier}
+  Available: ${getVerifierIds().join(", ")}`
+            )
+          );
+          warnings.push({
+            type: "missing_verifier",
+            message: `No verifier found for constraint (requested: ${requestedVerifier})`,
+            decisionId: decision.metadata.id,
+            constraintId: constraint.id,
+            file: filePath
+          });
+          if (reporter) {
+            reporter.add({
+              file: filePath,
+              decision,
+              constraint,
+              applied: false,
+              reason: `No verifier found (requested: ${requestedVerifier})`
+            });
+          }
           continue;
         }
         const ctx = {
@@ -2891,27 +2953,78 @@ var VerificationEngine = class {
           constraint,
           decisionId: decision.metadata.id
         };
+        const verificationStart = Date.now();
         try {
           const constraintViolations = await verifier.verify(ctx);
           violations.push(...constraintViolations);
-        } catch {
+          if (reporter) {
+            reporter.add({
+              file: filePath,
+              decision,
+              constraint,
+              applied: true,
+              reason: "Constraint matches file scope",
+              selectedVerifier: verifier.id,
+              verifierOutput: {
+                violations: constraintViolations.length,
+                duration: Date.now() - verificationStart
+              }
+            });
+          }
+        } catch (error) {
+          const errorMessage = error instanceof Error ? error.message : String(error);
+          const errorStack = error instanceof Error ? error.stack : void 0;
+          console.error(
+            chalk3.red(
+              `Error: Verifier '${verifier.id}' failed
+  File: ${filePath}
+  Decision: ${decision.metadata.id}/${constraint.id}
+  Error: ${errorMessage}`
+            )
+          );
+          if (errorStack) {
+            console.error(chalk3.dim(errorStack));
+          }
+          errors.push({
+            type: "verifier_exception",
+            message: `Verifier '${verifier.id}' failed: ${errorMessage}`,
+            decisionId: decision.metadata.id,
+            constraintId: constraint.id,
+            file: filePath,
+            stack: errorStack
+          });
+          if (reporter) {
+            reporter.add({
+              file: filePath,
+              decision,
+              constraint,
+              applied: true,
+              reason: "Constraint matches file scope",
+              selectedVerifier: verifier.id,
+              verifierOutput: {
+                violations: 0,
+                duration: Date.now() - verificationStart,
+                error: errorMessage
+              }
+            });
+          }
         }
       }
     }
-    return violations;
+    return { violations, warnings, errors };
   }
   /**
    * Verify multiple files
    */
-  async verifyFiles(files, decisions, severityFilter, cwd, onFileVerified) {
+  async verifyFiles(files, decisions, severityFilter, cwd, reporter, onFileVerified) {
     const BATCH_SIZE = 10;
     for (let i = 0; i < files.length; i += BATCH_SIZE) {
       const batch = files.slice(i, i + BATCH_SIZE);
       const results = await Promise.all(
-        batch.map((file) => this.verifyFile(file, decisions, severityFilter, cwd))
+        batch.map((file) => this.verifyFile(file, decisions, severityFilter, cwd, reporter))
       );
-      for (const violations of results) {
-        onFileVerified(violations);
+      for (const result of results) {
+        onFileVerified(result.violations, result.warnings, result.errors);
       }
     }
   }
@@ -3029,8 +3142,77 @@ async function getChangedFiles(cwd) {
   }
 }
 
+// src/verification/explain.ts
+import chalk4 from "chalk";
+var ExplainReporter = class {
+  entries = [];
+  /**
+   * Add an entry to the explanation trace
+   */
+  add(entry) {
+    this.entries.push(entry);
+  }
+  /**
+   * Print the explanation trace
+   */
+  print() {
+    if (this.entries.length === 0) {
+      console.log(chalk4.dim("No constraints were evaluated."));
+      return;
+    }
+    console.log(chalk4.bold("\n=== Verification Explanation ===\n"));
+    const byFile = /* @__PURE__ */ new Map();
+    for (const entry of this.entries) {
+      const existing = byFile.get(entry.file) || [];
+      existing.push(entry);
+      byFile.set(entry.file, existing);
+    }
+    for (const [file, entries] of byFile) {
+      console.log(chalk4.underline(file));
+      for (const entry of entries) {
+        const icon = entry.applied ? chalk4.green("\u2713") : chalk4.dim("\u2298");
+        const constraintId = `${entry.decision.metadata.id}/${entry.constraint.id}`;
+        console.log(`  ${icon} ${constraintId}`);
+        console.log(chalk4.dim(`    ${entry.reason}`));
+        if (entry.applied && entry.selectedVerifier) {
+          console.log(chalk4.dim(`    Verifier: ${entry.selectedVerifier}`));
+          if (entry.verifierOutput) {
+            if (entry.verifierOutput.error) {
+              console.log(chalk4.red(`    Error: ${entry.verifierOutput.error}`));
+            } else {
+              const violationText = entry.verifierOutput.violations === 1 ? "1 violation" : `${entry.verifierOutput.violations} violations`;
+              const resultColor = entry.verifierOutput.violations > 0 ? chalk4.red : chalk4.green;
+              console.log(
+                chalk4.dim(`    Result: `) + resultColor(violationText) + chalk4.dim(` in ${entry.verifierOutput.duration}ms`)
+              );
+            }
+          }
+        }
+        console.log("");
+      }
+    }
+    const applied = this.entries.filter((e) => e.applied).length;
+    const skipped = this.entries.filter((e) => !e.applied).length;
+    console.log(chalk4.bold("Summary:"));
+    console.log(`  Constraints Applied: ${chalk4.green(applied)}`);
+    console.log(`  Constraints Skipped: ${chalk4.dim(skipped)}`);
+  }
+  /**
+   * Get all entries
+   */
+  getEntries() {
+    return [...this.entries];
+  }
+  /**
+   * Clear all entries
+   */
+  clear() {
+    this.entries = [];
+  }
+};
+
 // src/cli/commands/verify.ts
-var verifyCommand = new Command3("verify").description("Verify code compliance against decisions").option("-l, --level <level>", "Verification level (commit, pr, full)", "full").option("-f, --files <patterns>", "Comma-separated file patterns to check").option("-d, --decisions <ids>", "Comma-separated decision IDs to check").option("-s, --severity <levels>", "Comma-separated severity levels (critical, high, medium, low)").option("--json", "Output as JSON").option("--incremental", "Only verify changed files (git diff --name-only --diff-filter=AM HEAD)").option("--fix", "Apply auto-fixes for supported violations").option("--dry-run", "Show what would be fixed without applying (requires --fix)").option("--interactive", "Confirm each fix interactively (requires --fix)").action(async (options) => {
+var verifyCommand = new Command3("verify").description("Verify code compliance against decisions").option("-l, --level <level>", "Verification level (commit, pr, full)", "full").option("-f, --files <patterns>", "Comma-separated file patterns to check").option("-d, --decisions <ids>", "Comma-separated decision IDs to check").option("-s, --severity <levels>", "Comma-separated severity levels (critical, high, medium, low)").option("--json", "Output as JSON").option("--incremental", "Only verify changed files (git diff --name-only --diff-filter=AM HEAD)").option("--explain", "Show detailed explanation of verification process").option("--fix", "Apply auto-fixes for supported violations").option("--dry-run", "Show what would be fixed without applying (requires --fix)").option("--interactive", "Confirm each fix interactively (requires --fix)").action(async (options) => {
   const cwd = process.cwd();
   if (!await pathExists(getSpecBridgeDir(cwd))) {
     throw new NotInitializedError();
@@ -3047,13 +3229,15 @@ var verifyCommand = new Command3("verify").description("Verify code compliance a
       files = changed.length > 0 ? changed : [];
     }
     spinner.text = `Running ${level}-level verification...`;
+    const reporter = options.explain ? new ExplainReporter() : void 0;
     const engine = createVerificationEngine();
     let result = await engine.verify(config, {
       level,
       files,
       decisions,
       severity,
-      cwd
+      cwd,
+      reporter
     });
     let fixResult;
     if (options.fix && result.violations.length > 0) {
@@ -3061,7 +3245,7 @@ var verifyCommand = new Command3("verify").description("Verify code compliance a
       if (fixableCount === 0) {
         spinner.stop();
         if (!options.json) {
-          console.log(chalk3.yellow("No auto-fixable violations found"));
+          console.log(chalk5.yellow("No auto-fixable violations found"));
         }
       } else {
         spinner.text = `Applying ${fixableCount} auto-fix(es)...`;
@@ -3085,14 +3269,41 @@ var verifyCommand = new Command3("verify").description("Verify code compliance a
     if (options.json) {
       console.log(JSON.stringify({ ...result, autofix: fixResult }, null, 2));
     } else {
+      if (result.warnings && result.warnings.length > 0) {
+        console.log(chalk5.yellow.bold("\nWarnings:"));
+        for (const warning of result.warnings) {
+          console.log(chalk5.yellow(`  \u26A0 ${warning.message}`));
+          console.log(chalk5.dim(`    ${warning.decisionId}/${warning.constraintId}`));
+          if (warning.file) {
+            console.log(chalk5.dim(`    File: ${warning.file}`));
+          }
+        }
+        console.log("");
+      }
+      if (result.errors && result.errors.length > 0) {
+        console.log(chalk5.red.bold("\nErrors:"));
+        for (const error of result.errors) {
+          console.log(chalk5.red(`  \u2717 ${error.message}`));
+          if (error.decisionId && error.constraintId) {
+            console.log(chalk5.dim(`    ${error.decisionId}/${error.constraintId}`));
+          }
+          if (error.file) {
+            console.log(chalk5.dim(`    File: ${error.file}`));
+          }
+        }
+        console.log("");
+      }
       printResult(result, level);
       if (options.fix && fixResult) {
-        console.log(chalk3.green(`\u2713 Applied ${fixResult.applied.length} fix(es)`));
+        console.log(chalk5.green(`\u2713 Applied ${fixResult.applied.length} fix(es)`));
         if (fixResult.skipped > 0) {
-          console.log(chalk3.yellow(`\u2298 Skipped ${fixResult.skipped} fix(es)`));
+          console.log(chalk5.yellow(`\u2298 Skipped ${fixResult.skipped} fix(es)`));
         }
         console.log("");
       }
+      if (options.explain && reporter) {
+        reporter.print();
+      }
     }
     if (!result.success) {
       process.exit(1);
@@ -3105,8 +3316,8 @@ var verifyCommand = new Command3("verify").description("Verify code compliance a
 function printResult(result, level) {
   console.log("");
   if (result.violations.length === 0) {
-    console.log(chalk3.green("\u2713 All checks passed!"));
-    console.log(chalk3.dim(`  ${result.checked} files checked in ${result.duration}ms`));
+    console.log(chalk5.green("\u2713 All checks passed!"));
+    console.log(chalk5.dim(`  ${result.checked} files checked in ${result.duration}ms`));
     return;
   }
   const byFile = /* @__PURE__ */ new Map();
@@ -3116,7 +3327,7 @@ function printResult(result, level) {
     byFile.set(violation.file, existing);
   }
   for (const [file, violations] of byFile) {
-    console.log(chalk3.underline(file));
+    console.log(chalk5.underline(file));
     for (const v of violations) {
       const typeIcon = getTypeIcon(v.type);
       const severityColor = getSeverityColor(v.severity);
@@ -3124,9 +3335,9 @@ function printResult(result, level) {
       console.log(
         `  ${typeIcon} ${severityColor(`[${v.severity}]`)} ${v.message}`
       );
-      console.log(chalk3.dim(`    ${v.decisionId}/${v.constraintId}${location}`));
+      console.log(chalk5.dim(`    ${v.decisionId}/${v.constraintId}${location}`));
       if (v.suggestion) {
-        console.log(chalk3.cyan(`    Suggestion: ${v.suggestion}`));
+        console.log(chalk5.cyan(`    Suggestion: ${v.suggestion}`));
       }
     }
     console.log("");
@@ -3135,29 +3346,29 @@ function printResult(result, level) {
   const highCount = result.violations.filter((v) => v.severity === "high").length;
   const mediumCount = result.violations.filter((v) => v.severity === "medium").length;
   const lowCount = result.violations.filter((v) => v.severity === "low").length;
-  console.log(chalk3.bold("Summary:"));
+  console.log(chalk5.bold("Summary:"));
   console.log(`  Files: ${result.checked} checked, ${result.passed} passed, ${result.failed} failed`);
   const violationParts = [];
-  if (criticalCount > 0) violationParts.push(chalk3.red(`${criticalCount} critical`));
-  if (highCount > 0) violationParts.push(chalk3.yellow(`${highCount} high`));
-  if (mediumCount > 0) violationParts.push(chalk3.cyan(`${mediumCount} medium`));
-  if (lowCount > 0) violationParts.push(chalk3.dim(`${lowCount} low`));
+  if (criticalCount > 0) violationParts.push(chalk5.red(`${criticalCount} critical`));
+  if (highCount > 0) violationParts.push(chalk5.yellow(`${highCount} high`));
+  if (mediumCount > 0) violationParts.push(chalk5.cyan(`${mediumCount} medium`));
+  if (lowCount > 0) violationParts.push(chalk5.dim(`${lowCount} low`));
   console.log(`  Violations: ${violationParts.join(", ")}`);
   console.log(`  Duration: ${result.duration}ms`);
   if (!result.success) {
     console.log("");
     const blockingTypes = level === "commit" ? "invariant or critical" : level === "pr" ? "invariant, critical, or high" : "invariant";
-    console.log(chalk3.red(`\u2717 Verification failed. ${blockingTypes} violations must be resolved.`));
+    console.log(chalk5.red(`\u2717 Verification failed. ${blockingTypes} violations must be resolved.`));
   }
 }
 function getTypeIcon(type) {
   switch (type) {
     case "invariant":
-      return chalk3.red("\u25CF");
+      return chalk5.red("\u25CF");
     case "convention":
-      return chalk3.yellow("\u25CF");
+      return chalk5.yellow("\u25CF");
     case "guideline":
-      return chalk3.green("\u25CF");
+      return chalk5.green("\u25CF");
     default:
       return "\u25CB";
   }
@@ -3165,15 +3376,15 @@ function getTypeIcon(type) {
 function getSeverityColor(severity) {
   switch (severity) {
     case "critical":
-      return chalk3.red;
+      return chalk5.red;
     case "high":
-      return chalk3.yellow;
+      return chalk5.yellow;
     case "medium":
-      return chalk3.cyan;
+      return chalk5.cyan;
     case "low":
-      return chalk3.dim;
+      return chalk5.dim;
     default:
-      return chalk3.white;
+      return chalk5.white;
   }
 }
 
@@ -3182,15 +3393,15 @@ import { Command as Command8 } from "commander";
 
 // src/cli/commands/decision/list.ts
 import { Command as Command4 } from "commander";
-import chalk4 from "chalk";
+import chalk6 from "chalk";
 import { table } from "table";
 var listDecisions = new Command4("list").description("List all architectural decisions").option("-s, --status <status>", "Filter by status (draft, active, deprecated, superseded)").option("-t, --tag <tag>", "Filter by tag").option("--json", "Output as JSON").action(async (options) => {
   const registry = createRegistry();
   const result = await registry.load();
   if (result.errors.length > 0) {
-    console.warn(chalk4.yellow("\nWarnings:"));
+    console.warn(chalk6.yellow("\nWarnings:"));
     for (const err of result.errors) {
-      console.warn(chalk4.yellow(`  - ${err.filePath}: ${err.error}`));
+      console.warn(chalk6.yellow(`  - ${err.filePath}: ${err.error}`));
     }
     console.log("");
   }
@@ -3203,7 +3414,7 @@ var listDecisions = new Command4("list").description("List all architectural dec
   }
   const decisions = registry.getAll(filter);
   if (decisions.length === 0) {
-    console.log(chalk4.yellow("No decisions found."));
+    console.log(chalk6.yellow("No decisions found."));
     return;
   }
   if (options.json) {
@@ -3212,11 +3423,11 @@ var listDecisions = new Command4("list").description("List all architectural dec
   }
   const data = [
     [
-      chalk4.bold("ID"),
-      chalk4.bold("Title"),
-      chalk4.bold("Status"),
-      chalk4.bold("Constraints"),
-      chalk4.bold("Tags")
+      chalk6.bold("ID"),
+      chalk6.bold("Title"),
+      chalk6.bold("Status"),
+      chalk6.bold("Constraints"),
+      chalk6.bold("Tags")
     ]
   ];
   for (const decision of decisions) {
@@ -3250,20 +3461,20 @@ var listDecisions = new Command4("list").description("List all architectural dec
     },
     drawHorizontalLine: (index) => index === 1
   }));
-  console.log(chalk4.dim(`Total: ${decisions.length} decision(s)`));
+  console.log(chalk6.dim(`Total: ${decisions.length} decision(s)`));
 });
 function getStatusColor(status) {
   switch (status) {
     case "active":
-      return chalk4.green;
+      return chalk6.green;
     case "draft":
-      return chalk4.yellow;
+      return chalk6.yellow;
     case "deprecated":
-      return chalk4.gray;
+      return chalk6.gray;
     case "superseded":
-      return chalk4.blue;
+      return chalk6.blue;
     default:
-      return chalk4.white;
+      return chalk6.white;
   }
 }
 function getConstraintTypeSummary(types) {
@@ -3276,9 +3487,9 @@ function getConstraintTypeSummary(types) {
     counts[type]++;
   }
   const parts = [];
-  if (counts.invariant > 0) parts.push(chalk4.red(`${counts.invariant}I`));
-  if (counts.convention > 0) parts.push(chalk4.yellow(`${counts.convention}C`));
-  if (counts.guideline > 0) parts.push(chalk4.green(`${counts.guideline}G`));
+  if (counts.invariant > 0) parts.push(chalk6.red(`${counts.invariant}I`));
+  if (counts.convention > 0) parts.push(chalk6.yellow(`${counts.convention}C`));
+  if (counts.guideline > 0) parts.push(chalk6.green(`${counts.guideline}G`));
   return parts.join(" ") || "-";
 }
 function truncate(str, length) {
@@ -3288,7 +3499,7 @@ function truncate(str, length) {
 
 // src/cli/commands/decision/show.ts
 import { Command as Command5 } from "commander";
-import chalk5 from "chalk";
+import chalk7 from "chalk";
 var showDecision = new Command5("show").description("Show details of a specific decision").argument("<id>", "Decision ID").option("--json", "Output as JSON").action(async (id, options) => {
   const registry = createRegistry();
   await registry.load();
@@ -3301,74 +3512,74 @@ var showDecision = new Command5("show").description("Show details of a specific
 });
 function printDecision(decision) {
   const { metadata, decision: content, constraints } = decision;
-  console.log(chalk5.bold.blue(`
+  console.log(chalk7.bold.blue(`
 ${metadata.title}`));
-  console.log(chalk5.dim(`ID: ${metadata.id}`));
+  console.log(chalk7.dim(`ID: ${metadata.id}`));
   console.log("");
-  console.log(chalk5.bold("Status:"), getStatusBadge(metadata.status));
-  console.log(chalk5.bold("Owners:"), metadata.owners.join(", "));
+  console.log(chalk7.bold("Status:"), getStatusBadge(metadata.status));
+  console.log(chalk7.bold("Owners:"), metadata.owners.join(", "));
   if (metadata.tags && metadata.tags.length > 0) {
-    console.log(chalk5.bold("Tags:"), metadata.tags.map((t) => chalk5.cyan(t)).join(", "));
+    console.log(chalk7.bold("Tags:"), metadata.tags.map((t) => chalk7.cyan(t)).join(", "));
   }
   if (metadata.createdAt) {
-    console.log(chalk5.bold("Created:"), metadata.createdAt);
+    console.log(chalk7.bold("Created:"), metadata.createdAt);
   }
   if (metadata.supersededBy) {
-    console.log(chalk5.bold("Superseded by:"), chalk5.yellow(metadata.supersededBy));
+    console.log(chalk7.bold("Superseded by:"), chalk7.yellow(metadata.supersededBy));
   }
   console.log("");
-  console.log(chalk5.bold.underline("Summary"));
+  console.log(chalk7.bold.underline("Summary"));
   console.log(content.summary);
   console.log("");
-  console.log(chalk5.bold.underline("Rationale"));
+  console.log(chalk7.bold.underline("Rationale"));
   console.log(content.rationale);
   console.log("");
   if (content.context) {
-    console.log(chalk5.bold.underline("Context"));
+    console.log(chalk7.bold.underline("Context"));
     console.log(content.context);
     console.log("");
   }
   if (content.consequences && content.consequences.length > 0) {
-    console.log(chalk5.bold.underline("Consequences"));
+    console.log(chalk7.bold.underline("Consequences"));
     for (const consequence of content.consequences) {
       console.log(`  \u2022 ${consequence}`);
     }
     console.log("");
   }
-  console.log(chalk5.bold.underline(`Constraints (${constraints.length})`));
+  console.log(chalk7.bold.underline(`Constraints (${constraints.length})`));
   for (const constraint of constraints) {
     const typeIcon = getTypeIcon2(constraint.type);
     const severityBadge = getSeverityBadge(constraint.severity);
     console.log(`
-  ${typeIcon} ${chalk5.bold(constraint.id)} ${severityBadge}`);
+  ${typeIcon} ${chalk7.bold(constraint.id)} ${severityBadge}`);
     console.log(`     ${constraint.rule}`);
-    console.log(chalk5.dim(`     Scope: ${constraint.scope}`));
+    console.log(chalk7.dim(`     Scope: ${constraint.scope}`));
     if (constraint.verifier) {
-      console.log(chalk5.dim(`     Verifier: ${constraint.verifier}`));
+      console.log(chalk7.dim(`     Verifier: ${constraint.verifier}`));
     }
     if (constraint.exceptions && constraint.exceptions.length > 0) {
-      console.log(chalk5.dim(`     Exceptions: ${constraint.exceptions.length}`));
+      console.log(chalk7.dim(`     Exceptions: ${constraint.exceptions.length}`));
     }
   }
   console.log("");
   if (decision.verification?.automated && decision.verification.automated.length > 0) {
-    console.log(chalk5.bold.underline("Automated Verification"));
+    console.log(chalk7.bold.underline("Automated Verification"));
     for (const check of decision.verification.automated) {
       console.log(`  \u2022 ${check.check} (${check.frequency})`);
-      console.log(chalk5.dim(`    Target: ${check.target}`));
+      console.log(chalk7.dim(`    Target: ${check.target}`));
     }
     console.log("");
   }
   if (decision.links) {
     const { related, supersedes, references } = decision.links;
     if (related && related.length > 0) {
-      console.log(chalk5.bold("Related:"), related.join(", "));
+      console.log(chalk7.bold("Related:"), related.join(", "));
     }
     if (supersedes && supersedes.length > 0) {
-      console.log(chalk5.bold("Supersedes:"), supersedes.join(", "));
+      console.log(chalk7.bold("Supersedes:"), supersedes.join(", "));
     }
     if (references && references.length > 0) {
-      console.log(chalk5.bold("References:"));
+      console.log(chalk7.bold("References:"));
       for (const ref of references) {
         console.log(`  \u2022 ${ref}`);
       }
@@ -3378,13 +3589,13 @@ ${metadata.title}`));
 function getStatusBadge(status) {
   switch (status) {
     case "active":
-      return chalk5.bgGreen.black(" ACTIVE ");
+      return chalk7.bgGreen.black(" ACTIVE ");
     case "draft":
-      return chalk5.bgYellow.black(" DRAFT ");
+      return chalk7.bgYellow.black(" DRAFT ");
     case "deprecated":
-      return chalk5.bgGray.white(" DEPRECATED ");
+      return chalk7.bgGray.white(" DEPRECATED ");
     case "superseded":
-      return chalk5.bgBlue.white(" SUPERSEDED ");
+      return chalk7.bgBlue.white(" SUPERSEDED ");
     default:
       return status;
   }
@@ -3392,11 +3603,11 @@ function getStatusBadge(status) {
 function getTypeIcon2(type) {
   switch (type) {
     case "invariant":
-      return chalk5.red("\u25CF");
+      return chalk7.red("\u25CF");
     case "convention":
-      return chalk5.yellow("\u25CF");
+      return chalk7.yellow("\u25CF");
     case "guideline":
-      return chalk5.green("\u25CF");
+      return chalk7.green("\u25CF");
     default:
       return "\u25CB";
   }
@@ -3404,13 +3615,13 @@ function getTypeIcon2(type) {
 function getSeverityBadge(severity) {
   switch (severity) {
     case "critical":
-      return chalk5.bgRed.white(" CRITICAL ");
+      return chalk7.bgRed.white(" CRITICAL ");
     case "high":
-      return chalk5.bgYellow.black(" HIGH ");
+      return chalk7.bgYellow.black(" HIGH ");
     case "medium":
-      return chalk5.bgCyan.black(" MEDIUM ");
+      return chalk7.bgCyan.black(" MEDIUM ");
     case "low":
-      return chalk5.bgGray.white(" LOW ");
+      return chalk7.bgGray.white(" LOW ");
     default:
       return severity;
   }
@@ -3418,7 +3629,7 @@ function getSeverityBadge(severity) {
 
 // src/cli/commands/decision/validate.ts
 import { Command as Command6 } from "commander";
-import chalk6 from "chalk";
+import chalk8 from "chalk";
 import ora4 from "ora";
 import { join as join5 } from "path";
 var validateDecisions = new Command6("validate").description("Validate decision files").option("-f, --file <path>", "Validate a specific file").action(async (options) => {
@@ -3457,14 +3668,14 @@ var validateDecisions = new Command6("validate").description("Validate decision
     }
     spinner.stop();
     if (invalid === 0) {
-      console.log(chalk6.green(`\u2713 All ${valid} decision file(s) are valid.`));
+      console.log(chalk8.green(`\u2713 All ${valid} decision file(s) are valid.`));
     } else {
-      console.log(chalk6.red(`\u2717 ${invalid} of ${files.length} decision file(s) have errors.
+      console.log(chalk8.red(`\u2717 ${invalid} of ${files.length} decision file(s) have errors.
 `));
       for (const { file, errors: fileErrors } of errors) {
-        console.log(chalk6.red(`File: ${file}`));
+        console.log(chalk8.red(`File: ${file}`));
         for (const err of fileErrors) {
-          console.log(chalk6.dim(`  - ${err}`));
+          console.log(chalk8.dim(`  - ${err}`));
         }
         console.log("");
       }
@@ -3478,7 +3689,7 @@ var validateDecisions = new Command6("validate").description("Validate decision
 
 // src/cli/commands/decision/create.ts
 import { Command as Command7 } from "commander";
-import chalk7 from "chalk";
+import chalk9 from "chalk";
 import { join as join6 } from "path";
 var createDecision = new Command7("create").description("Create a new decision file").argument("<id>", "Decision ID (e.g., auth-001)").requiredOption("-t, --title <title>", "Decision title").requiredOption("-s, --summary <summary>", "One-sentence summary").option("--type <type>", "Default constraint type (invariant, convention, guideline)", "convention").option("--severity <severity>", "Default constraint severity (critical, high, medium, low)", "medium").option("--scope <scope>", "Default constraint scope (glob pattern)", "src/**/*.ts").option("-o, --owner <owner>", "Owner name", "team").action(async (id, options) => {
   const cwd = process.cwd();
@@ -3486,13 +3697,13 @@ var createDecision = new Command7("create").description("Create a new decision f
     throw new NotInitializedError();
   }
   if (!/^[a-z0-9-]+$/.test(id)) {
-    console.error(chalk7.red("Error: Decision ID must be lowercase alphanumeric with hyphens only."));
+    console.error(chalk9.red("Error: Decision ID must be lowercase alphanumeric with hyphens only."));
     process.exit(1);
   }
   const decisionsDir = getDecisionsDir(cwd);
   const filePath = join6(decisionsDir, `${id}.decision.yaml`);
   if (await pathExists(filePath)) {
-    console.error(chalk7.red(`Error: Decision file already exists: ${filePath}`));
+    console.error(chalk9.red(`Error: Decision file already exists: ${filePath}`));
     process.exit(1);
   }
   const decision = {
@@ -3528,13 +3739,13 @@ var createDecision = new Command7("create").description("Create a new decision f
     }
   };
   await writeTextFile(filePath, stringifyYaml(decision));
-  console.log(chalk7.green(`\u2713 Created decision: ${filePath}`));
+  console.log(chalk9.green(`\u2713 Created decision: ${filePath}`));
   console.log("");
-  console.log(chalk7.cyan("Next steps:"));
+  console.log(chalk9.cyan("Next steps:"));
   console.log(`  1. Edit the file to add rationale, context, and consequences`);
   console.log(`  2. Define constraints with appropriate scopes`);
-  console.log(`  3. Run ${chalk7.bold("specbridge decision validate")} to check syntax`);
-  console.log(`  4. Change status from ${chalk7.yellow("draft")} to ${chalk7.green("active")} when ready`);
+  console.log(`  3. Run ${chalk9.bold("specbridge decision validate")} to check syntax`);
+  console.log(`  4. Change status from ${chalk9.yellow("draft")} to ${chalk9.green("active")} when ready`);
 });
 
 // src/cli/commands/decision/index.ts
@@ -3542,7 +3753,7 @@ var decisionCommand = new Command8("decision").description("Manage architectural
 
 // src/cli/commands/hook.ts
 import { Command as Command9 } from "commander";
-import chalk8 from "chalk";
+import chalk10 from "chalk";
 import ora5 from "ora";
 import { join as join7 } from "path";
 var HOOK_SCRIPT = `#!/bin/sh
@@ -3574,9 +3785,9 @@ function createHookCommand() {
       } else if (options.lefthook) {
         spinner.succeed("Lefthook detected");
         console.log("");
-        console.log(chalk8.cyan("Add this to your lefthook.yml:"));
+        console.log(chalk10.cyan("Add this to your lefthook.yml:"));
         console.log("");
-        console.log(chalk8.dim(`pre-commit:
+        console.log(chalk10.dim(`pre-commit:
   commands:
     specbridge:
       glob: "*.{ts,tsx}"
@@ -3591,9 +3802,9 @@ function createHookCommand() {
         } else if (await pathExists(join7(cwd, "lefthook.yml"))) {
           spinner.succeed("Lefthook detected");
           console.log("");
-          console.log(chalk8.cyan("Add this to your lefthook.yml:"));
+          console.log(chalk10.cyan("Add this to your lefthook.yml:"));
           console.log("");
-          console.log(chalk8.dim(`pre-commit:
+          console.log(chalk10.dim(`pre-commit:
   commands:
     specbridge:
       glob: "*.{ts,tsx}"
@@ -3608,7 +3819,7 @@ function createHookCommand() {
       }
       if (await pathExists(hookPath) && !options.force) {
         spinner.fail("Hook already exists");
-        console.log(chalk8.yellow(`Use --force to overwrite: ${hookPath}`));
+        console.log(chalk10.yellow(`Use --force to overwrite: ${hookPath}`));
         return;
       }
       await writeTextFile(hookPath, hookContent);
@@ -3618,9 +3829,9 @@ function createHookCommand() {
       } catch {
       }
       spinner.succeed("Pre-commit hook installed");
-      console.log(chalk8.dim(`  Path: ${hookPath}`));
+      console.log(chalk10.dim(`  Path: ${hookPath}`));
       console.log("");
-      console.log(chalk8.cyan("The hook will run on each commit and verify staged files."));
+      console.log(chalk10.cyan("The hook will run on each commit and verify staged files."));
     } catch (error) {
       spinner.fail("Failed to install hook");
       throw error;
@@ -3656,21 +3867,21 @@ function createHookCommand() {
         cwd
       });
       if (result.violations.length === 0) {
-        console.log(chalk8.green("\u2713 SpecBridge: All checks passed"));
+        console.log(chalk10.green("\u2713 SpecBridge: All checks passed"));
         process.exit(0);
       }
-      console.log(chalk8.red(`\u2717 SpecBridge: ${result.violations.length} violation(s) found`));
+      console.log(chalk10.red(`\u2717 SpecBridge: ${result.violations.length} violation(s) found`));
       console.log("");
       for (const v of result.violations) {
         const location = v.line ? `:${v.line}` : "";
         console.log(`  ${v.file}${location}: ${v.message}`);
-        console.log(chalk8.dim(`    [${v.severity}] ${v.decisionId}/${v.constraintId}`));
+        console.log(chalk10.dim(`    [${v.severity}] ${v.decisionId}/${v.constraintId}`));
       }
       console.log("");
-      console.log(chalk8.yellow("Run `specbridge verify` for full details."));
+      console.log(chalk10.yellow("Run `specbridge verify` for full details."));
       process.exit(result.success ? 0 : 1);
     } catch (error) {
-      console.error(chalk8.red("SpecBridge verification failed"));
+      console.error(chalk10.red("SpecBridge verification failed"));
       console.error(error instanceof Error ? error.message : String(error));
       process.exit(1);
     }
@@ -3709,7 +3920,7 @@ var hookCommand = createHookCommand();
 
 // src/cli/commands/report.ts
 import { Command as Command10 } from "commander";
-import chalk10 from "chalk";
+import chalk12 from "chalk";
 import ora6 from "ora";
 import { join as join9 } from "path";
 
@@ -3764,54 +3975,54 @@ async function generateReport(config, options = {}) {
 }
 
 // src/reporting/formats/console.ts
-import chalk9 from "chalk";
+import chalk11 from "chalk";
 import { table as table2 } from "table";
 function formatConsoleReport(report) {
   const lines = [];
   lines.push("");
-  lines.push(chalk9.bold.blue("SpecBridge Compliance Report"));
-  lines.push(chalk9.dim(`Generated: ${new Date(report.timestamp).toLocaleString()}`));
-  lines.push(chalk9.dim(`Project: ${report.project}`));
+  lines.push(chalk11.bold.blue("SpecBridge Compliance Report"));
+  lines.push(chalk11.dim(`Generated: ${new Date(report.timestamp).toLocaleString()}`));
+  lines.push(chalk11.dim(`Project: ${report.project}`));
   lines.push("");
   const complianceColor = getComplianceColor(report.summary.compliance);
-  lines.push(chalk9.bold("Overall Compliance"));
+  lines.push(chalk11.bold("Overall Compliance"));
   lines.push(`  ${complianceColor(formatComplianceBar(report.summary.compliance))} ${complianceColor(`${report.summary.compliance}%`)}`);
   lines.push("");
-  lines.push(chalk9.bold("Summary"));
+  lines.push(chalk11.bold("Summary"));
   lines.push(`  Decisions: ${report.summary.activeDecisions} active / ${report.summary.totalDecisions} total`);
   lines.push(`  Constraints: ${report.summary.totalConstraints}`);
   lines.push("");
-  lines.push(chalk9.bold("Violations"));
+  lines.push(chalk11.bold("Violations"));
   const { violations } = report.summary;
   const violationParts = [];
   if (violations.critical > 0) {
-    violationParts.push(chalk9.red(`${violations.critical} critical`));
+    violationParts.push(chalk11.red(`${violations.critical} critical`));
   }
   if (violations.high > 0) {
-    violationParts.push(chalk9.yellow(`${violations.high} high`));
+    violationParts.push(chalk11.yellow(`${violations.high} high`));
   }
   if (violations.medium > 0) {
-    violationParts.push(chalk9.cyan(`${violations.medium} medium`));
+    violationParts.push(chalk11.cyan(`${violations.medium} medium`));
   }
   if (violations.low > 0) {
-    violationParts.push(chalk9.dim(`${violations.low} low`));
+    violationParts.push(chalk11.dim(`${violations.low} low`));
   }
   if (violationParts.length > 0) {
     lines.push(`  ${violationParts.join(" | ")}`);
   } else {
-    lines.push(chalk9.green("  No violations"));
+    lines.push(chalk11.green("  No violations"));
   }
   lines.push("");
   if (report.byDecision.length > 0) {
-    lines.push(chalk9.bold("By Decision"));
+    lines.push(chalk11.bold("By Decision"));
     lines.push("");
     const tableData = [
       [
-        chalk9.bold("Decision"),
-        chalk9.bold("Status"),
-        chalk9.bold("Constraints"),
-        chalk9.bold("Violations"),
-        chalk9.bold("Compliance")
+        chalk11.bold("Decision"),
+        chalk11.bold("Status"),
+        chalk11.bold("Constraints"),
+        chalk11.bold("Violations"),
+        chalk11.bold("Compliance")
       ]
     ];
     for (const dec of report.byDecision) {
@@ -3821,7 +4032,7 @@ function formatConsoleReport(report) {
         truncate2(dec.title, 40),
         statusColor(dec.status),
         String(dec.constraints),
-        dec.violations > 0 ? chalk9.red(String(dec.violations)) : chalk9.green("0"),
+        dec.violations > 0 ? chalk11.red(String(dec.violations)) : chalk11.green("0"),
         compColor(`${dec.compliance}%`)
       ]);
     }
@@ -3855,23 +4066,23 @@ function formatComplianceBar(compliance) {
   return "\u2588".repeat(filled) + "\u2591".repeat(empty);
 }
 function getComplianceColor(compliance) {
-  if (compliance >= 90) return chalk9.green;
-  if (compliance >= 70) return chalk9.yellow;
-  if (compliance >= 50) return chalk9.hex("#FFA500");
-  return chalk9.red;
+  if (compliance >= 90) return chalk11.green;
+  if (compliance >= 70) return chalk11.yellow;
+  if (compliance >= 50) return chalk11.hex("#FFA500");
+  return chalk11.red;
 }
 function getStatusColor2(status) {
   switch (status) {
     case "active":
-      return chalk9.green;
+      return chalk11.green;
     case "draft":
-      return chalk9.yellow;
+      return chalk11.yellow;
     case "deprecated":
-      return chalk9.gray;
+      return chalk11.gray;
     case "superseded":
-      return chalk9.blue;
+      return chalk11.blue;
     default:
-      return chalk9.white;
+      return chalk11.white;
   }
 }
 function truncate2(str, length) {
@@ -4243,29 +4454,29 @@ var reportCommand = new Command10("report").description("Generate compliance rep
     const storage = new ReportStorage(cwd);
     await storage.save(report);
     if (options.trend) {
-      console.log("\n" + chalk10.blue.bold("=== Compliance Trend Analysis ===\n"));
+      console.log("\n" + chalk12.blue.bold("=== Compliance Trend Analysis ===\n"));
       const days = parseInt(options.days || "30", 10);
       const history = await storage.loadHistory(days);
       if (history.length < 2) {
-        console.log(chalk10.yellow(`Not enough data for trend analysis. Found ${history.length} report(s), need at least 2.`));
+        console.log(chalk12.yellow(`Not enough data for trend analysis. Found ${history.length} report(s), need at least 2.`));
       } else {
         const trend = await analyzeTrend(history);
-        console.log(chalk10.bold(`Period: ${trend.period.start} to ${trend.period.end} (${trend.period.days} days)`));
+        console.log(chalk12.bold(`Period: ${trend.period.start} to ${trend.period.end} (${trend.period.days} days)`));
         console.log(`
 Overall Compliance: ${trend.overall.startCompliance}% \u2192 ${trend.overall.endCompliance}% (${trend.overall.change > 0 ? "+" : ""}${trend.overall.change.toFixed(1)}%)`);
         const trendEmoji = trend.overall.trend === "improving" ? "\u{1F4C8}" : trend.overall.trend === "degrading" ? "\u{1F4C9}" : "\u27A1\uFE0F";
-        const trendColor = trend.overall.trend === "improving" ? chalk10.green : trend.overall.trend === "degrading" ? chalk10.red : chalk10.yellow;
+        const trendColor = trend.overall.trend === "improving" ? chalk12.green : trend.overall.trend === "degrading" ? chalk12.red : chalk12.yellow;
         console.log(trendColor(`${trendEmoji} Trend: ${trend.overall.trend.toUpperCase()}`));
         const degrading = trend.decisions.filter((d) => d.trend === "degrading").slice(0, 3);
         if (degrading.length > 0) {
-          console.log(chalk10.red("\n\u26A0\uFE0F  Most Degraded Decisions:"));
+          console.log(chalk12.red("\n\u26A0\uFE0F  Most Degraded Decisions:"));
           degrading.forEach((d) => {
             console.log(`  \u2022 ${d.title}: ${d.startCompliance}% \u2192 ${d.endCompliance}% (${d.change.toFixed(1)}%)`);
           });
         }
         const improving = trend.decisions.filter((d) => d.trend === "improving").slice(0, 3);
         if (improving.length > 0) {
-          console.log(chalk10.green("\n\u2705 Most Improved Decisions:"));
+          console.log(chalk12.green("\n\u2705 Most Improved Decisions:"));
           improving.forEach((d) => {
             console.log(`  \u2022 ${d.title}: ${d.startCompliance}% \u2192 ${d.endCompliance}% (+${d.change.toFixed(1)}%)`);
           });
@@ -4274,26 +4485,26 @@ Overall Compliance: ${trend.overall.startCompliance}% \u2192 ${trend.overall.end
       console.log("");
     }
     if (options.drift) {
-      console.log("\n" + chalk10.blue.bold("=== Drift Analysis ===\n"));
+      console.log("\n" + chalk12.blue.bold("=== Drift Analysis ===\n"));
       const history = await storage.loadHistory(2);
       if (history.length < 2) {
-        console.log(chalk10.yellow("Not enough data for drift analysis. Need at least 2 reports."));
+        console.log(chalk12.yellow("Not enough data for drift analysis. Need at least 2 reports."));
       } else {
         const currentEntry = history[0];
         const previousEntry = history[1];
         if (!currentEntry || !previousEntry) {
-          console.log(chalk10.yellow("Invalid history data."));
+          console.log(chalk12.yellow("Invalid history data."));
           return;
         }
         const drift = await detectDrift(currentEntry.report, previousEntry.report);
-        console.log(chalk10.bold(`Comparing: ${previousEntry.timestamp} vs ${currentEntry.timestamp}`));
+        console.log(chalk12.bold(`Comparing: ${previousEntry.timestamp} vs ${currentEntry.timestamp}`));
         console.log(`
 Compliance Change: ${drift.complianceChange > 0 ? "+" : ""}${drift.complianceChange.toFixed(1)}%`);
         const driftEmoji = drift.trend === "improving" ? "\u{1F4C8}" : drift.trend === "degrading" ? "\u{1F4C9}" : "\u27A1\uFE0F";
-        const driftColor = drift.trend === "improving" ? chalk10.green : drift.trend === "degrading" ? chalk10.red : chalk10.yellow;
+        const driftColor = drift.trend === "improving" ? chalk12.green : drift.trend === "degrading" ? chalk12.red : chalk12.yellow;
         console.log(driftColor(`${driftEmoji} Overall Trend: ${drift.trend.toUpperCase()}`));
         if (drift.summary.newViolations.total > 0) {
-          console.log(chalk10.red(`
+          console.log(chalk12.red(`
 \u26A0\uFE0F  New Violations: ${drift.summary.newViolations.total}`));
           if (drift.summary.newViolations.critical > 0) {
             console.log(`  \u2022 Critical: ${drift.summary.newViolations.critical}`);
@@ -4309,7 +4520,7 @@ Compliance Change: ${drift.complianceChange > 0 ? "+" : ""}${drift.complianceCha
           }
         }
         if (drift.summary.fixedViolations.total > 0) {
-          console.log(chalk10.green(`
+          console.log(chalk12.green(`
 \u2705 Fixed Violations: ${drift.summary.fixedViolations.total}`));
           if (drift.summary.fixedViolations.critical > 0) {
             console.log(`  \u2022 Critical: ${drift.summary.fixedViolations.critical}`);
@@ -4325,7 +4536,7 @@ Compliance Change: ${drift.complianceChange > 0 ? "+" : ""}${drift.complianceCha
           }
         }
         if (drift.mostDegraded.length > 0) {
-          console.log(chalk10.red("\n\u{1F4C9} Most Degraded:"));
+          console.log(chalk12.red("\n\u{1F4C9} Most Degraded:"));
           drift.mostDegraded.forEach((d) => {
             console.log(`  \u2022 ${d.title}: ${d.previousCompliance}% \u2192 ${d.currentCompliance}% (${d.complianceChange.toFixed(1)}%)`);
             if (d.newViolations > 0) {
@@ -4334,7 +4545,7 @@ Compliance Change: ${drift.complianceChange > 0 ? "+" : ""}${drift.complianceCha
           });
         }
         if (drift.mostImproved.length > 0) {
-          console.log(chalk10.green("\n\u{1F4C8} Most Improved:"));
+          console.log(chalk12.green("\n\u{1F4C8} Most Improved:"));
           drift.mostImproved.forEach((d) => {
             console.log(`  \u2022 ${d.title}: ${d.previousCompliance}% \u2192 ${d.currentCompliance}% (+${d.complianceChange.toFixed(1)}%)`);
             if (d.fixedViolations > 0) {
@@ -4374,7 +4585,7 @@ Compliance Change: ${drift.complianceChange > 0 ? "+" : ""}${drift.complianceCha
         `health-${(/* @__PURE__ */ new Date()).toISOString().split("T")[0]}.${extension}`
       );
       await writeTextFile(outputPath, output);
-      console.log(chalk10.green(`
+      console.log(chalk12.green(`
 Report saved to: ${outputPath}`));
       if (options.save && !options.output) {
         const latestPath = join9(getReportsDir(cwd), `health-latest.${extension}`);
@@ -4389,7 +4600,7 @@ Report saved to: ${outputPath}`));
 
 // src/cli/commands/context.ts
 import { Command as Command11 } from "commander";
-import chalk11 from "chalk";
+import chalk13 from "chalk";
 
 // src/agent/context.generator.ts
 async function generateContext(filePath, config, options = {}) {
@@ -4509,12 +4720,12 @@ var contextCommand = new Command11("context").description("Generate architectura
     });
     if (options.output) {
       await writeTextFile(options.output, output);
-      console.log(chalk11.green(`Context saved to: ${options.output}`));
+      console.log(chalk13.green(`Context saved to: ${options.output}`));
     } else {
       console.log(output);
     }
   } catch (error) {
-    console.error(chalk11.red("Failed to generate context"));
+    console.error(chalk13.red("Failed to generate context"));
     throw error;
   }
 });
@@ -4528,7 +4739,7 @@ import { TextDocument } from "vscode-languageserver-textdocument";
 import { fileURLToPath } from "url";
 import path3 from "path";
 import { Project as Project3 } from "ts-morph";
-import chalk12 from "chalk";
+import chalk14 from "chalk";
 function severityToDiagnostic(severity) {
   switch (severity) {
     case "critical":
@@ -4635,7 +4846,7 @@ var SpecBridgeLspServer = class {
     if (!await pathExists(getSpecBridgeDir(this.cwd))) {
       const err = new NotInitializedError();
       this.initError = err.message;
-      if (this.options.verbose) this.connection.console.error(chalk12.red(this.initError));
+      if (this.options.verbose) this.connection.console.error(chalk14.red(this.initError));
       return;
     }
     try {
@@ -4651,11 +4862,11 @@ var SpecBridgeLspServer = class {
         }
       }
       if (this.options.verbose) {
-        this.connection.console.log(chalk12.dim(`Loaded ${this.decisions.length} active decision(s)`));
+        this.connection.console.log(chalk14.dim(`Loaded ${this.decisions.length} active decision(s)`));
       }
     } catch (error) {
       this.initError = error instanceof Error ? error.message : String(error);
-      if (this.options.verbose) this.connection.console.error(chalk12.red(this.initError));
+      if (this.options.verbose) this.connection.console.error(chalk14.red(this.initError));
     }
   }
   async verifyTextDocument(doc) {
@@ -4727,7 +4938,7 @@ var lspCommand = new Command12("lsp").description("Start SpecBridge language ser
 
 // src/cli/commands/watch.ts
 import { Command as Command13 } from "commander";
-import chalk13 from "chalk";
+import chalk15 from "chalk";
 import chokidar from "chokidar";
 import path4 from "path";
 var watchCommand = new Command13("watch").description("Watch for changes and verify files continuously").option("-l, --level <level>", "Verification level (commit, pr, full)", "full").option("--debounce <ms>", "Debounce verify on rapid changes", "150").action(async (options) => {
@@ -4748,15 +4959,15 @@ var watchCommand = new Command13("watch").description("Watch for changes and ver
       files: [absolutePath],
       cwd
     });
-    const prefix = result.success ? chalk13.green("\u2713") : chalk13.red("\u2717");
+    const prefix = result.success ? chalk15.green("\u2713") : chalk15.red("\u2717");
     const summary = `${prefix} ${path4.relative(cwd, absolutePath)}: ${result.violations.length} violation(s)`;
     console.log(summary);
     for (const v of result.violations.slice(0, 20)) {
       const loc = v.line ? `:${v.line}${v.column ? `:${v.column}` : ""}` : "";
-      console.log(chalk13.dim(`  - ${v.file}${loc}: ${v.message} [${v.severity}]`));
+      console.log(chalk15.dim(`  - ${v.file}${loc}: ${v.message} [${v.severity}]`));
     }
     if (result.violations.length > 20) {
-      console.log(chalk13.dim(`  \u2026 ${result.violations.length - 20} more`));
+      console.log(chalk15.dim(`  \u2026 ${result.violations.length - 20} more`));
     }
   };
   const watcher = chokidar.watch(config.project.sourceRoots, {
@@ -4765,7 +4976,7 @@ var watchCommand = new Command13("watch").description("Watch for changes and ver
     ignoreInitial: true,
     persistent: true
   });
-  console.log(chalk13.blue("Watching for changes..."));
+  console.log(chalk15.blue("Watching for changes..."));
   watcher.on("change", (changedPath) => {
     pendingPath = changedPath;
     if (timer) clearTimeout(timer);
@@ -5057,7 +5268,7 @@ var promptCommand = new Command15("prompt").description("Generate AI agent promp
 
 // src/cli/commands/analytics.ts
 import { Command as Command16 } from "commander";
-import chalk14 from "chalk";
+import chalk16 from "chalk";
 import ora7 from "ora";
 
 // src/analytics/engine.ts
@@ -5286,7 +5497,7 @@ var analyticsCommand = new Command16("analytics").description("Analyze complianc
     const history = await storage.loadHistory(days);
     if (history.length === 0) {
       spinner.fail("No historical reports found");
-      console.log(chalk14.yellow("\nGenerate reports with: specbridge report"));
+      console.log(chalk16.yellow("\nGenerate reports with: specbridge report"));
       return;
     }
     spinner.succeed(`Loaded ${history.length} historical report(s)`);
@@ -5303,17 +5514,17 @@ var analyticsCommand = new Command16("analytics").description("Analyze complianc
     }
     if (decisionId) {
       const metrics = await engine.analyzeDecision(decisionId, history);
-      console.log("\n" + chalk14.blue.bold(`=== Decision Analytics: ${metrics.title} ===
+      console.log("\n" + chalk16.blue.bold(`=== Decision Analytics: ${metrics.title} ===
 `));
-      console.log(chalk14.bold("Overview:"));
+      console.log(chalk16.bold("Overview:"));
       console.log(`  ID: ${metrics.decisionId}`);
       console.log(`  Current Violations: ${metrics.totalViolations}`);
       console.log(`  Average Compliance: ${metrics.averageComplianceScore.toFixed(1)}%`);
       const trendEmoji = metrics.trendDirection === "up" ? "\u{1F4C8}" : metrics.trendDirection === "down" ? "\u{1F4C9}" : "\u27A1\uFE0F";
-      const trendColor = metrics.trendDirection === "up" ? chalk14.green : metrics.trendDirection === "down" ? chalk14.red : chalk14.yellow;
+      const trendColor = metrics.trendDirection === "up" ? chalk16.green : metrics.trendDirection === "down" ? chalk16.red : chalk16.yellow;
       console.log(`  ${trendColor(`${trendEmoji} Trend: ${metrics.trendDirection.toUpperCase()}`)}`);
       if (metrics.history.length > 0) {
-        console.log(chalk14.bold("\nCompliance History:"));
+        console.log(chalk16.bold("\nCompliance History:"));
         const recentHistory = metrics.history.slice(-10);
         recentHistory.forEach((h) => {
           const icon = h.violations === 0 ? "\u2705" : "\u26A0\uFE0F";
@@ -5322,58 +5533,58 @@ var analyticsCommand = new Command16("analytics").description("Analyze complianc
       }
     } else {
       const summary = await engine.generateSummary(history);
-      console.log("\n" + chalk14.blue.bold("=== Overall Analytics ===\n"));
-      console.log(chalk14.bold("Summary:"));
+      console.log("\n" + chalk16.blue.bold("=== Overall Analytics ===\n"));
+      console.log(chalk16.bold("Summary:"));
       console.log(`  Total Decisions: ${summary.totalDecisions}`);
       console.log(`  Average Compliance: ${summary.averageCompliance}%`);
       console.log(`  Critical Issues: ${summary.criticalIssues}`);
       const trendEmoji = summary.overallTrend === "up" ? "\u{1F4C8}" : summary.overallTrend === "down" ? "\u{1F4C9}" : "\u27A1\uFE0F";
-      const trendColor = summary.overallTrend === "up" ? chalk14.green : summary.overallTrend === "down" ? chalk14.red : chalk14.yellow;
+      const trendColor = summary.overallTrend === "up" ? chalk16.green : summary.overallTrend === "down" ? chalk16.red : chalk16.yellow;
       console.log(`  ${trendColor(`${trendEmoji} Overall Trend: ${summary.overallTrend.toUpperCase()}`)}`);
       if (summary.topDecisions.length > 0) {
-        console.log(chalk14.green("\n\u2705 Top Performing Decisions:"));
+        console.log(chalk16.green("\n\u2705 Top Performing Decisions:"));
         summary.topDecisions.forEach((d, i) => {
           console.log(`  ${i + 1}. ${d.title}: ${d.compliance}%`);
         });
       }
       if (summary.bottomDecisions.length > 0) {
-        console.log(chalk14.red("\n\u26A0\uFE0F  Decisions Needing Attention:"));
+        console.log(chalk16.red("\n\u26A0\uFE0F  Decisions Needing Attention:"));
         summary.bottomDecisions.forEach((d, i) => {
           console.log(`  ${i + 1}. ${d.title}: ${d.compliance}%`);
         });
       }
       if (options.insights || summary.criticalIssues > 0) {
-        console.log(chalk14.blue.bold("\n=== Insights ===\n"));
+        console.log(chalk16.blue.bold("\n=== Insights ===\n"));
         const insights = summary.insights;
         const warnings = insights.filter((i) => i.type === "warning");
         const successes = insights.filter((i) => i.type === "success");
         const infos = insights.filter((i) => i.type === "info");
         if (warnings.length > 0) {
-          console.log(chalk14.red("\u26A0\uFE0F  Warnings:"));
+          console.log(chalk16.red("\u26A0\uFE0F  Warnings:"));
           warnings.forEach((i) => {
             console.log(`  \u2022 ${i.message}`);
             if (i.details) {
-              console.log(chalk14.gray(`    ${i.details}`));
+              console.log(chalk16.gray(`    ${i.details}`));
             }
           });
           console.log("");
         }
         if (successes.length > 0) {
-          console.log(chalk14.green("\u2705 Positive Trends:"));
+          console.log(chalk16.green("\u2705 Positive Trends:"));
           successes.forEach((i) => {
             console.log(`  \u2022 ${i.message}`);
             if (i.details) {
-              console.log(chalk14.gray(`    ${i.details}`));
+              console.log(chalk16.gray(`    ${i.details}`));
             }
           });
           console.log("");
         }
         if (infos.length > 0) {
-          console.log(chalk14.blue("\u{1F4A1} Suggestions:"));
+          console.log(chalk16.blue("\u{1F4A1} Suggestions:"));
           infos.forEach((i) => {
             console.log(`  \u2022 ${i.message}`);
             if (i.details) {
-              console.log(chalk14.gray(`    ${i.details}`));
+              console.log(chalk16.gray(`    ${i.details}`));
             }
           });
           console.log("");
@@ -5383,10 +5594,10 @@ var analyticsCommand = new Command16("analytics").description("Analyze complianc
     const latestEntry = history[history.length - 1];
     const oldestEntry = history[0];
     if (latestEntry && oldestEntry) {
-      console.log(chalk14.gray(`
+      console.log(chalk16.gray(`
 Data range: ${latestEntry.timestamp} to ${oldestEntry.timestamp}`));
     }
-    console.log(chalk14.gray(`Analyzing ${history.length} report(s) over ${days} days
+    console.log(chalk16.gray(`Analyzing ${history.length} report(s) over ${days} days
 `));
   } catch (error) {
     spinner.fail("Analytics failed");
@@ -5396,7 +5607,7 @@ Data range: ${latestEntry.timestamp} to ${oldestEntry.timestamp}`));
 
 // src/cli/commands/dashboard.ts
 import { Command as Command17 } from "commander";
-import chalk15 from "chalk";
+import chalk17 from "chalk";
 
 // src/dashboard/server.ts
 import express from "express";
@@ -5611,42 +5822,325 @@ var dashboardCommand = new Command17("dashboard").description("Start compliance
   if (!await pathExists(getSpecBridgeDir(cwd))) {
     throw new NotInitializedError();
   }
-  console.log(chalk15.blue("Starting SpecBridge dashboard..."));
+  console.log(chalk17.blue("Starting SpecBridge dashboard..."));
   try {
     const config = await loadConfig(cwd);
     const app = createDashboardServer({ cwd, config });
     const port = parseInt(options.port || "3000", 10);
     const host = options.host || "localhost";
     app.listen(port, host, () => {
-      console.log(chalk15.green(`
+      console.log(chalk17.green(`
 \u2713 Dashboard running at http://${host}:${port}`));
-      console.log(chalk15.gray("  Press Ctrl+C to stop\n"));
-      console.log(chalk15.bold("API Endpoints:"));
-      console.log(`  ${chalk15.cyan(`http://${host}:${port}/api/health`)} - Health check`);
-      console.log(`  ${chalk15.cyan(`http://${host}:${port}/api/report/latest`)} - Latest report`);
-      console.log(`  ${chalk15.cyan(`http://${host}:${port}/api/decisions`)} - All decisions`);
-      console.log(`  ${chalk15.cyan(`http://${host}:${port}/api/analytics/summary`)} - Analytics`);
+      console.log(chalk17.gray("  Press Ctrl+C to stop\n"));
+      console.log(chalk17.bold("API Endpoints:"));
+      console.log(`  ${chalk17.cyan(`http://${host}:${port}/api/health`)} - Health check`);
+      console.log(`  ${chalk17.cyan(`http://${host}:${port}/api/report/latest`)} - Latest report`);
+      console.log(`  ${chalk17.cyan(`http://${host}:${port}/api/decisions`)} - All decisions`);
+      console.log(`  ${chalk17.cyan(`http://${host}:${port}/api/analytics/summary`)} - Analytics`);
       console.log("");
     });
     process.on("SIGINT", () => {
-      console.log(chalk15.yellow("\n\nShutting down dashboard..."));
+      console.log(chalk17.yellow("\n\nShutting down dashboard..."));
       process.exit(0);
     });
     process.on("SIGTERM", () => {
-      console.log(chalk15.yellow("\n\nShutting down dashboard..."));
+      console.log(chalk17.yellow("\n\nShutting down dashboard..."));
       process.exit(0);
     });
   } catch (error) {
-    console.error(chalk15.red("Failed to start dashboard:"), error);
+    console.error(chalk17.red("Failed to start dashboard:"), error);
+    throw error;
+  }
+});
+
+// src/cli/commands/impact.ts
+import { Command as Command18 } from "commander";
+import chalk18 from "chalk";
+import ora8 from "ora";
+
+// src/propagation/graph.ts
+async function buildDependencyGraph2(decisions, files) {
+  const nodes = /* @__PURE__ */ new Map();
+  const decisionToFiles = /* @__PURE__ */ new Map();
+  const fileToDecisions = /* @__PURE__ */ new Map();
+  for (const decision of decisions) {
+    const decisionId = `decision:${decision.metadata.id}`;
+    nodes.set(decisionId, {
+      type: "decision",
+      id: decision.metadata.id,
+      edges: decision.constraints.map((c) => `constraint:${decision.metadata.id}/${c.id}`)
+    });
+    for (const constraint of decision.constraints) {
+      const constraintId = `constraint:${decision.metadata.id}/${constraint.id}`;
+      const matchingFiles = [];
+      for (const file of files) {
+        if (matchesPattern(file, constraint.scope)) {
+          matchingFiles.push(`file:${file}`);
+          const fileDecisions = fileToDecisions.get(file) || /* @__PURE__ */ new Set();
+          fileDecisions.add(decision.metadata.id);
+          fileToDecisions.set(file, fileDecisions);
+          const decFiles = decisionToFiles.get(decision.metadata.id) || /* @__PURE__ */ new Set();
+          decFiles.add(file);
+          decisionToFiles.set(decision.metadata.id, decFiles);
+        }
+      }
+      nodes.set(constraintId, {
+        type: "constraint",
+        id: `${decision.metadata.id}/${constraint.id}`,
+        edges: matchingFiles
+      });
+    }
+  }
+  for (const file of files) {
+    const fileId = `file:${file}`;
+    if (!nodes.has(fileId)) {
+      nodes.set(fileId, {
+        type: "file",
+        id: file,
+        edges: []
+      });
+    }
+  }
+  return {
+    nodes,
+    decisionToFiles,
+    fileToDecisions
+  };
+}
+function getAffectedFiles(graph, decisionId) {
+  const files = graph.decisionToFiles.get(decisionId);
+  return files ? Array.from(files) : [];
+}
+
+// src/propagation/engine.ts
+var PropagationEngine = class {
+  registry;
+  graph = null;
+  constructor(registry) {
+    this.registry = registry || createRegistry();
+  }
+  /**
+   * Initialize the engine with current state
+   */
+  async initialize(config, options = {}) {
+    const { cwd = process.cwd() } = options;
+    await this.registry.load();
+    const files = await glob(config.project.sourceRoots, {
+      cwd,
+      ignore: config.project.exclude,
+      absolute: true
+    });
+    const decisions = this.registry.getActive();
+    this.graph = await buildDependencyGraph2(decisions, files);
+  }
+  /**
+   * Analyze impact of changing a decision
+   */
+  async analyzeImpact(decisionId, change, config, options = {}) {
+    const { cwd = process.cwd() } = options;
+    if (!this.graph) {
+      await this.initialize(config, options);
+    }
+    const affectedFilePaths = getAffectedFiles(this.graph, decisionId);
+    const verificationEngine = createVerificationEngine(this.registry);
+    const result = await verificationEngine.verify(config, {
+      files: affectedFilePaths,
+      decisions: [decisionId],
+      cwd
+    });
+    const fileViolations = /* @__PURE__ */ new Map();
+    for (const violation of result.violations) {
+      const existing = fileViolations.get(violation.file) || { total: 0, autoFixable: 0 };
+      existing.total++;
+      if (violation.autofix) {
+        existing.autoFixable++;
+      }
+      fileViolations.set(violation.file, existing);
+    }
+    const affectedFiles = affectedFilePaths.map((path5) => ({
+      path: path5,
+      violations: fileViolations.get(path5)?.total || 0,
+      autoFixable: fileViolations.get(path5)?.autoFixable || 0
+    }));
+    affectedFiles.sort((a, b) => b.violations - a.violations);
+    const totalViolations = result.violations.length;
+    const totalAutoFixable = result.violations.filter((v) => v.autofix).length;
+    const manualFixes = totalViolations - totalAutoFixable;
+    let estimatedEffort;
+    if (manualFixes === 0) {
+      estimatedEffort = "low";
+    } else if (manualFixes <= 10) {
+      estimatedEffort = "medium";
+    } else {
+      estimatedEffort = "high";
+    }
+    const migrationSteps = this.generateMigrationSteps(
+      affectedFiles,
+      totalAutoFixable > 0
+    );
+    return {
+      decision: decisionId,
+      change,
+      affectedFiles,
+      estimatedEffort,
+      migrationSteps
+    };
+  }
+  /**
+   * Generate migration steps
+   */
+  generateMigrationSteps(affectedFiles, hasAutoFixes) {
+    const steps = [];
+    let order = 1;
+    if (hasAutoFixes) {
+      steps.push({
+        order: order++,
+        description: "Run auto-fix for mechanical violations",
+        files: affectedFiles.filter((f) => f.autoFixable > 0).map((f) => f.path),
+        automated: true
+      });
+    }
+    const filesWithManualFixes = affectedFiles.filter(
+      (f) => f.violations > f.autoFixable
+    );
+    if (filesWithManualFixes.length > 0) {
+      const highPriority = filesWithManualFixes.filter((f) => f.violations > 5);
+      const mediumPriority = filesWithManualFixes.filter(
+        (f) => f.violations <= 5 && f.violations > 1
+      );
+      const lowPriority = filesWithManualFixes.filter((f) => f.violations === 1);
+      if (highPriority.length > 0) {
+        steps.push({
+          order: order++,
+          description: "Fix high-violation files first",
+          files: highPriority.map((f) => f.path),
+          automated: false
+        });
+      }
+      if (mediumPriority.length > 0) {
+        steps.push({
+          order: order++,
+          description: "Fix medium-violation files",
+          files: mediumPriority.map((f) => f.path),
+          automated: false
+        });
+      }
+      if (lowPriority.length > 0) {
+        steps.push({
+          order: order++,
+          description: "Fix remaining files",
+          files: lowPriority.map((f) => f.path),
+          automated: false
+        });
+      }
+    }
+    steps.push({
+      order: order++,
+      description: "Run verification to confirm all violations resolved",
+      files: [],
+      automated: true
+    });
+    return steps;
+  }
+  /**
+   * Get dependency graph
+   */
+  getGraph() {
+    return this.graph;
+  }
+};
+function createPropagationEngine(registry) {
+  return new PropagationEngine(registry);
+}
+
+// src/cli/commands/impact.ts
+var impactCommand = new Command18("impact").description("Analyze impact of decision changes").argument("<decision-id>", "Decision ID to analyze").option("-c, --change <type>", "Type of change (created, modified, deprecated)", "modified").option("--json", "Output as JSON").option("--show-steps", "Show detailed migration steps", true).action(async (decisionId, options) => {
+  const cwd = process.cwd();
+  if (!await pathExists(getSpecBridgeDir(cwd))) {
+    throw new NotInitializedError();
+  }
+  const spinner = ora8("Loading configuration...").start();
+  try {
+    const config = await loadConfig(cwd);
+    const changeType = options.change || "modified";
+    if (!["created", "modified", "deprecated"].includes(changeType)) {
+      spinner.fail();
+      console.error(chalk18.red(`Invalid change type: ${changeType}`));
+      console.error(chalk18.dim("Valid types: created, modified, deprecated"));
+      process.exit(1);
+    }
+    spinner.text = `Analyzing impact of ${changeType} decision ${decisionId}...`;
+    const engine = createPropagationEngine();
+    const analysis = await engine.analyzeImpact(decisionId, changeType, config, { cwd });
+    spinner.stop();
+    if (options.json) {
+      console.log(JSON.stringify(analysis, null, 2));
+    } else {
+      printImpactAnalysis(analysis, options.showSteps !== false);
+    }
+  } catch (error) {
+    spinner.fail("Impact analysis failed");
     throw error;
   }
 });
+function printImpactAnalysis(analysis, showSteps) {
+  console.log(chalk18.bold(`
+=== Impact Analysis: ${analysis.decision} ===
+`));
+  const changeLabel = chalk18.cyan(analysis.change);
+  console.log(`Change Type: ${changeLabel}`);
+  const effortColor = analysis.estimatedEffort === "high" ? chalk18.red : analysis.estimatedEffort === "medium" ? chalk18.yellow : chalk18.green;
+  console.log(`Estimated Effort: ${effortColor(analysis.estimatedEffort.toUpperCase())}
+`);
+  console.log(chalk18.bold(`Affected Files: ${analysis.affectedFiles.length}`));
+  if (analysis.affectedFiles.length > 0) {
+    const displayCount = Math.min(analysis.affectedFiles.length, 10);
+    for (let i = 0; i < displayCount; i++) {
+      const file = analysis.affectedFiles[i];
+      if (!file) continue;
+      const violationText = file.violations === 1 ? "1 violation" : `${file.violations} violations`;
+      const autoFixText = file.autoFixable > 0 ? chalk18.green(` (${file.autoFixable} auto-fixable)`) : "";
+      console.log(`  ${chalk18.red("\u25CF")} ${file.path} - ${violationText}${autoFixText}`);
+    }
+    if (analysis.affectedFiles.length > displayCount) {
+      const remaining = analysis.affectedFiles.length - displayCount;
+      console.log(chalk18.dim(`  ... and ${remaining} more file(s)`));
+    }
+  } else {
+    console.log(chalk18.green("  No violations found"));
+  }
+  if (showSteps && analysis.migrationSteps && analysis.migrationSteps.length > 0) {
+    console.log(chalk18.bold("\nMigration Plan:"));
+    for (const step of analysis.migrationSteps) {
+      const icon = step.automated ? "\u{1F916}" : "\u{1F464}";
+      const typeLabel = step.automated ? chalk18.green("[Automated]") : chalk18.yellow("[Manual]");
+      console.log(`  ${icon} Step ${step.order}: ${step.description} ${typeLabel}`);
+      if (step.files.length > 0) {
+        const displayFiles = Math.min(step.files.length, 3);
+        for (let i = 0; i < displayFiles; i++) {
+          console.log(chalk18.dim(`     - ${step.files[i]}`));
+        }
+        if (step.files.length > displayFiles) {
+          console.log(chalk18.dim(`     ... and ${step.files.length - displayFiles} more file(s)`));
+        }
+      }
+      console.log("");
+    }
+  }
+  const totalViolations = analysis.affectedFiles.reduce((sum, f) => sum + f.violations, 0);
+  const totalAutoFixable = analysis.affectedFiles.reduce((sum, f) => sum + f.autoFixable, 0);
+  const manualFixes = totalViolations - totalAutoFixable;
+  console.log(chalk18.bold("Summary:"));
+  console.log(`  Total Violations: ${totalViolations}`);
+  console.log(`  Auto-fixable: ${chalk18.green(totalAutoFixable)}`);
+  console.log(`  Manual Fixes Required: ${manualFixes > 0 ? chalk18.yellow(manualFixes) : chalk18.green(0)}`);
+}
 
 // src/cli/index.ts
 var __dirname2 = dirname5(fileURLToPath4(import.meta.url));
 var packageJsonPath = join12(__dirname2, "../package.json");
 var packageJson = JSON.parse(readFileSync2(packageJsonPath, "utf-8"));
-var program = new Command18();
+var program = new Command19();
 program.name("specbridge").description("Architecture Decision Runtime - Transform architectural decisions into executable, verifiable constraints").version(packageJson.version);
 program.addCommand(initCommand);
 program.addCommand(inferCommand);
@@ -5661,6 +6155,7 @@ program.addCommand(mcpServerCommand);
 program.addCommand(promptCommand);
 program.addCommand(analyticsCommand);
 program.addCommand(dashboardCommand);
+program.addCommand(impactCommand);
 program.exitOverride((err) => {
   if (err.code === "commander.help" || err.code === "commander.helpDisplayed") {
     process.exit(0);
@@ -5668,11 +6163,11 @@ program.exitOverride((err) => {
   if (err.code === "commander.version") {
     process.exit(0);
   }
-  console.error(chalk16.red(formatError(err)));
+  console.error(chalk19.red(formatError(err)));
   process.exit(1);
 });
 program.parseAsync(process.argv).catch((error) => {
-  console.error(chalk16.red(formatError(error)));
+  console.error(chalk19.red(formatError(error)));
   process.exit(1);
 });
 //# sourceMappingURL=cli.js.map