@ipation/specbridge 2.1.0 → 2.3.0

package/dist/index.d.ts

@@ -1,6 +1,7 @@
 import { z } from 'zod';
 import { SourceFile, Project } from 'ts-morph';
 import { Document } from 'yaml';
+import { Application } from 'express';
 export { minimatch } from 'minimatch';
 
 /**
@@ -328,443 +329,174 @@ interface MigrationStep {
  * Zod schemas for decision YAML validation
  */
 
-declare const DecisionStatusSchema: z.ZodEnum<["draft", "active", "deprecated", "superseded"]>;
-declare const ConstraintTypeSchema: z.ZodEnum<["invariant", "convention", "guideline"]>;
-declare const SeveritySchema: z.ZodEnum<["critical", "high", "medium", "low"]>;
-declare const VerificationFrequencySchema: z.ZodEnum<["commit", "pr", "daily", "weekly"]>;
+declare const DecisionStatusSchema: z.ZodEnum<{
+    draft: "draft";
+    active: "active";
+    deprecated: "deprecated";
+    superseded: "superseded";
+}>;
+declare const ConstraintTypeSchema: z.ZodEnum<{
+    invariant: "invariant";
+    convention: "convention";
+    guideline: "guideline";
+}>;
+declare const SeveritySchema: z.ZodEnum<{
+    critical: "critical";
+    high: "high";
+    medium: "medium";
+    low: "low";
+}>;
+declare const VerificationFrequencySchema: z.ZodEnum<{
+    commit: "commit";
+    pr: "pr";
+    daily: "daily";
+    weekly: "weekly";
+}>;
 declare const DecisionMetadataSchema: z.ZodObject<{
     id: z.ZodString;
     title: z.ZodString;
-    status: z.ZodEnum<["draft", "active", "deprecated", "superseded"]>;
-    owners: z.ZodArray<z.ZodString, "many">;
+    status: z.ZodEnum<{
+        draft: "draft";
+        active: "active";
+        deprecated: "deprecated";
+        superseded: "superseded";
+    }>;
+    owners: z.ZodArray<z.ZodString>;
     createdAt: z.ZodOptional<z.ZodString>;
     updatedAt: z.ZodOptional<z.ZodString>;
     supersededBy: z.ZodOptional<z.ZodString>;
-    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-}, "strip", z.ZodTypeAny, {
-    id: string;
-    title: string;
-    status: "draft" | "active" | "deprecated" | "superseded";
-    owners: string[];
-    createdAt?: string | undefined;
-    updatedAt?: string | undefined;
-    supersededBy?: string | undefined;
-    tags?: string[] | undefined;
-}, {
-    id: string;
-    title: string;
-    status: "draft" | "active" | "deprecated" | "superseded";
-    owners: string[];
-    createdAt?: string | undefined;
-    updatedAt?: string | undefined;
-    supersededBy?: string | undefined;
-    tags?: string[] | undefined;
-}>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
 declare const DecisionContentSchema: z.ZodObject<{
     summary: z.ZodString;
     rationale: z.ZodString;
     context: z.ZodOptional<z.ZodString>;
-    consequences: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-}, "strip", z.ZodTypeAny, {
-    summary: string;
-    rationale: string;
-    context?: string | undefined;
-    consequences?: string[] | undefined;
-}, {
-    summary: string;
-    rationale: string;
-    context?: string | undefined;
-    consequences?: string[] | undefined;
-}>;
+    consequences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
 declare const ConstraintExceptionSchema: z.ZodObject<{
     pattern: z.ZodString;
     reason: z.ZodString;
     approvedBy: z.ZodOptional<z.ZodString>;
     expiresAt: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-    pattern: string;
-    reason: string;
-    approvedBy?: string | undefined;
-    expiresAt?: string | undefined;
-}, {
-    pattern: string;
-    reason: string;
-    approvedBy?: string | undefined;
-    expiresAt?: string | undefined;
-}>;
+}, z.core.$strip>;
 declare const ConstraintCheckSchema: z.ZodObject<{
     verifier: z.ZodString;
     params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-}, "strip", z.ZodTypeAny, {
-    verifier: string;
-    params?: Record<string, unknown> | undefined;
-}, {
-    verifier: string;
-    params?: Record<string, unknown> | undefined;
-}>;
+}, z.core.$strip>;
 declare const ConstraintSchema: z.ZodObject<{
     id: z.ZodString;
-    type: z.ZodEnum<["invariant", "convention", "guideline"]>;
+    type: z.ZodEnum<{
+        invariant: "invariant";
+        convention: "convention";
+        guideline: "guideline";
+    }>;
     rule: z.ZodString;
-    severity: z.ZodEnum<["critical", "high", "medium", "low"]>;
+    severity: z.ZodEnum<{
+        critical: "critical";
+        high: "high";
+        medium: "medium";
+        low: "low";
+    }>;
     scope: z.ZodString;
     verifier: z.ZodOptional<z.ZodString>;
     check: z.ZodOptional<z.ZodObject<{
         verifier: z.ZodString;
         params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    }, "strip", z.ZodTypeAny, {
-        verifier: string;
-        params?: Record<string, unknown> | undefined;
-    }, {
-        verifier: string;
-        params?: Record<string, unknown> | undefined;
-    }>>;
+    }, z.core.$strip>>;
     autofix: z.ZodOptional<z.ZodBoolean>;
     exceptions: z.ZodOptional<z.ZodArray<z.ZodObject<{
         pattern: z.ZodString;
         reason: z.ZodString;
         approvedBy: z.ZodOptional<z.ZodString>;
         expiresAt: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        pattern: string;
-        reason: string;
-        approvedBy?: string | undefined;
-        expiresAt?: string | undefined;
-    }, {
-        pattern: string;
-        reason: string;
-        approvedBy?: string | undefined;
-        expiresAt?: string | undefined;
-    }>, "many">>;
-}, "strip", z.ZodTypeAny, {
-    id: string;
-    type: "invariant" | "convention" | "guideline";
-    rule: string;
-    severity: "critical" | "high" | "medium" | "low";
-    scope: string;
-    verifier?: string | undefined;
-    check?: {
-        verifier: string;
-        params?: Record<string, unknown> | undefined;
-    } | undefined;
-    autofix?: boolean | undefined;
-    exceptions?: {
-        pattern: string;
-        reason: string;
-        approvedBy?: string | undefined;
-        expiresAt?: string | undefined;
-    }[] | undefined;
-}, {
-    id: string;
-    type: "invariant" | "convention" | "guideline";
-    rule: string;
-    severity: "critical" | "high" | "medium" | "low";
-    scope: string;
-    verifier?: string | undefined;
-    check?: {
-        verifier: string;
-        params?: Record<string, unknown> | undefined;
-    } | undefined;
-    autofix?: boolean | undefined;
-    exceptions?: {
-        pattern: string;
-        reason: string;
-        approvedBy?: string | undefined;
-        expiresAt?: string | undefined;
-    }[] | undefined;
-}>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
 declare const VerificationConfigSchema: z.ZodObject<{
     check: z.ZodString;
     target: z.ZodString;
-    frequency: z.ZodEnum<["commit", "pr", "daily", "weekly"]>;
+    frequency: z.ZodEnum<{
+        commit: "commit";
+        pr: "pr";
+        daily: "daily";
+        weekly: "weekly";
+    }>;
     timeout: z.ZodOptional<z.ZodNumber>;
-}, "strip", z.ZodTypeAny, {
-    check: string;
-    target: string;
-    frequency: "commit" | "pr" | "daily" | "weekly";
-    timeout?: number | undefined;
-}, {
-    check: string;
-    target: string;
-    frequency: "commit" | "pr" | "daily" | "weekly";
-    timeout?: number | undefined;
-}>;
+}, z.core.$strip>;
 declare const LinksSchema: z.ZodObject<{
-    related: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    supersedes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    references: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-}, "strip", z.ZodTypeAny, {
-    related?: string[] | undefined;
-    supersedes?: string[] | undefined;
-    references?: string[] | undefined;
-}, {
-    related?: string[] | undefined;
-    supersedes?: string[] | undefined;
-    references?: string[] | undefined;
-}>;
+    related: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    supersedes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    references: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
 declare const DecisionSchema: z.ZodObject<{
     kind: z.ZodLiteral<"Decision">;
     metadata: z.ZodObject<{
         id: z.ZodString;
         title: z.ZodString;
-        status: z.ZodEnum<["draft", "active", "deprecated", "superseded"]>;
-        owners: z.ZodArray<z.ZodString, "many">;
+        status: z.ZodEnum<{
+            draft: "draft";
+            active: "active";
+            deprecated: "deprecated";
+            superseded: "superseded";
+        }>;
+        owners: z.ZodArray<z.ZodString>;
         createdAt: z.ZodOptional<z.ZodString>;
         updatedAt: z.ZodOptional<z.ZodString>;
         supersededBy: z.ZodOptional<z.ZodString>;
-        tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        title: string;
-        status: "draft" | "active" | "deprecated" | "superseded";
-        owners: string[];
-        createdAt?: string | undefined;
-        updatedAt?: string | undefined;
-        supersededBy?: string | undefined;
-        tags?: string[] | undefined;
-    }, {
-        id: string;
-        title: string;
-        status: "draft" | "active" | "deprecated" | "superseded";
-        owners: string[];
-        createdAt?: string | undefined;
-        updatedAt?: string | undefined;
-        supersededBy?: string | undefined;
-        tags?: string[] | undefined;
-    }>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
     decision: z.ZodObject<{
         summary: z.ZodString;
         rationale: z.ZodString;
         context: z.ZodOptional<z.ZodString>;
-        consequences: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        summary: string;
-        rationale: string;
-        context?: string | undefined;
-        consequences?: string[] | undefined;
-    }, {
-        summary: string;
-        rationale: string;
-        context?: string | undefined;
-        consequences?: string[] | undefined;
-    }>;
+        consequences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
     constraints: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
-        type: z.ZodEnum<["invariant", "convention", "guideline"]>;
+        type: z.ZodEnum<{
+            invariant: "invariant";
+            convention: "convention";
+            guideline: "guideline";
+        }>;
         rule: z.ZodString;
-        severity: z.ZodEnum<["critical", "high", "medium", "low"]>;
+        severity: z.ZodEnum<{
+            critical: "critical";
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
         scope: z.ZodString;
         verifier: z.ZodOptional<z.ZodString>;
         check: z.ZodOptional<z.ZodObject<{
             verifier: z.ZodString;
             params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-        }, "strip", z.ZodTypeAny, {
-            verifier: string;
-            params?: Record<string, unknown> | undefined;
-        }, {
-            verifier: string;
-            params?: Record<string, unknown> | undefined;
-        }>>;
+        }, z.core.$strip>>;
         autofix: z.ZodOptional<z.ZodBoolean>;
         exceptions: z.ZodOptional<z.ZodArray<z.ZodObject<{
             pattern: z.ZodString;
             reason: z.ZodString;
             approvedBy: z.ZodOptional<z.ZodString>;
             expiresAt: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            pattern: string;
-            reason: string;
-            approvedBy?: string | undefined;
-            expiresAt?: string | undefined;
-        }, {
-            pattern: string;
-            reason: string;
-            approvedBy?: string | undefined;
-            expiresAt?: string | undefined;
-        }>, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        type: "invariant" | "convention" | "guideline";
-        rule: string;
-        severity: "critical" | "high" | "medium" | "low";
-        scope: string;
-        verifier?: string | undefined;
-        check?: {
-            verifier: string;
-            params?: Record<string, unknown> | undefined;
-        } | undefined;
-        autofix?: boolean | undefined;
-        exceptions?: {
-            pattern: string;
-            reason: string;
-            approvedBy?: string | undefined;
-            expiresAt?: string | undefined;
-        }[] | undefined;
-    }, {
-        id: string;
-        type: "invariant" | "convention" | "guideline";
-        rule: string;
-        severity: "critical" | "high" | "medium" | "low";
-        scope: string;
-        verifier?: string | undefined;
-        check?: {
-            verifier: string;
-            params?: Record<string, unknown> | undefined;
-        } | undefined;
-        autofix?: boolean | undefined;
-        exceptions?: {
-            pattern: string;
-            reason: string;
-            approvedBy?: string | undefined;
-            expiresAt?: string | undefined;
-        }[] | undefined;
-    }>, "many">;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
     verification: z.ZodOptional<z.ZodObject<{
         automated: z.ZodOptional<z.ZodArray<z.ZodObject<{
             check: z.ZodString;
             target: z.ZodString;
-            frequency: z.ZodEnum<["commit", "pr", "daily", "weekly"]>;
+            frequency: z.ZodEnum<{
+                commit: "commit";
+                pr: "pr";
+                daily: "daily";
+                weekly: "weekly";
+            }>;
             timeout: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            check: string;
-            target: string;
-            frequency: "commit" | "pr" | "daily" | "weekly";
-            timeout?: number | undefined;
-        }, {
-            check: string;
-            target: string;
-            frequency: "commit" | "pr" | "daily" | "weekly";
-            timeout?: number | undefined;
-        }>, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        automated?: {
-            check: string;
-            target: string;
-            frequency: "commit" | "pr" | "daily" | "weekly";
-            timeout?: number | undefined;
-        }[] | undefined;
-    }, {
-        automated?: {
-            check: string;
-            target: string;
-            frequency: "commit" | "pr" | "daily" | "weekly";
-            timeout?: number | undefined;
-        }[] | undefined;
-    }>>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
     links: z.ZodOptional<z.ZodObject<{
-        related: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        supersedes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        references: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        related?: string[] | undefined;
-        supersedes?: string[] | undefined;
-        references?: string[] | undefined;
-    }, {
-        related?: string[] | undefined;
-        supersedes?: string[] | undefined;
-        references?: string[] | undefined;
-    }>>;
-}, "strip", z.ZodTypeAny, {
-    kind: "Decision";
-    metadata: {
-        id: string;
-        title: string;
-        status: "draft" | "active" | "deprecated" | "superseded";
-        owners: string[];
-        createdAt?: string | undefined;
-        updatedAt?: string | undefined;
-        supersededBy?: string | undefined;
-        tags?: string[] | undefined;
-    };
-    decision: {
-        summary: string;
-        rationale: string;
-        context?: string | undefined;
-        consequences?: string[] | undefined;
-    };
-    constraints: {
-        id: string;
-        type: "invariant" | "convention" | "guideline";
-        rule: string;
-        severity: "critical" | "high" | "medium" | "low";
-        scope: string;
-        verifier?: string | undefined;
-        check?: {
-            verifier: string;
-            params?: Record<string, unknown> | undefined;
-        } | undefined;
-        autofix?: boolean | undefined;
-        exceptions?: {
-            pattern: string;
-            reason: string;
-            approvedBy?: string | undefined;
-            expiresAt?: string | undefined;
-        }[] | undefined;
-    }[];
-    verification?: {
-        automated?: {
-            check: string;
-            target: string;
-            frequency: "commit" | "pr" | "daily" | "weekly";
-            timeout?: number | undefined;
-        }[] | undefined;
-    } | undefined;
-    links?: {
-        related?: string[] | undefined;
-        supersedes?: string[] | undefined;
-        references?: string[] | undefined;
-    } | undefined;
-}, {
-    kind: "Decision";
-    metadata: {
-        id: string;
-        title: string;
-        status: "draft" | "active" | "deprecated" | "superseded";
-        owners: string[];
-        createdAt?: string | undefined;
-        updatedAt?: string | undefined;
-        supersededBy?: string | undefined;
-        tags?: string[] | undefined;
-    };
-    decision: {
-        summary: string;
-        rationale: string;
-        context?: string | undefined;
-        consequences?: string[] | undefined;
-    };
-    constraints: {
-        id: string;
-        type: "invariant" | "convention" | "guideline";
-        rule: string;
-        severity: "critical" | "high" | "medium" | "low";
-        scope: string;
-        verifier?: string | undefined;
-        check?: {
-            verifier: string;
-            params?: Record<string, unknown> | undefined;
-        } | undefined;
-        autofix?: boolean | undefined;
-        exceptions?: {
-            pattern: string;
-            reason: string;
-            approvedBy?: string | undefined;
-            expiresAt?: string | undefined;
-        }[] | undefined;
-    }[];
-    verification?: {
-        automated?: {
-            check: string;
-            target: string;
-            frequency: "commit" | "pr" | "daily" | "weekly";
-            timeout?: number | undefined;
-        }[] | undefined;
-    } | undefined;
-    links?: {
-        related?: string[] | undefined;
-        supersedes?: string[] | undefined;
-        references?: string[] | undefined;
-    } | undefined;
-}>;
+        related: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        supersedes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        references: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
 type DecisionStatusSchema_ = z.infer<typeof DecisionStatusSchema>;
 type ConstraintTypeSchema_ = z.infer<typeof ConstraintTypeSchema>;
 type SeveritySchema_ = z.infer<typeof SeveritySchema>;
