/**
 * Ledger Reducer — derive current state from transition history.
 *
 * Replays the full transition log to compute current requirement status.
 * Provides a cross-check that ledger.requirements matches the transition
 * history.
 */
import type { RequirementEvaluationStatus } from "./domain-types.js";
import type { RequirementLedgerV1 } from "./types.js";
/**
 * Replay transitions to derive current requirement states.
 * Returns the computed state map for verification.
 */
export declare function deriveCurrentStates(ledger: RequirementLedgerV1): Map<string, RequirementEvaluationStatus>;
/**
 * Verify that ledger requirement entries are consistent with
 * the transition history.
 *
 * Returns list of mismatches, if any.
 */
export declare function verifyLedgerConsistency(ledger: RequirementLedgerV1): string[];
/**
 * Get the current status of a requirement from the ledger.
 */
export declare function getRequirementStatus(ledger: RequirementLedgerV1, requirementId: string): RequirementEvaluationStatus | undefined;
/**
 * Check if a requirement is in a terminal state (SATISFIED or NOT_APPLICABLE).
 */
export declare function isTerminalState(status: RequirementEvaluationStatus): boolean;
//# sourceMappingURL=ledger-reducer.d.ts.map