agentic-qe 3.2.3 → 3.3.1

package/v3/dist/domains/test-generation/services/coherence-gate-service.js

@@ -0,0 +1,454 @@
+/**
+ * Agentic QE v3 - Test Generation Coherence Gate
+ * ADR-052: Coherence verification before test generation
+ *
+ * Verifies requirement coherence using Prime Radiant mathematical gates
+ * before allowing test generation to proceed.
+ *
+ * @module domains/test-generation/coherence-gate
+ */
+import { ok, err } from '../../../shared/types/index.js';
+/**
+ * Default configuration
+ */
+export const DEFAULT_COHERENCE_GATE_CONFIG = {
+    enabled: true,
+    coherenceThreshold: 0.1,
+    blockOnHumanLane: true,
+    enrichOnRetrievalLane: true,
+    embeddingDimension: 384,
+};
+/**
+ * Error thrown when requirements have unresolvable contradictions
+ */
+export class CoherenceError extends Error {
+    contradictions;
+    lane;
+    constructor(message, contradictions, lane) {
+        super(message);
+        this.contradictions = contradictions;
+        this.lane = lane;
+        this.name = 'CoherenceError';
+    }
+}
+/**
+ * Simple fallback embedding service using character-based hashing
+ * Used when no embedding service is provided
+ */
+class FallbackEmbeddingService {
+    dimension;
+    constructor(dimension = 384) {
+        this.dimension = dimension;
+    }
+    async embed(text) {
+        const embedding = new Array(this.dimension).fill(0);
+        const normalized = text.toLowerCase().trim();
+        // Simple character-based embedding with positional encoding
+        for (let i = 0; i < normalized.length; i++) {
+            const charCode = normalized.charCodeAt(i);
+            const position = i % this.dimension;
+            embedding[position] += Math.sin(charCode * (i + 1) * 0.1);
+            embedding[(position + 1) % this.dimension] += Math.cos(charCode * (i + 1) * 0.1);
+        }
+        // Normalize to unit vector
+        const magnitude = Math.sqrt(embedding.reduce((sum, val) => sum + val * val, 0));
+        if (magnitude > 0) {
+            for (let i = 0; i < embedding.length; i++) {
+                embedding[i] /= magnitude;
+            }
+        }
+        return embedding;
+    }
+}
+// ============================================================================
+// Test Generation Coherence Gate Implementation
+// ============================================================================
+/**
+ * Test Generation Coherence Gate
+ *
+ * Verifies requirement coherence before allowing test generation.
+ * Per ADR-052, this gate uses Prime Radiant mathematical coherence
+ * checking to detect contradictions and route to appropriate compute lanes.
+ *
+ * @example
+ * ```typescript
+ * const gate = new TestGenerationCoherenceGate(coherenceService);
+ *
+ * const result = await gate.checkRequirementCoherence(spec.requirements);
+ *
+ * if (result.lane === 'human') {
+ *   throw new CoherenceError('Requirements contain unresolvable contradictions', result.contradictions);
+ * }
+ *
+ * if (result.lane === 'retrieval') {
+ *   spec = await gate.enrichSpecification(spec, result.recommendations);
+ * }
+ * ```
+ */
+export class TestGenerationCoherenceGate {
+    coherenceService;
+    config;
+    embeddingService;
+    constructor(coherenceService, embeddingService, config = {}) {
+        this.coherenceService = coherenceService;
+        this.config = { ...DEFAULT_COHERENCE_GATE_CONFIG, ...config };
+        this.embeddingService = embeddingService || new FallbackEmbeddingService(this.config.embeddingDimension);
+    }
+    /**
+     * Check coherence of requirements
+     *
+     * @param requirements - Array of requirements to check
+     * @returns Coherence result with lane recommendation
+     */
+    async checkRequirementCoherence(requirements) {
+        const startTime = Date.now();
+        // If coherence checking is disabled or no service, return coherent
+        if (!this.config.enabled || !this.coherenceService) {
+            return this.createPassingResult(startTime, true);
+        }
+        // Handle edge cases
+        if (requirements.length === 0) {
+            return this.createPassingResult(startTime, false);
+        }
+        if (requirements.length === 1) {
+            // Single requirement is always coherent with itself
+            return this.createPassingResult(startTime, false);
+        }
+        try {
+            // Convert requirements to coherence nodes
+            const nodes = await this.requirementsToNodes(requirements);
+            // Check coherence using the service
+            const coherenceResult = await this.coherenceService.checkCoherence(nodes);
+            // Convert result to requirement-specific format
+            return this.transformCoherenceResult(coherenceResult, requirements, Date.now() - startTime);
+        }
+        catch (error) {
+            console.error('[TestGenerationCoherenceGate] Coherence check failed:', error);
+            // Return fallback result - don't block on errors
+            return {
+                isCoherent: true,
+                energy: 0,
+                lane: 'reflex',
+                contradictions: [],
+                recommendations: [{
+                        type: 'add-context',
+                        requirementId: '',
+                        description: 'Coherence check failed. Manual review recommended.',
+                        suggestedResolution: 'Review requirements manually before proceeding.',
+                    }],
+                durationMs: Date.now() - startTime,
+                usedFallback: true,
+            };
+        }
+    }
+    /**
+     * Enrich a test specification based on coherence recommendations
+     *
+     * @param spec - Original test specification
+     * @param recommendations - Recommendations from coherence check
+     * @returns Enriched specification
+     */
+    async enrichSpecification(spec, recommendations) {
+        if (recommendations.length === 0) {
+            return spec;
+        }
+        // Create a deep copy of the specification
+        const enrichedSpec = {
+            ...spec,
+            requirements: [...spec.requirements],
+            context: { ...spec.context },
+        };
+        // Track which requirements need updates
+        const requirementUpdates = new Map();
+        for (const rec of recommendations) {
+            switch (rec.type) {
+                case 'clarify':
+                    // Add clarification note to requirement metadata
+                    this.addClarificationNote(requirementUpdates, rec);
+                    break;
+                case 'add-context':
+                    // Add context to the specification
+                    enrichedSpec.context = {
+                        ...enrichedSpec.context,
+                        coherenceRecommendations: [
+                            ...(enrichedSpec.context?.coherenceRecommendations || []),
+                            rec.description,
+                        ],
+                    };
+                    break;
+                case 'resolve-ambiguity':
+                    // Add disambiguation note
+                    this.addDisambiguationNote(requirementUpdates, rec);
+                    break;
+                case 'split-requirement':
+                    // Mark requirement for potential splitting
+                    enrichedSpec.context = {
+                        ...enrichedSpec.context,
+                        requirementsSuggestedForSplit: [
+                            ...(enrichedSpec.context?.requirementsSuggestedForSplit || []),
+                            rec.requirementId,
+                        ],
+                    };
+                    break;
+            }
+        }
+        // Apply requirement updates
+        enrichedSpec.requirements = enrichedSpec.requirements.map(req => {
+            const updates = requirementUpdates.get(req.id);
+            if (updates) {
+                return {
+                    ...req,
+                    metadata: {
+                        ...req.metadata,
+                        ...updates.metadata,
+                    },
+                };
+            }
+            return req;
+        });
+        // Add enrichment metadata
+        enrichedSpec.context = {
+            ...enrichedSpec.context,
+            enrichedAt: new Date().toISOString(),
+            enrichmentCount: recommendations.length,
+        };
+        return enrichedSpec;
+    }
+    /**
+     * Validate requirements before test generation
+     *
+     * Convenience method that combines coherence check with automatic
+     * enrichment and error handling per ADR-052 specification.
+     *
+     * @param spec - Test specification to validate
+     * @returns Validated (and possibly enriched) specification
+     * @throws CoherenceError if requirements have unresolvable contradictions
+     */
+    async validateAndEnrich(spec) {
+        const coherenceResult = await this.checkRequirementCoherence(spec.requirements);
+        // Human lane = unresolvable contradictions, block generation
+        if (this.config.blockOnHumanLane && coherenceResult.lane === 'human') {
+            return err(new CoherenceError('Requirements contain unresolvable contradictions that require human review', coherenceResult.contradictions, coherenceResult.lane));
+        }
+        // Retrieval lane = needs enrichment
+        if (this.config.enrichOnRetrievalLane && coherenceResult.lane === 'retrieval') {
+            const enrichedSpec = await this.enrichSpecification(spec, coherenceResult.recommendations);
+            return ok(enrichedSpec);
+        }
+        // Reflex or heavy lane = proceed with original spec
+        return ok(spec);
+    }
+    /**
+     * Check if the gate is available (coherence service is initialized)
+     */
+    isAvailable() {
+        return this.coherenceService?.isInitialized() ?? false;
+    }
+    // ============================================================================
+    // Private Methods
+    // ============================================================================
+    /**
+     * Convert requirements to coherence nodes
+     */
+    async requirementsToNodes(requirements) {
+        const nodes = [];
+        for (const req of requirements) {
+            const embedding = await this.embeddingService.embed(req.description);
+            nodes.push({
+                id: req.id,
+                embedding,
+                weight: this.priorityToWeight(req.priority),
+                metadata: {
+                    description: req.description,
+                    source: req.source,
+                    ...req.metadata,
+                },
+            });
+        }
+        return nodes;
+    }
+    /**
+     * Transform coherence result to requirement-specific format
+     */
+    transformCoherenceResult(result, requirements, durationMs) {
+        // Create requirement ID lookup
+        const reqById = new Map(requirements.map(r => [r.id, r]));
+        // Transform contradictions
+        const contradictions = result.contradictions.map(c => ({
+            requirementId1: c.nodeIds[0],
+            requirementId2: c.nodeIds[1],
+            severity: this.mapSeverity(c.severity),
+            description: c.description,
+            confidence: c.confidence,
+            suggestedResolution: c.resolution || this.generateResolutionSuggestion(reqById.get(c.nodeIds[0]), reqById.get(c.nodeIds[1]), c.severity),
+        }));
+        // Generate enrichment recommendations
+        const recommendations = this.generateRecommendations(result, contradictions, requirements);
+        return {
+            isCoherent: result.isCoherent,
+            energy: result.energy,
+            lane: result.lane,
+            contradictions,
+            recommendations,
+            durationMs,
+            usedFallback: result.usedFallback,
+        };
+    }
+    /**
+     * Generate enrichment recommendations based on coherence result
+     */
+    generateRecommendations(result, contradictions, requirements) {
+        const recommendations = [];
+        // Add recommendations from coherence service
+        for (const rec of result.recommendations) {
+            recommendations.push({
+                type: 'add-context',
+                requirementId: '',
+                description: rec,
+            });
+        }
+        // Add specific recommendations for contradictions
+        for (const contradiction of contradictions) {
+            if (contradiction.severity === 'critical' || contradiction.severity === 'high') {
+                recommendations.push({
+                    type: 'resolve-ambiguity',
+                    requirementId: contradiction.requirementId1,
+                    description: `Potential conflict with requirement ${contradiction.requirementId2}: ${contradiction.description}`,
+                    suggestedResolution: contradiction.suggestedResolution,
+                });
+            }
+            else {
+                recommendations.push({
+                    type: 'clarify',
+                    requirementId: contradiction.requirementId1,
+                    description: `Minor tension with requirement ${contradiction.requirementId2}: ${contradiction.description}`,
+                });
+            }
+        }
+        // Check for requirements that might need splitting
+        const complexRequirements = requirements.filter(r => r.description.length > 200 ||
+            r.description.includes(' and ') && r.description.includes(' or '));
+        for (const req of complexRequirements) {
+            recommendations.push({
+                type: 'split-requirement',
+                requirementId: req.id,
+                description: 'Complex requirement may benefit from splitting into smaller, focused requirements',
+            });
+        }
+        return recommendations;
+    }
+    /**
+     * Generate a resolution suggestion for a contradiction
+     */
+    generateResolutionSuggestion(req1, req2, severity) {
+        if (!req1 || !req2) {
+            return 'Review and reconcile conflicting requirements.';
+        }
+        if (severity === 'critical') {
+            return `Requirements "${req1.id}" and "${req2.id}" appear to be mutually exclusive. ` +
+                `Consider removing one or explicitly documenting the conditions under which each applies.`;
+        }
+        if (severity === 'high') {
+            return `Requirements "${req1.id}" and "${req2.id}" may conflict. ` +
+                `Add clarification about their relationship and precedence.`;
+        }
+        return `Minor tension between "${req1.id}" and "${req2.id}". ` +
+            `Consider adding context to clarify their relationship.`;
+    }
+    /**
+     * Create a passing coherence result
+     */
+    createPassingResult(startTime, usedFallback) {
+        return {
+            isCoherent: true,
+            energy: 0,
+            lane: 'reflex',
+            contradictions: [],
+            recommendations: [],
+            durationMs: Date.now() - startTime,
+            usedFallback,
+        };
+    }
+    /**
+     * Convert priority to weight
+     */
+    priorityToWeight(priority) {
+        switch (priority) {
+            case 'high': return 1.0;
+            case 'medium': return 0.7;
+            case 'low': return 0.4;
+            default: return 0.5;
+        }
+    }
+    /**
+     * Map Severity type to ContradictionSeverity
+     * Coherence Severity includes 'info' which we map to 'low'
+     */
+    mapSeverity(severity) {
+        switch (severity) {
+            case 'critical': return 'critical';
+            case 'high': return 'high';
+            case 'medium': return 'medium';
+            case 'low':
+            case 'info':
+            default: return 'low';
+        }
+    }
+    /**
+     * Add clarification note to requirement updates
+     */
+    addClarificationNote(updates, rec) {
+        const existing = updates.get(rec.requirementId) || { metadata: {} };
+        const notes = existing.metadata?.clarificationNotes || [];
+        notes.push(rec.description);
+        updates.set(rec.requirementId, {
+            ...existing,
+            metadata: {
+                ...existing.metadata,
+                clarificationNotes: notes,
+                needsClarification: true,
+            },
+        });
+    }
+    /**
+     * Add disambiguation note to requirement updates
+     */
+    addDisambiguationNote(updates, rec) {
+        const existing = updates.get(rec.requirementId) || { metadata: {} };
+        const notes = existing.metadata?.disambiguationNotes || [];
+        notes.push(rec.description);
+        updates.set(rec.requirementId, {
+            ...existing,
+            metadata: {
+                ...existing.metadata,
+                disambiguationNotes: notes,
+                needsDisambiguation: true,
+                suggestedResolution: rec.suggestedResolution,
+            },
+        });
+    }
+}
+// ============================================================================
+// Factory Function
+// ============================================================================
+/**
+ * Create a TestGenerationCoherenceGate
+ *
+ * @param coherenceService - Optional coherence service (can be null for disabled mode)
+ * @param embeddingService - Optional embedding service
+ * @param config - Optional configuration
+ * @returns Configured coherence gate
+ *
+ * @example
+ * ```typescript
+ * // With coherence service
+ * const gate = createTestGenerationCoherenceGate(coherenceService);
+ *
+ * // Disabled mode (no blocking)
+ * const disabledGate = createTestGenerationCoherenceGate(null, null, { enabled: false });
+ * ```
+ */
+export function createTestGenerationCoherenceGate(coherenceService, embeddingService, config) {
+    return new TestGenerationCoherenceGate(coherenceService, embeddingService, config);
+}
+//# sourceMappingURL=coherence-gate-service.js.map