@@ -799,190 +531,53 @@ declare const SpecBridgeConfigSchema: z.ZodObject<{
     version: z.ZodString;
     project: z.ZodObject<{
         name: z.ZodString;
-        sourceRoots: z.ZodArray<z.ZodString, "many">;
-        exclude: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        name: string;
-        sourceRoots: string[];
-        exclude?: string[] | undefined;
-    }, {
-        name: string;
-        sourceRoots: string[];
-        exclude?: string[] | undefined;
-    }>;
+        sourceRoots: z.ZodArray<z.ZodString>;
+        exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
     inference: z.ZodOptional<z.ZodObject<{
         minConfidence: z.ZodOptional<z.ZodNumber>;
-        analyzers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        minConfidence?: number | undefined;
-        analyzers?: string[] | undefined;
-    }, {
-        minConfidence?: number | undefined;
-        analyzers?: string[] | undefined;
-    }>>;
+        analyzers: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
     verification: z.ZodOptional<z.ZodObject<{
         levels: z.ZodOptional<z.ZodObject<{
             commit: z.ZodOptional<z.ZodObject<{
                 timeout: z.ZodOptional<z.ZodNumber>;
-                severity: z.ZodOptional<z.ZodArray<z.ZodEnum<["critical", "high", "medium", "low"]>, "many">>;
-            }, "strip", z.ZodTypeAny, {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            }, {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            }>>;
+                severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    critical: "critical";
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>>>;
+            }, z.core.$strip>>;
             pr: z.ZodOptional<z.ZodObject<{
                 timeout: z.ZodOptional<z.ZodNumber>;
-                severity: z.ZodOptional<z.ZodArray<z.ZodEnum<["critical", "high", "medium", "low"]>, "many">>;
-            }, "strip", z.ZodTypeAny, {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            }, {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            }>>;
+                severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    critical: "critical";
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>>>;
+            }, z.core.$strip>>;
             full: z.ZodOptional<z.ZodObject<{
                 timeout: z.ZodOptional<z.ZodNumber>;
-                severity: z.ZodOptional<z.ZodArray<z.ZodEnum<["critical", "high", "medium", "low"]>, "many">>;
-            }, "strip", z.ZodTypeAny, {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            }, {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            }>>;
-        }, "strip", z.ZodTypeAny, {
-            commit?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            pr?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            full?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-        }, {
-            commit?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            pr?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            full?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        levels?: {
-            commit?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            pr?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            full?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-        } | undefined;
-    }, {
-        levels?: {
-            commit?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            pr?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            full?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-        } | undefined;
-    }>>;
+                severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    critical: "critical";
+                    high: "high";
+                    medium: "medium";
+                    low: "low";
+                }>>>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
     agent: z.ZodOptional<z.ZodObject<{
-        format: z.ZodOptional<z.ZodEnum<["markdown", "json", "mcp"]>>;
+        format: z.ZodOptional<z.ZodEnum<{
+            markdown: "markdown";
+            json: "json";
+            mcp: "mcp";
+        }>>;
         includeRationale: z.ZodOptional<z.ZodBoolean>;
-    }, "strip", z.ZodTypeAny, {
-        format?: "markdown" | "json" | "mcp" | undefined;
-        includeRationale?: boolean | undefined;
-    }, {
-        format?: "markdown" | "json" | "mcp" | undefined;
-        includeRationale?: boolean | undefined;
-    }>>;
-}, "strip", z.ZodTypeAny, {
-    version: string;
-    project: {
-        name: string;
-        sourceRoots: string[];
-        exclude?: string[] | undefined;
-    };
-    verification?: {
-        levels?: {
-            commit?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            pr?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            full?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-        } | undefined;
-    } | undefined;
-    inference?: {
-        minConfidence?: number | undefined;
-        analyzers?: string[] | undefined;
-    } | undefined;
-    agent?: {
-        format?: "markdown" | "json" | "mcp" | undefined;
-        includeRationale?: boolean | undefined;
-    } | undefined;
-}, {
-    version: string;
-    project: {
-        name: string;
-        sourceRoots: string[];
-        exclude?: string[] | undefined;
-    };
-    verification?: {
-        levels?: {
-            commit?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            pr?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-            full?: {
-                severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
-                timeout?: number | undefined;
-            } | undefined;
-        } | undefined;
-    } | undefined;
-    inference?: {
-        minConfidence?: number | undefined;
-        analyzers?: string[] | undefined;
-    } | undefined;
-    agent?: {
-        format?: "markdown" | "json" | "mcp" | undefined;
-        includeRationale?: boolean | undefined;
-    } | undefined;
-}>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
 type SpecBridgeConfigType = z.infer<typeof SpecBridgeConfigSchema>;
 /**
  * Validate configuration
@@ -1822,10 +1417,13 @@ interface DependencyGraph {
     decisionToFiles: Map<string, Set<string>>;
     fileToDecisions: Map<string, Set<string>>;
 }
+interface BuildDependencyGraphOptions {
+    cwd?: string;
+}
 /**
  * Build dependency graph from decisions and file list
  */
