import { PDG } from './pdg.js';
import { Sigma } from './sigma.js';
import { Corpus } from './corpus.js';
export declare const DEFAULT_SEED = 20250619;
/**
 * Complementary error function erfc(x) approximation.
 * Fractional error <= 1.2e-7.
 */
export declare function erfc(x: number): number;
export declare function bisectLeft(arr: number[], x: number): number;
export declare class SeededRandom {
    private state;
    constructor(seed: number);
    next(): number;
    randrange(n: number): number;
}
export declare class NullModel {
    readonly alphabetHash: string;
    readonly sigmaVersion: string;
    readonly nPairs: number;
    readonly seed: number;
    readonly iterations: number;
    readonly weightFloor: number;
    readonly mean: number;
    readonly std: number;
    readonly samples: number[];
    constructor(alphabetHash: string, sigmaVersion: string, nPairs: number, seed: number, iterations: number, weightFloor: number, mean: number, std: number, samples: number[]);
    get pFloor(): number;
    pEmpirical(score: number): number;
    zScore(score: number): number;
    pParametric(score: number): number;
}
export declare class ProofReport {
    readonly score: number;
    readonly zScore: number;
    readonly pEmpirical: number;
    readonly pEmpiricalFloor: number;
    readonly pParametric: number;
    readonly eValue: number;
    readonly nPairs: number;
    readonly searchSpace: number;
    constructor(score: number, zScore: number, pEmpirical: number, pEmpiricalFloor: number, pParametric: number, eValue: number, nPairs: number, searchSpace?: number);
    get empiricalIsFloored(): boolean;
    get significant(): boolean;
}
export declare function buildNull(unitSources: Iterable<string>, corpus: Corpus, sigma?: Sigma, options?: {
    nPairs?: number;
    seed?: number;
    iterations?: number;
}): NullModel;
export declare function evaluate(score: number, nullModel: NullModel, options?: {
    searchSpace?: number;
}): ProofReport;
export declare function prove(a: PDG, b: PDG, nullModel: NullModel, corpus: Corpus, options?: {
    iterations?: number;
    searchSpace?: number;
}): ProofReport;
export declare function proveSources(srcA: string, srcB: string, nullModel: NullModel, corpus: Corpus, sigma?: Sigma, options?: {
    iterations?: number;
    searchSpace?: number;
}): ProofReport;
export declare function freezeNull(nullModel: NullModel, filePath: string): string;
export declare function loadNull(filePath: string, sigma?: Sigma, verifyAlphabet?: boolean): NullModel;
//# sourceMappingURL=proof.d.ts.map