package/v3/dist/domains/test-generation/services/coherence-gate-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coherence-gate-service.js","sourceRoot":"","sources":["../../../../src/domains/test-generation/services/coherence-gate-service.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAU,EAAE,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AA0HjE;;GAEG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAsC;IAC9E,OAAO,EAAE,IAAI;IACb,kBAAkB,EAAE,GAAG;IACvB,gBAAgB,EAAE,IAAI;IACtB,qBAAqB,EAAE,IAAI;IAC3B,kBAAkB,EAAE,GAAG;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,cAAe,SAAQ,KAAK;IAGrB;IACA;IAHlB,YACE,OAAe,EACC,cAA0C,EAC1C,IAAiB;QAEjC,KAAK,CAAC,OAAO,CAAC,CAAC;QAHC,mBAAc,GAAd,cAAc,CAA4B;QAC1C,SAAI,GAAJ,IAAI,CAAa;QAGjC,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAcD;;;GAGG;AACH,MAAM,wBAAwB;IACC;IAA7B,YAA6B,YAAoB,GAAG;QAAvB,cAAS,GAAT,SAAS,CAAc;IAAG,CAAC;IAExD,KAAK,CAAC,KAAK,CAAC,IAAY;QACtB,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QAE7C,4DAA4D;QAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YACpC,SAAS,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;YAC1D,SAAS,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;QACnF,CAAC;QAED,2BAA2B;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChF,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;YAC5B,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAED,+EAA+E;AAC/E,gDAAgD;AAChD,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,OAAO,2BAA2B;IAKnB;IAJF,MAAM,CAAoC;IAC1C,gBAAgB,CAAoB;IAErD,YACmB,gBAA0C,EAC3D,gBAAoC,EACpC,SAAqD,EAAE;QAFtC,qBAAgB,GAAhB,gBAAgB,CAA0B;QAI3D,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,6BAA6B,EAAE,GAAG,MAAM,EAAE,CAAC;QAC9D,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,IAAI,IAAI,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC3G,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,yBAAyB,CAC7B,YAA2B;QAE3B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,mEAAmE;QACnE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACnD,CAAC;QAED,oBAAoB;QACpB,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,oDAAoD;YACpD,OAAO,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,CAAC;YACH,0CAA0C;YAC1C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC;YAE3D,oCAAoC;YACpC,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAE1E,gDAAgD;YAChD,OAAO,IAAI,CAAC,wBAAwB,CAClC,eAAe,EACf,YAAY,EACZ,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CACvB,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,KAAK,CAAC,uDAAuD,EAAE,KAAK,CAAC,CAAC;YAE9E,iDAAiD;YACjD,OAAO;gBACL,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,CAAC;gBACT,IAAI,EAAE,QAAQ;gBACd,cAAc,EAAE,EAAE;gBAClB,eAAe,EAAE,CAAC;wBAChB,IAAI,EAAE,aAAa;wBACnB,aAAa,EAAE,EAAE;wBACjB,WAAW,EAAE,oDAAoD;wBACjE,mBAAmB,EAAE,iDAAiD;qBACvE,CAAC;gBACF,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBAClC,YAAY,EAAE,IAAI;aACnB,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,mBAAmB,CACvB,IAAuB,EACvB,eAA2C;QAE3C,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,0CAA0C;QAC1C,MAAM,YAAY,GAAsB;YACtC,GAAG,IAAI;YACP,YAAY,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;YACpC,OAAO,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE;SAC7B,CAAC;QAEF,wCAAwC;QACxC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAgC,CAAC;QAEnE,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;YAClC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;gBACjB,KAAK,SAAS;oBACZ,iDAAiD;oBACjD,IAAI,CAAC,oBAAoB,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;oBACnD,MAAM;gBAER,KAAK,aAAa;oBAChB,mCAAmC;oBACnC,YAAY,CAAC,OAAO,GAAG;wBACrB,GAAG,YAAY,CAAC,OAAO;wBACvB,wBAAwB,EAAE;4BACxB,GAAG,CAAE,YAAY,CAAC,OAAO,EAAE,wBAAqC,IAAI,EAAE,CAAC;4BACvE,GAAG,CAAC,WAAW;yBAChB;qBACF,CAAC;oBACF,MAAM;gBAER,KAAK,mBAAmB;oBACtB,0BAA0B;oBAC1B,IAAI,CAAC,qBAAqB,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;oBACpD,MAAM;gBAER,KAAK,mBAAmB;oBACtB,2CAA2C;oBAC3C,YAAY,CAAC,OAAO,GAAG;wBACrB,GAAG,YAAY,CAAC,OAAO;wBACvB,6BAA6B,EAAE;4BAC7B,GAAG,CAAE,YAAY,CAAC,OAAO,EAAE,6BAA0C,IAAI,EAAE,CAAC;4BAC5E,GAAG,CAAC,aAAa;yBAClB;qBACF,CAAC;oBACF,MAAM;YACV,CAAC;QACH,CAAC;QAED,4BAA4B;QAC5B,YAAY,CAAC,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC9D,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/C,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO;oBACL,GAAG,GAAG;oBACN,QAAQ,EAAE;wBACR,GAAG,GAAG,CAAC,QAAQ;wBACf,GAAG,OAAO,CAAC,QAAQ;qBACpB;iBACF,CAAC;YACJ,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC,CAAC,CAAC;QAEH,0BAA0B;QAC1B,YAAY,CAAC,OAAO,GAAG;YACrB,GAAG,YAAY,CAAC,OAAO;YACvB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACpC,eAAe,EAAE,eAAe,CAAC,MAAM;SACxC,CAAC;QAEF,OAAO,YAAY,CAAC;IACtB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,iBAAiB,CACrB,IAAuB;QAEvB,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEhF,6DAA6D;QAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACrE,OAAO,GAAG,CAAC,IAAI,cAAc,CAC3B,4EAA4E,EAC5E,eAAe,CAAC,cAAc,EAC9B,eAAe,CAAC,IAAI,CACrB,CAAC,CAAC;QACL,CAAC;QAED,oCAAoC;QACpC,IAAI,IAAI,CAAC,MAAM,CAAC,qBAAqB,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9E,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,mBAAmB,CACjD,IAAI,EACJ,eAAe,CAAC,eAAe,CAChC,CAAC;YACF,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC;QAC1B,CAAC;QAED,oDAAoD;QACpD,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,gBAAgB,EAAE,aAAa,EAAE,IAAI,KAAK,CAAC;IACzD,CAAC;IAED,+EAA+E;IAC/E,kBAAkB;IAClB,+EAA+E;IAE/E;;OAEG;IACK,KAAK,CAAC,mBAAmB,CAAC,YAA2B;QAC3D,MAAM,KAAK,GAAoB,EAAE,CAAC;QAElC,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAErE,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,SAAS;gBACT,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAC3C,QAAQ,EAAE;oBACR,WAAW,EAAE,GAAG,CAAC,WAAW;oBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;oBAClB,GAAG,GAAG,CAAC,QAAQ;iBAChB;aACF,CAAC,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,wBAAwB,CAC9B,MAAuB,EACvB,YAA2B,EAC3B,UAAkB;QAElB,+BAA+B;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1D,2BAA2B;QAC3B,MAAM,cAAc,GAA+B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjF,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5B,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5B,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;YACtC,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,mBAAmB,EAAE,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,4BAA4B,CACpE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACzB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACzB,CAAC,CAAC,QAAQ,CACX;SACF,CAAC,CAAC,CAAC;QAEJ,sCAAsC;QACtC,MAAM,eAAe,GAAG,IAAI,CAAC,uBAAuB,CAClD,MAAM,EACN,cAAc,EACd,YAAY,CACb,CAAC;QAEF,OAAO;YACL,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,cAAc;YACd,eAAe;YACf,UAAU;YACV,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,uBAAuB,CAC7B,MAAuB,EACvB,cAA0C,EAC1C,YAA2B;QAE3B,MAAM,eAAe,GAA+B,EAAE,CAAC;QAEvD,6CAA6C;QAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;YACzC,eAAe,CAAC,IAAI,CAAC;gBACnB,IAAI,EAAE,aAAa;gBACnB,aAAa,EAAE,EAAE;gBACjB,WAAW,EAAE,GAAG;aACjB,CAAC,CAAC;QACL,CAAC;QAED,kDAAkD;QAClD,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;YAC3C,IAAI,aAAa,CAAC,QAAQ,KAAK,UAAU,IAAI,aAAa,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;gBAC/E,eAAe,CAAC,IAAI,CAAC;oBACnB,IAAI,EAAE,mBAAmB;oBACzB,aAAa,EAAE,aAAa,CAAC,cAAc;oBAC3C,WAAW,EAAE,uCAAuC,aAAa,CAAC,cAAc,KAAK,aAAa,CAAC,WAAW,EAAE;oBAChH,mBAAmB,EAAE,aAAa,CAAC,mBAAmB;iBACvD,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,eAAe,CAAC,IAAI,CAAC;oBACnB,IAAI,EAAE,SAAS;oBACf,aAAa,EAAE,aAAa,CAAC,cAAc;oBAC3C,WAAW,EAAE,kCAAkC,aAAa,CAAC,cAAc,KAAK,aAAa,CAAC,WAAW,EAAE;iBAC5G,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,MAAM,mBAAmB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAClD,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,GAAG;YAC1B,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAClE,CAAC;QAEF,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YACtC,eAAe,CAAC,IAAI,CAAC;gBACnB,IAAI,EAAE,mBAAmB;gBACzB,aAAa,EAAE,GAAG,CAAC,EAAE;gBACrB,WAAW,EAAE,mFAAmF;aACjG,CAAC,CAAC;QACL,CAAC;QAED,OAAO,eAAe,CAAC;IACzB,CAAC;IAED;;OAEG;IACK,4BAA4B,CAClC,IAA6B,EAC7B,IAA6B,EAC7B,QAAgB;QAEhB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,OAAO,gDAAgD,CAAC;QAC1D,CAAC;QAED,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,OAAO,iBAAiB,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,EAAE,qCAAqC;gBAC9E,0FAA0F,CAAC;QACpG,CAAC;QAED,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;YACxB,OAAO,iBAAiB,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,EAAE,kBAAkB;gBAC3D,4DAA4D,CAAC;QACtE,CAAC;QAED,OAAO,0BAA0B,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,EAAE,KAAK;YACvD,wDAAwD,CAAC;IAClE,CAAC;IAED;;OAEG;IACK,mBAAmB,CACzB,SAAiB,EACjB,YAAqB;QAErB,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,QAAQ;YACd,cAAc,EAAE,EAAE;YAClB,eAAe,EAAE,EAAE;YACnB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YAClC,YAAY;SACb,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,QAAiB;QACxC,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,MAAM,CAAC,CAAC,OAAO,GAAG,CAAC;YACxB,KAAK,QAAQ,CAAC,CAAC,OAAO,GAAG,CAAC;YAC1B,KAAK,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC;YACvB,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC;QACtB,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,WAAW,CAAC,QAAgB;QAClC,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC;YACnC,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;YAC3B,KAAK,QAAQ,CAAC,CAAC,OAAO,QAAQ,CAAC;YAC/B,KAAK,KAAK,CAAC;YACX,KAAK,MAAM,CAAC;YACZ,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,oBAAoB,CAC1B,OAA0C,EAC1C,GAA6B;QAE7B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACpE,MAAM,KAAK,GAAI,QAAQ,CAAC,QAAQ,EAAE,kBAA+B,IAAI,EAAE,CAAC;QACxE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE5B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE;YAC7B,GAAG,QAAQ;YACX,QAAQ,EAAE;gBACR,GAAG,QAAQ,CAAC,QAAQ;gBACpB,kBAAkB,EAAE,KAAK;gBACzB,kBAAkB,EAAE,IAAI;aACzB;SACF,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACK,qBAAqB,CAC3B,OAA0C,EAC1C,GAA6B;QAE7B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACpE,MAAM,KAAK,GAAI,QAAQ,CAAC,QAAQ,EAAE,mBAAgC,IAAI,EAAE,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE5B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE;YAC7B,GAAG,QAAQ;YACX,QAAQ,EAAE;gBACR,GAAG,QAAQ,CAAC,QAAQ;gBACpB,mBAAmB,EAAE,KAAK;gBAC1B,mBAAmB,EAAE,IAAI;gBACzB,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;aAC7C;SACF,CAAC,CAAC;IACL,CAAC;CACF;AAED,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,iCAAiC,CAC/C,gBAA0C,EAC1C,gBAAoC,EACpC,MAAmD;IAEnD,OAAO,IAAI,2BAA2B,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;AACrF,CAAC"}

