/**
 * The canonical contract-pipeline artifact names, in dependency order. The ORDER
 * is load-bearing: the dependency DAG in `artifactStore.ts` and the phase
 * iteration in `steps/contractPipeline.ts` both read it.
 */
export declare const CP_ARTIFACT_NAMES: readonly ["goal_spec", "context_bundle", "module_decomposition", "module_contracts", "seam_reconciliation_report", "finalized_module_contracts", "conceptual_design_critique", "obligation_ledger", "cyclic_seam_resolution", "test_validator_plan", "contract_assessment_report", "counterexample", "judge_report", "implementation_dag", "verification_report"];
export type ContractPipelineArtifactName = (typeof CP_ARTIFACT_NAMES)[number];
//# sourceMappingURL=artifactNames.d.ts.map