import type { NativeCheckPlan } from './native-check-executor.js';
import { type NativeBuilderCandidateInput } from './native-loop-runtime.js';
import type { NativeLocalExecutionState, NativePortableCheckSummary, NativePortableState } from './native-portable-types.js';
import type { NativeTrustedVerifierEnvelope } from './native-runner-protocol.js';
import { type NativeVerifierResponse } from './native-verifier-protocol.js';
import type { NativeProjectPaths } from './native-types.js';
import { type NativePortableExpectedContinuation } from './native-portable-requirements.js';
import { type NativePortableRequestChecksOutcome } from './native-portable-checks.js';
export interface NativeVerifierAttemptBinding {
    stateVersion: number;
    iteration: number;
    attempt: number;
    verifierExecutionRef: string;
}
export declare function assertCurrentVerifierAttempt(options: {
    state: NativePortableState;
    local: NativeLocalExecutionState | null;
    expected: NativeVerifierAttemptBinding;
}): NativeLocalExecutionState;
export declare function assertCurrentVerifierEnvelope(options: {
    state: NativePortableState;
    local: NativeLocalExecutionState | null;
    envelope: NativeTrustedVerifierEnvelope<unknown> | unknown;
}): NativeTrustedVerifierEnvelope<unknown>;
export declare function nativeVerifierResponsePosition(response: NativeVerifierResponse): {
    iteration: number;
    attempt: number;
};
export declare function submitNativePortableBuilderCandidate(options: {
    paths: NativeProjectPaths;
    name: string;
    input: NativeBuilderCandidateInput;
    verificationChecks?: readonly NativeCheckPlan[];
    projectRoot?: string;
}): Promise<NativePortableState>;
export declare function dispatchNativePortableVerifier(options: {
    paths: NativeProjectPaths;
    name: string;
    checks: NativePortableCheckSummary[];
    verifierExecutionId?: string | null;
    projectRoot?: string;
}): Promise<NativePortableState>;
/**
 * Record the dispatched Verifier's own startup receipt. Registration at
 * dispatch only proves the intent to launch; this write is the first Runtime
 * contact from the Verifier process itself, keeping "registered" and
 * "actually started" distinguishable while the attempt is awaited.
 */
export declare function confirmNativePortableVerifierStart(options: {
    paths: NativeProjectPaths;
    name: string;
    candidateId: string;
    verifierExecutionRef: string;
}): Promise<NativePortableState>;
export declare function submitNativePortableVerifierResult(options: {
    paths: NativeProjectPaths;
    name: string;
    envelope: NativeTrustedVerifierEnvelope<unknown> | unknown;
    checks: NativePortableCheckSummary[];
    maxVerifyFailures: number;
    projectRoot?: string;
}): Promise<{
    state: NativePortableState;
    response: NativeVerifierResponse;
    checks: NativePortableCheckSummary[];
    requestChecks: NativePortableRequestChecksOutcome | null;
}>;
export declare function recordNativePortableVerifierFailure(options: {
    paths: NativeProjectPaths;
    name: string;
    summary: string;
    expected: NativeVerifierAttemptBinding;
    requireSkillCoordination?: boolean;
}): Promise<NativePortableState>;
export declare function recordNativePortableVerifierUnavailable(options: {
    paths: NativeProjectPaths;
    name: string;
    summary: string;
    expected: NativeVerifierAttemptBinding;
    requireSkillCoordination?: boolean;
}): Promise<NativePortableState>;
export declare function confirmNativePortableVerifierUnavailable(options: {
    paths: NativeProjectPaths;
    name: string;
    summary: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function resolveNativePortableVerifierBlocker(options: {
    paths: NativeProjectPaths;
    name: string;
    reason?: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function retryNativePortableVerifier(options: {
    paths: NativeProjectPaths;
    name: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function returnNativePortableChangeToBuild(options: {
    paths: NativeProjectPaths;
    name: string;
    reason: string;
    expectedContinuation?: NativePortableExpectedContinuation;
    failureBudget?: {
        maxVerifyFailures: number;
    };
    preserveLocalChecks?: boolean;
}): Promise<NativePortableState>;
export declare function ensureNativePortableReport(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
}): Promise<'aligned' | 'rebuilt' | 'not-applicable'>;
//# sourceMappingURL=native-portable-verification.d.ts.map