/**
 * Validation helpers for contract-pipeline artifacts.
 * Follows the ValidationIssue[] pattern used by the rest of the remediator
 * validation layer.
 */
import { type ValidationIssue } from "audit-tools/shared";
import type { ContractPipelineArtifactName } from "../contractPipeline/artifactStore.js";
export declare const CP_CYCLIC_SEAM_RESOLUTION_VERSION: "remediate-code-contract-pipeline/cyclic-seam-resolution/v1alpha1";
export declare const CP_MODULE_DECOMPOSITION_VERSION: "remediate-code-contract-pipeline/module-decomposition/v1alpha1";
export declare const CP_MODULE_CONTRACTS_VERSION: "remediate-code-contract-pipeline/module-contracts/v1alpha1";
export declare const CP_SEAM_RECONCILIATION_REPORT_VERSION: "remediate-code-contract-pipeline/seam-reconciliation-report/v1alpha1";
export declare const CP_FINALIZED_MODULE_CONTRACTS_VERSION: "remediate-code-contract-pipeline/finalized-module-contracts/v1alpha1";
export declare function validateGoalSpec(value: unknown, path?: string): ValidationIssue[];
export declare function validateContextBundle(value: unknown, path?: string): ValidationIssue[];
export declare function validateModuleDecomposition(value: unknown, path?: string): ValidationIssue[];
export declare function validateModuleContracts(value: unknown, path?: string): ValidationIssue[];
export declare function validateSeamReconciliationReport(value: unknown, path?: string): ValidationIssue[];
export declare function validateFinalizedModuleContracts(value: unknown, path?: string): ValidationIssue[];
export { validateDesignSpecGates, validateGoalIdConsistency, validateImplementationDAGIntegrity, validatePairedObligations, validateEvidenceThreaded, validateDigestCoverage, validateWorkBlockSeamPreparation, validateReconciliationDerivation, validateContractCitationGrounding, validateDecompositionFileScope, validateFinalizedModuleSetPreserved, evaluateContractPipelineCrossGates, enumerateRepoTreePaths, isInsideGitWorkTree, type ContractCitationGroundingResult, type ContractPipelineCrossGateInputs, } from "./contractPipelineGates.js";
export declare function validateConceptualDesignCritique(value: unknown, path?: string): ValidationIssue[];
export declare function validateObligationLedger(value: unknown, path?: string): ValidationIssue[];
export declare function validateTestValidatorPlan(value: unknown, path?: string): ValidationIssue[];
export declare function validateContractAssessmentReport(value: unknown, path?: string): ValidationIssue[];
export declare function validateCounterexample(value: unknown, path?: string): ValidationIssue[];
export declare function validateJudgeReport(value: unknown, path?: string): ValidationIssue[];
export declare function validateImplementationDAG(value: unknown, path?: string): ValidationIssue[];
export declare function validateVerificationReport(value: unknown, path?: string): ValidationIssue[];
export declare function validateCyclicSeamResolution(value: unknown, path?: string): ValidationIssue[];
/**
 * One validator per contract-pipeline artifact payload. Used by the driver's
 * ingestion pass (worker-written raw payloads are untrusted until validated)
 * and by the artifacts validation sweep.
 */
export declare const CONTRACT_PIPELINE_VALIDATORS: Record<ContractPipelineArtifactName, (value: unknown, path: string) => ValidationIssue[]>;
//# sourceMappingURL=contractPipeline.d.ts.map