package/v3/dist/domains/test-generation/services/index.d.ts

@@ -2,7 +2,14 @@
  * Agentic QE v3 - Test Generation Services
  * Service layer exports for the test-generation domain
  */
-export { TestGeneratorService, type ITestGenerationService, type TestGeneratorConfig, } from './test-generator';
+export { TestGeneratorService, createTestGeneratorService, createTestGeneratorServiceWithDependencies, type ITestGenerationService, type TestGeneratorConfig, type TestGeneratorDependencies, } from './test-generator';
+export { TDDGeneratorService, type ITDDGeneratorService, } from './tdd-generator';
+export { PropertyTestGeneratorService, type IPropertyTestGeneratorService, } from './property-test-generator';
+export { TestDataGeneratorService, type ITestDataGeneratorService, } from './test-data-generator';
 export { PatternMatcherService, type IPatternMatchingService, type PatternMatcherConfig, type PatternSearchContext, type PatternMatch, type AppliedPattern, type PatternModification, type PatternDefinition, type PatternExample, type PatternFilter, } from './pattern-matcher';
 export { CodeTransformService, createCodeTransformService, quickTransformTestCode, isEligibleForTransform, detectEligibleTransforms, DEFAULT_TRANSFORM_CONFIG, type CodeTransformConfig, type CodeTransformResult, } from './code-transform-integration';
