import type { Analysis, StateContract, StateDomain } from '../types/index.js';
export declare function discoverStateContract(a: Analysis, configured?: Array<Partial<StateDomain> & {
    name: string;
    authoritativeState: string;
}>): Promise<StateContract>;
export declare function verifyObservableState(contract: StateContract, domain: string, input: {
    status?: string;
    currentAction?: string;
    history?: unknown[];
}): {
    active: boolean;
    empty: boolean;
};