-declare function buildDependencyGraph(decisions: Decision[], files: string[]): Promise<DependencyGraph>;
+declare function buildDependencyGraph(decisions: Decision[], files: string[], options?: BuildDependencyGraphOptions): Promise<DependencyGraph>;
 /**
  * Get files affected by a decision
  */
@@ -1885,6 +1483,23 @@ interface ReportOptions {
     /** Use v1.3 compliance formula instead of v2.0 severity-weighted formula */
     legacyCompliance?: boolean;
 }
+/**
+ * Generic verification result shape for Reporter class
+ * Supports various result formats from different verification engines
+ */
+interface ReporterResult {
+    violations?: Violation[];
+    summary?: {
+        totalViolations?: number;
+        decisionsChecked?: number;
+        filesChecked?: number;
+        critical?: number;
+        high?: number;
+        medium?: number;
+        low?: number;
+        duration?: number;
+    };
+}
 /**
  * Generate a compliance report
  */
@@ -1903,7 +1518,7 @@ declare class Reporter {
     /**
      * Generate formatted report from verification result
      */
-    generate(result: any, options?: {
+    generate(result: ReporterResult, options?: {
         format?: 'table' | 'json' | 'markdown';
         includePassedChecks?: boolean;
         groupBy?: 'severity' | 'file';
@@ -1912,7 +1527,7 @@ declare class Reporter {
     /**
      * Generate compliance overview from multiple results
      */
-    generateComplianceReport(results: any[]): string;
+    generateComplianceReport(results: ReporterResult[]): string;
     private formatAsTable;
     private formatAsTableGrouped;
     private formatAsMarkdown;
@@ -2085,7 +1700,7 @@ declare class AgentContextGenerator {
      * Generate context from decisions
      */
     generateContext(options: {
-        decisions: any[];
+        decisions: Decision[];
         filePattern?: string;
         format?: 'markdown' | 'plain' | 'json';
         concise?: boolean;
@@ -2096,15 +1711,15 @@ declare class AgentContextGenerator {
      * Generate prompt suffix for AI agents
      */
     generatePromptSuffix(options: {
-        decisions: any[];
+        decisions: Decision[];
     }): string;
     /**
      * Extract relevant decisions for a specific file
      */
     extractRelevantDecisions(options: {
-        decisions: any[];
+        decisions: Decision[];
         filePath: string;
-    }): any[];
+    }): Decision[];
 }
 
 /**
@@ -2235,4 +1850,160 @@ declare function matchesAnyPattern(filePath: string, patterns: string[], options
     cwd?: string;
 }): boolean;
 
-export { type AffectedFile, type AgentContext, AgentContextGenerator, AlreadyInitializedError, type Analyzer, AnalyzerNotFoundError, ApiVerifier, type ApplicableConstraint, type ApplicableDecision, AstCache, AutofixEngine, type AutofixPatch, type AutofixResult, CodeScanner, ComplexityVerifier, type ComplianceReport, ConfigError, type Constraint, type ConstraintCheck, ConstraintCheckSchema, type ConstraintCheckSchema_, type ConstraintException, ConstraintExceptionSchema, type ConstraintExceptionSchema_, ConstraintSchema, type ConstraintSchema_, type ConstraintType, ConstraintTypeSchema, type ConstraintTypeSchema_, type ContextOptions, type Decision, type DecisionCompliance, type DecisionContent, DecisionContentSchema, type DecisionContentSchema_, type DecisionFilter, type DecisionMetadata, DecisionMetadataSchema, type DecisionMetadataSchema_, DecisionNotFoundError, DecisionSchema, type DecisionStatus, DecisionStatusSchema, type DecisionStatusSchema_, type DecisionTypeSchema, DecisionValidationError, type DependencyGraph, DependencyVerifier, type DriftAnalysis, ErrorsAnalyzer, ErrorsVerifier, FileSystemError, type GlobOptions, type GraphNode, HookError, type ImpactAnalysis, ImportsAnalyzer, ImportsVerifier, InferenceEngine, InferenceError, type InferenceOptions, type InferenceResult, type LevelConfig, LinksSchema, type LoadError, type LoadResult, type LoadedDecision, type McpServerOptions, type MigrationStep, NamingAnalyzer, NamingVerifier, NotInitializedError, type OverallDrift, type Pattern, type PatternExample, type PromptTemplate, PropagationEngine, type PropagationOptions, RegexVerifier, Registry, type RegistryConstraintMatch, RegistryError, type RegistryOptions, type ReportOptions, ReportStorage, Reporter, type ScanOptions, type ScanResult, type ScannedFile, SecurityVerifier, type Severity, SeveritySchema, type SeveritySchema_, type SpecBridgeConfig, SpecBridgeConfigSchema, type SpecBridgeConfigType, SpecBridgeError, SpecBridgeMcpServer, type StoredReport, StructureAnalyzer, type TextEdit, type TrendAnalysis, type TrendData, type TrendDirection, type VerificationConfig, VerificationConfigSchema, type VerificationConfigSchema_, type VerificationContext, VerificationEngine, VerificationError, type VerificationFrequency, VerificationFrequencySchema, type VerificationFrequencySchema_, type VerificationIssue, type VerificationLevel, type VerificationOptions, type VerificationResult, type VerificationWarning, type Verifier, VerifierNotFoundError, type VerifierPlugin, type VerifierPluginMetadata, type Violation, type ViolationFix, analyzeTrend, buildDependencyGraph, builtinAnalyzers, builtinVerifiers, calculateConfidence, checkDegradation, clearVerifierPool, createInferenceEngine, createPattern, createPropagationEngine, createRegistry, createScannerFromConfig, createVerificationEngine, createViolation, defaultConfig, defineVerifierPlugin, detectDrift, ensureDir, extractSnippet, formatConsoleReport, formatContextAsJson, formatContextAsMarkdown, formatContextAsMcp, formatError, formatMarkdownReport, formatValidationErrors, generateContext, generateFormattedContext, generateReport, getAffectedFiles, getAffectingDecisions, getAnalyzer, getAnalyzerIds, getChangedFiles, getConfigPath, getDecisionsDir, getInferredDir, getReportsDir, getSpecBridgeDir, getTransitiveDependencies, getVerifier, getVerifierIds, getVerifiersDir, glob, isConstraintExcepted, isDirectory, loadConfig, loadDecisionFile, loadDecisionsFromDir, matchesAnyPattern, matchesPattern, mergeWithDefaults, normalizePath, parseYaml, parseYamlDocument, pathExists, readFilesInDir, readTextFile, runInference, selectVerifierForConstraint, shouldApplyConstraintToFile, stringifyYaml, templates, updateYamlDocument, validateConfig, validateDecision, validateDecisionFile, writeTextFile };
+/**
+ * Analytics engine - Provide insights into compliance trends and decision impact
+ */
+
+interface DecisionMetrics {
+    decisionId: string;
+    title: string;
+    totalViolations: number;
+    violationsByFile: Map<string, number>;
+    violationsBySeverity: Record<Severity, number>;
+    mostViolatedConstraint: {
+        id: string;
+        count: number;
+    } | null;
+    averageComplianceScore: number;
+    trendDirection: 'up' | 'down' | 'stable';
+    history: Array<{
+        date: string;
+        compliance: number;
+        violations: number;
+    }>;
+}
+interface Insight {
+    type: 'warning' | 'info' | 'success';
+    category: 'compliance' | 'trend' | 'hotspot' | 'suggestion';
+    message: string;
+    details?: string;
+    decisionId?: string;
+}
+interface AnalyticsSummary {
+    totalDecisions: number;
+    averageCompliance: number;
+    overallTrend: 'up' | 'down' | 'stable';
+    criticalIssues: number;
+    topDecisions: Array<{
+        decisionId: string;
+        title: string;
+        compliance: number;
+    }>;
+    bottomDecisions: Array<{
+        decisionId: string;
+        title: string;
+        compliance: number;
+    }>;
+    insights: Insight[];
+}
+/**
+ * Analytics engine for compliance data
+ */
+declare class AnalyticsEngine {
+    /**
+     * Analyze a specific decision across historical reports
+     */
+    analyzeDecision(decisionId: string, history: StoredReport[]): Promise<DecisionMetrics>;
+    /**
+     * Generate insights from historical data
+     */
+    generateInsights(history: StoredReport[]): Promise<Insight[]>;
+    /**
+     * Generate analytics summary
+     */
+    generateSummary(history: StoredReport[]): Promise<AnalyticsSummary>;
+}
+
+/**
+ * Dashboard server - Compliance dashboard backend with REST API
+ */
+
+interface DashboardOptions {
+    cwd: string;
+    config: SpecBridgeConfig;
+}
+/**
+ * Dashboard Server with caching
+ */
+declare class DashboardServer {
+    private app;
+    private cwd;
+    private config;
+    private registry;
+    private reportStorage;
+    private cachedReport;
+    private cacheTimestamp;
+    private readonly CACHE_TTL;
+    private refreshInterval;
+    constructor(options: DashboardOptions);
+    /**
+     * Start the server with background cache refresh
+     */
+    start(): Promise<void>;
+    /**
+     * Stop the server and clear intervals
+     */
+    stop(): void;
+    /**
+     * Refresh the cached report
+     */
+    private refreshCache;
+    /**
+     * Get the Express app instance
+     */
+    getApp(): Application;
+    /**
+     * Setup middleware
+     */
+    private setupMiddleware;
+    /**
+     * Setup all routes
+     */
+    private setupRoutes;
+    /**
+     * Setup report-related routes
+     */
+    private setupReportRoutes;
+    /**
+     * Setup decision-related routes
+     */
+    private setupDecisionRoutes;
+    /**
+     * Setup analytics-related routes
+     */
+    private setupAnalyticsRoutes;
+    /**
+     * Setup health check route
+     */
+    private setupHealthRoute;
+    /**
+     * Setup static file serving
+     */
+    private setupStaticFiles;
+}
+/**
+ * Create and configure the dashboard server (factory function)
+ * @returns DashboardServer instance
+ */
+declare function createDashboardServer(options: DashboardOptions): DashboardServer;
+
+interface LspServerOptions {
+    cwd: string;
+    verbose?: boolean;
+}
+
+declare function startLspServer(options: LspServerOptions): Promise<void>;
+
+/**
+ * GitHub integration helpers (optional)
+ */
+
+interface GitHubPrCommentOptions {
+    repo: string;
+    pr: number;
+    token: string;
+}
+declare function formatViolationsForGitHub(violations: Violation[], limit?: number): string;
+declare function postPrComment(violations: Violation[], options: GitHubPrCommentOptions): Promise<void>;
+
+export { type AffectedFile, type AgentContext, AgentContextGenerator, AlreadyInitializedError, AnalyticsEngine, type AnalyticsSummary, type Analyzer, AnalyzerNotFoundError, ApiVerifier, type ApplicableConstraint, type ApplicableDecision, AstCache, AutofixEngine, type AutofixPatch, type AutofixResult, type BuildDependencyGraphOptions, CodeScanner, ComplexityVerifier, type ComplianceReport, ConfigError, type Constraint, type ConstraintCheck, ConstraintCheckSchema, type ConstraintCheckSchema_, type ConstraintException, ConstraintExceptionSchema, type ConstraintExceptionSchema_, ConstraintSchema, type ConstraintSchema_, type ConstraintType, ConstraintTypeSchema, type ConstraintTypeSchema_, type ContextOptions, DashboardServer, type Decision, type DecisionCompliance, type DecisionContent, DecisionContentSchema, type DecisionContentSchema_, type DecisionFilter, type DecisionMetadata, DecisionMetadataSchema, type DecisionMetadataSchema_, type DecisionMetrics, DecisionNotFoundError, DecisionSchema, type DecisionStatus, DecisionStatusSchema, type DecisionStatusSchema_, type DecisionTypeSchema, DecisionValidationError, type DependencyGraph, DependencyVerifier, type DriftAnalysis, ErrorsAnalyzer, ErrorsVerifier, FileSystemError, type GitHubPrCommentOptions, type GlobOptions, type GraphNode, HookError, type ImpactAnalysis, ImportsAnalyzer, ImportsVerifier, InferenceEngine, InferenceError, type InferenceOptions, type InferenceResult, type Insight, type LevelConfig, LinksSchema, type LoadError, type LoadResult, type LoadedDecision, type McpServerOptions, type MigrationStep, NamingAnalyzer, NamingVerifier, NotInitializedError, type OverallDrift, type Pattern, type PatternExample, type PromptTemplate, PropagationEngine, type PropagationOptions, RegexVerifier, Registry, type RegistryConstraintMatch, RegistryError, type RegistryOptions, type ReportOptions, ReportStorage, Reporter, type ReporterResult, type ScanOptions, type ScanResult, type ScannedFile, SecurityVerifier, type Severity, SeveritySchema, type SeveritySchema_, type SpecBridgeConfig, SpecBridgeConfigSchema, type SpecBridgeConfigType, SpecBridgeError, SpecBridgeMcpServer, type StoredReport, StructureAnalyzer, type TextEdit, type TrendAnalysis, type TrendData, type TrendDirection, type VerificationConfig, VerificationConfigSchema, type VerificationConfigSchema_, type VerificationContext, VerificationEngine, VerificationError, type VerificationFrequency, VerificationFrequencySchema, type VerificationFrequencySchema_, type VerificationIssue, type VerificationLevel, type VerificationOptions, type VerificationResult, type VerificationWarning, type Verifier, VerifierNotFoundError, type VerifierPlugin, type VerifierPluginMetadata, type Violation, type ViolationFix, analyzeTrend, buildDependencyGraph, builtinAnalyzers, builtinVerifiers, calculateConfidence, checkDegradation, clearVerifierPool, createDashboardServer, createInferenceEngine, createPattern, createPropagationEngine, createRegistry, createScannerFromConfig, createVerificationEngine, createViolation, defaultConfig, defineVerifierPlugin, detectDrift, ensureDir, extractSnippet, formatConsoleReport, formatContextAsJson, formatContextAsMarkdown, formatContextAsMcp, formatError, formatMarkdownReport, formatValidationErrors, formatViolationsForGitHub, generateContext, generateFormattedContext, generateReport, getAffectedFiles, getAffectingDecisions, getAnalyzer, getAnalyzerIds, getChangedFiles, getConfigPath, getDecisionsDir, getInferredDir, getReportsDir, getSpecBridgeDir, getTransitiveDependencies, getVerifier, getVerifierIds, getVerifiersDir, glob, isConstraintExcepted, isDirectory, loadConfig, loadDecisionFile, loadDecisionsFromDir, matchesAnyPattern, matchesPattern, mergeWithDefaults, normalizePath, parseYaml, parseYamlDocument, pathExists, postPrComment, readFilesInDir, readTextFile, runInference, selectVerifierForConstraint, shouldApplyConstraintToFile, startLspServer, stringifyYaml, templates, updateYamlDocument, validateConfig, validateDecision, validateDecisionFile, writeTextFile };