+export { TestGenerationCoherenceGate, createTestGenerationCoherenceGate, CoherenceError, DEFAULT_COHERENCE_GATE_CONFIG, type Requirement, type TestSpecification, type EnrichmentRecommendation, type RequirementCoherenceResult, type RequirementContradiction, type ContradictionSeverity, type TestGenerationCoherenceGateConfig, type IEmbeddingService, } from './coherence-gate-service';
+export { type ITestGenerator, type ITestGeneratorFactory, type TestFramework, type TestType, type FunctionInfo, type ClassInfo, type ParameterInfo, type PropertyInfo, type TestCase, type CodeAnalysis, type TestGenerationContext, type Pattern as GeneratorPattern, } from '../interfaces';
+export { BaseTestGenerator, JestVitestGenerator, MochaGenerator, PytestGenerator, } from '../generators';
+export { TestGeneratorFactory, testGeneratorFactory, createTestGenerator, isValidTestFramework, } from '../factories';
 //# sourceMappingURL=index.d.ts.map

package/v3/dist/domains/test-generation/services/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/domains/test-generation/services/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,oBAAoB,EACpB,KAAK,sBAAsB,EAC3B,KAAK,mBAAmB,GACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,qBAAqB,EACrB,KAAK,uBAAuB,EAC5B,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,GACnB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,sBAAsB,EACtB,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,EACxB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/domains/test-generation/services/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,0CAA0C,EAC1C,KAAK,sBAAsB,EAC3B,KAAK,mBAAmB,EACxB,KAAK,yBAAyB,GAC/B,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,mBAAmB,EACnB,KAAK,oBAAoB,GAC1B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,4BAA4B,EAC5B,KAAK,6BAA6B,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,wBAAwB,EACxB,KAAK,yBAAyB,GAC/B,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,qBAAqB,EACrB,KAAK,uBAAuB,EAC5B,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,GACnB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,sBAAsB,EACtB,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,EACxB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,8BAA8B,CAAC;AAGtC,OAAO,EACL,2BAA2B,EAC3B,iCAAiC,EACjC,cAAc,EACd,6BAA6B,EAC7B,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAC7B,KAAK,qBAAqB,EAC1B,KAAK,iCAAiC,EACtC,KAAK,iBAAiB,GACvB,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,qBAAqB,EAC1B,KAAK,OAAO,IAAI,gBAAgB,GACjC,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,eAAe,GAChB,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,cAAc,CAAC"}

