export declare const transitionCurrent: (retired: boolean, sameEpoch: boolean, sameOwner: boolean, closed: boolean) => boolean;
/** 0 disposed, 1 diverted, 2 quarantined. */
export declare const cleanupState: (failed: boolean, diverted: boolean) => number;
export declare const unknownConflict: (lu: boolean, luo: boolean, lo: boolean, ru: boolean, ruo: boolean, ro: boolean) => boolean;
export declare const knownConflict: (shared: boolean, leftOrdered: boolean, rightOrdered: boolean) => boolean;
export declare const lineageSelected: (allBranches: boolean, member: boolean) => boolean;
export declare const pointerCurrent: (source: boolean, lineage: boolean) => boolean;
export declare const coverageComplete: (sourceComplete: boolean, truncated: boolean) => boolean;
export declare const useNormalized: (canonical: boolean, plan: boolean, changed: boolean, accepted: boolean) => boolean;
export declare const headReadable: (sequence: boolean, version: boolean, committed: boolean, pending: boolean, marker: boolean) => boolean;
/** One-use consumption: whether this use releases the token, and whether it stays active. */
export declare const consume: (active: boolean) => {
    released: boolean;
    active: boolean;
};
export declare const acceptSummaryBounds: (bytes: number, byteLimit: number, projected: number, target: number) => boolean;
export declare const acceptSampleAccounting: (total: number, retained: number, omitted: number, limit: number) => boolean;
export interface CutSpan {
    first: number;
    last: number;
    hasCall: boolean;
    hasResult: boolean;
}
export interface CutCandidate {
    eligible: boolean;
    afterPrevious: boolean;
    retained: number;
    budget: number;
    boundary: number;
}
/** The producer may reject cheaply, but cannot publish a cut without this check.
 * The compiled cut machine folds the header and then every source span. */
export declare const acceptCompactionCut: (candidate: CutCandidate, spans: Iterable<CutSpan>) => boolean;
export interface TextRange {
    start: number;
    end: number;
    total: number;
    complete: boolean;
}
export declare const acceptMemoryChunk: (range: TextRange, length: number, expectedStart: number, expectedTotal: number) => boolean;
/** A fixed ordered tuple prevents a missing check from becoming an empty,
 * vacuously accepted certificate. Messages are diagnostics, never authority. */
export declare const assertCertificateFacts: (facts: readonly [CertificateFact, CertificateFact, CertificateFact, CertificateFact, CertificateFact, CertificateFact, CertificateFact, CertificateFact]) => void;
interface CertificateFact {
    valid: boolean;
    error: string;
}
export {};
//# sourceMappingURL=policy.d.ts.map