driftdetect-core 0.4.6 → 0.6.0

package/dist/constraints/extraction/invariant-detector.d.ts

@@ -0,0 +1,109 @@
+/**
+ * Invariant Detector
+ *
+ * Analyzes Drift's existing data (patterns, call graphs, boundaries, test topology,
+ * error handling) to discover architectural invariants that can become constraints.
+ *
+ * This is the semantic analysis layer that mines invariants from:
+ * - Pattern data (high-confidence approved patterns)
+ * - Call graph (auth-before-data-access, validation patterns)
+ * - Boundaries (data access layer invariants)
+ * - Test topology (coverage requirements)
+ * - Error handling (error boundary patterns)
+ */
+import type { Constraint, ConstraintViolationDetail, ExtractionOptions } from '../types.js';
+import type { PatternStore } from '../../store/pattern-store.js';
+import type { CallGraphStore } from '../../call-graph/store/call-graph-store.js';
+import type { BoundaryStore } from '../../boundaries/boundary-store.js';
+import type { TestTopologyAnalyzer } from '../../test-topology/test-topology-analyzer.js';
+import type { ErrorHandlingAnalyzer } from '../../error-handling/error-handling-analyzer.js';
+export interface InvariantDetectorConfig {
+    rootDir: string;
+    patternStore?: PatternStore;
+    callGraphStore?: CallGraphStore;
+    boundaryStore?: BoundaryStore;
+    testTopologyAnalyzer?: TestTopologyAnalyzer;
+    errorHandlingAnalyzer?: ErrorHandlingAnalyzer;
+}
+export interface DetectedInvariant {
+    /** Proposed constraint */
+    constraint: Omit<Constraint, 'id' | 'metadata'>;
+    /** Evidence supporting this invariant */
+    evidence: InvariantEvidence;
+    /** Violations found during detection */
+    violations: ConstraintViolationDetail[];
+}
+export interface InvariantEvidence {
+    /** Number of conforming instances */
+    conforming: number;
+    /** Number of violating instances */
+    violating: number;
+    /** Sample locations that conform */
+    conformingLocations: string[];
+    /** Sample locations that violate */
+    violatingLocations: string[];
+    /** Source data used */
+    sources: string[];
+}
+export declare class InvariantDetector {
+    private readonly config;
+    constructor(config: InvariantDetectorConfig);
+    /**
+     * Detect invariants from all available Drift data
+     */
+    detectAll(options?: ExtractionOptions): Promise<DetectedInvariant[]>;
+    /**
+     * Detect invariants from pattern data
+     */
+    private detectFromPatterns;
+    /**
+     * Convert a high-confidence pattern to an invariant
+     */
+    private patternToInvariant;
+    /**
+     * Detect invariants from call graph analysis
+     */
+    private detectFromCallGraph;
+    /**
+     * Detect auth-before-data-access patterns
+     */
+    private detectAuthBeforeDataAccess;
+    /**
+     * Check if a function has auth in its call chain
+     */
+    private hasAuthInCallChain;
+    /**
+     * Detect validation patterns in call graph
+     */
+    private detectValidationPatterns;
+    /**
+     * Check if a function has a pattern in its call chain
+     */
+    private hasPatternInCallChain;
+    /**
+     * Detect invariants from boundary data
+     */
+    private detectFromBoundaries;
+    /**
+     * Detect invariants for sensitive data access
+     */
+    private detectSensitiveDataInvariants;
+    /**
+     * Extract the access layer from an accessor context
+     */
+    private extractAccessLayer;
+    /**
+     * Detect invariants from test topology
+     */
+    private detectFromTestTopology;
+    /**
+     * Detect invariants from error handling analysis
+     */
+    private detectFromErrorHandling;
+    private detectLanguageFromPattern;
+    private buildPredicateFromPattern;
+    private inferConstraintType;
+    private buildScopeFromPattern;
+}
+export declare function createInvariantDetector(config: InvariantDetectorConfig): InvariantDetector;
+//# sourceMappingURL=invariant-detector.d.ts.map

package/dist/constraints/extraction/invariant-detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-detector.d.ts","sourceRoot":"","sources":["../../../src/constraints/extraction/invariant-detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,UAAU,EAKV,yBAAyB,EAEzB,iBAAiB,EAClB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4CAA4C,CAAC;AAEjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,+CAA+C,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AAM7F,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C,qBAAqB,CAAC,EAAE,qBAAqB,CAAC;CAC/C;AAED,MAAM,WAAW,iBAAiB;IAChC,0BAA0B;IAC1B,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,GAAG,UAAU,CAAC,CAAC;IAChD,yCAAyC;IACzC,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,wCAAwC;IACxC,UAAU,EAAE,yBAAyB,EAAE,CAAC;CACzC;AAGD,MAAM,WAAW,iBAAiB;IAChC,qCAAqC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,oCAAoC;IACpC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,uBAAuB;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA0B;gBAErC,MAAM,EAAE,uBAAuB;IAI3C;;OAEG;IACG,SAAS,CAAC,OAAO,GAAE,iBAAsB,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC;IA8C9E;;OAEG;YACW,kBAAkB;IAwBhC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IA8E1B;;OAEG;YACW,mBAAmB;IAqBjC;;OAEG;IACH,OAAO,CAAC,0BAA0B;IA0FlC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAwC1B;;OAEG;IACH,OAAO,CAAC,wBAAwB;IA0FhC;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAuC7B;;OAEG;YACW,oBAAoB;IA0HlC;;OAEG;IACH,OAAO,CAAC,6BAA6B;IAoErC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAU1B;;OAEG;YACW,sBAAsB;IAyHpC;;OAEG;YACW,uBAAuB;IA2MrC,OAAO,CAAC,yBAAyB;IAiBjC,OAAO,CAAC,yBAAyB;IAwBjC,OAAO,CAAC,mBAAmB;IAmB3B,OAAO,CAAC,qBAAqB;CAe9B;AAMD,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,uBAAuB,GAC9B,iBAAiB,CAEnB"}