import type { GoalScope } from '@dsh-enhanced/assistant-goals';
import type { FailureCaptureProvenance, HostFailureEvidenceSummary, VerifiedWorkflowSource } from './definition.js';
import { type SkillDefinition, type SkillRunExpansion } from './definition.js';
import type { SkillStore, StoredSkillDefinition } from './store.js';
/**
 * Bind current-Goals-capability not-achieved evidence to a later, independently
 * achieved repair.  This freezes comparison metadata only; it neither stages
 * nor activates a candidate and grants no authority. The public evidence
 * digest is an integrity link, not producer authentication.
 */
export declare function captureFailureCandidateProvenance(trigger: HostFailureEvidenceSummary, repair: VerifiedWorkflowSource, scope: GoalScope, parent: StoredSkillDefinition, candidate: SkillDefinition): Readonly<FailureCaptureProvenance>;
/**
 * Turn a verified source's outer `skill_run` calls into immutable native-step
 * proof. The source still carries the raw outer call; definition construction
 * consumes this proof to substitute only the exact already-verified run.
 */
export declare function captureRunExpansions(source: VerifiedWorkflowSource, scope: GoalScope, store: SkillStore): readonly SkillRunExpansion[];
//# sourceMappingURL=capture-expansion.d.ts.map