driftdetect-core 0.5.0 → 0.6.1

package/dist/constraints/verification/constraint-verifier.d.ts

@@ -0,0 +1,100 @@
+/**
+ * Constraint Verifier
+ *
+ * Verifies code against architectural constraints.
+ * Supports all 6 Drift languages with language-specific evaluators.
+ */
+import type { ConstraintLanguage, VerificationResult } from '../types.js';
+import type { ConstraintStore } from '../store/constraint-store.js';
+export interface ConstraintVerifierConfig {
+    /** Root directory of the project */
+    rootDir: string;
+    store: ConstraintStore;
+}
+export interface VerifyOptions {
+    /** Only verify constraints of these categories */
+    categories?: string[];
+    /** Only verify constraints with these statuses */
+    statuses?: ('approved' | 'discovered')[];
+    /** Minimum confidence to verify */
+    minConfidence?: number;
+    /** Include fix suggestions */
+    includeFixes?: boolean;
+    /** Include code examples */
+    includeExamples?: boolean;
+}
+export interface FileContext {
+    filePath: string;
+    content: string;
+    language: ConstraintLanguage;
+    ast?: any;
+}
+export declare class ConstraintVerifier {
+    private readonly store;
+    constructor(config: ConstraintVerifierConfig);
+    /**
+     * Verify a file against all applicable constraints
+     */
+    verifyFile(filePath: string, content: string, options?: VerifyOptions): Promise<VerificationResult>;
+    /**
+     * Verify a diff/change against constraints
+     */
+    verifyChange(filePath: string, oldContent: string, newContent: string, options?: VerifyOptions): Promise<VerificationResult>;
+    /**
+     * Get constraints applicable to a file
+     */
+    private getApplicableConstraints;
+    /**
+     * Verify a single constraint against file context
+     */
+    private verifyConstraint;
+    /**
+     * Verify function predicate
+     */
+    private verifyFunctionPredicate;
+    /**
+     * Verify class predicate
+     */
+    private verifyClassPredicate;
+    /**
+     * Verify entry point predicate
+     */
+    private verifyEntryPointPredicate;
+    /**
+     * Verify naming predicate
+     */
+    private verifyNamingPredicate;
+    /**
+     * Verify file structure predicate
+     */
+    private verifyFileStructurePredicate;
+    /**
+     * Create a violation object
+     */
+    private createViolation;
+    /**
+     * Detect language from file path
+     */
+    private detectLanguage;
+    /**
+     * Get changed lines between old and new content
+     */
+    private getChangedLines;
+    /**
+     * Build summary message
+     */
+    private buildSummary;
+    /**
+     * Get code snippet around a line
+     */
+    private getSnippet;
+    private extractFunctions;
+    private extractClasses;
+    private extractEntryPoints;
+    private extractImports;
+    private getFunctionPatterns;
+    private getClassPatterns;
+    private hasErrorHandling;
+}
+export declare function createConstraintVerifier(config: ConstraintVerifierConfig): ConstraintVerifier;
+//# sourceMappingURL=constraint-verifier.d.ts.map

package/dist/constraints/verification/constraint-verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-verifier.d.ts","sourceRoot":"","sources":["../../../src/constraints/verification/constraint-verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAEV,kBAAkB,EAClB,kBAAkB,EAKnB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAMpE,MAAM,WAAW,wBAAwB;IACvC,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,eAAe,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,kDAAkD;IAClD,QAAQ,CAAC,EAAE,CAAC,UAAU,GAAG,YAAY,CAAC,EAAE,CAAC;IACzC,mCAAmC;IACnC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,8BAA8B;IAC9B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,4BAA4B;IAC5B,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,GAAG,CAAC,EAAE,GAAG,CAAC;CACX;AAMD,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAkB;gBAE5B,MAAM,EAAE,wBAAwB;IAK5C;;OAEG;IACG,UAAU,CACd,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,kBAAkB,CAAC;IA2D9B;;OAEG;IACG,YAAY,CAChB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,kBAAkB,CAAC;IAqB9B;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAiChC;;OAEG;YACW,gBAAgB;IAsE9B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAoE/B;;OAEG;IACH,OAAO,CAAC,oBAAoB;IA8D5B;;OAEG;IACH,OAAO,CAAC,yBAAyB;IAkDjC;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAkD7B;;OAEG;IACH,OAAO,CAAC,4BAA4B;IA4DpC;;OAEG;IACH,OAAO,CAAC,eAAe;IAoCvB;;OAEG;IACH,OAAO,CAAC,cAAc;IAyBtB;;OAEG;IACH,OAAO,CAAC,eAAe;IAgBvB;;OAEG;IACH,OAAO,CAAC,YAAY;IA0BpB;;OAEG;IACH,OAAO,CAAC,UAAU;IASlB,OAAO,CAAC,gBAAgB;IAkExB,OAAO,CAAC,cAAc;IAiDtB,OAAO,CAAC,kBAAkB;IA8B1B,OAAO,CAAC,cAAc;IAkCtB,OAAO,CAAC,mBAAmB;IAoC3B,OAAO,CAAC,gBAAgB;IA2BxB,OAAO,CAAC,gBAAgB;CAgCzB;AAMD,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,wBAAwB,GAC/B,kBAAkB,CAEpB"}