import { type AtomicWriteOptions } from '../../state/atomic-write.js';
export interface LedgerRecords<TRec> {
    live: TRec[];
    archived: TRec[];
}
/**
 * A subject's simple status-flip transitions (assumptions' validate/reject/
 * reopen, decisions' supersede/rescind/reactivate) share this exact shape
 * today as two hand-duplicated maps per subject. Declaring it here lets a
 * spec describe it once; this module has no executor for it (deliberately —
 * bespoke transition logic with extra invariants or field mutations beyond a
 * status flip, e.g. recommendation promotion or decision's supersession-cycle
 * check, stays a subject-specific function on top of these primitives rather
 * than being forced into one generic shape it doesn't fit).
 */
export interface TransitionRule<TStatus extends string> {
    from: readonly TStatus[];
    to: TStatus;
}
/** Descriptor a subject (recommendations, evidence, assumptions, decisions,
 * milestones, ...) plugs in to get read/write/id-minting for free. */
export interface SubjectLedgerSpec<TRec, TLedger, TStatus extends string = string, TAction extends string = string, TPayload = void> {
    parse(data: unknown): TLedger;
    empty(): TLedger;
    idPrefix: string;
    idOf(record: TRec): string;
    records(ledger: TLedger): LedgerRecords<TRec>;
    withRecords(ledger: TLedger, records: LedgerRecords<TRec>): TLedger;
    crossCheckIds?(payload: TPayload): string[];
    transitions?: Record<TAction, TransitionRule<TStatus>>;
}
export declare function readLedger<TRec, TLedger, TStatus extends string, TAction extends string, TPayload>(spec: SubjectLedgerSpec<TRec, TLedger, TStatus, TAction, TPayload>, path: string): Promise<TLedger>;
export declare function writeLedger<TRec, TLedger, TStatus extends string, TAction extends string, TPayload>(spec: SubjectLedgerSpec<TRec, TLedger, TStatus, TAction, TPayload>, path: string, ledger: TLedger, opts?: AtomicWriteOptions): Promise<void>;
export declare function mintId<TRec, TLedger, TStatus extends string, TAction extends string, TPayload>(spec: SubjectLedgerSpec<TRec, TLedger, TStatus, TAction, TPayload>, ledger: TLedger, now: Date, payload?: TPayload): string;
//# sourceMappingURL=ledger.d.ts.map