import { type NativeCheckPlan } from './native-check-executor.js';
import { type NativeBuilderCandidateInput } from './native-loop-runtime.js';
import type { NativeLocalExecutionState, NativePortableCheckSummary, NativePortablePhase, NativePortableState, NativePortableWorkspace } from './native-portable-types.js';
import { type NativeTrustedVerifierEnvelope } from './native-runner-protocol.js';
import { type NativeVerifierResponse } from './native-verifier-protocol.js';
import type { CometProjectConfig, NativeProjectPaths } from './native-types.js';
import type { NativeSupervisorCoordinationMode } from './native-portable-types.js';
import type { NativeWorkspaceBinding } from './native-workspace.js';
export declare const NATIVE_PORTABLE_STATE_FILE = "comet-state.yaml";
export declare const NATIVE_LOCAL_EXECUTION_FILE = "state.json";
export declare const NATIVE_PORTABLE_BRIEF_TEMPLATE: string;
export type NativePortableExpectedContinuationAction = 'prepare-shape-confirmation' | 'confirm-shape' | 'accept-result' | 'confirm-verifier-unavailable' | 'revise-implementation' | 'revise-requirements' | 'retry-verifier' | 'resolve-verifier-blocker';
export interface NativePortableExpectedContinuation {
    stateVersion: number;
    action: NativePortableExpectedContinuationAction;
}
export declare function nativePortableChangeDir(paths: NativeProjectPaths, name: string): string;
export declare function nativePortableStateFile(paths: NativeProjectPaths, name: string): string;
export declare function nativeLocalExecutionFile(paths: NativeProjectPaths, name: string): string;
export declare function isNativePortableChange(paths: NativeProjectPaths, name: string): Promise<boolean>;
export declare function createNativePortableChange(options: {
    paths: NativeProjectPaths;
    name: string;
    language: 'en' | 'zh-CN';
    workspaceBinding?: NativeWorkspaceBinding;
    initialProjectConfig?: CometProjectConfig;
    now?: Date;
}): Promise<NativePortableState>;
export declare function readNativePortableChange(paths: NativeProjectPaths, name: string): Promise<NativePortableState>;
export declare function prepareNativePortableShapeConfirmation(options: {
    paths: NativeProjectPaths;
    name: string;
    coordinationMode?: NativeSupervisorCoordinationMode;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function confirmNativePortableShape(options: {
    paths: NativeProjectPaths;
    name: string;
    coordinationMode?: NativeSupervisorCoordinationMode;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function inspectNativePortableAcceptanceDrift(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    ignoreSpecOperationFor?: ReadonlySet<string>;
}): Promise<{
    drifted: boolean;
    reason: string | null;
}>;
export declare function ensureNativePortableAcceptanceCurrentLocked(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
}): Promise<void>;
export declare function submitNativePortableBuilderCandidate(options: {
    paths: NativeProjectPaths;
    name: string;
    input: NativeBuilderCandidateInput;
}): Promise<NativePortableState>;
export interface NativeSupervisorParentAdvance {
    trigger: 'v2-integrate' | 'v1-archive' | 'recovery';
    parent: string | null;
    advanced: boolean;
    message: string | null;
    blocker: string | null;
}
/**
 * Recompute whether every Child is integrated and the parent is ready for an
 * independent reviewed handoff. This inspection does not advance the phase.
 */
export declare function inspectNativeSupervisorParentReviewReadiness(options: {
    paths: NativeProjectPaths;
    name: string;
    trigger: NativeSupervisorParentAdvance['trigger'];
}): Promise<{
    state: NativePortableState;
    parentAdvance: NativeSupervisorParentAdvance;
}>;
export declare function tryAutoAdvanceNativeV1SupervisorParent(options: {
    childState: NativePortableState;
    childPaths: NativeProjectPaths;
}): Promise<{
    parentAdvance: NativeSupervisorParentAdvance;
    parentState: NativePortableState | null;
}>;
export interface NativeVerifierAttemptBinding {
    stateVersion: number;
    iteration: number;
    attempt: number;
    verifierExecutionRef: string;
}
export declare function executeNativePortableCheckPlan(options: {
    paths: NativeProjectPaths;
    name: string;
    plans: NativeCheckPlan[];
    projectRoot?: string;
}): Promise<{
    state: NativePortableState;
    checks: NativePortableCheckSummary[];
}>;
export interface NativePortableRequestChecksOutcome {
    round: number;
    reusedCheckIds: string[];
    executedCheckIds: string[];
}
export declare function dispatchNativePortableVerifier(options: {
    paths: NativeProjectPaths;
    name: string;
    checks: NativePortableCheckSummary[];
    verifierExecutionId?: string | null;
    projectRoot?: 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 confirmNativePortableSkillCoordinatedPass(options: {
    paths: NativeProjectPaths;
    name: string;
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export interface NativeSupervisorFinalVerificationResumeResult {
    state: NativePortableState;
    action: 'none' | 'rerun-final-verification' | 'recorded-final-verification';
}
export declare function recoverNativeSupervisorFinalVerificationLocked(options: {
    paths: NativeProjectPaths;
    name: string;
}): Promise<NativeSupervisorFinalVerificationResumeResult>;
/**
 * Repair an interrupted Supervisor final-verification write as part of normal
 * Native continuation. No recovery flag or direct state edit is required.
 */
export declare function recoverNativeSupervisorFinalVerificationOnResume(options: {
    paths: NativeProjectPaths;
    name: string;
}): Promise<NativeSupervisorFinalVerificationResumeResult>;
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;
}): Promise<NativePortableState>;
export declare function markNativePortableSpecRemoval(options: {
    paths: NativeProjectPaths;
    name: string;
    capability: string;
}): Promise<NativePortableState>;
export declare function setNativePortableWorkspaceFinish(options: {
    paths: NativeProjectPaths;
    name: string;
    finish: NonNullable<NativePortableWorkspace['finish']>;
}): Promise<NativePortableState>;
export declare function returnNativePortableChangeToShape(options: {
    paths: NativeProjectPaths;
    name: string;
    reason: string;
    allowedPhases?: readonly NativePortablePhase[];
    expectedContinuation?: NativePortableExpectedContinuation;
}): Promise<NativePortableState>;
export declare function returnNativePortableStateToShapeLocked(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    reason: string;
}): Promise<NativePortableState>;
export declare function returnNativePortableStateToFinalVerificationLocked(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
    reason: string;
}): Promise<NativePortableState>;
export declare function ensureNativePortableReport(options: {
    paths: NativeProjectPaths;
    state: NativePortableState;
}): Promise<'aligned' | 'rebuilt' | 'not-applicable'>;
export declare function readNativePortableRuntime(options: {
    paths: NativeProjectPaths;
    name: string;
}): Promise<{
    state: NativePortableState;
    local: NativeLocalExecutionState | null;
    localStatus: 'available' | 'missing' | 'invalid' | 'stale';
}>;
//# sourceMappingURL=native-portable-runtime.d.ts.map