import { buildNativeRepairSignature, type NativeRepairFailureFacts, type NativeRepairHistoryRecord, type NativeRepairOverrideRequest, type NativeRepairStagnationDecision } from './native-repair-stagnation.js';
import { type NativeVerificationEvidenceEnvelope } from './native-verification-evidence.js';
import { type NativeImplementationScopeBundle } from './native-verification-scope.js';
export declare const NATIVE_REPAIR_TRAJECTORY_FIELD: "repairStagnation";
export declare const NATIVE_REPAIR_TRAJECTORY_LIMITS: {
    readonly maxEvents: 4096;
    readonly maxDataDepth: 8;
    readonly maxDataNodes: 4096;
    readonly maxTotalDataNodes: 65536;
    readonly maxObjectFields: 64;
    readonly maxArrayEntries: 256;
    readonly maxKeyCharacters: 128;
    readonly maxTextCharacters: 4096;
    readonly maxEventDataCharacters: 65536;
    readonly maxTotalDataCharacters: 1048576;
    readonly maxRunIdCharacters: 256;
};
export interface NativeRepairTrajectoryProjection {
    signatureHash: string;
    disposition: 'continue' | 'warn' | 'manual-stop' | 'hard-stop';
    overrideSummaryHash: string | null;
    contractHash: string | null;
    failedAcceptanceIds: string[];
    failedCheckIds: string[];
    maxVerifyFailures: number | null;
}
export interface NativeCommittedRepairTrajectory {
    trajectory: readonly unknown[];
    committedTrajectoryOffset: number;
    runId: string;
}
export interface NativeRepairEvidenceInput {
    envelope: NativeVerificationEvidenceEnvelope;
    implementationScope: NativeImplementationScopeBundle;
    failedCheckIds?: readonly string[];
}
export interface NativeRepairRuntimeInput extends NativeCommittedRepairTrajectory, NativeRepairEvidenceInput {
    maxVerifyFailures: number;
}
export interface NativeRepairRuntimeResult {
    facts: NativeRepairFailureFacts;
    history: NativeRepairHistoryRecord[];
    decision: NativeRepairStagnationDecision;
    eventProjection: NativeRepairTrajectoryProjection | null;
}
export interface NativeRepairResumeInput extends NativeRepairRuntimeInput {
    currentImplementationScope: NativeImplementationScopeBundle;
}
export interface NativeRepairResumeInspection {
    disposition: 'proceed' | 'override-required' | 'hard-stop';
    reason: 'scope-progress' | 'no-stopped-failure' | 'override-required' | 'override-already-applied' | 'hard-stop';
    signatureHash: string;
    history: NativeRepairHistoryRecord[];
}
export interface NativeRepairOverrideProjectionResult {
    history: NativeRepairHistoryRecord[];
    eventProjection: NativeRepairTrajectoryProjection;
}
/**
 * Identify repair progress from the executable contract and project snapshot, not from
 * content-addressed evidence prose such as `noCodeReason`.
 */
export declare function nativeRepairScopeHash(bundle: NativeImplementationScopeBundle): string;
export declare function parseNativeRepairTrajectoryProjection(value: unknown): NativeRepairTrajectoryProjection;
export declare function rebuildNativeRepairHistory(options: NativeCommittedRepairTrajectory): NativeRepairHistoryRecord[];
export declare function inspectLatestNativeRepairProjection(options: NativeCommittedRepairTrajectory): NativeRepairTrajectoryProjection | null;
export declare function acceptLatestNativeRepairOverride(options: NativeCommittedRepairTrajectory & {
    override: NativeRepairOverrideRequest;
}): NativeRepairOverrideProjectionResult;
export declare function nativeRepairFailureFacts(input: NativeRepairEvidenceInput): NativeRepairFailureFacts;
export declare function inspectNativeRepairResume(input: NativeRepairResumeInput): NativeRepairResumeInspection;
export declare function inspectNativeRepairFailure(input: NativeRepairRuntimeInput): NativeRepairRuntimeResult;
export declare function acceptNativeRepairOverride(input: NativeRepairRuntimeInput & {
    override: NativeRepairOverrideRequest;
}): NativeRepairRuntimeResult;
export declare function buildNativeRepairSignatureFromEvidence(input: NativeRepairEvidenceInput): ReturnType<typeof buildNativeRepairSignature>;
//# sourceMappingURL=native-repair-runtime.d.ts.map