package/v3/dist/domains/test-generation/services/index.js

@@ -2,8 +2,17 @@
  * Agentic QE v3 - Test Generation Services
  * Service layer exports for the test-generation domain
  */
-export { TestGeneratorService, } from './test-generator';
+export { TestGeneratorService, createTestGeneratorService, createTestGeneratorServiceWithDependencies, } from './test-generator';
+export { TDDGeneratorService, } from './tdd-generator';
+export { PropertyTestGeneratorService, } from './property-test-generator';
+export { TestDataGeneratorService, } from './test-data-generator';
 export { PatternMatcherService, } from './pattern-matcher';
 // Agent Booster Integration (ADR-051)
 export { CodeTransformService, createCodeTransformService, quickTransformTestCode, isEligibleForTransform, detectEligibleTransforms, DEFAULT_TRANSFORM_CONFIG, } from './code-transform-integration';
+// Coherence Gate Service (ADR-052)
+export { TestGenerationCoherenceGate, createTestGenerationCoherenceGate, CoherenceError, DEFAULT_COHERENCE_GATE_CONFIG, } from './coherence-gate-service';
+// Generator implementations
+export { BaseTestGenerator, JestVitestGenerator, MochaGenerator, PytestGenerator, } from '../generators';
+// Factory
+export { TestGeneratorFactory, testGeneratorFactory, createTestGenerator, isValidTestFramework, } from '../factories';
 //# sourceMappingURL=index.js.map

