/**
 * MECE Validation & Dependency Analysis for Contract stage.
 * (AC-3.11, AC-3.12)
 */
import type { WorkPackage } from './contract-types.js';
export interface MECEValidationResult {
    valid: boolean;
    mutuallyExclusive: boolean;
    collectivelyExhaustive: boolean;
    overlaps: Array<{
        wpA: string;
        wpB: string;
        sharedFrIds: string[];
    }>;
    uncoveredFrIds: string[];
    suggestions: string[];
}
/**
 * Validate that a set of work packages is MECE with respect to the given FRs.
 *
 * Mutually Exclusive: no FR is covered by more than one work package.
 * Collectively Exhaustive: every FR is covered by at least one work package.
 */
export declare function validateMECE(tasks: WorkPackage[], allFrIds?: string[]): MECEValidationResult;
export interface DependencyAnalysisResult {
    tasks: WorkPackage[];
    hasCycle: boolean;
    cycleDetails: string[];
    dependencyGraph: Map<string, string[]>;
}
/**
 * Analyze dependencies between work packages and populate dependsOn fields.
 *
 * Uses the existing `dependencies` field (WP-level references) to fill `dependsOn`.
 * Detects circular dependencies via topological sort.
 */
export declare function analyzeDependencies(tasks: WorkPackage[]): DependencyAnalysisResult;
//# sourceMappingURL=mece-validation.d.ts.map