import { type CapabilityClaim, type CapabilityLedger, type CapabilityResolution } from './schema.js';
export interface RegenerateOptions {
    /** ISO bound: resolutions with `resolvedAt > resolutionHorizon` are immature and ignored. */
    resolutionHorizon: string;
}
/**
 * Collect FM-c join-integrity errors (empty array = clean): a duplicate `resolutionId`,
 * a resolution referencing an absent `claimId`, or an ambiguous supersession terminal.
 * Pure. SHARED by the fail-loud `regenerateCapabilityLedger` (which throws on the first)
 * and the falsification harness (which surfaces each as a clause-`c` violation) — so the
 * harness reports integrity breaches WITHOUT a swallowing catch (Tenet 4).
 */
export declare function collectJoinIntegrityErrors(claims: readonly CapabilityClaim[], resolutions: readonly CapabilityResolution[], opts: RegenerateOptions): string[];
/**
 * Recompute the `CapabilityLedger` cache from the append-only claim/resolution log.
 * Throws (FM-c join integrity) on a duplicate `resolutionId`, a resolution referencing
 * an absent `claimId`, or an ambiguous supersession terminal.
 */
export declare function regenerateCapabilityLedger(claims: readonly CapabilityClaim[], resolutions: readonly CapabilityResolution[], opts: RegenerateOptions): CapabilityLedger;
//# sourceMappingURL=regenerate.d.ts.map