/**
 * Chain Validation Engine
 *
 * Validates WarpChain definitions for structural correctness (shape)
 * and gate satisfiability (gates reference valid stages/gate names).
 *
 * @task T5401
 */
import type { ChainShape, ChainValidation, WarpChain } from '@cleocode/contracts';
/**
 * Validate the topology/DAG of a chain shape.
 *
 * Checks:
 * - All link source/target IDs reference existing stages
 * - entryPoint references an existing stage
 * - All exitPoints reference existing stages
 * - No cycles (topological sort)
 * - All stages are reachable from the entry point
 *
 * @task T5401
 */
export declare function validateChainShape(shape: ChainShape): string[];
/**
 * Validate that all gates in a chain reference valid stages and gate names.
 *
 * Checks:
 * - Every gate's stageId references an existing stage
 * - Every stage_complete check references an existing stage
 * - Every verification_gate check references a valid GateName
 *
 * @task T5401
 */
export declare function validateGateSatisfiability(chain: WarpChain): string[];
/**
 * Validate a complete WarpChain definition.
 *
 * Orchestrates shape validation and gate satisfiability checks,
 * returning a unified ChainValidation result.
 *
 * @task T5401
 */
export declare function validateChain(chain: WarpChain): ChainValidation;
//# sourceMappingURL=chain-validation.d.ts.map