import { type NativeCheckPlan, type NativeExecutedCheck } from './native-check-executor.js';
import type { NativeSupervisorMaterial } from './native-supervisor-evidence.js';
import type { NativeSupervisorCheckExecutionState } from './native-supervisor.js';
export type NativeSupervisorCheckBindingKind = 'child' | 'integration';
export declare function plannedNativeSupervisorCheckState(plan: NativeCheckPlan): NativeSupervisorCheckExecutionState;
export declare function completedNativeSupervisorCheckState(previous: NativeSupervisorCheckExecutionState, result: NativeExecutedCheck): NativeSupervisorCheckExecutionState;
export declare function nativeSupervisorExecutedCheckFromState(state: NativeSupervisorCheckExecutionState): NativeExecutedCheck;
/**
 * Bind Supervisor checks to every observable input that can change their meaning.
 * The returned digest is the only value persisted; raw environment/material content
 * never enters Supervisor state.
 */
export declare function nativeSupervisorCheckInputFingerprint(options: {
    kind: NativeSupervisorCheckBindingKind;
    parent: string;
    child: string;
    runId: string;
    projectRoot: string;
    candidateCommit: string;
    integrationCommit?: string;
    contractHash?: string | null;
    plans: readonly NativeCheckPlan[];
    materials: readonly NativeSupervisorMaterial[];
}): Promise<string>;
export declare function nativeSupervisorCheckMachineId(): string;
//# sourceMappingURL=native-supervisor-check-binding.d.ts.map