// Generated by scripts/verified-kernels.ts from proofs/policy.ts with gdp-wired@0.31.1. Do not edit.
export interface MachineState { scalars: Record<string, number>; maps: Record<string, Map<number, number>>; defaults?: Record<string, number> }
export interface Machine { init(params: object): MachineState; step(params: object, state: MachineState, input: object): MachineState }
export declare const transitionCurrent: Machine;
export declare const cleanupState: Machine;
export declare const unknownConflict: Machine;
export declare const knownConflict: Machine;
export declare const lineageSelected: Machine;
export declare const pointerCurrent: Machine;
export declare const coverageComplete: Machine;
export declare const useNormalized: Machine;
export declare const headReadable: Machine;
export declare const certificateAccepted: Machine;
export declare const consume: Machine;
export declare const summaryWithin: Machine;
export declare const sampleWithin: Machine;
export declare const chunkAccepted: Machine;