export declare const LEDGER_FILE = "harness-improvement.jsonl";
export interface LedgerEntry {
    ts: number;
    corpusVersion: string;
    corpusHash: string;
    corpusSize: number;
    anchorSize: number;
    baselineRef: string;
    candidateRef: string;
    baselineScore: number;
    candidateScore: number;
    delta: number;
    deltaCILow?: number;
    significant?: boolean;
    loopAccepted?: boolean;
    anchorRegressed: boolean;
    accepted: boolean;
    gates: Record<string, boolean>;
    championRef?: string;
    reason: string;
}
/**
 * One-sided 95% bootstrap lower bound on the mean of paired per-task deltas.
 * Deterministic (seeded LCG) so the confidence bound is reproducible — the same
 * evidence yields the same verdict. A positive lower bound means the improvement
 * survives resampling: it is not an artifact of a lucky held-out task (small-N
 * noise guard, "measured not marketing").
 */
export declare function bootstrapDeltaCILow(deltas: number[], opts?: {
    iters?: number;
    alpha?: number;
    seed?: number;
}): number;
export interface ImprovementSummary {
    attempts: number;
    accepted: number;
    rejected: number;
    cumulativeDelta: number;
    currentScore: number | null;
    firstScore: number | null;
    monotonic: boolean;
    chainIntact: boolean;
    trajectory: Array<{
        ts: number;
        corpusVersion: string;
        baseline: number;
        candidate: number;
        delta: number;
        accepted: boolean;
    }>;
}
/** Append one attempt. Best-effort, never throws; rotates when over the cap. */
export declare function appendLedger(dir: string, entry: LedgerEntry): void;
/** Read all ledger entries (oldest → newest). Never throws. */
export declare function readLedger(dir: string): LedgerEntry[];
/**
 * Fold the ledger into an auditable improvement claim. Monotonicity + chain
 * integrity are the PROOF: they hold iff every shipped champion strictly beat
 * its predecessor and referenced it. A single violation flips the flag — the
 * summary cannot silently launder a regression.
 */
export declare function summarizeImprovement(dir: string): ImprovementSummary;
//# sourceMappingURL=harness-improvement-ledger.d.ts.map