package/v3/dist/domains/test-generation/services/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/domains/test-generation/services/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,oBAAoB,GAGrB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,qBAAqB,GAUtB,MAAM,mBAAmB,CAAC;AAE3B,sCAAsC;AACtC,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,sBAAsB,EACtB,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,GAGzB,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/domains/test-generation/services/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,0CAA0C,GAI3C,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,mBAAmB,GAEpB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,4BAA4B,GAE7B,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,wBAAwB,GAEzB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,qBAAqB,GAUtB,MAAM,mBAAmB,CAAC;AAE3B,sCAAsC;AACtC,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,sBAAsB,EACtB,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,GAGzB,MAAM,8BAA8B,CAAC;AAEtC,mCAAmC;AACnC,OAAO,EACL,2BAA2B,EAC3B,iCAAiC,EACjC,cAAc,EACd,6BAA6B,GAS9B,MAAM,0BAA0B,CAAC;AAmBlC,4BAA4B;AAC5B,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,eAAe,GAChB,MAAM,eAAe,CAAC;AAEvB,UAAU;AACV,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,cAAc,CAAC"}

package/v3/dist/domains/test-generation/services/property-test-generator.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Agentic QE v3 - Property-Based Test Generator Service
+ * Generates property-based tests using fast-check arbitraries
+ *
+ * Extracted from TestGeneratorService to follow Single Responsibility Principle
+ */
+import { PropertyTestRequest, PropertyTests } from '../interfaces';
+/**
+ * Interface for property-based test generation service
+ * Enables dependency injection and mocking
+ */
+export interface IPropertyTestGeneratorService {
+    generatePropertyTests(request: PropertyTestRequest): Promise<PropertyTests>;
+}
+/**
+ * Property-Based Test Generator Service
+ * Generates property-based tests with fast-check generators
+ */
+export declare class PropertyTestGeneratorService implements IPropertyTestGeneratorService {
+    /**
+     * Generate property-based tests
+     */
+    generatePropertyTests(request: PropertyTestRequest): Promise<PropertyTests>;
+    private generatePropertyTestCode;
+    private analyzePropertyForTestGeneration;
+    private inferGeneratorFromConstraints;
+    private getSimpleGenerator;
+    private generatePropertyParams;
+    private generatePropertyArgs;
+    private inferGenerators;
+    private getGeneratorForType;
+    private collectArbitraries;
+}
+//# sourceMappingURL=property-test-generator.d.ts.map

package/v3/dist/domains/test-generation/services/property-test-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-test-generator.d.ts","sourceRoot":"","sources":["../../../../src/domains/test-generation/services/property-test-generator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnE;;;GAGG;AACH,MAAM,WAAW,6BAA6B;IAC5C,qBAAqB,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;CAC7E;AAED;;;GAGG;AACH,qBAAa,4BAA6B,YAAW,6BAA6B;IAChF;;OAEG;IACG,qBAAqB,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,aAAa,CAAC;IAejF,OAAO,CAAC,wBAAwB;IA2BhC,OAAO,CAAC,gCAAgC;IA0GxC,OAAO,CAAC,6BAA6B;IAuCrC,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,sBAAsB;IAK9B,OAAO,CAAC,oBAAoB;IAK5B,OAAO,CAAC,eAAe;IA6EvB,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,kBAAkB;CAO3B"}